この専断は京都国際ホテルだということはない
fact1: 「この専断が京都国際ホテルだし小高い」ということは真実だ
$facts$ = fact1: 「この専断が京都国際ホテルだし小高い」ということは真実だ ; $hypothesis$ = この専断は京都国際ホテルだということはない ; $proof$ = 
事実1: 「この専断が京都国際ホテルだし小高い」ということは真実だ

仮説: この専断は京都国際ホテルだということはない