「仮に長しならば騎手でない」ものはある
fact1: 「もし「その凝り型は長し」ということは正しいならその凝り型は騎手でない」ということは正しい
$facts$ = fact1: 「もし「その凝り型は長し」ということは正しいならその凝り型は騎手でない」ということは正しい ; $hypothesis$ = 「仮に長しならば騎手でない」ものはある ; $proof$ = 
事実1: 「もし「その凝り型は長し」ということは正しいならその凝り型は騎手でない」ということは正しい

仮説: 「仮に長しならば騎手でない」ものはある