% ( : Human Type )
 [t(lpar,0),t(variabel(":"),2),t(variabel("Human"),4),t(variabel("Type"),10),t(rpar,15)]
par_atom_list([variabel(":"),variabel("Human"),variabel("Type")])

% ( : ( wwe )Type )
 [t(lpar,0),t(variabel(":"),2),t(lpar,4),t(variabel("wwe"),6),t(rpar,10),t(variabel("Type"),11),t(rpar,16)]
par_atom_list([variabel(":"),metta_sub(par_atom_list([variabel("wwe")])),variabel("Type")])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))
     ;; Preconditions are met
     (if (< 0.99 $Bs)
        ;; sB tends to 1
        $Cs
        ;; otherwise
        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))
     ;; Preconditions are not met
     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(variabel(";"),201),t(variabel(";"),202),t(variabel("Preconditions"),204),t(variabel("are"),218),t(variabel("met"),222),t(lpar,231),t(variabel("if"),232),t(lpar,235),t(variabel("<"),236),t(variabel("0.99"),238),t(variabel("$"),243),t(variabel("Bs"),244),t(rpar,246),t(variabel(";"),256),t(variabel(";"),257),t(variabel("sB"),259),t(variabel("tends"),262),t(variabel("to"),268),t(variabel("1"),271),t(variabel("$"),281),t(variabel("Cs"),282),t(variabel(";"),293),t(variabel(";"),294),t(variabel("otherwise"),296),t(lpar,314),t(variabel("+"),315),t(lpar,317),t(variabel("*"),318),t(variabel("$"),320),t(variabel("ABs"),321),t(variabel("$"),325),t(variabel("BCs"),326),t(rpar,329),t(lpar,331),t(variabel("/"),332),t(lpar,334),t(variabel("*"),335),t(lpar,337),t(variabel("-"),338),t(variabel("1"),340),t(variabel("$"),342),t(variabel("ABs"),343),t(rpar,346),t(lpar,348),t(variabel("-"),349),t(variabel("$"),351),t(variabel("Cs"),352),t(lpar,355),t(variabel("*"),356),t(variabel("$"),358),t(variabel("Bs"),359),t(variabel("$"),362),t(variabel("BCs"),363),t(rpar,366),t(rpar,367),t(rpar,368),t(lpar,370),t(variabel("-"),371),t(variabel("1"),373),t(variabel("$"),375),t(variabel("Bs"),376),t(rpar,378),t(rpar,379),t(rpar,380),t(rpar,381),t(variabel(";"),388),t(variabel(";"),389),t(variabel("Preconditions"),391),t(variabel("are"),405),t(variabel("not"),409),t(variabel("met"),413),t(variabel("0"),422),t(rpar,423),t(rpar,424)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),variabel(";"),variabel(";"),variabel("Preconditions"),variabel("are"),variabel("met"),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel(";"),variabel(";"),variabel("sB"),variabel("tends"),variabel("to"),variabel("1"),variabel("$"),variabel("Cs"),variabel(";"),variabel(";"),variabel("otherwise"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel(";"),variabel(";"),variabel("Preconditions"),variabel("are"),variabel("not"),variabel("met"),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))
     ;; Preconditions are met
     (if (< 0.99 $Bs)
        ;; sB tends to 1
        $Cs
        ;; otherwise
        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))
     ;; Preconditions are not met
     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(variabel(";"),201),t(variabel(";"),202),t(variabel("Preconditions"),204),t(variabel("are"),218),t(variabel("met"),222),t(lpar,231),t(variabel("if"),232),t(lpar,235),t(variabel("<"),236),t(variabel("0.99"),238),t(variabel("$"),243),t(variabel("Bs"),244),t(rpar,246),t(variabel(";"),256),t(variabel(";"),257),t(variabel("sB"),259),t(variabel("tends"),262),t(variabel("to"),268),t(variabel("1"),271),t(variabel("$"),281),t(variabel("Cs"),282),t(variabel(";"),293),t(variabel(";"),294),t(variabel("otherwise"),296),t(lpar,314),t(variabel("+"),315),t(lpar,317),t(variabel("*"),318),t(variabel("$"),320),t(variabel("ABs"),321),t(variabel("$"),325),t(variabel("BCs"),326),t(rpar,329),t(lpar,331),t(variabel("/"),332),t(lpar,334),t(variabel("*"),335),t(lpar,337),t(variabel("-"),338),t(variabel("1"),340),t(variabel("$"),342),t(variabel("ABs"),343),t(rpar,346),t(lpar,348),t(variabel("-"),349),t(variabel("$"),351),t(variabel("Cs"),352),t(lpar,355),t(variabel("*"),356),t(variabel("$"),358),t(variabel("Bs"),359),t(variabel("$"),362),t(variabel("BCs"),363),t(rpar,366),t(rpar,367),t(rpar,368),t(lpar,370),t(variabel("-"),371),t(variabel("1"),373),t(variabel("$"),375),t(variabel("Bs"),376),t(rpar,378),t(rpar,379),t(rpar,380),t(rpar,381),t(variabel(";"),388),t(variabel(";"),389),t(variabel("Preconditions"),391),t(variabel("are"),405),t(variabel("not"),409),t(variabel("met"),413),t(variabel("0"),422),t(rpar,423),t(rpar,424)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),variabel(";"),variabel(";"),variabel("Preconditions"),variabel("are"),variabel("met"),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel(";"),variabel(";"),variabel("sB"),variabel("tends"),variabel("to"),variabel("1"),variabel("$"),variabel("Cs"),variabel(";"),variabel(";"),variabel("otherwise"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel(";"),variabel(";"),variabel("Preconditions"),variabel("are"),variabel("not"),variabel("met"),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))
     ;; Preconditions are met
     (if (< 0.99 $Bs)
        ;; sB tends to 1
        $Cs
        ;; otherwise
        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))
     ;; Preconditions are not met
     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(variabel(";"),201),t(variabel(";"),202),t(variabel("Preconditions"),204),t(variabel("are"),218),t(variabel("met"),222),t(lpar,231),t(variabel("if"),232),t(lpar,235),t(variabel("<"),236),t(variabel("0.99"),238),t(variabel("$"),243),t(variabel("Bs"),244),t(rpar,246),t(variabel(";"),256),t(variabel(";"),257),t(variabel("sB"),259),t(variabel("tends"),262),t(variabel("to"),268),t(variabel("1"),271),t(variabel("$"),281),t(variabel("Cs"),282),t(variabel(";"),293),t(variabel(";"),294),t(variabel("otherwise"),296),t(lpar,314),t(variabel("+"),315),t(lpar,317),t(variabel("*"),318),t(variabel("$"),320),t(variabel("ABs"),321),t(variabel("$"),325),t(variabel("BCs"),326),t(rpar,329),t(lpar,331),t(variabel("/"),332),t(lpar,334),t(variabel("*"),335),t(lpar,337),t(variabel("-"),338),t(variabel("1"),340),t(variabel("$"),342),t(variabel("ABs"),343),t(rpar,346),t(lpar,348),t(variabel("-"),349),t(variabel("$"),351),t(variabel("Cs"),352),t(lpar,355),t(variabel("*"),356),t(variabel("$"),358),t(variabel("Bs"),359),t(variabel("$"),362),t(variabel("BCs"),363),t(rpar,366),t(rpar,367),t(rpar,368),t(lpar,370),t(variabel("-"),371),t(variabel("1"),373),t(variabel("$"),375),t(variabel("Bs"),376),t(rpar,378),t(rpar,379),t(rpar,380),t(rpar,381),t(variabel(";"),388),t(variabel(";"),389),t(variabel("Preconditions"),391),t(variabel("are"),405),t(variabel("not"),409),t(variabel("met"),413),t(variabel("0"),422),t(rpar,423),t(rpar,424)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),variabel(";"),variabel(";"),variabel("Preconditions"),variabel("are"),variabel("met"),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel(";"),variabel(";"),variabel("sB"),variabel("tends"),variabel("to"),variabel("1"),variabel("$"),variabel("Cs"),variabel(";"),variabel(";"),variabel("otherwise"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel(";"),variabel(";"),variabel("Preconditions"),variabel("are"),variabel("not"),variabel("met"),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))



 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))


 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))


 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))


 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))


 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))

 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))


 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))


 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))


 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))))

     0))
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,307),t(rpar,308),t(variabel("0"),316),t(rpar,317),t(rpar,318)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )

     0))
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,309),t(rpar,313),t(variabel("0"),321),t(rpar,322),t(rpar,323)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)
  (if
     (and
        (conditional-probability-consistency $As $Bs $ABs)
        (conditional-probability-consistency $Bs $Cs $BCs))

     (if (< 0.99 $Bs)

        $Cs

        (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )

     0))
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,144),t(variabel("conditional"),145),t(variabel("-"),156),t(variabel("probability"),157),t(variabel("-"),168),t(variabel("consistency"),169),t(variabel("$"),181),t(variabel("Bs"),182),t(variabel("$"),185),t(variabel("Cs"),186),t(variabel("$"),189),t(variabel("BCs"),190),t(rpar,193),t(rpar,194),t(lpar,202),t(variabel("if"),203),t(lpar,206),t(variabel("<"),207),t(variabel("0.99"),209),t(variabel("$"),214),t(variabel("Bs"),215),t(rpar,217),t(variabel("$"),228),t(variabel("Cs"),229),t(lpar,241),t(variabel("+"),242),t(lpar,244),t(variabel("*"),245),t(variabel("$"),247),t(variabel("ABs"),248),t(variabel("$"),252),t(variabel("BCs"),253),t(rpar,256),t(lpar,258),t(variabel("/"),259),t(lpar,261),t(variabel("*"),262),t(lpar,264),t(variabel("-"),265),t(variabel("1"),267),t(variabel("$"),269),t(variabel("ABs"),270),t(rpar,273),t(lpar,275),t(variabel("-"),276),t(variabel("$"),278),t(variabel("Cs"),279),t(lpar,282),t(variabel("*"),283),t(variabel("$"),285),t(variabel("Bs"),286),t(variabel("$"),289),t(variabel("BCs"),290),t(rpar,293),t(rpar,294),t(rpar,295),t(lpar,297),t(variabel("-"),298),t(variabel("1"),300),t(variabel("$"),302),t(variabel("Bs"),303),t(rpar,305),t(rpar,306),t(rpar,309),t(rpar,313),t(variabel("0"),321),t(rpar,322),t(rpar,323)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple-deduction-strength-formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional-probability-consistency $As $Bs $ABs)      
   (conditional-probability-consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple"),4),t(variabel("-"),10),t(variabel("deduction"),11),t(variabel("-"),20),t(variabel("strength"),21),t(variabel("-"),29),t(variabel("formula"),30),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional"),86),t(variabel("-"),97),t(variabel("probability"),98),t(variabel("-"),109),t(variabel("consistency"),110),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional"),146),t(variabel("-"),157),t(variabel("probability"),158),t(variabel("-"),169),t(variabel("consistency"),170),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple"),variabel("-"),variabel("deduction"),variabel("-"),variabel("strength"),variabel("-"),variabel("formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional"),variabel("-"),variabel("probability"),variabel("-"),variabel("consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple_deduction_strength_formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional_probability_consistency $As $Bs $ABs)      
   (conditional_probability_consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple_deduction_strength_formula"),4),t(variabel("$"),38),t(variabel("As"),39),t(variabel("$"),42),t(variabel("Bs"),43),t(variabel("$"),46),t(variabel("Cs"),47),t(variabel("$"),50),t(variabel("ABs"),51),t(variabel("$"),55),t(variabel("BCs"),56),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional_probability_consistency"),86),t(variabel("$"),122),t(variabel("As"),123),t(variabel("$"),126),t(variabel("Bs"),127),t(variabel("$"),130),t(variabel("ABs"),131),t(rpar,134),t(lpar,145),t(variabel("conditional_probability_consistency"),146),t(variabel("$"),182),t(variabel("Bs"),183),t(variabel("$"),186),t(variabel("Cs"),187),t(variabel("$"),190),t(variabel("BCs"),191),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(variabel("0.99"),210),t(variabel("$"),215),t(variabel("Bs"),216),t(rpar,218),t(variabel("$"),231),t(variabel("Cs"),232),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$"),250),t(variabel("ABs"),251),t(variabel("$"),255),t(variabel("BCs"),256),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(variabel("1"),270),t(variabel("$"),272),t(variabel("ABs"),273),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$"),281),t(variabel("Cs"),282),t(lpar,285),t(variabel("*"),286),t(variabel("$"),288),t(variabel("Bs"),289),t(variabel("$"),292),t(variabel("BCs"),293),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(variabel("1"),303),t(variabel("$"),305),t(variabel("Bs"),306),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(variabel("0"),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple_deduction_strength_formula"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional_probability_consistency"),variabel("$"),variabel("As"),variabel("$"),variabel("Bs"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("conditional_probability_consistency"),variabel("$"),variabel("Bs"),variabel("$"),variabel("Cs"),variabel("$"),variabel("BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),variabel("0.99"),variabel("$"),variabel("Bs")])),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("ABs"),variabel("$"),variabel("BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$"),variabel("Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$"),variabel("Bs"),variabel("$"),variabel("BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),variabel("1"),variabel("$"),variabel("Bs")]))]))]))])),variabel("0")]))])

% (= (simple_deduction_strength_formula $As $Bs $Cs $ABs $BCs)  
(if  
   (and    
    (conditional_probability_consistency $As $Bs $ABs)      
   (conditional_probability_consistency $Bs $Cs $BCs))
     
(if (< 0.99 $Bs)
    
      $Cs
  
      (+ (* $ABs $BCs) (/ (* (- 1 $ABs) (- $Cs (* $Bs $BCs))) (- 1 $Bs))  )   )   
  
   0))		
 [t(lpar,0),t(variabel("="),1),t(lpar,3),t(variabel("simple_deduction_strength_formula"),4),t(variabel("$As"),38),t(variabel("$Bs"),42),t(variabel("$Cs"),46),t(variabel("$ABs"),50),t(variabel("$BCs"),55),t(rpar,59),t(lpar,63),t(variabel("if"),64),t(lpar,72),t(variabel("and"),73),t(lpar,85),t(variabel("conditional_probability_consistency"),86),t(variabel("$As"),122),t(variabel("$Bs"),126),t(variabel("$ABs"),130),t(rpar,134),t(lpar,145),t(variabel("conditional_probability_consistency"),146),t(variabel("$Bs"),182),t(variabel("$Cs"),186),t(variabel("$BCs"),190),t(rpar,194),t(rpar,195),t(lpar,203),t(variabel("if"),204),t(lpar,207),t(variabel("<"),208),t(number(0.99),210),t(variabel("$Bs"),215),t(rpar,218),t(variabel("$Cs"),231),t(lpar,244),t(variabel("+"),245),t(lpar,247),t(variabel("*"),248),t(variabel("$ABs"),250),t(variabel("$BCs"),255),t(rpar,259),t(lpar,261),t(variabel("/"),262),t(lpar,264),t(variabel("*"),265),t(lpar,267),t(variabel("-"),268),t(number(1),270),t(variabel("$ABs"),272),t(rpar,276),t(lpar,278),t(variabel("-"),279),t(variabel("$Cs"),281),t(lpar,285),t(variabel("*"),286),t(variabel("$Bs"),288),t(variabel("$BCs"),292),t(rpar,296),t(rpar,297),t(rpar,298),t(lpar,300),t(variabel("-"),301),t(number(1),303),t(variabel("$Bs"),305),t(rpar,308),t(rpar,309),t(rpar,312),t(rpar,316),t(number(0),327),t(rpar,328),t(rpar,329)]
par_atom_list([variabel("="),metta_sub(par_atom_list([variabel("simple_deduction_strength_formula"),variabel("$As"),variabel("$Bs"),variabel("$Cs"),variabel("$ABs"),variabel("$BCs")])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("and"),metta_sub(par_atom_list([variabel("conditional_probability_consistency"),variabel("$As"),variabel("$Bs"),variabel("$ABs")])),metta_sub(par_atom_list([variabel("conditional_probability_consistency"),variabel("$Bs"),variabel("$Cs"),variabel("$BCs")]))])),metta_sub(par_atom_list([variabel("if"),metta_sub(par_atom_list([variabel("<"),number(0.99),variabel("$Bs")])),variabel("$Cs"),metta_sub(par_atom_list([variabel("+"),metta_sub(par_atom_list([variabel("*"),variabel("$ABs"),variabel("$BCs")])),metta_sub(par_atom_list([variabel("/"),metta_sub(par_atom_list([variabel("*"),metta_sub(par_atom_list([variabel("-"),number(1),variabel("$ABs")])),metta_sub(par_atom_list([variabel("-"),variabel("$Cs"),metta_sub(par_atom_list([variabel("*"),variabel("$Bs"),variabel("$BCs")]))]))])),metta_sub(par_atom_list([variabel("-"),number(1),variabel("$Bs")]))]))]))])),number(0)]))])