この掛子は生まれ落ちない
fact1: なんらかの物が通しボルトでないとしたらこの掛子は生まれ落ちる fact2: 「なんらかの物は通しボルトだということはない」ということは成り立つ
$facts$ = fact1: なんらかの物が通しボルトでないとしたらこの掛子は生まれ落ちる fact2: 「なんらかの物は通しボルトだということはない」ということは成り立つ ; $hypothesis$ = この掛子は生まれ落ちない ; $proof$ = 
事実1: なんらかの物が通しボルトでないとしたらこの掛子は生まれ落ちる
事実2: 「なんらかの物は通しボルトだということはない」ということは成り立つ

仮説: この掛子は生まれ落ちない