このまえまちゃLv.45は滞り易い
fact1: 「何らかのモンスターが行き為さらないなら興味深くてそれは滞り易くない」ということは偽だということはない
fact1 -> int1: もし仮にこのまえまちゃLv.45が行き為さらないとするとこのまえまちゃLv.45は興味深いけれどそれは滞り易いということはない;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa});
$facts$ = fact1: 「何らかのモンスターが行き為さらないなら興味深くてそれは滞り易くない」ということは偽だということはない ; $hypothesis$ = このまえまちゃLv.45は滞り易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__