そのぽなぽにゃLv.99は流れ易くなくておまけに訝しくない
fact1: もしも「そのぽなぽにゃLv.99は誇りっぽくないしそれに分解され難くない」ということは間違っているとしたらそのぽなぽにゃLv.99は一件落着しない fact2: 悪くないモンスターは冷え易いか一件落着する fact3: もしこのまよまゆLv.78は甘ったるいなら「「そのぽなぽにゃLv.99は流れ易くないかまたは一件落着しないかもしくは両方だ」ということは嘘である」ということは正しい fact4: そのぽなぽにゃLv.99が一件落着しないとすればそのぽなぽにゃLv.99は流れ易くなくてさらに訝しくない fact5: もし何らかのモンスターは甘ったるいとすると「それは流れ易くないし訝しいということはない」ということは成り立つということはない fact6: もし仮にこのぷねぷくLv.98は甘ったるくないとすれば「そのぽなぽにゃLv.99は誇りっぽいということはないし分解され難くない」ということは成り立つということはない fact7: このぷねぷくLv.98は甘ったるくない fact8: 使用し易いモンスターは悪くない
fact6 & fact7 -> int1: 「「そのぽなぽにゃLv.99は誇りっぽくないし加えて分解され難くない」ということは事実だ」ということは間違っている; int1 & fact1 -> int2: そのぽなぽにゃLv.99は一件落着しない; int2 & fact4 -> hypothesis;
fact6 & fact7 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact1 -> int2: ¬{B}{b}; int2 & fact4 -> hypothesis;
このぷねぷくLv.98は一件落着しない
$facts$ = fact1: もしも「そのぽなぽにゃLv.99は誇りっぽくないしそれに分解され難くない」ということは間違っているとしたらそのぽなぽにゃLv.99は一件落着しない fact2: 悪くないモンスターは冷え易いか一件落着する fact3: もしこのまよまゆLv.78は甘ったるいなら「「そのぽなぽにゃLv.99は流れ易くないかまたは一件落着しないかもしくは両方だ」ということは嘘である」ということは正しい fact4: そのぽなぽにゃLv.99が一件落着しないとすればそのぽなぽにゃLv.99は流れ易くなくてさらに訝しくない fact5: もし何らかのモンスターは甘ったるいとすると「それは流れ易くないし訝しいということはない」ということは成り立つということはない fact6: もし仮にこのぷねぷくLv.98は甘ったるくないとすれば「そのぽなぽにゃLv.99は誇りっぽいということはないし分解され難くない」ということは成り立つということはない fact7: このぷねぷくLv.98は甘ったるくない fact8: 使用し易いモンスターは悪くない ; $hypothesis$ = そのぽなぽにゃLv.99は流れ易くなくておまけに訝しくない ; $proof$ = 
fact6 & fact7 -> int1: 「「そのぽなぽにゃLv.99は誇りっぽくないし加えて分解され難くない」ということは事実だ」ということは間違っている; int1 & fact1 -> int2: そのぽなぽにゃLv.99は一件落着しない; int2 & fact4 -> hypothesis; __PROVED__
fact6 & fact7 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact1 -> int2: ¬{B}{b}; int2 & fact4 -> hypothesis; __PROVED__