「あのまやまにLv.79は浅いしそれは破れ難い」ということは誤りだ
fact1: もしもあのぽにょぽちゅLv.82が上書きすればあのみゆみえLv.15は借り易い fact2: あのまやまにLv.79は興奮し易い fact3: あのみゆみえLv.15は浅い fact4: もし仮にあのまやまにLv.79が取れ難いとすれば浅い fact5: もし仮にあのみゆみえLv.15が借り易いとすればあのまやまにLv.79は取れ難い fact6: あのぽにょぽちゅLv.82は上書きする fact7: あのまやまにLv.79は破れ難い
fact6 & fact1 -> int1: あのみゆみえLv.15は借り易い; fact5 & int1 -> int2: あのまやまにLv.79は取れ難い; int2 & fact4 -> int3: あのまやまにLv.79は浅い; int3 & fact7 -> hypothesis;
fact6 & fact1 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{b}; int3 & fact7 -> hypothesis;
$facts$ = fact1: もしもあのぽにょぽちゅLv.82が上書きすればあのみゆみえLv.15は借り易い fact2: あのまやまにLv.79は興奮し易い fact3: あのみゆみえLv.15は浅い fact4: もし仮にあのまやまにLv.79が取れ難いとすれば浅い fact5: もし仮にあのみゆみえLv.15が借り易いとすればあのまやまにLv.79は取れ難い fact6: あのぽにょぽちゅLv.82は上書きする fact7: あのまやまにLv.79は破れ難い ; $hypothesis$ = 「あのまやまにLv.79は浅いしそれは破れ難い」ということは誤りだ ; $proof$ = 
fact6 & fact1 -> int1: あのみゆみえLv.15は借り易い; fact5 & int1 -> int2: あのまやまにLv.79は取れ難い; int2 & fact4 -> int3: あのまやまにLv.79は浅い; int3 & fact7 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{b}; int3 & fact7 -> hypothesis; __DISPROVED__