あのまにまにゃLv.24は酸っぱくない
fact1: そのまねまのLv.93が灰色っぽいとするとあのまにまにゃLv.24は酸っぱい fact2: しんどくて加えて欲深くないモンスターは灰色っぽい fact3: 全てのモンスターはしんどくて欲深いということはない
fact2 -> int1: もしもそのまねまのLv.93がしんどいがしかし欲深くないならそれは灰色っぽい; fact3 -> int2: そのまねまのLv.93はしんどいがそれは欲深くない; int1 & int2 -> int3: そのまねまのLv.93は灰色っぽい; int3 & fact1 -> hypothesis;
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact3 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact1 -> hypothesis;
$facts$ = fact1: そのまねまのLv.93が灰色っぽいとするとあのまにまにゃLv.24は酸っぱい fact2: しんどくて加えて欲深くないモンスターは灰色っぽい fact3: 全てのモンスターはしんどくて欲深いということはない ; $hypothesis$ = あのまにまにゃLv.24は酸っぱくない ; $proof$ = 
fact2 -> int1: もしもそのまねまのLv.93がしんどいがしかし欲深くないならそれは灰色っぽい; fact3 -> int2: そのまねまのLv.93はしんどいがそれは欲深くない; int1 & int2 -> int3: そのまねまのLv.93は灰色っぽい; int3 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact3 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact1 -> hypothesis; __DISPROVED__