「あの下前端は寄るということはないけれど野上専務である」ということは間違っている
fact1: 仮になんらかのものが注目す一方で見え難くないとするとそれは寄らない fact2: 「このロープは区別し易いということはない」ということは事実である fact3: 「その二十二日判決は寄らないならば「あの下前端は寄るということはないがしかし野上専務だ」ということは事実と異なる」ということは成り立つ fact4: 「区別し易くない」ものがあるならその二十二日判決は注目す一方でそれは見え難くない
fact2 -> int1: あるものは区別し易いということはない; int1 & fact4 -> int2: その二十二日判決は注目すけど見え難いということはない; fact1 -> int3: もし仮にその二十二日判決が注目すがそれが見え難くないなら寄らない; int2 & int3 -> int4: その二十二日判決は寄らない; int4 & fact3 -> hypothesis;
$facts$ = fact1: 仮になんらかのものが注目す一方で見え難くないとするとそれは寄らない fact2: 「このロープは区別し易いということはない」ということは事実である fact3: 「その二十二日判決は寄らないならば「あの下前端は寄るということはないがしかし野上専務だ」ということは事実と異なる」ということは成り立つ fact4: 「区別し易くない」ものがあるならその二十二日判決は注目す一方でそれは見え難くない ; $hypothesis$ = 「あの下前端は寄るということはないけれど野上専務である」ということは間違っている ; $proof$ = 
fact2 -> int1: あるものは区別し易いということはない; int1 & fact4 -> int2: その二十二日判決は注目すけど見え難いということはない; fact1 -> int3: もし仮にその二十二日判決が注目すがそれが見え難くないなら寄らない; int2 & int3 -> int4: その二十二日判決は寄らない; int4 & fact3 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが注目す一方で見え難くないとするとそれは寄らない
事実2: 「このロープは区別し易いということはない」ということは事実である
事実3: 「その二十二日判決は寄らないならば「あの下前端は寄るということはないがしかし野上専務だ」ということは事実と異なる」ということは成り立つ
事実4: 「区別し易くない」ものがあるならその二十二日判決は注目す一方でそれは見え難くない

仮説: 「あの下前端は寄るということはないけれど野上専務である」ということは間違っている
1. 事実2から、推論1: "あるものは区別し易いということはない"が導かれる
2. 推論1と事実4から、推論2: "その二十二日判決は注目すけど見え難いということはない"が導かれる
3. 事実1から、推論3: "もし仮にその二十二日判決が注目すがそれが見え難くないなら寄らない"が導かれる
4. 推論2と推論3から、推論4: "その二十二日判決は寄らない"が導かれる
5. 推論4と事実3から、仮説が導かれる

よって、仮説が証明されました。