「もしも「得られ難くなくてまた出会い易くない」ということは誤りだとすれば都市計画決定する」モンスターはいる
fact1: 「もし「得られ難くなくておまけに出会い易くない」ということは成り立てば都市計画決定する」モンスターはいる fact2: あのまえまいLv.23は得られ難くないしさらに出会い易くないならば都市計画決定する fact3: 「もし仮に得られ難いなら都市計画決定する」モンスターはいる fact4: もし仮に「あのまえまいLv.23は得られ難い一方で出会い易くない」ということは成り立たないならばそれは都市計画決定する fact5: もし「あのまえまいLv.23は得られ難くないしそれにそれは出会い易いということはない」ということは誤りであるならあのまえまいLv.23は都市計画決定する fact6: 「「出会い易いとしたら都市計画決定する」モンスターはいる」ということは成り立つ
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: 「もし「得られ難くなくておまけに出会い易くない」ということは成り立てば都市計画決定する」モンスターはいる fact2: あのまえまいLv.23は得られ難くないしさらに出会い易くないならば都市計画決定する fact3: 「もし仮に得られ難いなら都市計画決定する」モンスターはいる fact4: もし仮に「あのまえまいLv.23は得られ難い一方で出会い易くない」ということは成り立たないならばそれは都市計画決定する fact5: もし「あのまえまいLv.23は得られ難くないしそれにそれは出会い易いということはない」ということは誤りであるならあのまえまいLv.23は都市計画決定する fact6: 「「出会い易いとしたら都市計画決定する」モンスターはいる」ということは成り立つ ; $hypothesis$ = 「もしも「得られ難くなくてまた出会い易くない」ということは誤りだとすれば都市計画決定する」モンスターはいる ; $proof$ = 
fact5 -> hypothesis; __PROVED__
fact5 -> hypothesis; __PROVED__