「外来通院するということはないし淡くない」モンスターはいる
fact1: そのぴなぴえLv.55は弱くないし疲労し易くない fact2: もしもそのぴなぴえLv.55が当たり易くなくてそれが弱くないとしたらそのぴなぴえLv.55は外来通院するということはない fact3: あるモンスターは外来通院するが当たり易くない fact4: そのぴなぴえLv.55は当たり易いということはなくてかつそれは弱くない fact5: すべてのモンスターは奉仕しない fact6: 「淡いモンスターは関係深くなくてかつ感染し易くない」ということは本当だ fact7: なにがしかのモンスターは外来通院しないけれど淡い fact8: そのぴなぴえLv.55は淡くない
fact2 & fact4 -> int1: そのぴなぴえLv.55は外来通院しない; int1 & fact8 -> int2: そのぴなぴえLv.55は外来通院するということはないしまた淡くない; int2 -> hypothesis;
fact2 & fact4 -> int1: ¬{B}{a}; int1 & fact8 -> int2: (¬{B}{a} & ¬{A}{a}); int2 -> hypothesis;
「関係深くないし感染し易くない」モンスターはいる
fact9 -> int3: このぷえぷちゅLv.5は奉仕しない; fact10 -> int4: もし仮に「このぷえぷちゅLv.5は淡い」ということは真実であるとするとそれは関係深いということはなくて感染し易くない;
$facts$ = fact1: そのぴなぴえLv.55は弱くないし疲労し易くない fact2: もしもそのぴなぴえLv.55が当たり易くなくてそれが弱くないとしたらそのぴなぴえLv.55は外来通院するということはない fact3: あるモンスターは外来通院するが当たり易くない fact4: そのぴなぴえLv.55は当たり易いということはなくてかつそれは弱くない fact5: すべてのモンスターは奉仕しない fact6: 「淡いモンスターは関係深くなくてかつ感染し易くない」ということは本当だ fact7: なにがしかのモンスターは外来通院しないけれど淡い fact8: そのぴなぴえLv.55は淡くない ; $hypothesis$ = 「外来通院するということはないし淡くない」モンスターはいる ; $proof$ = 
fact2 & fact4 -> int1: そのぴなぴえLv.55は外来通院しない; int1 & fact8 -> int2: そのぴなぴえLv.55は外来通院するということはないしまた淡くない; int2 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ¬{B}{a}; int1 & fact8 -> int2: (¬{B}{a} & ¬{A}{a}); int2 -> hypothesis; __PROVED__