このもちょもやLv.71は合併し易くない
fact1: 仮にこのもちょもやLv.71が入れ易いがしかし帰還しないとすると生え易い fact2: このもちょもやLv.71は覚え易い fact3: 仮に「このもちょもやLv.71は逃れ難いけど生え易くない」ということは本当ならばこのもちょもやLv.71は合併し易い fact4: 覚え易いモンスターは逃れ難いが生え易くない
fact4 -> int1: もし仮にこのもちょもやLv.71が覚え易いとするとこのもちょもやLv.71は逃れ難いけど生え易いということはない; int1 & fact2 -> int2: このもちょもやLv.71は逃れ難い一方で生え易くない; int2 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 仮にこのもちょもやLv.71が入れ易いがしかし帰還しないとすると生え易い fact2: このもちょもやLv.71は覚え易い fact3: 仮に「このもちょもやLv.71は逃れ難いけど生え易くない」ということは本当ならばこのもちょもやLv.71は合併し易い fact4: 覚え易いモンスターは逃れ難いが生え易くない ; $hypothesis$ = このもちょもやLv.71は合併し易くない ; $proof$ = 
fact4 -> int1: もし仮にこのもちょもやLv.71が覚え易いとするとこのもちょもやLv.71は逃れ難いけど生え易いということはない; int1 & fact2 -> int2: このもちょもやLv.71は逃れ難い一方で生え易くない; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis; __DISPROVED__