「その法律解釈は捕まえ易くて名乗れる」ということは成り立たない
fact1: そのロイヤル・ハワイアン・ショッピングセンターは名乗れる fact2: もしとある物はＶＳＴでないとすれば「それは捕まえ易くて加えてそれは名乗れる」ということは正しくない fact3: その法律解釈は名乗れる fact4: その法律解釈は捕まえ易い fact5: その法律解釈は荒っぽい fact6: 「あの火砲は捕まえ易い」ということは真実である
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
「その法律解釈は捕まえ易いしその上名乗れる」ということは成り立たない
fact7 -> int1: もし仮にその法律解釈はＶＳＴでないとすれば「それは捕まえ易いしさらに名乗れる」ということは誤りである;
$facts$ = fact1: そのロイヤル・ハワイアン・ショッピングセンターは名乗れる fact2: もしとある物はＶＳＴでないとすれば「それは捕まえ易くて加えてそれは名乗れる」ということは正しくない fact3: その法律解釈は名乗れる fact4: その法律解釈は捕まえ易い fact5: その法律解釈は荒っぽい fact6: 「あの火砲は捕まえ易い」ということは真実である ; $hypothesis$ = 「その法律解釈は捕まえ易くて名乗れる」ということは成り立たない ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: そのロイヤル・ハワイアン・ショッピングセンターは名乗れる
事実2: もしとある物はＶＳＴでないとすれば「それは捕まえ易くて加えてそれは名乗れる」ということは正しくない
事実3: その法律解釈は名乗れる
事実4: その法律解釈は捕まえ易い
事実5: その法律解釈は荒っぽい
事実6: 「あの火砲は捕まえ易い」ということは真実である

仮説: 「その法律解釈は捕まえ易くて名乗れる」ということは成り立たない
1. 事実4と事実3から、仮説が否定される

よって、仮説が否定されました。