「参照するかまたは旨いか両方ともならば潜り抜けない」モンスターはいる
fact1: 仮にあのもくものLv.18が参照するかあるいはそれは旨いかどちらもだとしたら潜り抜けない fact2: 「もし仮に「参照するかもしくは旨いか両方だ」ということは真実であるとすると潜り抜ける」モンスターはいる fact3: 仮にあるモンスターが恥ずかしいかまたはそれは媒介するかもしくはどちらもであるならばそれは潜り抜けない fact4: 「もしも旨いとすれば潜り抜けない」モンスターはいる fact5: もしもあのもくものLv.18が加盟するならちっこくない fact6: もし仮にこのぴわぴにょLv.46は癖するかまたは潜り抜ければ「せこい」ということは本当である
fact1 -> hypothesis;
fact1 -> hypothesis;
仮に「このぴにぴにょLv.81は恥ずかしいかまたは媒介する」ということは成り立つとしたらそれは潜り抜けない
fact7 -> hypothesis;
$facts$ = fact1: 仮にあのもくものLv.18が参照するかあるいはそれは旨いかどちらもだとしたら潜り抜けない fact2: 「もし仮に「参照するかもしくは旨いか両方だ」ということは真実であるとすると潜り抜ける」モンスターはいる fact3: 仮にあるモンスターが恥ずかしいかまたはそれは媒介するかもしくはどちらもであるならばそれは潜り抜けない fact4: 「もしも旨いとすれば潜り抜けない」モンスターはいる fact5: もしもあのもくものLv.18が加盟するならちっこくない fact6: もし仮にこのぴわぴにょLv.46は癖するかまたは潜り抜ければ「せこい」ということは本当である ; $hypothesis$ = 「参照するかまたは旨いか両方ともならば潜り抜けない」モンスターはいる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
fact1 -> hypothesis; __PROVED__