あの岩棚は避ける
fact1: あの岩棚は一時半である fact2: あの岩棚は一時半であるとすればそれは避ける
$facts$ = fact1: あの岩棚は一時半である fact2: あの岩棚は一時半であるとすればそれは避ける ; $hypothesis$ = あの岩棚は避ける ; $proof$ = 
事実1: あの岩棚は一時半である
事実2: あの岩棚は一時半であるとすればそれは避ける

仮説: あの岩棚は避ける