このぷちゅぷちゅLv.52は読み取り出来る
fact1: このまくまえLv.30が動き難いならばこのぷちゅぷちゅLv.52は読み取り出来る fact2: このぴゆぴよLv.80が表出しないならこのぷちゅぷちゅLv.52は倒れ難くなくて動き難くない fact3: このまくまえLv.30は転び易くない fact4: もし仮にこのぴゆぴよLv.80が表出するということはないとするとこのぷちゅぷちゅLv.52は倒れ難いということはない fact5: もしもこのぷちゅぷちゅLv.52が倒れ難いけど動き難くないならこのぷちゅぷちゅLv.52は読み取り出来るということはない fact6: 「このまくまえLv.30は転び易くなくてかつ人間臭くない」ということは事実である fact7: もしもこのまくまえLv.30が転び易くなくてそれに人間臭くないならこのぴゆぴよLv.80は表出しない fact8: このぷちゅぷちゅLv.52は倒れ難くない fact9: 仮にこのぷちゅぷちゅLv.52が倒れ難くないし動き難くないならばこのぷちゅぷちゅLv.52は読み取り出来ない
fact7 & fact6 -> int1: このぴゆぴよLv.80は表出しない; int1 & fact2 -> int2: このぷちゅぷちゅLv.52は倒れ難くなくてその上動き難いということはない; int2 & fact9 -> hypothesis;
fact7 & fact6 -> int1: ¬{B}{b}; int1 & fact2 -> int2: (¬{C}{c} & ¬{A}{c}); int2 & fact9 -> hypothesis;
このぷちゅぷちゅLv.52は読み取り出来る
$facts$ = fact1: このまくまえLv.30が動き難いならばこのぷちゅぷちゅLv.52は読み取り出来る fact2: このぴゆぴよLv.80が表出しないならこのぷちゅぷちゅLv.52は倒れ難くなくて動き難くない fact3: このまくまえLv.30は転び易くない fact4: もし仮にこのぴゆぴよLv.80が表出するということはないとするとこのぷちゅぷちゅLv.52は倒れ難いということはない fact5: もしもこのぷちゅぷちゅLv.52が倒れ難いけど動き難くないならこのぷちゅぷちゅLv.52は読み取り出来るということはない fact6: 「このまくまえLv.30は転び易くなくてかつ人間臭くない」ということは事実である fact7: もしもこのまくまえLv.30が転び易くなくてそれに人間臭くないならこのぴゆぴよLv.80は表出しない fact8: このぷちゅぷちゅLv.52は倒れ難くない fact9: 仮にこのぷちゅぷちゅLv.52が倒れ難くないし動き難くないならばこのぷちゅぷちゅLv.52は読み取り出来ない ; $hypothesis$ = このぷちゅぷちゅLv.52は読み取り出来る ; $proof$ = 
fact7 & fact6 -> int1: このぴゆぴよLv.80は表出しない; int1 & fact2 -> int2: このぷちゅぷちゅLv.52は倒れ難くなくてその上動き難いということはない; int2 & fact9 -> hypothesis; __DISPROVED__
fact7 & fact6 -> int1: ¬{B}{b}; int1 & fact2 -> int2: (¬{C}{c} & ¬{A}{c}); int2 & fact9 -> hypothesis; __DISPROVED__