Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/ExtPerp3.prf

Length of proof is 3.  Level of proof is 1.
 
---------------- PROOF ----------------
 
50 [] -Col(xa,xb,xc)|Col(xa,xc,xb).
52 [] Col(xa,xb,xa).
142 [] -perp(xa,xb,xp,xq)|perp(xp,xq,xa,xb).
180 [] -Col(xa,xb,xp)| -Col(xa,xb,xq)|xp=xq|xa=xb| -perp(xp,xq,xc,xd)|perp(xa,xb,xc,xd).
241 [] a!=c.
244 [] a!=d.
245 [] perp(b,a,a,c).
246 [] Col(a,c,d).
247 [] -perp(b,a,a,d).
932 [binary,245.1,142.1] perp(a,c,b,a).
992 [binary,246.1,50.1] Col(a,d,c).
1071 [binary,247.1,142.2] -perp(a,d,b,a).
14862 [hyper,180,52,992,932,unit_del,241,244,1071] $F.

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists