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/Lemma9.13e.prf

Length of proof is 3.  Level of proof is 2.
 
---------------- PROOF ----------------
 
188 [] -opposite(xa,xp,xq,xb)|opposite(xb,xp,xq,xa).
200 [] -opposite(xa,xp,xq,xc)|opposite(xb,xp,xq,xc)| -samesideline(xa,xb,xp,xq).
283 [] opposite(a,p,q,b).
284 [] samesideline(b,c,p,q).
285 [] -opposite(a,p,q,c).
293 [binary,283.1,188.1] opposite(b,p,q,a).
357 [binary,285.1,188.2] -opposite(c,p,q,a).
1338 [hyper,200,293,284] opposite(c,p,q,a).
1339 [binary,1338.1,357.1] $F.

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