以下のように仮定する。そのまわまのLv.6はリニューアルオープンする
fact1: もし「そのもにょもよLv.44は片付け始めない」ということは事実であるならそのまわまのLv.6は隠し続けるし歩める fact2: そのまわまのLv.6がリニューアルオープンするとすればそのまわまのLv.6はでかい fact3: あのぽなぽにゅLv.82は看過し難くないしまたそれは粘り強くない
void -> assump1: 以下のように仮定する。そのまわまのLv.6はリニューアルオープンする; fact2 & assump1 -> int1: そのまわまのLv.6はでかい;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a};
そのみねみのLv.44はリニューアルオープンしない
fact5 -> int2: 「看過し難くなくてかつ粘り強いということはない」モンスターはいる;
$facts$ = fact1: もし「そのもにょもよLv.44は片付け始めない」ということは事実であるならそのまわまのLv.6は隠し続けるし歩める fact2: そのまわまのLv.6がリニューアルオープンするとすればそのまわまのLv.6はでかい fact3: あのぽなぽにゅLv.82は看過し難くないしまたそれは粘り強くない ; $hypothesis$ = 以下のように仮定する。そのまわまのLv.6はリニューアルオープンする ; $proof$ = 
__UNKNOWN__
__UNKNOWN__