「「もしも物狂おしくないならば「生み難くなくて重しない」ということは誤っている」モンスターはいる」ということは誤りだ
fact1: もし仮に何らかのモンスターは物狂おしくないとすると「生み難くないしおまけに重しということはない」ということは成り立たない fact2: 仮にあのぴやぴちゃLv.36は真ん丸くないとすると「迷信深いということはないけど見え難い」ということは間違いである fact3: 「もし上げ続けないとすると享有しなくて更に行き難くない」モンスターはいる fact4: 「仮に来し易いということはないとすると「説明し難いということはないがぎくしゃくする」ということは間違っている」モンスターはいる fact5: もしも「あのぴやぴちゃLv.36は物狂おしい」ということは成り立つとしたら「あのぴやぴちゃLv.36は生み難くなくて重しない」ということは本当であるということはない fact6: 「もし仮に人らしいということはないならしゃあ無いということはないしおまけに程良くない」モンスターはいる
fact1 -> int1: あのぴやぴちゃLv.36は物狂おしくないなら「あのぴやぴちゃLv.36は生み難くないしかつ重しない」ということは偽だ; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もし仮に何らかのモンスターは物狂おしくないとすると「生み難くないしおまけに重しということはない」ということは成り立たない fact2: 仮にあのぴやぴちゃLv.36は真ん丸くないとすると「迷信深いということはないけど見え難い」ということは間違いである fact3: 「もし上げ続けないとすると享有しなくて更に行き難くない」モンスターはいる fact4: 「仮に来し易いということはないとすると「説明し難いということはないがぎくしゃくする」ということは間違っている」モンスターはいる fact5: もしも「あのぴやぴちゃLv.36は物狂おしい」ということは成り立つとしたら「あのぴやぴちゃLv.36は生み難くなくて重しない」ということは本当であるということはない fact6: 「もし仮に人らしいということはないならしゃあ無いということはないしおまけに程良くない」モンスターはいる ; $hypothesis$ = 「「もしも物狂おしくないならば「生み難くなくて重しない」ということは誤っている」モンスターはいる」ということは誤りだ ; $proof$ = 
fact1 -> int1: あのぴやぴちゃLv.36は物狂おしくないなら「あのぴやぴちゃLv.36は生み難くないしかつ重しない」ということは偽だ; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__