「もしも正せるということはないならばめでたいがしかし正せるということはない」モンスターはいる
fact1: このもちゃもいLv.28が差し直すとすればこのもちゃもいLv.28はめでたい fact2: もし仮に「このもちゃもいLv.28はめでたいしおまけに差し直す」ということは嘘であるとするとこのぴにょぴにょLv.71は住み易いということはない fact3: 「あらゆるモンスターは形成され易くない」ということは確かである fact4: このもちゃもいLv.28は差し直す
fact1 & fact4 -> int1: このもちゃもいLv.28はめでたい; void -> assump1: 以下のように仮定する。このもちゃもいLv.28は正せない; int1 & assump1 -> int2: このもちゃもいLv.28はめでたいがそれは正せない; [assump1] & int2 -> int3: もしもこのもちゃもいLv.28が正せないとすればこのもちゃもいLv.28はめでたいが正せない; int3 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; void -> assump1: ¬{C}{a}; int1 & assump1 -> int2: ({B}{a} & ¬{C}{a}); [assump1] & int2 -> int3: ¬{C}{a} -> ({B}{a} & ¬{C}{a}); int3 -> hypothesis;
このぴにょぴにょLv.71は中和するけれど住み易くない
fact6 -> int4: このまちゅまなLv.35は形成され易くない;
$facts$ = fact1: このもちゃもいLv.28が差し直すとすればこのもちゃもいLv.28はめでたい fact2: もし仮に「このもちゃもいLv.28はめでたいしおまけに差し直す」ということは嘘であるとするとこのぴにょぴにょLv.71は住み易いということはない fact3: 「あらゆるモンスターは形成され易くない」ということは確かである fact4: このもちゃもいLv.28は差し直す ; $hypothesis$ = 「もしも正せるということはないならばめでたいがしかし正せるということはない」モンスターはいる ; $proof$ = 
fact1 & fact4 -> int1: このもちゃもいLv.28はめでたい; void -> assump1: 以下のように仮定する。このもちゃもいLv.28は正せない; int1 & assump1 -> int2: このもちゃもいLv.28はめでたいがそれは正せない; [assump1] & int2 -> int3: もしもこのもちゃもいLv.28が正せないとすればこのもちゃもいLv.28はめでたいが正せない; int3 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{a}; void -> assump1: ¬{C}{a}; int1 & assump1 -> int2: ({B}{a} & ¬{C}{a}); [assump1] & int2 -> int3: ¬{C}{a} -> ({B}{a} & ¬{C}{a}); int3 -> hypothesis; __PROVED__