-
Notifications
You must be signed in to change notification settings - Fork 18
/
Proof 6.27.prf
7 lines (7 loc) · 8.98 KB
/
Proof 6.27.prf
1
3.4.1.18681wnds:Windows 86.2FchFC1428917145381D1428919749497newFormat=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=step;}o=openproof.zen.proofdriver.OPDStatusObject{c=1;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="(A & B) | (C & D)";}})r=openproof.stepdriver.SRPremiseRule{u=uPremise;s=step;}o=openproof.zen.proofdriver.OPDStatusObject{c=1;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="(B & C) | (D & E)";}})r=openproof.stepdriver.SRPremiseRule{u=uPremise;s=step;}o=openproof.zen.proofdriver.OPDStatusObject{c=1;s="";l="";d@k="";t=false;}u=openproof.proofdriver.DRSupport{t()}b()},openproof.proofdriver.DRProof=openproof.proofdriver.DRProof{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r&1;})r=openproof.proofdriver.DRProofRule{u=uProof;s=step;}o&6;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="B&C";}})r=openproof.stepdriver.SRPremiseRule{u=uPremise;s=step;}o=openproof.zen.proofdriver.OPDStatusObject{c=1;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=C;}})r=openproof.fold.OPConjunctionElimRule{u="u\u2227 Elim";s=fol;}o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&39;ss=2.0;sb=false;})}b()},openproof.proofdriver.DRSimpleStep=openproof.proofdriver.DRSimpleStep{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r=openproof.foldriver.FOLDriver{t="C|(A&E)";}})r=openproof.fold.OPDisjunctionIntroRule{u="u\u2228 Intro";s=fol;}o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&48;ss=2.1;sb=false;})}b()})},openproof.proofdriver.DRProof=openproof.proofdriver.DRProof{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r&1;})r=openproof.proofdriver.DRProofRule{u=uProof;s=step;}o&6;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="D&E";}})r&41;o=openproof.zen.proofdriver.OPDStatusObject{c=1;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=E;}})r&50;o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&76;ss=3.0;sb=false;})}b()},openproof.proofdriver.DRProof=openproof.proofdriver.DRProof{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r&1;})r=openproof.proofdriver.DRProofRule{u=uProof;s=step;}o&6;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="A&B";}})r&41;o=openproof.zen.proofdriver.OPDStatusObject{c=1;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=A;}})r&50;o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&101;ss=3.2.0;sb=false;})}b()},openproof.proofdriver.DRSimpleStep=openproof.proofdriver.DRSimpleStep{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r=openproof.foldriver.FOLDriver{t="A&E";}})r=openproof.fold.OPConjunctionIntroRule{u="u\u2227 Intro";s=fol;}o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&109;ss=3.2.1;sb=false;},openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&84;ss=3.1;sb=false;})}b()},openproof.proofdriver.DRSimpleStep=openproof.proofdriver.DRSimpleStep{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r=openproof.foldriver.FOLDriver{t="C|(A&E)";}})r&60;o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&118;ss=3.2.2;sb=false;})}b()})},openproof.proofdriver.DRProof=openproof.proofdriver.DRProof{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r&1;})r=openproof.proofdriver.DRProofRule{u=uProof;s=step;}o&6;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="C&D";}})r&41;o=openproof.zen.proofdriver.OPDStatusObject{c=1;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=C;}})r&50;o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&146;ss=3.3.0;sb=false;})}b()},openproof.proofdriver.DRSimpleStep=openproof.proofdriver.DRSimpleStep{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r=openproof.foldriver.FOLDriver{t="C|(A&E)";}})r&60;o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&154;ss=3.3.1;sb=false;})}b()})},openproof.proofdriver.DRSimpleStep=openproof.proofdriver.DRSimpleStep{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r=openproof.foldriver.FOLDriver{t="C|(A&E)";}})r=openproof.fold.OPDisjunctionElimRule{u="u\u2228 Elim";s=fol;}o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&13;ss=0;sb=false;},openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&93;ss=3.2.;sb=false;},openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&138;ss=3.3.;sb=false;})}b()})},openproof.proofdriver.DRSimpleStep=openproof.proofdriver.DRSimpleStep{s(openproof.proofdriver.DRStepInfo=openproof.proofdriver.DRStepInfo{r=openproof.foldriver.FOLDriver{t="C|(A&E)";}})r&174;o=openproof.fold.FOLRuleStatus{c=1;s="";l="";d@k="";t=false;f=1;}u=openproof.proofdriver.DRSupport{t(openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&22;ss=1;sb=false;},openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&31;ss=2.;sb=false;},openproof.proofdriver.DRSupportPack=openproof.proofdriver.DRSupportPack{si&68;ss=3.;sb=false;})}b()})}g=openproof.proofdriver.DRGoalList{g(openproof.proofdriver.DRGoal=openproof.proofdriver.DRGoal{g=openproof.proofdriver.DRGoalInfo{r=openproof.foldriver.FOLDriver{t="C | (A & E)";r&195;}}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=false;},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=false;}}c=878660;s=1220341;