以下のように仮定する。あのぷえぷよLv.71は疎ましい
fact1: 痒いということはないモンスターは非難がましいしおまけに疎ましい fact2: このぽにゅぽにゃLv.52は非難がましい fact3: そのみのみにゃLv.60は通り易いかもしくはおっきい fact4: このぽにゅぽにゃLv.52は疎ましい fact5: もしもあのぷえぷよLv.71はおっきいとすれば「このぽにゅぽにゃLv.52は非難がましかない」ということは成り立つ
void -> assump1: 以下のように仮定する。あのぷえぷよLv.71は疎ましい; assump1 -> int1: あのぷえぷよLv.71は疎ましいかあるいはそれはおっきいかまたは両方ともだ;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a});
以下のように仮定する。あのぷえぷよLv.71は疎ましい
fact6 -> int2: もし「このぽにゅぽにゃLv.52は痒くない」ということは間違っているということはないとするとこのぽにゅぽにゃLv.52は非難がましいしそれは疎ましい;
$facts$ = fact1: 痒いということはないモンスターは非難がましいしおまけに疎ましい fact2: このぽにゅぽにゃLv.52は非難がましい fact3: そのみのみにゃLv.60は通り易いかもしくはおっきい fact4: このぽにゅぽにゃLv.52は疎ましい fact5: もしもあのぷえぷよLv.71はおっきいとすれば「このぽにゅぽにゃLv.52は非難がましかない」ということは成り立つ ; $hypothesis$ = 以下のように仮定する。あのぷえぷよLv.71は疎ましい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__