以下のように仮定する。そのみよみちょLv.82は滑り難い
fact1: もしそのみよみちょLv.82が滑り難いならこのみのみわLv.54は御寂しい fact2: 仮にとあるモンスターが御注文頂けないなら滑り難くてそれは御寂しい
void -> assump1: 以下のように仮定する。そのみよみちょLv.82は滑り難い; fact1 & assump1 -> int1: このみのみわLv.54は御寂しい;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b};
以下のように仮定する。そのみよみちょLv.82は滑り難い
fact3 -> int2: もし仮にそのみよみちょLv.82が御注文頂けないならそのみよみちょLv.82は滑り難くて更に御寂しい;
$facts$ = fact1: もしそのみよみちょLv.82が滑り難いならこのみのみわLv.54は御寂しい fact2: 仮にとあるモンスターが御注文頂けないなら滑り難くてそれは御寂しい ; $hypothesis$ = 以下のように仮定する。そのみよみちょLv.82は滑り難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__