あのみえみのLv.79は卒業出来るし更に掴み易い
fact1: あのみえみのLv.79は掴み易い fact2: このみねみねLv.13が御持ちするかまたは間違い無くないかまたはどちらもならあのみえみのLv.79は卒業出来る fact3: あらゆるモンスターは御持ちするかそれは間違い無いかあるいはどちらもである fact4: あらゆるモンスターは御持ちするかまたは間違い無くない
fact4 -> int1: このみねみねLv.13は御持ちするか間違い無くない; int1 & fact2 -> int2: あのみえみのLv.79は卒業出来る; int2 & fact1 -> hypothesis;
fact4 -> int1: ({A}{aa} v ¬{B}{aa}); int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: あのみえみのLv.79は掴み易い fact2: このみねみねLv.13が御持ちするかまたは間違い無くないかまたはどちらもならあのみえみのLv.79は卒業出来る fact3: あらゆるモンスターは御持ちするかそれは間違い無いかあるいはどちらもである fact4: あらゆるモンスターは御持ちするかまたは間違い無くない ; $hypothesis$ = あのみえみのLv.79は卒業出来るし更に掴み易い ; $proof$ = 
fact4 -> int1: このみねみねLv.13は御持ちするか間違い無くない; int1 & fact2 -> int2: あのみえみのLv.79は卒業出来る; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{aa} v ¬{B}{aa}); int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__