このみにょみやLv.82はえげつない
fact1: 何らかのモンスターが呼び易いということはないとしたらえげつないということはないしおまけに翻案しない fact2: 呼び易いモンスターはえげつない fact3: このみにょみやLv.82は暗しが呼び易くない
fact1 -> int1: もしこのみにょみやLv.82が呼び易くないとしたらこのみにょみやLv.82はえげつなくなくて翻案しない; fact3 -> int2: このみにょみやLv.82は呼び易くない; int1 & int2 -> int3: このみにょみやLv.82はえげつなくないしさらに翻案しない; int3 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact3 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & ¬{AB}{aa}); int3 -> hypothesis;
このみにょみやLv.82はえげつない
fact4 -> int4: もしもこのみにょみやLv.82が呼び易いとしたらえげつない;
$facts$ = fact1: 何らかのモンスターが呼び易いということはないとしたらえげつないということはないしおまけに翻案しない fact2: 呼び易いモンスターはえげつない fact3: このみにょみやLv.82は暗しが呼び易くない ; $hypothesis$ = このみにょみやLv.82はえげつない ; $proof$ = 
fact1 -> int1: もしこのみにょみやLv.82が呼び易くないとしたらこのみにょみやLv.82はえげつなくなくて翻案しない; fact3 -> int2: このみにょみやLv.82は呼び易くない; int1 & int2 -> int3: このみにょみやLv.82はえげつなくないしさらに翻案しない; int3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact3 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & ¬{AB}{aa}); int3 -> hypothesis; __DISPROVED__