「「進化し易い」ということは確かであるとするとプロットしない」モンスターはいる
fact1: もしもあるモンスターが格好良いならそれは遣り辛くない fact2: もし「そのみゆみよLv.65は進化し易い」ということは事実であればプロットしない fact3: 「もしどうして良いとしたら揺すり上げない」モンスターはいる fact4: 「もし仮に「進化し易い」ということは成り立てば「プロットする」ということは確かである」モンスターはいる
fact2 -> hypothesis;
fact2 -> hypothesis;
「もしも格好良いとしたら遣り辛くない」モンスターはいる
fact5 -> int1: もしもそのぽにょぽのLv.11は格好良いならば「そのぽにょぽのLv.11は遣り辛くない」ということは確かである; int1 -> hypothesis;
$facts$ = fact1: もしもあるモンスターが格好良いならそれは遣り辛くない fact2: もし「そのみゆみよLv.65は進化し易い」ということは事実であればプロットしない fact3: 「もしどうして良いとしたら揺すり上げない」モンスターはいる fact4: 「もし仮に「進化し易い」ということは成り立てば「プロットする」ということは確かである」モンスターはいる ; $hypothesis$ = 「「進化し易い」ということは確かであるとするとプロットしない」モンスターはいる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
fact2 -> hypothesis; __PROVED__