「「このぴゆぴねLv.58は故無くないしその上強しということはない」ということは成り立たない」ということは真実である
fact1: そのもえものLv.10は吊り易い fact2: もしあのまにょまやLv.39が吊り易くないとすると強しない fact3: もしそのもえものLv.10が見辛いし吊り易いとしたらこのもにゅもちょLv.51は強しない fact4: このぴゆぴねLv.58は強しということはない fact5: もしこのもにゅもちょLv.51が強しないとしたらこのぴゆぴねLv.58は故無くなくてかつそれは強しない fact6: もしも「このもにゅもちょLv.51は強しということはない」ということは事実だとしたらこのぴゆぴねLv.58は強しない fact7: 「そのもえものLv.10は見辛い」ということは正しい
fact7 & fact1 -> int1: そのもえものLv.10は見辛いし更にそれは吊り易い; int1 & fact3 -> int2: このもにゅもちょLv.51は強しということはない; int2 & fact5 -> hypothesis;
fact7 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact5 -> hypothesis;
あのまにょまやLv.39は強しないし野暮ったくない
$facts$ = fact1: そのもえものLv.10は吊り易い fact2: もしあのまにょまやLv.39が吊り易くないとすると強しない fact3: もしそのもえものLv.10が見辛いし吊り易いとしたらこのもにゅもちょLv.51は強しない fact4: このぴゆぴねLv.58は強しということはない fact5: もしこのもにゅもちょLv.51が強しないとしたらこのぴゆぴねLv.58は故無くなくてかつそれは強しない fact6: もしも「このもにゅもちょLv.51は強しということはない」ということは事実だとしたらこのぴゆぴねLv.58は強しない fact7: 「そのもえものLv.10は見辛い」ということは正しい ; $hypothesis$ = 「「このぴゆぴねLv.58は故無くないしその上強しということはない」ということは成り立たない」ということは真実である ; $proof$ = 
fact7 & fact1 -> int1: そのもえものLv.10は見辛いし更にそれは吊り易い; int1 & fact3 -> int2: このもにゅもちょLv.51は強しということはない; int2 & fact5 -> hypothesis; __DISPROVED__
fact7 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__