「仮に「未練がましい一方で履き潰さない」ということは成り立たないならば心細くない」モンスターはいる
fact1: もし仮に「このまよまちょLv.32は未練がましい一方でそれは履き潰さない」ということは嘘であるとすれば「このまよまちょLv.32は心細くない」ということは本当である fact2: 「このまよまちょLv.32は未練がましくない」ということは真実ならこのまよまちょLv.32は心細くない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし仮に「このまよまちょLv.32は未練がましい一方でそれは履き潰さない」ということは嘘であるとすれば「このまよまちょLv.32は心細くない」ということは本当である fact2: 「このまよまちょLv.32は未練がましくない」ということは真実ならこのまよまちょLv.32は心細くない ; $hypothesis$ = 「仮に「未練がましい一方で履き潰さない」ということは成り立たないならば心細くない」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__