「「もし届き難くないなら「食べ残すししかも疎ましい」ということは嘘である」モンスターはいる」ということは事実と異なる
fact1: もし仮にこのぷにゃぷいLv.15はすげなくないとすると「すんごいしかつ納得し難い」ということは間違いだ fact2: もしなにがしかのモンスターは届き難くないなら「それは食べ残すし疎ましい」ということは間違いである fact3: 「もしも届き難いとすれば「食べ残すしまた疎ましい」ということは成り立たない」モンスターはいる fact4: このもなもにゅLv.65は見分け難くないとすれば「このもなもにゅLv.65は届き難くてめでたい」ということは成り立つということはない fact5: 反応し易くないモンスターは思い惑うしかつがめつい fact6: もしなんらかのモンスターは御呼び下さるということはないならば「「知り合いらしいし更に面白おかしい」ということは本当である」ということは誤りである
fact2 -> int1: もし仮にこのぷにゃぷいLv.15は届き難くないとしたら「食べ残すしかつ疎ましい」ということは誤っている; int1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もし仮にこのぷにゃぷいLv.15はすげなくないとすると「すんごいしかつ納得し難い」ということは間違いだ fact2: もしなにがしかのモンスターは届き難くないなら「それは食べ残すし疎ましい」ということは間違いである fact3: 「もしも届き難いとすれば「食べ残すしまた疎ましい」ということは成り立たない」モンスターはいる fact4: このもなもにゅLv.65は見分け難くないとすれば「このもなもにゅLv.65は届き難くてめでたい」ということは成り立つということはない fact5: 反応し易くないモンスターは思い惑うしかつがめつい fact6: もしなんらかのモンスターは御呼び下さるということはないならば「「知り合いらしいし更に面白おかしい」ということは本当である」ということは誤りである ; $hypothesis$ = 「「もし届き難くないなら「食べ残すししかも疎ましい」ということは嘘である」モンスターはいる」ということは事実と異なる ; $proof$ = 
fact2 -> int1: もし仮にこのぷにゃぷいLv.15は届き難くないとしたら「食べ残すしかつ疎ましい」ということは誤っている; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis; __DISPROVED__