「「仮に読み辛いということはないとすれば「遠しないか見付け易くない」ということは確かでない」ものはある」ということは誤りだ
fact1: そのコンサートホールは入手し易いなら「それは出血し易くないかあるいはそれはうつ伏せでないかもしくは両方だ」ということは偽である fact2: あの話し上手は読み辛くないとしたら「遠しないかもしくはそれは見付け易くない」ということは誤りだ fact3: ある物は見付け易いということはないとしたら「それは乗務しないかもしくは典礼でないかどちらもだ」ということは嘘だ
fact2 -> hypothesis;
あの話し上手は見付け易いということはないとしたら「「それは乗務しないか典礼でないかどちらもである」ということは成り立つ」ということは成り立つということはない
fact4 -> hypothesis;
$facts$ = fact1: そのコンサートホールは入手し易いなら「それは出血し易くないかあるいはそれはうつ伏せでないかもしくは両方だ」ということは偽である fact2: あの話し上手は読み辛くないとしたら「遠しないかもしくはそれは見付け易くない」ということは誤りだ fact3: ある物は見付け易いということはないとしたら「それは乗務しないかもしくは典礼でないかどちらもだ」ということは嘘だ ; $hypothesis$ = 「「仮に読み辛いということはないとすれば「遠しないか見付け易くない」ということは確かでない」ものはある」ということは誤りだ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: そのコンサートホールは入手し易いなら「それは出血し易くないかあるいはそれはうつ伏せでないかもしくは両方だ」ということは偽である
事実2: あの話し上手は読み辛くないとしたら「遠しないかもしくはそれは見付け易くない」ということは誤りだ
事実3: ある物は見付け易いということはないとしたら「それは乗務しないかもしくは典礼でないかどちらもだ」ということは嘘だ

仮説: 「「仮に読み辛いということはないとすれば「遠しないか見付け易くない」ということは確かでない」ものはある」ということは誤りだ
1. 事実2から、仮説が否定される

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