「あの土木は鍵生成スクリプトでない」ということは確かである
fact1: あの土木は上梓出来ない fact2: もし仮にあの土木は上梓出来ないなら「鍵生成スクリプトでない」ということは事実である
$facts$ = fact1: あの土木は上梓出来ない fact2: もし仮にあの土木は上梓出来ないなら「鍵生成スクリプトでない」ということは事実である ; $hypothesis$ = 「あの土木は鍵生成スクリプトでない」ということは確かである ; $proof$ = 
事実1: あの土木は上梓出来ない
事実2: もし仮にあの土木は上梓出来ないなら「鍵生成スクリプトでない」ということは事実である

仮説: 「あの土木は鍵生成スクリプトでない」ということは確かである