そのまにょまにLv.76は長々しかない
fact1: そのまにょまちゃLv.57は面目無い fact2: そのまにょまちゃLv.57は実現し易いし更に面目無い fact3: もし仮にそのまにょまにLv.76が上昇し易いとしたら長々しい fact4: そのまにょまちゃLv.57が実現し易いならそのまにょまにLv.76は上昇し易い fact5: もしもとあるモンスターは上昇し易くないとすればそれは実現し易いということはない一方で面目無い fact6: 「そのまにょまちゃLv.57は長々しいし早し」ということは成り立つということはない
fact2 -> int1: そのまにょまちゃLv.57は実現し易い; int1 & fact4 -> int2: そのまにょまにLv.76は上昇し易い; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
あのもちゃもにゅLv.13は御強いしさらにちっこい
fact8 -> int3: 「もしそのまにょまちゃLv.57が上昇し易くないならそのまにょまちゃLv.57は実現し易くないがしかし面目無い」ということは成り立つ;
$facts$ = fact1: そのまにょまちゃLv.57は面目無い fact2: そのまにょまちゃLv.57は実現し易いし更に面目無い fact3: もし仮にそのまにょまにLv.76が上昇し易いとしたら長々しい fact4: そのまにょまちゃLv.57が実現し易いならそのまにょまにLv.76は上昇し易い fact5: もしもとあるモンスターは上昇し易くないとすればそれは実現し易いということはない一方で面目無い fact6: 「そのまにょまちゃLv.57は長々しいし早し」ということは成り立つということはない ; $hypothesis$ = そのまにょまにLv.76は長々しかない ; $proof$ = 
fact2 -> int1: そのまにょまちゃLv.57は実現し易い; int1 & fact4 -> int2: そのまにょまにLv.76は上昇し易い; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__