「「仮に「親しいし加えて生温い」ということは成り立たないとすれば捨て難くない」モンスターはいる」ということは間違いだ
fact1: もしも「とあるモンスターは親しくてそれに生温い」ということは誤っているとしたらそれは捨て難くない
fact1 -> int1: 仮に「あのもやもゆLv.58は親しいししかもそれは生温い」ということは偽だとすれば捨て難いということはない; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしも「とあるモンスターは親しくてそれに生温い」ということは誤っているとしたらそれは捨て難くない ; $hypothesis$ = 「「仮に「親しいし加えて生温い」ということは成り立たないとすれば捨て難くない」モンスターはいる」ということは間違いだ ; $proof$ = 
fact1 -> int1: 仮に「あのもやもゆLv.58は親しいししかもそれは生温い」ということは偽だとすれば捨て難いということはない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__