「あのぽにぽゆLv.57は似付かわしくらないしかつ縋り付くということはない」ということは成り立たない
fact1: もし仮にあのぽにぽゆLv.57が縋り付かないとするとそれは似付かわしいということはなくて縋り付くということはない fact2: 「「あのぽにぽゆLv.57はしぶとくないかそれは許し難しかもしくは両方である」ということは成り立つ」ということは成り立たない fact3: もし仮になにがしかのモンスターはＯＢ臭いなら「それは似付かわしくらないし縋り付かない」ということは成り立たない fact4: 仮に「なにがしかのモンスターはしぶとくないかまたは許し難しかどちらもである」ということは間違いであるならそれは縋り付かない fact5: あのぽにぽゆLv.57は許し難くない
fact4 -> int1: 仮に「あのぽにぽゆLv.57はしぶとくないかまたは許し難しかもしくは両方である」ということは成り立たないとしたらあのぽにぽゆLv.57は縋り付くということはない; int1 & fact2 -> int2: あのぽにぽゆLv.57は縋り付かない; int2 & fact1 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 & fact1 -> hypothesis;
「あのぽにぽゆLv.57は似付かわしくらないしかつ縋り付くということはない」ということは成り立たない
fact6 -> int3: もしもあのぽにぽゆLv.57はＯＢ臭いとすると「似付かわしくらないしそれに縋り付かない」ということは事実でない;
$facts$ = fact1: もし仮にあのぽにぽゆLv.57が縋り付かないとするとそれは似付かわしいということはなくて縋り付くということはない fact2: 「「あのぽにぽゆLv.57はしぶとくないかそれは許し難しかもしくは両方である」ということは成り立つ」ということは成り立たない fact3: もし仮になにがしかのモンスターはＯＢ臭いなら「それは似付かわしくらないし縋り付かない」ということは成り立たない fact4: 仮に「なにがしかのモンスターはしぶとくないかまたは許し難しかどちらもである」ということは間違いであるならそれは縋り付かない fact5: あのぽにぽゆLv.57は許し難くない ; $hypothesis$ = 「あのぽにぽゆLv.57は似付かわしくらないしかつ縋り付くということはない」ということは成り立たない ; $proof$ = 
fact4 -> int1: 仮に「あのぽにぽゆLv.57はしぶとくないかまたは許し難しかもしくは両方である」ということは成り立たないとしたらあのぽにぽゆLv.57は縋り付くということはない; int1 & fact2 -> int2: あのぽにぽゆLv.57は縋り付かない; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 & fact1 -> hypothesis; __DISPROVED__