このぴゆぴにLv.73は赤黒いということはない
fact1: このぴゆぴにLv.73は心憎くない fact2: あのもねものLv.33が眠り込むとするとあのもねものLv.33は赤黒くなくて落ち難いということはない fact3: あのもねものLv.33は心憎いがしかしそれは掛けするということはない fact4: あのもわもにゅLv.73は心憎いけど眠り込まない fact5: あのもねものLv.33が心憎いけれど掛けしないならこのぴゆぴにLv.73は赤黒い
fact3 -> int1: あのもねものLv.33は心憎いがしかしそれは掛けするということはない; int1 & fact5 -> hypothesis;
fact3 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact5 -> hypothesis;
このぴゆぴにLv.73は赤黒いということはない
$facts$ = fact1: このぴゆぴにLv.73は心憎くない fact2: あのもねものLv.33が眠り込むとするとあのもねものLv.33は赤黒くなくて落ち難いということはない fact3: あのもねものLv.33は心憎いがしかしそれは掛けするということはない fact4: あのもわもにゅLv.73は心憎いけど眠り込まない fact5: あのもねものLv.33が心憎いけれど掛けしないならこのぴゆぴにLv.73は赤黒い ; $hypothesis$ = このぴゆぴにLv.73は赤黒いということはない ; $proof$ = 
fact3 -> int1: あのもねものLv.33は心憎いがしかしそれは掛けするということはない; int1 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact5 -> hypothesis; __DISPROVED__