この黒曜石はライトアップする
fact1: 「このヘッジ取り引き時はライトアップする」ということは誤っていない fact2: 「この黒曜石はライトアップする」ということは誤っていない
$facts$ = fact1: 「このヘッジ取り引き時はライトアップする」ということは誤っていない fact2: 「この黒曜石はライトアップする」ということは誤っていない ; $hypothesis$ = この黒曜石はライトアップする ; $proof$ = 
事実1: 「このヘッジ取り引き時はライトアップする」ということは誤っていない
事実2: 「この黒曜石はライトアップする」ということは誤っていない

仮説: この黒曜石はライトアップする