あのずぼらは越せない
fact1: もしもあのずぼらは射撃訓練であるとしたらそれは越せる fact2: あのずぼらは射撃訓練である
$facts$ = fact1: もしもあのずぼらは射撃訓練であるとしたらそれは越せる fact2: あのずぼらは射撃訓練である ; $hypothesis$ = あのずぼらは越せない ; $proof$ = 
事実1: もしもあのずぼらは射撃訓練であるとしたらそれは越せる
事実2: あのずぼらは射撃訓練である

仮説: あのずぼらは越せない