premises
#ax_branch_pash

point(1)
point(2)
point(3)
~eq_point(1, 2)
~eq_point(1, 3)
~eq_point(2, 3)
line(4)
plane(5)

conclusions

pash(1, 2, 3, 4, 5)

|
~pash(1, 2, 3, 4, 5)


