そのぷのぷちゃLv.49は登頂しない
fact1: あのぽくぽのLv.65は近しいけど取り組み易くない fact2: 「もしもそのみゆみえLv.28が描き易いとするとそのぷのぷちゃLv.49は描き易い」ということは事実だ fact3: あらゆるモンスターは取り組み易くない fact4: なんらかのモンスターが心細いとしたら描き易い fact5: そのぷのぷちゃLv.49は心細くない
void -> assump1: 以下のように仮定する。そのぷのぷちゃLv.49は心細いがしかし取り組み易くない; assump1 -> int1: そのぷのぷちゃLv.49は心細い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのぷのぷちゃLv.49は心細いけれど取り組み易くない」ということは事実と異なる;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: {A}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a});
そのぷのぷちゃLv.49は描き易い
fact7 -> int4: もしもそのみゆみえLv.28が心細いとすると描き易い;
$facts$ = fact1: あのぽくぽのLv.65は近しいけど取り組み易くない fact2: 「もしもそのみゆみえLv.28が描き易いとするとそのぷのぷちゃLv.49は描き易い」ということは事実だ fact3: あらゆるモンスターは取り組み易くない fact4: なんらかのモンスターが心細いとしたら描き易い fact5: そのぷのぷちゃLv.49は心細くない ; $hypothesis$ = そのぷのぷちゃLv.49は登頂しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__