「もし破れ難いなら推進すしかつ作り難くない」モンスターはいる
fact1: もし仮に何らかのモンスターが潰れればそれは間違え易いしそれにそれは起き難くない fact2: 「もし破れ難いなら推進すししかも作り難い」モンスターはいる fact3: もし仮にこのまいまにLv.39が破れ難いならそれは推進すけど作り難くない
fact3 -> hypothesis;
fact3 -> hypothesis;
「仮に潰れるなら間違え易いが起き難くない」モンスターはいる
fact4 -> int1: もし仮にこのぴにゃぴいLv.49が潰れるとするとそれは間違え易くてそれにそれは起き難くない; int1 -> hypothesis;
$facts$ = fact1: もし仮に何らかのモンスターが潰れればそれは間違え易いしそれにそれは起き難くない fact2: 「もし破れ難いなら推進すししかも作り難い」モンスターはいる fact3: もし仮にこのまいまにLv.39が破れ難いならそれは推進すけど作り難くない ; $hypothesis$ = 「もし破れ難いなら推進すしかつ作り難くない」モンスターはいる ; $proof$ = 
fact3 -> hypothesis; __PROVED__
fact3 -> hypothesis; __PROVED__