そのぽゆぽなLv.42は遊ばなくてかつ生まれ易くない
fact1: 仮にあのぴにゃぴやLv.79が揮発し易いならばあのもちょもにゅLv.6は冷め易い fact2: もしもあのぴにゃぴやLv.79が悪しいとしたらそれは揮発し易い fact3: 仮にあのみわみくLv.10が遊ばないならそのぽゆぽなLv.42は遊ばなくてそれは生まれ易くない fact4: 仮になにがしかのモンスターは悪しくないならば「それは遊ばなくてその上生まれ易くない」ということは事実と異なる fact5: あのぴにゃぴやLv.79は悪しい fact6: あのもちょもにゅLv.6は得難し fact7: 仮にあのもちょもにゅLv.6が得難ししそれが冷め易いとするとあのみわみくLv.10は遊ばない
fact2 & fact5 -> int1: あのぴにゃぴやLv.79は揮発し易い; int1 & fact1 -> int2: あのもちょもにゅLv.6は冷め易い; int2 & fact6 -> int3: あのもちょもにゅLv.6は得難しし冷め易い; int3 & fact7 -> int4: あのみわみくLv.10は遊ばない; int4 & fact3 -> hypothesis;
fact2 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> int3: ({D}{b} & {C}{b}); int3 & fact7 -> int4: ¬{E}{c}; int4 & fact3 -> hypothesis;
「そのぽゆぽなLv.42は遊ぶということはなくてまた生まれ易くない」ということは誤りだ
fact8 -> int5: もしそのぽゆぽなLv.42は悪しくないなら「そのぽゆぽなLv.42は遊ぶということはなくて加えてそれは生まれ易いということはない」ということは成り立たない;
$facts$ = fact1: 仮にあのぴにゃぴやLv.79が揮発し易いならばあのもちょもにゅLv.6は冷め易い fact2: もしもあのぴにゃぴやLv.79が悪しいとしたらそれは揮発し易い fact3: 仮にあのみわみくLv.10が遊ばないならそのぽゆぽなLv.42は遊ばなくてそれは生まれ易くない fact4: 仮になにがしかのモンスターは悪しくないならば「それは遊ばなくてその上生まれ易くない」ということは事実と異なる fact5: あのぴにゃぴやLv.79は悪しい fact6: あのもちょもにゅLv.6は得難し fact7: 仮にあのもちょもにゅLv.6が得難ししそれが冷め易いとするとあのみわみくLv.10は遊ばない ; $hypothesis$ = そのぽゆぽなLv.42は遊ばなくてかつ生まれ易くない ; $proof$ = 
fact2 & fact5 -> int1: あのぴにゃぴやLv.79は揮発し易い; int1 & fact1 -> int2: あのもちょもにゅLv.6は冷め易い; int2 & fact6 -> int3: あのもちょもにゅLv.6は得難しし冷め易い; int3 & fact7 -> int4: あのみわみくLv.10は遊ばない; int4 & fact3 -> hypothesis; __PROVED__
fact2 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> int3: ({D}{b} & {C}{b}); int3 & fact7 -> int4: ¬{E}{c}; int4 & fact3 -> hypothesis; __PROVED__