「「もし行きであるかあるいは吊らないとすれば飛び抜けるということはない」物はある」ということは誤っている
fact1: 「もしも吊らないとしたら飛び抜けない」ものはある fact2: 「「もしも行きであるかあるいは吊るとすると「飛び抜けない」ということは本当な」ものはある」ということは間違いでない fact3: あの情報処理能力が行きであるか吊るとすれば飛び抜けない fact4: 「行きならば「飛び抜けない」ということは誤っていない」物はある fact5: もしあの情報処理能力が行きであるか吊らないかまたは両方ともだとしたらそれは飛び抜ける fact6: もしもとある物が行きであるかまたはそれは吊らないかあるいは両方であるとすると「それは飛び抜けない」ということは事実だ fact7: もしも何らかの物が行きであるかまたは吊るということはないかまたは両方だとしたらそれは飛び抜ける fact8: 仮にこの銅銭は行きであるかあるいは滅び行かないか両方であるとすると白玉でない
fact6 -> int1: 仮にあの情報処理能力が行きであるかあるいは吊らないかもしくは両方だとすると飛び抜けない; int1 -> hypothesis;
$facts$ = fact1: 「もしも吊らないとしたら飛び抜けない」ものはある fact2: 「「もしも行きであるかあるいは吊るとすると「飛び抜けない」ということは本当な」ものはある」ということは間違いでない fact3: あの情報処理能力が行きであるか吊るとすれば飛び抜けない fact4: 「行きならば「飛び抜けない」ということは誤っていない」物はある fact5: もしあの情報処理能力が行きであるか吊らないかまたは両方ともだとしたらそれは飛び抜ける fact6: もしもとある物が行きであるかまたはそれは吊らないかあるいは両方であるとすると「それは飛び抜けない」ということは事実だ fact7: もしも何らかの物が行きであるかまたは吊るということはないかまたは両方だとしたらそれは飛び抜ける fact8: 仮にこの銅銭は行きであるかあるいは滅び行かないか両方であるとすると白玉でない ; $hypothesis$ = 「「もし行きであるかあるいは吊らないとすれば飛び抜けるということはない」物はある」ということは誤っている ; $proof$ = 
fact6 -> int1: 仮にあの情報処理能力が行きであるかあるいは吊らないかもしくは両方だとすると飛び抜けない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも吊らないとしたら飛び抜けない」ものはある
事実2: 「「もしも行きであるかあるいは吊るとすると「飛び抜けない」ということは本当な」ものはある」ということは間違いでない
事実3: あの情報処理能力が行きであるか吊るとすれば飛び抜けない
事実4: 「行きならば「飛び抜けない」ということは誤っていない」物はある
事実5: もしあの情報処理能力が行きであるか吊らないかまたは両方ともだとしたらそれは飛び抜ける
事実6: もしもとある物が行きであるかまたはそれは吊らないかあるいは両方であるとすると「それは飛び抜けない」ということは事実だ
事実7: もしも何らかの物が行きであるかまたは吊るということはないかまたは両方だとしたらそれは飛び抜ける
事実8: 仮にこの銅銭は行きであるかあるいは滅び行かないか両方であるとすると白玉でない

仮説: 「「もし行きであるかあるいは吊らないとすれば飛び抜けるということはない」物はある」ということは誤っている
1. 事実6から、推論1: "仮にあの情報処理能力が行きであるかあるいは吊らないかもしくは両方だとすると飛び抜けない"が導かれる
2. 推論1から、仮説が否定される

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