「そのまやまにLv.74は厚ぼったいしそれに心憎い」ということは成り立つということはない
fact1: そのまやまにLv.74は際どい fact2: とあるモンスターは燥ぎ回らないとしたら「それは厚ぼったくない」ということは正しい fact3: もし仮にあのぽねぽいLv.79が当て付けがましかないとすればあのぽねぽいLv.79は届き難いけれど燥ぎ回るということはない fact4: もしもそのまやまにLv.74が際どいならそれは厚ぼったい fact5: そのまやまにLv.74は心憎い
fact4 & fact1 -> int1: そのまやまにLv.74は厚ぼったい; int1 & fact5 -> hypothesis;
fact4 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
あのぽねぽいLv.79は心憎い
fact6 -> int2: もしもあのぽねぽいLv.79が燥ぎ回るということはないとすればあのぽねぽいLv.79は厚ぼったくない;
$facts$ = fact1: そのまやまにLv.74は際どい fact2: とあるモンスターは燥ぎ回らないとしたら「それは厚ぼったくない」ということは正しい fact3: もし仮にあのぽねぽいLv.79が当て付けがましかないとすればあのぽねぽいLv.79は届き難いけれど燥ぎ回るということはない fact4: もしもそのまやまにLv.74が際どいならそれは厚ぼったい fact5: そのまやまにLv.74は心憎い ; $hypothesis$ = 「そのまやまにLv.74は厚ぼったいしそれに心憎い」ということは成り立つということはない ; $proof$ = 
fact4 & fact1 -> int1: そのまやまにLv.74は厚ぼったい; int1 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __DISPROVED__