「もしも強くないとすれば「泣き濡れるということはないけど発生し易い」ということは間違いである」モンスターはいる
fact1: なんらかのモンスターは強いなら「それは泣き濡れないがしかし発生し易い」ということは誤っている fact2: 「もし仮に対象化するとしたら「激しくない一方で吸収され難い」ということは誤っている」モンスターはいる fact3: 仮にとあるモンスターは強くないならば「それは泣き濡れない一方で発生し易い」ということは事実と異なる
fact3 -> int1: そのぷにゃぷねLv.98は強くないならば「そのぷにゃぷねLv.98は泣き濡れない一方で発生し易い」ということは誤りだ; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: なんらかのモンスターは強いなら「それは泣き濡れないがしかし発生し易い」ということは誤っている fact2: 「もし仮に対象化するとしたら「激しくない一方で吸収され難い」ということは誤っている」モンスターはいる fact3: 仮にとあるモンスターは強くないならば「それは泣き濡れない一方で発生し易い」ということは事実と異なる ; $hypothesis$ = 「もしも強くないとすれば「泣き濡れるということはないけど発生し易い」ということは間違いである」モンスターはいる ; $proof$ = 
fact3 -> int1: そのぷにゃぷねLv.98は強くないならば「そのぷにゃぷねLv.98は泣き濡れない一方で発生し易い」ということは誤りだ; int1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis; __PROVED__