そのぴゆぴのLv.38は奇麗過ぎない
fact1: なんらかのモンスターは大人らしいけれど掛け難くない fact2: 「「このぷくぷなLv.45は取り易いということはないしさらに人間臭くない」ということは成り立たない」ということは真実ならばそのぴゆぴのLv.38は奇麗過ぎない fact3: もし仮にこのみやみちゃLv.33は人間臭くないとしたら「このぷくぷなLv.45は取り易くなくて人間臭くない」ということは成り立たない fact4: そのぴゆぴのLv.38は掛け難くない fact5: 「大人らしいが掛け難くない」モンスターがいるとしたらこのみやみちゃLv.33は人間臭くない
fact1 & fact5 -> int1: このみやみちゃLv.33は人間臭くない; int1 & fact3 -> int2: 「このぷくぷなLv.45は取り易いということはなくて人間臭くない」ということは成り立つということはない; int2 & fact2 -> hypothesis;
fact1 & fact5 -> int1: ¬{C}{a}; int1 & fact3 -> int2: ¬(¬{E}{b} & ¬{C}{b}); int2 & fact2 -> hypothesis;
$facts$ = fact1: なんらかのモンスターは大人らしいけれど掛け難くない fact2: 「「このぷくぷなLv.45は取り易いということはないしさらに人間臭くない」ということは成り立たない」ということは真実ならばそのぴゆぴのLv.38は奇麗過ぎない fact3: もし仮にこのみやみちゃLv.33は人間臭くないとしたら「このぷくぷなLv.45は取り易くなくて人間臭くない」ということは成り立たない fact4: そのぴゆぴのLv.38は掛け難くない fact5: 「大人らしいが掛け難くない」モンスターがいるとしたらこのみやみちゃLv.33は人間臭くない ; $hypothesis$ = そのぴゆぴのLv.38は奇麗過ぎない ; $proof$ = 
fact1 & fact5 -> int1: このみやみちゃLv.33は人間臭くない; int1 & fact3 -> int2: 「このぷくぷなLv.45は取り易いということはなくて人間臭くない」ということは成り立つということはない; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: ¬{C}{a}; int1 & fact3 -> int2: ¬(¬{E}{b} & ¬{C}{b}); int2 & fact2 -> hypothesis; __PROVED__