úÎ Ò)      !"#$%&'( Safe-Infered)) Safe-Infered *+    +*  Safe-Infered ,-./   ,-./ Safe-Infered0123   2103 Safe-Infered.456789:;<=> !?@A"#BCDEFG$%HIJKLMN&'(OPQRS !"#$%&'('! "#$%&('4567=<;:98> !?@A"#BCDEFG$%HIJKLMN&'(OPQRST      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZProper-0.4.3.0 Proper.Utils Proper.Clause Proper.CNF Proper.BDDProper.SentenceErrorFailed SucceededName extractValueClauseAtomnegationliterallitnLit concatClauseclauseCNFcnfmergeCNFFormulasnaiveSATBDDtrueBDDfalseBDD singletonBDDnegBDDdisBDDconBDDimpBDDbicBDDisTautSentencenegcondisbicimpvaltruthAssignment evalSentenceisValidByTruthTabletoCNFtheorem checkTheorem bddCheckTaut $fMonadErrorNLitLitliteralsnSatunitClauseSimplifyremoveUnitClauseN FalseNodeTrueNodenodeTheoremThm TruthTableTruthAssignmentImpBicDisConNegValshowSent constantsF constantstruthValcontainsSentence truthTable addSentenceaddNewSentenceaddCompoundSentencetruthTableForSentence cnfClausesdisjunctiveClauseremoveImplicationremoveBiconditional pushNegationdistributeDisjunctionshowThmtoBDD $fShowTheorem$fShowSentence$fFoldableSentence$fFunctorSentence