3.0.0
macs:Mac OS X10.6.6
FchP
newFormat
=openproof.zen.Openproof{p=openproof.fitch.FitchProofDriver{p=openproof.proofdriver.DRProof{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r&1;})r=openproof.proofdriver.DRProofRule{u=uProof;s=proof;}o=openproof.zen.proofdriver.OPDStatusObject{c=0;s="";l="";d@k="";t=false;}u=openproof.proofdriver.DRSupport{t()}b()f(openproof.proofdriver.DRSimpleStep=openproof.proofdriver.DRSimpleStep{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r=openproof.foldriver.FOLDriver{t="@x ((Cube(x) & Large(x)) | (Tet(x) & Small(x)))";}})r=openproof.stepdriver.SRPremiseRule{u=uPremise;s=step;}o=openproof.zen.proofdriver.OPDStatusObject{c=0;s="";l="";d@k="";t=false;}u=openproof.proofdriver.DRSupport{t()}b()},openproof.proofdriver.DRSimpleStep=openproof.proofdriver.DRSimpleStep{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r=openproof.foldriver.FOLDriver{t="@x (Tet(x) $ BackOf(x, c))";}})r&15;o=openproof.zen.proofdriver.OPDStatusObject{c=0;s="";l="";d@k="";t=false;}u=openproof.proofdriver.DRSupport{t()}b()},openproof.proofdriver.DRSimpleStep=openproof.proofdriver.DRSimpleStep{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r=openproof.foldriver.FOLDriver{t="@x ~(Small(x) & Large(x))";}})r&15;o=openproof.zen.proofdriver.OPDStatusObject{c=0;s="";l="";d@k="";t=false;}u=openproof.proofdriver.DRSupport{t()}b()})}g=openproof.proofdriver.DRGoalList{g(openproof.proofdriver.DRGoal=openproof.proofdriver.DRGoal{g=openproof.proofdriver.DRGoalInfo{r=openproof.foldriver.FOLDriver{t="@x (Small(x) $ BackOf(x, c))";r&38;}}r=openproof.fold.OPFOLGoalRule{u=uFOLGoalRule;s=fol;}s()o=openproof.zen.proofdriver.OPDStatusObject{c=0;s="";l="";d@k="";t=false;}c(openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n="t/f Connectives";a=true;},openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n=Identity;a=true;},openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n=Quantifiers;a=true;},openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n=ExMidd;a=false;},openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n=TwoTaut;a=false;},openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n=TautCon;a=true;},openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n="FO Con";a=false;},openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n=BabyAna;a=false;},openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n=TwoMore;a=false;},openproof.fold.FOLGoalConstraint=openproof.fold.FOLGoalConstraint{n=AnaCon;a=false;})})}a=true;}}c=251200;
s=354277;