Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/trichotomy1.prf

NOLTABCD
NOLTCDAB
NEAB
NECD
NEBA  lemma:inequalitysymmetric
ANBEBAP+EEAPAB  lemma:extension
BEBAP
BEPAB  axiom:betweennesssymmetry
NEAP  lemma:betweennotequal
NEPA  lemma:inequalitysymmetric
ANBEPAE+EEAECD  lemma:extension
BEPAE
EEAECD
BEABE  assumption
 EEABAB  cn:congruencereflexive
 LTABAE  defn:lessthan
 LTABCD  lemma:lessthancongruence
NOBEABE reductio
BEAEB   assumption
 LTCDAB  defn:lessthan 
NOBEAEB  reductio
EQEB   lemma:outerconnectivity
EEABAB  cn:congruencereflexive
EEABAE  cn:equalitysub
EEAECD
EEABCD  lemma:congruencetransitive

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