そのまちゅまねLv.0は揶揄しない
fact1: すべてのモンスターは黄色い fact2: 全てのモンスターは揶揄する fact3: 仮に覚え難くないモンスターが甲斐甲斐しくないならばそれは揶揄しない
fact2 -> int1: 全てのモンスターは揶揄する; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
そのまちゅまねLv.0は揶揄しない
fact4 -> int2: もしもそのまちゅまねLv.0が覚え難くないし甲斐甲斐しくないとすれば揶揄しない;
$facts$ = fact1: すべてのモンスターは黄色い fact2: 全てのモンスターは揶揄する fact3: 仮に覚え難くないモンスターが甲斐甲斐しくないならばそれは揶揄しない ; $hypothesis$ = そのまちゅまねLv.0は揶揄しない ; $proof$ = 
fact2 -> int1: 全てのモンスターは揶揄する; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__