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/ExtCol2.prf

Length of proof is 2.  Level of proof is 1.
 
---------------- PROOF ----------------
 
52 [] Col(xa,xb,xa).
103 [] xa=xb|xp=xq| -Col(xp,xq,xa)| -Col(xp,xq,xb)| -Col(xp,xq,xr)|Col(xa,xb,xr).
104 [] xa=xb|xp=xq| -Col(xa,xb,xc)| -Col(xp,xq,xc)| -Col(xa,xb,xd)| -Col(xp,xq,xd)|xc=xd| -Col(xa,xb,xe)|Col(xp,xq,xe).
225 [] a!=b.
226 [] c!=d.
227 [] Col(a,b,c).
228 [] Col(a,b,d).
229 [] Col(c,d,p).
230 [] -Col(a,b,p).
710 [hyper,103,227,228,228,unit_del,226,225] Col(c,d,d).
1015 [ur,104,226,225,52,227,228,226,229,230] -Col(c,d,d).
1016 [binary,1015.1,710.1] $F.

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