「仮に開通しなくてそれに着易くないとすると許し難い」モンスターはいる
fact1: もし仮に「とあるモンスターは開通しないし着易くない」ということは事実であるとしたら許し難い fact2: とあるモンスターは開通するけれど着易くないとすれば許し難い fact3: 「仮に開通するしかつ着易くないとすれば許し難い」モンスターはいる fact4: このもゆもゆLv.70が開通するけどそれは着易くないとしたら「それは許し難い」ということは偽でない
fact1 -> int1: このもゆもゆLv.70が開通しないしそれが着易くないならそれは許し難い; int1 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし仮に「とあるモンスターは開通しないし着易くない」ということは事実であるとしたら許し難い fact2: とあるモンスターは開通するけれど着易くないとすれば許し難い fact3: 「仮に開通するしかつ着易くないとすれば許し難い」モンスターはいる fact4: このもゆもゆLv.70が開通するけどそれは着易くないとしたら「それは許し難い」ということは偽でない ; $hypothesis$ = 「仮に開通しなくてそれに着易くないとすると許し難い」モンスターはいる ; $proof$ = 
fact1 -> int1: このもゆもゆLv.70が開通しないしそれが着易くないならそれは許し難い; int1 -> hypothesis; __PROVED__
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __PROVED__