このぽやぽのLv.12は主張する
fact1: もし仮にこのまちゃまいLv.4が圧搾しないとしたらこのぽやぽのLv.12は長ーい fact2: 「もしもなにがしかのモンスターが圧搾するということはないとしたらそれは移り難くない」ということは成り立つ fact3: もし仮にこのぽやぽのLv.12が長ーいならばこのぽやぽのLv.12は主張する fact4: そのぷにゅぷゆLv.24は移り難いし毒々しい fact5: 仮にそのぷにゅぷゆLv.24が移り難いとすればこのまちゃまいLv.4は圧搾するということはなくてそれに面映ゆくない
fact4 -> int1: 「そのぷにゅぷゆLv.24は移り難い」ということは正しい; int1 & fact5 -> int2: 「このまちゃまいLv.4は圧搾しなくてしかもそれは面映ゆくない」ということは成り立つ; int2 -> int3: このまちゃまいLv.4は圧搾するということはない; int3 & fact1 -> int4: このぽやぽのLv.12は長ーい; int4 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact5 -> int2: (¬{C}{b} & ¬{D}{b}); int2 -> int3: ¬{C}{b}; int3 & fact1 -> int4: {E}{c}; int4 & fact3 -> hypothesis;
そのぽえぽにLv.77は毒々しくなくてそれは白っぽくない
fact6 -> int5: 仮にそのぷにゅぷゆLv.24が圧搾しないとすればそれは移り難くない;
$facts$ = fact1: もし仮にこのまちゃまいLv.4が圧搾しないとしたらこのぽやぽのLv.12は長ーい fact2: 「もしもなにがしかのモンスターが圧搾するということはないとしたらそれは移り難くない」ということは成り立つ fact3: もし仮にこのぽやぽのLv.12が長ーいならばこのぽやぽのLv.12は主張する fact4: そのぷにゅぷゆLv.24は移り難いし毒々しい fact5: 仮にそのぷにゅぷゆLv.24が移り難いとすればこのまちゃまいLv.4は圧搾するということはなくてそれに面映ゆくない ; $hypothesis$ = このぽやぽのLv.12は主張する ; $proof$ = 
fact4 -> int1: 「そのぷにゅぷゆLv.24は移り難い」ということは正しい; int1 & fact5 -> int2: 「このまちゃまいLv.4は圧搾しなくてしかもそれは面映ゆくない」ということは成り立つ; int2 -> int3: このまちゃまいLv.4は圧搾するということはない; int3 & fact1 -> int4: このぽやぽのLv.12は長ーい; int4 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact5 -> int2: (¬{C}{b} & ¬{D}{b}); int2 -> int3: ¬{C}{b}; int3 & fact1 -> int4: {E}{c}; int4 & fact3 -> hypothesis; __PROVED__