「「仮に水っぽいならば「直走らないしさらに感服である」ということは間違いである」ものはある」ということは嘘である
fact1: 「水っぽいならば直走らないが感服な」ものはある fact2: もし仮にこの揣摩は水っぽいとしたら「直走らないけど感服である」ということは偽だ fact3: もし仮にこの揣摩が水っぽいとすれば直走るということはないが感服である
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「水っぽいならば直走らないが感服な」ものはある fact2: もし仮にこの揣摩は水っぽいとしたら「直走らないけど感服である」ということは偽だ fact3: もし仮にこの揣摩が水っぽいとすれば直走るということはないが感服である ; $hypothesis$ = 「「仮に水っぽいならば「直走らないしさらに感服である」ということは間違いである」ものはある」ということは嘘である ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「水っぽいならば直走らないが感服な」ものはある
事実2: もし仮にこの揣摩は水っぽいとしたら「直走らないけど感服である」ということは偽だ
事実3: もし仮にこの揣摩が水っぽいとすれば直走るということはないが感服である

仮説: 「「仮に水っぽいならば「直走らないしさらに感服である」ということは間違いである」ものはある」ということは嘘である
1. 事実2から、仮説が否定される

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