「刺々しくないなら落ち難いけど引き落とさない」モンスターはいる
fact1: もし仮にこのまちゅまにゃLv.14が刺々しくないならばそれは落ち難いが引き落とさない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし仮にこのまちゅまにゃLv.14が刺々しくないならばそれは落ち難いが引き落とさない ; $hypothesis$ = 「刺々しくないなら落ち難いけど引き落とさない」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__