Sindbad~EG File Manager

Length of proof is 10.  Level of proof is 4.

---------------- PROOF ----------------

62 [] -Col(x,y,z)|Col(y,z,x).
63 [] -Col(x,y,z)|Col(z,x,y).
64 [] -Col(x,y,z)|Col(z,y,x).
65 [] -Col(x,y,z)|Col(y,x,z).
94 [] xa=xb| -Col(xa,xb,xc)| -Col(xa,xb,xd)|Col(xa,xc,xd).
106 [] a!=b.
107 [] Col(a,b,p).
108 [] Col(a,b,q).
109 [] Col(a,b,t).
110 [] -Col(p,q,t).
226 [hyper,94,107,108,unit_del,106] Col(a,p,q).
244 [hyper,94,108,109,unit_del,106] Col(a,q,t).
245 [hyper,94,107,109,unit_del,106] Col(a,p,t).
255 [binary,110.1,65.2] -Col(q,p,t).
258 [binary,110.1,62.2] -Col(t,p,q).
274 [binary,226.1,63.1] Col(q,a,p).
286 [binary,244.1,65.1] Col(q,a,t).
301 [binary,245.1,64.1] Col(t,p,a).
381 [hyper,94,274,286,unit_del,255] q=a.
424 [para_from,381.1.1,258.1.3] -Col(t,p,a).
425 [binary,424.1,301.1] $F.