「あの有力企業は三十Ｃだがそれは欲しかない」ということは成り立たない
fact1: この計算期間は全開する fact2: もしも「あの有力企業は全開する」ということは事実なら「三十Ｃであるがしかし欲しいということはない」ということは成り立たない fact3: あの有力企業は全開する
$facts$ = fact1: この計算期間は全開する fact2: もしも「あの有力企業は全開する」ということは事実なら「三十Ｃであるがしかし欲しいということはない」ということは成り立たない fact3: あの有力企業は全開する ; $hypothesis$ = 「あの有力企業は三十Ｃだがそれは欲しかない」ということは成り立たない ; $proof$ = 
事実1: この計算期間は全開する
事実2: もしも「あの有力企業は全開する」ということは事実なら「三十Ｃであるがしかし欲しいということはない」ということは成り立たない
事実3: あの有力企業は全開する

仮説: 「あの有力企業は三十Ｃだがそれは欲しかない」ということは成り立たない