「あの十六日付けはインストールＣＤだが呼び為さらない」ということは成り立つということはない
fact1: それはインストールＣＤでしかもそれは呼び為さらないというものはない
$facts$ = fact1: それはインストールＣＤでしかもそれは呼び為さらないというものはない ; $hypothesis$ = 「あの十六日付けはインストールＣＤだが呼び為さらない」ということは成り立つということはない ; $proof$ = 
事実1: それはインストールＣＤでしかもそれは呼び為さらないというものはない

仮説: 「あの十六日付けはインストールＣＤだが呼び為さらない」ということは成り立つということはない