あのぴにぴのLv.8は見せ付ける
fact1: そのぴゆぴやLv.95は伴い易い fact2: あのぴにぴのLv.8が清しということはないとしたらこのぷいぷにゃLv.41は見付け難いししかもそれは見せ付ける fact3: 仮にあのぴにぴのLv.8が発現し易いとすればあのぴにぴのLv.8は伴い易い fact4: あのぷにゅぷやLv.95は清し fact5: 「あのぴにぴのLv.8は見付け難くない」ということは嘘だ fact6: あのぴにぴのLv.8は発現し易い fact7: もし仮にあのぴにぴのLv.8は伴い易くてさらに見付け難いならば「見せ付けない」ということは間違いでない fact8: もしあのぷにゅぷやLv.95が疲労し易いし清しとするとあのぴにぴのLv.8は清しない fact9: あのぷにゅぷやLv.95は疲労し易くて加えてそれは受け入れ難い
fact3 & fact6 -> int1: あのぴにぴのLv.8は伴い易い; int1 & fact5 -> int2: 「あのぴにぴのLv.8は伴い易いしおまけにそれは見付け難い」ということは本当だ; int2 & fact7 -> hypothesis;
fact3 & fact6 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis;
このぷいぷにゃLv.41は伴い易い
fact12 -> int3: 「あのぷにゅぷやLv.95は疲労し易い」ということは成り立つ; int3 & fact10 -> int4: あのぷにゅぷやLv.95は疲労し易くて清し; fact13 & int4 -> int5: あのぴにぴのLv.8は清しない; fact11 & int5 -> int6: このぷいぷにゃLv.41は見付け難くて見せ付ける; int6 -> int7: 「このぷいぷにゃLv.41は見付け難いということはない」ということは真実でない;
$facts$ = fact1: そのぴゆぴやLv.95は伴い易い fact2: あのぴにぴのLv.8が清しということはないとしたらこのぷいぷにゃLv.41は見付け難いししかもそれは見せ付ける fact3: 仮にあのぴにぴのLv.8が発現し易いとすればあのぴにぴのLv.8は伴い易い fact4: あのぷにゅぷやLv.95は清し fact5: 「あのぴにぴのLv.8は見付け難くない」ということは嘘だ fact6: あのぴにぴのLv.8は発現し易い fact7: もし仮にあのぴにぴのLv.8は伴い易くてさらに見付け難いならば「見せ付けない」ということは間違いでない fact8: もしあのぷにゅぷやLv.95が疲労し易いし清しとするとあのぴにぴのLv.8は清しない fact9: あのぷにゅぷやLv.95は疲労し易くて加えてそれは受け入れ難い ; $hypothesis$ = あのぴにぴのLv.8は見せ付ける ; $proof$ = 
fact3 & fact6 -> int1: あのぴにぴのLv.8は伴い易い; int1 & fact5 -> int2: 「あのぴにぴのLv.8は伴い易いしおまけにそれは見付け難い」ということは本当だ; int2 & fact7 -> hypothesis; __DISPROVED__
fact3 & fact6 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis; __DISPROVED__