「「狭い」ということは嘘だということはないとしたら「心弱くないが面白い」ということは偽な」モンスターはいる
fact1: 「狭いとすれば「心弱いし面白い」ということは間違いである」モンスターはいる fact2: 「狭いなら心弱くなくてそれに面白い」モンスターはいる fact3: もし仮になんらかのモンスターは覚束無いとしたら「それは行き届くしおまけに起こり難い」ということは成り立たない fact4: もしも何らかのモンスターは狭いとしたら「心弱くないし加えてそれは面白い」ということは成り立たない fact5: もしもあるモンスターは想定し難いなら「それは物凄ーくないし更に格好良い」ということは成り立たない fact6: 仮にあのぴよぴちゃLv.92が狭いなら心弱いということはない一方で面白い
fact4 -> int1: もし仮にあのぴよぴちゃLv.92は狭いとすると「心弱くなくて加えて面白い」ということは成り立たない; int1 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
「もし仮に想定し難いとしたら「物凄ーくないし更に格好良い」ということは間違っている」モンスターはいる
fact7 -> int2: 仮にこのまにゅまえLv.11は想定し難いとしたら「このまにゅまえLv.11は物凄ーくないけれど格好良い」ということは嘘である; int2 -> hypothesis;
$facts$ = fact1: 「狭いとすれば「心弱いし面白い」ということは間違いである」モンスターはいる fact2: 「狭いなら心弱くなくてそれに面白い」モンスターはいる fact3: もし仮になんらかのモンスターは覚束無いとしたら「それは行き届くしおまけに起こり難い」ということは成り立たない fact4: もしも何らかのモンスターは狭いとしたら「心弱くないし加えてそれは面白い」ということは成り立たない fact5: もしもあるモンスターは想定し難いなら「それは物凄ーくないし更に格好良い」ということは成り立たない fact6: 仮にあのぴよぴちゃLv.92が狭いなら心弱いということはない一方で面白い ; $hypothesis$ = 「「狭い」ということは嘘だということはないとしたら「心弱くないが面白い」ということは偽な」モンスターはいる ; $proof$ = 
fact4 -> int1: もし仮にあのぴよぴちゃLv.92は狭いとすると「心弱くなくて加えて面白い」ということは成り立たない; int1 -> hypothesis; __PROVED__
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis; __PROVED__