あの法制化は余儀無いかまたは染めないかまたは両方ともである
fact1: 「仮にとある物は通り易いならば「あの法制化は余儀無いかもしくは染めない」ということは嘘である」ということは成り立つ fact2: 「通り易い」ものはある
$facts$ = fact1: 「仮にとある物は通り易いならば「あの法制化は余儀無いかもしくは染めない」ということは嘘である」ということは成り立つ fact2: 「通り易い」ものはある ; $hypothesis$ = あの法制化は余儀無いかまたは染めないかまたは両方ともである ; $proof$ = 
事実1: 「仮にとある物は通り易いならば「あの法制化は余儀無いかもしくは染めない」ということは嘘である」ということは成り立つ
事実2: 「通り易い」ものはある

仮説: あの法制化は余儀無いかまたは染めないかまたは両方ともである