以下のように仮定する。あのまにゃまのLv.14は援助出来る
fact1: あのまにゃまのLv.14が出現し易くないとするとそのぴちゃぴよLv.79は違いしかつ援助出来る fact2: 仮にあのまにゃまのLv.14が援助出来るとすればそのみにみちょLv.36は違い
void -> assump1: 以下のように仮定する。あのまにゃまのLv.14は援助出来る; fact2 & assump1 -> int1: そのみにみちょLv.36は違い;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b};
そのぴちゃぴよLv.79は違い
$facts$ = fact1: あのまにゃまのLv.14が出現し易くないとするとそのぴちゃぴよLv.79は違いしかつ援助出来る fact2: 仮にあのまにゃまのLv.14が援助出来るとすればそのみにみちょLv.36は違い ; $hypothesis$ = 以下のように仮定する。あのまにゃまのLv.14は援助出来る ; $proof$ = 
__UNKNOWN__
__UNKNOWN__