「仮にあの鍵生成スクリプトが染み渡らないならあの鍵生成スクリプトは代替出来る」ということは成り立たない
fact1: もしなんらかの物が染み渡らないならば代替出来る
$facts$ = fact1: もしなんらかの物が染み渡らないならば代替出来る ; $hypothesis$ = 「仮にあの鍵生成スクリプトが染み渡らないならあの鍵生成スクリプトは代替出来る」ということは成り立たない ; $proof$ = 
事実1: もしなんらかの物が染み渡らないならば代替出来る

仮説: 「仮にあの鍵生成スクリプトが染み渡らないならあの鍵生成スクリプトは代替出来る」ということは成り立たない