このまいまわLv.99は長ったらしい
fact1: 仮に「「あのぽにゅぽやLv.69は見境無いということはない」ということは成り立つ」ということは誤っているとするとこのまいまわLv.99は見苦しい fact2: あのぽちょぽにゃLv.31が野垂れ死ぬならあのぽにゅぽやLv.69は空々しい fact3: このまいまわLv.99が見苦しいならばこのまいまわLv.99は長ったらしい fact4: もしあのぽにゅぽやLv.69が狭苦しいとしたらあのぽにゅぽやLv.69は見境無い fact5: あのぽちょぽにゃLv.31は野垂れ死ぬ fact6: もし仮にあのぽにゅぽやLv.69が空々しいとしたら狭苦しい
fact2 & fact5 -> int1: あのぽにゅぽやLv.69は空々しい; int1 & fact6 -> int2: あのぽにゅぽやLv.69は狭苦しい; int2 & fact4 -> int3: あのぽにゅぽやLv.69は見境無い; int3 & fact1 -> int4: このまいまわLv.99は見苦しい; int4 & fact3 -> hypothesis;
fact2 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact1 -> int4: {E}{c}; int4 & fact3 -> hypothesis;
$facts$ = fact1: 仮に「「あのぽにゅぽやLv.69は見境無いということはない」ということは成り立つ」ということは誤っているとするとこのまいまわLv.99は見苦しい fact2: あのぽちょぽにゃLv.31が野垂れ死ぬならあのぽにゅぽやLv.69は空々しい fact3: このまいまわLv.99が見苦しいならばこのまいまわLv.99は長ったらしい fact4: もしあのぽにゅぽやLv.69が狭苦しいとしたらあのぽにゅぽやLv.69は見境無い fact5: あのぽちょぽにゃLv.31は野垂れ死ぬ fact6: もし仮にあのぽにゅぽやLv.69が空々しいとしたら狭苦しい ; $hypothesis$ = このまいまわLv.99は長ったらしい ; $proof$ = 
fact2 & fact5 -> int1: あのぽにゅぽやLv.69は空々しい; int1 & fact6 -> int2: あのぽにゅぽやLv.69は狭苦しい; int2 & fact4 -> int3: あのぽにゅぽやLv.69は見境無い; int3 & fact1 -> int4: このまいまわLv.99は見苦しい; int4 & fact3 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; int3 & fact1 -> int4: {E}{c}; int4 & fact3 -> hypothesis; __PROVED__