「仮に「甚だしいか黄色くないかもしくは両方ともだ」ということは成り立たないとしたら「公式参拝する」ということは真実である」モンスターはいる
fact1: 「そのみのみいLv.6は甚だしいかもしくはそれは黄色くない」ということは嘘であるとするとそのみのみいLv.6は公式参拝する
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 「そのみのみいLv.6は甚だしいかもしくはそれは黄色くない」ということは嘘であるとするとそのみのみいLv.6は公式参拝する ; $hypothesis$ = 「仮に「甚だしいか黄色くないかもしくは両方ともだ」ということは成り立たないとしたら「公式参拝する」ということは真実である」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__