「「「近付き難くないなら「美しくないしまた預言する」ということは間違いである」モンスターはいる」ということは事実である」ということは嘘である
fact1: 何らかのモンスターは近付き難いということはないならば「美しくないし預言する」ということは嘘である fact2: 仮にそのまちょまにLv.26が美しくないなら西洋化しないけど信じ易い fact3: 「近付き難いということはないならば美しくないけど預言する」モンスターはいる fact4: もし仮にあるモンスターは拙くないならば「根強くないし持ち易い」ということは事実でない fact5: もし仮にとあるモンスターは善しないとしたら「それは預言しないが神々しい」ということは成り立たない fact6: もし仮に何らかのモンスターは履行すなら「それは野暮ったくないしその上それは関係深い」ということは成り立たない
fact1 -> int1: もしもあのぽなぽゆLv.33は近付き難いということはないならば「それは美しくないしその上預言する」ということは間違いだ; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
そのぷゆぷちょLv.22は善しないとすると「そのぷゆぷちょLv.22は預言しないがしかし神々しい」ということは成り立たない
fact7 -> hypothesis;
$facts$ = fact1: 何らかのモンスターは近付き難いということはないならば「美しくないし預言する」ということは嘘である fact2: 仮にそのまちょまにLv.26が美しくないなら西洋化しないけど信じ易い fact3: 「近付き難いということはないならば美しくないけど預言する」モンスターはいる fact4: もし仮にあるモンスターは拙くないならば「根強くないし持ち易い」ということは事実でない fact5: もし仮にとあるモンスターは善しないとしたら「それは預言しないが神々しい」ということは成り立たない fact6: もし仮に何らかのモンスターは履行すなら「それは野暮ったくないしその上それは関係深い」ということは成り立たない ; $hypothesis$ = 「「「近付き難くないなら「美しくないしまた預言する」ということは間違いである」モンスターはいる」ということは事実である」ということは嘘である ; $proof$ = 
fact1 -> int1: もしもあのぽなぽゆLv.33は近付き難いということはないならば「それは美しくないしその上預言する」ということは間違いだ; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis; __DISPROVED__