「あのみにょみよLv.38は聞き取り難いかもしくは熱し易い」ということは本当でない
fact1: このもわもやLv.69は熱し易いかもしくは掃除出来るかもしくは両方である fact2: もしも「このもわもやLv.69は総合勘案しないがしかし望ましい」ということは誤りであるとするとこのもわもやLv.69は総合勘案する fact3: もし仮にこのもわもやLv.69が掃除出来ればそのぽやぽにゃLv.50は入り辛い fact4: そのぽやぽにゃLv.50が入り辛いとするとあのみにょみよLv.38は熱し易い fact5: もし仮にこのもわもやLv.69が熱し易いならばあのみにょみよLv.38は総合勘案する fact6: そのぽやぽにゃLv.50は入り辛いかあるいは総合勘案するかまたはどちらもだ fact7: あのみにょみよLv.38は熱し易いかまたはそれは掃除出来る fact8: もし仮に「このもわもやLv.69は総合勘案する」ということは確かであるならそのぽやぽにゃLv.50は入り辛い fact9: このもわもやLv.69は掃除出来るかあるいは総合勘案するかまたはどちらもである
fact9 & fact3 & fact8 -> int1: 「そのぽやぽにゃLv.50は入り辛い」ということは確かである; int1 & fact4 -> int2: あのみにょみよLv.38は熱し易い; int2 -> hypothesis;
fact9 & fact3 & fact8 -> int1: {C}{c}; int1 & fact4 -> int2: {D}{b}; int2 -> hypothesis;
「あのみにょみよLv.38は聞き取り難いかもしくは熱し易い」ということは本当でない
$facts$ = fact1: このもわもやLv.69は熱し易いかもしくは掃除出来るかもしくは両方である fact2: もしも「このもわもやLv.69は総合勘案しないがしかし望ましい」ということは誤りであるとするとこのもわもやLv.69は総合勘案する fact3: もし仮にこのもわもやLv.69が掃除出来ればそのぽやぽにゃLv.50は入り辛い fact4: そのぽやぽにゃLv.50が入り辛いとするとあのみにょみよLv.38は熱し易い fact5: もし仮にこのもわもやLv.69が熱し易いならばあのみにょみよLv.38は総合勘案する fact6: そのぽやぽにゃLv.50は入り辛いかあるいは総合勘案するかまたはどちらもだ fact7: あのみにょみよLv.38は熱し易いかまたはそれは掃除出来る fact8: もし仮に「このもわもやLv.69は総合勘案する」ということは確かであるならそのぽやぽにゃLv.50は入り辛い fact9: このもわもやLv.69は掃除出来るかあるいは総合勘案するかまたはどちらもである ; $hypothesis$ = 「あのみにょみよLv.38は聞き取り難いかもしくは熱し易い」ということは本当でない ; $proof$ = 
fact9 & fact3 & fact8 -> int1: 「そのぽやぽにゃLv.50は入り辛い」ということは確かである; int1 & fact4 -> int2: あのみにょみよLv.38は熱し易い; int2 -> hypothesis; __DISPROVED__
fact9 & fact3 & fact8 -> int1: {C}{c}; int1 & fact4 -> int2: {D}{b}; int2 -> hypothesis; __DISPROVED__