そのみよみわLv.36は覚え易くない
fact1: 「とあるモンスターは約束出来るしおまけに暗し」ということは誤っているとするとそれは覚え易くない fact2: 「「そのみよみわLv.36は約束出来るし暗し」ということは確かである」ということは間違いである fact3: もしそのぴにぴやLv.64が引っ括めればそのみよみわLv.36は覚え易い
fact1 -> int1: もし仮に「そのみよみわLv.36は約束出来るしまた暗し」ということは確かでないならそのみよみわLv.36は覚え易いということはない; int1 & fact2 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis;
そのみよみわLv.36は覚え易い
$facts$ = fact1: 「とあるモンスターは約束出来るしおまけに暗し」ということは誤っているとするとそれは覚え易くない fact2: 「「そのみよみわLv.36は約束出来るし暗し」ということは確かである」ということは間違いである fact3: もしそのぴにぴやLv.64が引っ括めればそのみよみわLv.36は覚え易い ; $hypothesis$ = そのみよみわLv.36は覚え易くない ; $proof$ = 
fact1 -> int1: もし仮に「そのみよみわLv.36は約束出来るしまた暗し」ということは確かでないならそのみよみわLv.36は覚え易いということはない; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> hypothesis; __PROVED__