「このインデックス．ＨＴＭは乗り換えでないし明け渡し請求でない」ということは成り立たない
fact1: 「「このインデックス．ＨＴＭは乗り換えでなくてしかも明け渡し請求でない」ということは正しくない」ということは偽でない
$facts$ = fact1: 「「このインデックス．ＨＴＭは乗り換えでなくてしかも明け渡し請求でない」ということは正しくない」ということは偽でない ; $hypothesis$ = 「このインデックス．ＨＴＭは乗り換えでないし明け渡し請求でない」ということは成り立たない ; $proof$ = 
事実1: 「「このインデックス．ＨＴＭは乗り換えでなくてしかも明け渡し請求でない」ということは正しくない」ということは偽でない

仮説: 「このインデックス．ＨＴＭは乗り換えでないし明け渡し請求でない」ということは成り立たない