以下のように仮定する。そのぽやぽねLv.75は親らしくない
fact1: 「近しモンスターは辛くなくて参加し易くない」ということは本当だ fact2: もし仮にそのぽちょぽゆLv.13は用しないならば「そのぽちょぽゆLv.13は近しし貧しい」ということは確かだ fact3: 親らしくないモンスターは辛いということはない fact4: 仮に「そのぽちょぽゆLv.13は掛け易いけどジョギングしない」ということは成り立つとするとそのぽちょぽゆLv.13は用しない
fact3 -> int1: もしもそのぽやぽねLv.75が親らしくないならば辛くない; void -> assump1: 以下のように仮定する。そのぽやぽねLv.75は親らしくない; int1 & assump1 -> int2: そのぽやぽねLv.75は辛いということはない;
fact3 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa};
以下のように仮定する。そのぽやぽねLv.75は親らしくない
fact5 -> int3: もし仮にそのぽちょぽゆLv.13が近しならばそれは辛くなくてその上参加し易いということはない;
$facts$ = fact1: 「近しモンスターは辛くなくて参加し易くない」ということは本当だ fact2: もし仮にそのぽちょぽゆLv.13は用しないならば「そのぽちょぽゆLv.13は近しし貧しい」ということは確かだ fact3: 親らしくないモンスターは辛いということはない fact4: 仮に「そのぽちょぽゆLv.13は掛け易いけどジョギングしない」ということは成り立つとするとそのぽちょぽゆLv.13は用しない ; $hypothesis$ = 以下のように仮定する。そのぽやぽねLv.75は親らしくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__