あの最小は誘拐する
fact1: 「生易しくないかまたは制定し得るかあるいは両方ともである」ものはある fact2: 仮になにがしかの物は生易しくないかまたは制定し得るか両方ともだとすれば「あの最小は誘拐しない」ということは成り立つ
$facts$ = fact1: 「生易しくないかまたは制定し得るかあるいは両方ともである」ものはある fact2: 仮になにがしかの物は生易しくないかまたは制定し得るか両方ともだとすれば「あの最小は誘拐しない」ということは成り立つ ; $hypothesis$ = あの最小は誘拐する ; $proof$ = 
事実1: 「生易しくないかまたは制定し得るかあるいは両方ともである」ものはある
事実2: 仮になにがしかの物は生易しくないかまたは制定し得るか両方ともだとすれば「あの最小は誘拐しない」ということは成り立つ

仮説: あの最小は誘拐する