Sindbad~EG File Manager

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

RAABP
NOORBEAPB|EQBP|BEABP  assumption
ANNOBEAPB+NEBP+NOBEABP
NOBEAPB
NEBP
NOBEABP
NEPB  lemma:inequalitysymmetric
BEABP  lemma:ray
ORBEAPB|EQBP|BEABP  reductio

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