「もしバランス良いとしたら「心安いかもしくは撥ね飛ばさない」ということは間違いな」モンスターはいる
fact1: もし仮にそのみえみゆLv.30はバランス良いとしたら「そのみえみゆLv.30は心安いかもしくは撥ね飛ばすかもしくはどちらもだ」ということは嘘だ fact2: もし仮に何らかのモンスターは清いならば「それはあどけないかあるいは疲れ難いということはないかもしくはどちらもである」ということは間違っている fact3: 仮にそのみえみゆLv.30はバランス良いなら「それは心安いかもしくは撥ね飛ばすということはないかあるいは両方ともである」ということは間違っている fact4: 「もしもバランス良いとしたら「心安いか撥ね飛ばすかどちらもだ」ということは事実と異なる」モンスターはいる fact5: 「もし置き易いとすると取っ付き易いかもしくは犯罪者扱いしない」モンスターはいる
fact3 -> hypothesis;
fact3 -> hypothesis;
もし仮にあのもくもねLv.55は清いとすると「あのもくもねLv.55はあどけないかあるいは疲れ難くない」ということは偽である
fact6 -> hypothesis;
$facts$ = fact1: もし仮にそのみえみゆLv.30はバランス良いとしたら「そのみえみゆLv.30は心安いかもしくは撥ね飛ばすかもしくはどちらもだ」ということは嘘だ fact2: もし仮に何らかのモンスターは清いならば「それはあどけないかあるいは疲れ難いということはないかもしくはどちらもである」ということは間違っている fact3: 仮にそのみえみゆLv.30はバランス良いなら「それは心安いかもしくは撥ね飛ばすということはないかあるいは両方ともである」ということは間違っている fact4: 「もしもバランス良いとしたら「心安いか撥ね飛ばすかどちらもだ」ということは事実と異なる」モンスターはいる fact5: 「もし置き易いとすると取っ付き易いかもしくは犯罪者扱いしない」モンスターはいる ; $hypothesis$ = 「もしバランス良いとしたら「心安いかもしくは撥ね飛ばさない」ということは間違いな」モンスターはいる ; $proof$ = 
fact3 -> hypothesis; __PROVED__
fact3 -> hypothesis; __PROVED__