「その言及は茶であるということはなくてそれに受け合えない」ということは正しくない
fact1: もし仮に「「表わせる」ということは確かである」物があるならその言及は甚振り続けない fact2: 仮にそのウォーターフロントが都市レベルであるならばその言及は茶でない fact3: そのウォーターフロントが都市レベルであるとするとその言及は茶でないしかつ受け合えない fact4: その位相変調干渉法はウで表わせる fact5: そのウォーターフロントは都市レベルだ fact6: 何らかのものは都市レベルだとしたら「茶でなくてそれは受け合えない」ということは事実と異なる
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
「その言及は茶でなくてそれは受け合えない」ということは正しいということはない
fact7 -> int1: 仮にその言及は都市レベルであるとしたら「それは茶でなくてまた受け合えない」ということは事実でない;
$facts$ = fact1: もし仮に「「表わせる」ということは確かである」物があるならその言及は甚振り続けない fact2: 仮にそのウォーターフロントが都市レベルであるならばその言及は茶でない fact3: そのウォーターフロントが都市レベルであるとするとその言及は茶でないしかつ受け合えない fact4: その位相変調干渉法はウで表わせる fact5: そのウォーターフロントは都市レベルだ fact6: 何らかのものは都市レベルだとしたら「茶でなくてそれは受け合えない」ということは事実と異なる ; $hypothesis$ = 「その言及は茶であるということはなくてそれに受け合えない」ということは正しくない ; $proof$ = 
fact3 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮に「「表わせる」ということは確かである」物があるならその言及は甚振り続けない
事実2: 仮にそのウォーターフロントが都市レベルであるならばその言及は茶でない
事実3: そのウォーターフロントが都市レベルであるとするとその言及は茶でないしかつ受け合えない
事実4: その位相変調干渉法はウで表わせる
事実5: そのウォーターフロントは都市レベルだ
事実6: 何らかのものは都市レベルだとしたら「茶でなくてそれは受け合えない」ということは事実と異なる

仮説: 「その言及は茶であるということはなくてそれに受け合えない」ということは正しくない
1. 事実3と事実5から、仮説が否定される

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