「あの大将は滑走路上でない」ということは事実である
fact1: あの大将がパッケージ管理ユーティリティであるししかもそれが長しとしたらそれは滑走路上でない fact2: あの大将はパッケージ管理ユーティリティであるししかも長し
$facts$ = fact1: あの大将がパッケージ管理ユーティリティであるししかもそれが長しとしたらそれは滑走路上でない fact2: あの大将はパッケージ管理ユーティリティであるししかも長し ; $hypothesis$ = 「あの大将は滑走路上でない」ということは事実である ; $proof$ = 
事実1: あの大将がパッケージ管理ユーティリティであるししかもそれが長しとしたらそれは滑走路上でない
事実2: あの大将はパッケージ管理ユーティリティであるししかも長し

仮説: 「あの大将は滑走路上でない」ということは事実である