「もし仮にあの膝関節がぶん投げるとするとあの英文和訳は当たり難い」ということは誤りだ
fact1: 「もしこの奥深さが評論家達でないならばこの奥深さは周辺部分でないししかも平瓮でない」ということは嘘だということはない fact2: もし仮になにがしかの物が周辺部分でないしまた平瓮でないとすればあの膝関節はぶん投げない fact3: 仮に「なんらかの物はＥＬＴであるがしかし東宮大夫でない」ということは成り立たないとすれば当たり難い fact4: この奥深さは評論家達だとすれば「あの英文和訳はＥＬＴだがそれは東宮大夫でない」ということは確かでない
void -> assump1: 以下のように仮定する。この奥深さは評論家達でない; fact1 & assump1 -> int1: この奥深さは周辺部分でなくて平瓮でない; int1 -> int2: なにがしかの物は周辺部分でなくてしかも平瓮でない; int2 & fact2 -> int3: あの膝関節はぶん投げない; void -> assump2: 以下のように仮定する。「あの膝関節はぶん投げる」ということは真実だ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この奥深さは評論家達だ; int5 & fact4 -> int6: 「あの英文和訳はＥＬＴであるがしかし東宮大夫であるということはない」ということは誤りだ; fact3 -> int7: もし「あの英文和訳はＥＬＴだけど東宮大夫だということはない」ということは成り立たないなら当たり難い; int6 & int7 -> int8: 「あの英文和訳は当たり難い」ということは確かである; [assump2] & int8 -> hypothesis;
$facts$ = fact1: 「もしこの奥深さが評論家達でないならばこの奥深さは周辺部分でないししかも平瓮でない」ということは嘘だということはない fact2: もし仮になにがしかの物が周辺部分でないしまた平瓮でないとすればあの膝関節はぶん投げない fact3: 仮に「なんらかの物はＥＬＴであるがしかし東宮大夫でない」ということは成り立たないとすれば当たり難い fact4: この奥深さは評論家達だとすれば「あの英文和訳はＥＬＴだがそれは東宮大夫でない」ということは確かでない ; $hypothesis$ = 「もし仮にあの膝関節がぶん投げるとするとあの英文和訳は当たり難い」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この奥深さは評論家達でない; fact1 & assump1 -> int1: この奥深さは周辺部分でなくて平瓮でない; int1 -> int2: なにがしかの物は周辺部分でなくてしかも平瓮でない; int2 & fact2 -> int3: あの膝関節はぶん投げない; void -> assump2: 以下のように仮定する。「あの膝関節はぶん投げる」ということは真実だ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この奥深さは評論家達だ; int5 & fact4 -> int6: 「あの英文和訳はＥＬＴであるがしかし東宮大夫であるということはない」ということは誤りだ; fact3 -> int7: もし「あの英文和訳はＥＬＴだけど東宮大夫だということはない」ということは成り立たないなら当たり難い; int6 & int7 -> int8: 「あの英文和訳は当たり難い」ということは確かである; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: 「もしこの奥深さが評論家達でないならばこの奥深さは周辺部分でないししかも平瓮でない」ということは嘘だということはない
事実2: もし仮になにがしかの物が周辺部分でないしまた平瓮でないとすればあの膝関節はぶん投げない
事実3: 仮に「なんらかの物はＥＬＴであるがしかし東宮大夫でない」ということは成り立たないとすれば当たり難い
事実4: この奥深さは評論家達だとすれば「あの英文和訳はＥＬＴだがそれは東宮大夫でない」ということは確かでない

仮説: 「もし仮にあの膝関節がぶん投げるとするとあの英文和訳は当たり難い」ということは誤りだ
1. 仮定1: 以下のように仮定する。この奥深さは評論家達でない
2. 事実1と仮定1から、推論1: "この奥深さは周辺部分でなくて平瓮でない"が導かれる
3. 推論1から、推論2: "なにがしかの物は周辺部分でなくてしかも平瓮でない"が導かれる
4. 推論2と事実2から、推論3: "あの膝関節はぶん投げない"が導かれる
5. 仮定2: 以下のように仮定する。「あの膝関節はぶん投げる」ということは真実だ
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "この奥深さは評論家達だ"が導かれる
8. 推論5と事実4から、推論6: "「あの英文和訳はＥＬＴであるがしかし東宮大夫であるということはない」ということは誤りだ"が導かれる
9. 事実3から、推論7: "もし「あの英文和訳はＥＬＴだけど東宮大夫だということはない」ということは成り立たないなら当たり難い"が導かれる
10. 推論6と推論7から、推論8: "「あの英文和訳は当たり難い」ということは確かである"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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