
premises
# TH_6
% for a line and a point which is not lying on a line, 
% there exists a plane which contains them both

point(1)
line(2)
~inc_po_l(1,2)

conclusions

plane(3)
inc_po_pl(1,3)
inc_l_pl(2,3)
