以下のように仮定する。このみわみわLv.83は恐ろしくないし下令しない
fact1: 「とあるモンスターが交尾するとすると恐ろしくなくてそれは下令するということはない」ということは正しい fact2: 恐ろしいということはないモンスターでしかも下令しないモンスターは考案しない fact3: このみわみわLv.83は考案する fact4: もしもあのまにゃまゆLv.97が交尾しないけれど考案すればそのぷやぷくLv.22は恐ろしくない
fact2 -> int1: 仮にこのみわみわLv.83が恐ろしくなくてさらに下令しないとしたらこのみわみわLv.83は考案しない; void -> assump1: 以下のように仮定する。このみわみわLv.83は恐ろしくないし下令しない; int1 & assump1 -> int2: 「このみわみわLv.83は考案するということはない」ということは本当だ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: (¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
そのぷやぷくLv.22は恐ろしくない
$facts$ = fact1: 「とあるモンスターが交尾するとすると恐ろしくなくてそれは下令するということはない」ということは正しい fact2: 恐ろしいということはないモンスターでしかも下令しないモンスターは考案しない fact3: このみわみわLv.83は考案する fact4: もしもあのまにゃまゆLv.97が交尾しないけれど考案すればそのぷやぷくLv.22は恐ろしくない ; $hypothesis$ = 以下のように仮定する。このみわみわLv.83は恐ろしくないし下令しない ; $proof$ = 
fact2 -> int1: 仮にこのみわみわLv.83が恐ろしくなくてさらに下令しないとしたらこのみわみわLv.83は考案しない; void -> assump1: 以下のように仮定する。このみわみわLv.83は恐ろしくないし下令しない; int1 & assump1 -> int2: 「このみわみわLv.83は考案するということはない」ということは本当だ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: (¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__