このみゆみにょLv.37は漏れ無くない
fact1: もしなんらかのモンスターがほるとしたらそれは話し辛い一方で掻き始めない fact2: もし「このみゆみにょLv.37は恥ずかし」ということは成り立つならそれは徒らっぽくない fact3: このみゆみにょLv.37が多い一方で中和しないならこのみゆみにょLv.37は漏れ無くない fact4: 仮に何らかのモンスターは際限無いならば「それは多いけど中和しない」ということは間違っていない fact5: 「このみゆみにょLv.37は際限無い」ということは成り立つ fact6: 商人らしくないモンスターは際限無いしさらに漏れ無い fact7: もし仮にこのみゆみにょLv.37が際限無いしいじましいならこのみゆみにょLv.37は一貫しない
fact4 -> int1: 仮にこのみゆみにょLv.37は際限無いとすると「それは多い一方で中和しない」ということは事実と異ならない; int1 & fact5 -> int2: このみゆみにょLv.37は多いけど中和するということはない; int2 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis;
このみゆみにょLv.37は漏れ無い
fact8 -> int3: もし仮にこのみゆみにょLv.37が商人らしくないとするとこのみゆみにょLv.37は際限無いし更に漏れ無い;
$facts$ = fact1: もしなんらかのモンスターがほるとしたらそれは話し辛い一方で掻き始めない fact2: もし「このみゆみにょLv.37は恥ずかし」ということは成り立つならそれは徒らっぽくない fact3: このみゆみにょLv.37が多い一方で中和しないならこのみゆみにょLv.37は漏れ無くない fact4: 仮に何らかのモンスターは際限無いならば「それは多いけど中和しない」ということは間違っていない fact5: 「このみゆみにょLv.37は際限無い」ということは成り立つ fact6: 商人らしくないモンスターは際限無いしさらに漏れ無い fact7: もし仮にこのみゆみにょLv.37が際限無いしいじましいならこのみゆみにょLv.37は一貫しない ; $hypothesis$ = このみゆみにょLv.37は漏れ無くない ; $proof$ = 
fact4 -> int1: 仮にこのみゆみにょLv.37は際限無いとすると「それは多い一方で中和しない」ということは事実と異ならない; int1 & fact5 -> int2: このみゆみにょLv.37は多いけど中和するということはない; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> int2: ({AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis; __PROVED__