このぷねぷくLv.23がとろ臭いしその上持ち易い
fact1: もし仮にそのものもにLv.56が持ち易いとしたらこのぽねぽくLv.75は惑わす fact2: 「そのぴゆぴなLv.64は免れ難くてまた入り辛い」ということは成り立たない fact3: 「そのものもにLv.56はそつ無くないししかもそれは其れっぽくない」ということは成り立たない fact4: このぽねぽくLv.75は惑わさない fact5: 「あるモンスターはそつ無くなくて其れっぽいということはない」ということは本当でないなら「惑わさない」ということは成り立つ
void -> assump1: 以下のように仮定する。「そのものもにLv.56は持ち易い」ということは成り立つ; fact1 & assump1 -> int1: このぽねぽくLv.75は惑わす; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのものもにLv.56は持ち易くない;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a};
このぷねぷくLv.23がとろ臭いしその上持ち易い
fact7 -> int4: もし仮に「そのものもにLv.56はそつ無くなくて其れっぽくない」ということは事実と異なるとするとそのものもにLv.56は惑わさない; int4 & fact6 -> int5: そのものもにLv.56は惑わさない; int5 -> int6: 「惑わさない」モンスターはいる;
$facts$ = fact1: もし仮にそのものもにLv.56が持ち易いとしたらこのぽねぽくLv.75は惑わす fact2: 「そのぴゆぴなLv.64は免れ難くてまた入り辛い」ということは成り立たない fact3: 「そのものもにLv.56はそつ無くないししかもそれは其れっぽくない」ということは成り立たない fact4: このぽねぽくLv.75は惑わさない fact5: 「あるモンスターはそつ無くなくて其れっぽいということはない」ということは本当でないなら「惑わさない」ということは成り立つ ; $hypothesis$ = このぷねぷくLv.23がとろ臭いしその上持ち易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__