あのまにょまよLv.93は御固くない
fact1: もし仮にあるモンスターが珍しくないとすると騙さないしおまけに敢え無くない fact2: もしもあのぽいぽにLv.75が騙さなくて敢え無くないならこのもゆものLv.84は白っぽい fact3: あのぽいぽにLv.75は珍しくない fact4: このもゆものLv.84は及び難い fact5: もしこのもゆものLv.84が白っぽくてそれが及び難いとするとあのまにょまよLv.93は御固くない
fact1 -> int1: もしあのぽいぽにLv.75が珍しくないとしたらそれは騙すということはないし敢え無いということはない; int1 & fact3 -> int2: あのぽいぽにLv.75は騙さないし敢え無くない; int2 & fact2 -> int3: このもゆものLv.84は白っぽい; int3 & fact4 -> int4: このもゆものLv.84は白っぽいしさらに及び難い; int4 & fact5 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: {B}{a}; int3 & fact4 -> int4: ({B}{a} & {C}{a}); int4 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にあるモンスターが珍しくないとすると騙さないしおまけに敢え無くない fact2: もしもあのぽいぽにLv.75が騙さなくて敢え無くないならこのもゆものLv.84は白っぽい fact3: あのぽいぽにLv.75は珍しくない fact4: このもゆものLv.84は及び難い fact5: もしこのもゆものLv.84が白っぽくてそれが及び難いとするとあのまにょまよLv.93は御固くない ; $hypothesis$ = あのまにょまよLv.93は御固くない ; $proof$ = 
fact1 -> int1: もしあのぽいぽにLv.75が珍しくないとしたらそれは騙すということはないし敢え無いということはない; int1 & fact3 -> int2: あのぽいぽにLv.75は騙さないし敢え無くない; int2 & fact2 -> int3: このもゆものLv.84は白っぽい; int3 & fact4 -> int4: このもゆものLv.84は白っぽいしさらに及び難い; int4 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: {B}{a}; int3 & fact4 -> int4: ({B}{a} & {C}{a}); int4 & fact5 -> hypothesis; __PROVED__