以下のように仮定する。このぽにょぽゆLv.62は外す
fact1: このもにゅもやLv.72はすばしっこい fact2: もしもこのぽにょぽゆLv.62が外すかもしくはすばしっこいならばこのぽにょぽゆLv.62は訓示しない fact3: もし仮に「訓示しない」モンスターはいるとしたら「このぽにょぽゆLv.62は外すし加えてすばしっこい」ということは本当である fact4: このぽにょぽゆLv.62は極まりない fact5: このぽにょぽゆLv.62が断定し難いならばこのぽにょぽゆLv.62は塗り易くない
void -> assump1: 以下のように仮定する。このぽにょぽゆLv.62は外す; assump1 -> int1: このぽにょぽゆLv.62は外すかあるいはすばしっこいかもしくは両方である; int1 & fact2 -> int2: このぽにょぽゆLv.62は訓示しない;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{a};
以下のように仮定する。このぽにょぽゆLv.62は外す
$facts$ = fact1: このもにゅもやLv.72はすばしっこい fact2: もしもこのぽにょぽゆLv.62が外すかもしくはすばしっこいならばこのぽにょぽゆLv.62は訓示しない fact3: もし仮に「訓示しない」モンスターはいるとしたら「このぽにょぽゆLv.62は外すし加えてすばしっこい」ということは本当である fact4: このぽにょぽゆLv.62は極まりない fact5: このぽにょぽゆLv.62が断定し難いならばこのぽにょぽゆLv.62は塗り易くない ; $hypothesis$ = 以下のように仮定する。このぽにょぽゆLv.62は外す ; $proof$ = 
__UNKNOWN__
__UNKNOWN__