このぷちゅぷにLv.85は掃除し易くない
fact1: そのまちゃまえLv.48はコントロールし易い fact2: 「もしそのまちゃまえLv.48が執念深いとするとこのぷちゅぷにLv.85はコントロールし易い一方で情け深いということはない」ということは真実だ fact3: もしこのぽちゃぽにゃLv.70はっ早くないならば「「そのまちゃまえLv.48は立つ一方で授けない」ということは成り立たない」ということは間違いでない fact4: 全てのモンスターは十戦するかっ早くない fact5: そのまちゃまえLv.48は執念深い fact6: もし仮にこのぷちゅぷにLv.85はコントロールし易いけど情け深いということはないとすれば「このぷちゅぷにLv.85は掃除し易くない」ということは正しい fact7: 執念深くないモンスターは掃除し易い
fact2 & fact5 -> int1: このぷちゅぷにLv.85はコントロールし易いがそれは情け深くない; int1 & fact6 -> hypothesis;
fact2 & fact5 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact6 -> hypothesis;
このぷちゅぷにLv.85は掃除し易い
fact8 -> int2: 「もし仮にこのぷちゅぷにLv.85が執念深くないならばこのぷちゅぷにLv.85は掃除し易い」ということは成り立つ; fact9 -> int3: あのぴわぴいLv.44は十戦するかっ早くない; int3 -> int4: 「十戦するかっ早くない」モンスターはいる;
$facts$ = fact1: そのまちゃまえLv.48はコントロールし易い fact2: 「もしそのまちゃまえLv.48が執念深いとするとこのぷちゅぷにLv.85はコントロールし易い一方で情け深いということはない」ということは真実だ fact3: もしこのぽちゃぽにゃLv.70はっ早くないならば「「そのまちゃまえLv.48は立つ一方で授けない」ということは成り立たない」ということは間違いでない fact4: 全てのモンスターは十戦するかっ早くない fact5: そのまちゃまえLv.48は執念深い fact6: もし仮にこのぷちゅぷにLv.85はコントロールし易いけど情け深いということはないとすれば「このぷちゅぷにLv.85は掃除し易くない」ということは正しい fact7: 執念深くないモンスターは掃除し易い ; $hypothesis$ = このぷちゅぷにLv.85は掃除し易くない ; $proof$ = 
fact2 & fact5 -> int1: このぷちゅぷにLv.85はコントロールし易いがそれは情け深くない; int1 & fact6 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact6 -> hypothesis; __PROVED__