「三番三はある」ということは誤っている
fact1: 仮に「その同軸は跳び越えるがしかし申し訳無くない」ということは偽だとするとこの見え方は回し続ける fact2: この見え方は加工し易い fact3: 仮に「三番三でない」物はあるとしたら「その右手薬指は注記すがしかし選び抜かない」ということは偽だ fact4: 仮になにがしかの物が注記すかまたは選び抜くかあるいは両方だとすると「跳び越えない」ということは誤っていない fact5: 何かは注記すとするとそれは跳び越えない fact6: 「もしもこの見え方が注記すとすればこの見え方は跳び越えない」ということは本当である fact7: この見え方は冷め難いかもしくは跳び越えるかあるいは両方である fact8: あらゆるものは申し訳無い fact9: この見え方は申し訳無い fact10: もし仮に「「跳び越えない」ということは成り立つ」ものはあるとしたら「その同軸は回し続けるがしかしそれは冷め難くない」ということは確かでない fact11: 「その右手薬指は注記す一方で三番三でない」ということは成り立たない fact12: 何もかもは黙認するしおまけにキナだ fact13: 仮になにがしかのものが選び抜かないならばそれは強大化する fact14: どれもこれもは選び抜くし申し訳無い fact15: もし仮に何らかの物は懐くかまたは同品質であるかもしくは両方ともであるとすると動揺し易くない fact16: もしその同軸が冷め難いとすればその右手薬指は三番三だ fact17: もし仮にこの見え方が冷め難いか三番三であるかまたは両方であるならそれは注記すらない fact18: 「その同軸は回し続けるしそれは冷め難い」ということは事実と異なる fact19: 「なんらかのものは跳び越えない」ということは本当ならば「その同軸は回し続けるし冷め難い」ということは成り立たない fact20: 「その同軸は回し続けるが冷め難くない」ということは誤りであるとすればその右手薬指は三番三だ
fact14 -> int1: この見え方は選び抜くし申し訳無い; int1 -> int2: この見え方は選び抜く; int2 -> int3: この見え方は注記すか選び抜くかあるいは両方である; fact4 -> int4: もしこの見え方が注記すかもしくはそれは選び抜くか両方ともならば跳び越えない; int3 & int4 -> int5: この見え方は跳び越えない; int5 -> int6: 「「跳び越えるということはない」ということは成り立つ」ものはある; int6 & fact10 -> int7: 「その同軸は回し続けるがしかし冷め難くない」ということは事実でない; int7 & fact20 -> int8: その右手薬指は三番三だ; int8 -> hypothesis;
すべての物は強大化するし飛行機らしい
fact21 -> int9: その同軸が選び抜かないならば強大化する;
$facts$ = fact1: 仮に「その同軸は跳び越えるがしかし申し訳無くない」ということは偽だとするとこの見え方は回し続ける fact2: この見え方は加工し易い fact3: 仮に「三番三でない」物はあるとしたら「その右手薬指は注記すがしかし選び抜かない」ということは偽だ fact4: 仮になにがしかの物が注記すかまたは選び抜くかあるいは両方だとすると「跳び越えない」ということは誤っていない fact5: 何かは注記すとするとそれは跳び越えない fact6: 「もしもこの見え方が注記すとすればこの見え方は跳び越えない」ということは本当である fact7: この見え方は冷め難いかもしくは跳び越えるかあるいは両方である fact8: あらゆるものは申し訳無い fact9: この見え方は申し訳無い fact10: もし仮に「「跳び越えない」ということは成り立つ」ものはあるとしたら「その同軸は回し続けるがしかしそれは冷め難くない」ということは確かでない fact11: 「その右手薬指は注記す一方で三番三でない」ということは成り立たない fact12: 何もかもは黙認するしおまけにキナだ fact13: 仮になにがしかのものが選び抜かないならばそれは強大化する fact14: どれもこれもは選び抜くし申し訳無い fact15: もし仮に何らかの物は懐くかまたは同品質であるかもしくは両方ともであるとすると動揺し易くない fact16: もしその同軸が冷め難いとすればその右手薬指は三番三だ fact17: もし仮にこの見え方が冷め難いか三番三であるかまたは両方であるならそれは注記すらない fact18: 「その同軸は回し続けるしそれは冷め難い」ということは事実と異なる fact19: 「なんらかのものは跳び越えない」ということは本当ならば「その同軸は回し続けるし冷め難い」ということは成り立たない fact20: 「その同軸は回し続けるが冷め難くない」ということは誤りであるとすればその右手薬指は三番三だ ; $hypothesis$ = 「三番三はある」ということは誤っている ; $proof$ = 
fact14 -> int1: この見え方は選び抜くし申し訳無い; int1 -> int2: この見え方は選び抜く; int2 -> int3: この見え方は注記すか選び抜くかあるいは両方である; fact4 -> int4: もしこの見え方が注記すかもしくはそれは選び抜くか両方ともならば跳び越えない; int3 & int4 -> int5: この見え方は跳び越えない; int5 -> int6: 「「跳び越えるということはない」ということは成り立つ」ものはある; int6 & fact10 -> int7: 「その同軸は回し続けるがしかし冷め難くない」ということは事実でない; int7 & fact20 -> int8: その右手薬指は三番三だ; int8 -> hypothesis; __DISPROVED__
事実1: 仮に「その同軸は跳び越えるがしかし申し訳無くない」ということは偽だとするとこの見え方は回し続ける
事実2: この見え方は加工し易い
事実3: 仮に「三番三でない」物はあるとしたら「その右手薬指は注記すがしかし選び抜かない」ということは偽だ
事実4: 仮になにがしかの物が注記すかまたは選び抜くかあるいは両方だとすると「跳び越えない」ということは誤っていない
事実5: 何かは注記すとするとそれは跳び越えない
事実6: 「もしもこの見え方が注記すとすればこの見え方は跳び越えない」ということは本当である
事実7: この見え方は冷め難いかもしくは跳び越えるかあるいは両方である
事実8: あらゆるものは申し訳無い
事実9: この見え方は申し訳無い
事実10: もし仮に「「跳び越えない」ということは成り立つ」ものはあるとしたら「その同軸は回し続けるがしかしそれは冷め難くない」ということは確かでない
事実11: 「その右手薬指は注記す一方で三番三でない」ということは成り立たない
事実12: 何もかもは黙認するしおまけにキナだ
事実13: 仮になにがしかのものが選び抜かないならばそれは強大化する
事実14: どれもこれもは選び抜くし申し訳無い
事実15: もし仮に何らかの物は懐くかまたは同品質であるかもしくは両方ともであるとすると動揺し易くない
事実16: もしその同軸が冷め難いとすればその右手薬指は三番三だ
事実17: もし仮にこの見え方が冷め難いか三番三であるかまたは両方であるならそれは注記すらない
事実18: 「その同軸は回し続けるしそれは冷め難い」ということは事実と異なる
事実19: 「なんらかのものは跳び越えない」ということは本当ならば「その同軸は回し続けるし冷め難い」ということは成り立たない
事実20: 「その同軸は回し続けるが冷め難くない」ということは誤りであるとすればその右手薬指は三番三だ

仮説: 「三番三はある」ということは誤っている
1. 事実14から、推論1: "この見え方は選び抜くし申し訳無い"が導かれる
2. 推論1から、推論2: "この見え方は選び抜く"が導かれる
3. 推論2から、推論3: "この見え方は注記すか選び抜くかあるいは両方である"が導かれる
4. 事実4から、推論4: "もしこの見え方が注記すかもしくはそれは選び抜くか両方ともならば跳び越えない"が導かれる
5. 推論3と推論4から、推論5: "この見え方は跳び越えない"が導かれる
6. 推論5から、推論6: "「「跳び越えるということはない」ということは成り立つ」ものはある"が導かれる
7. 推論6と事実10から、推論7: "「その同軸は回し続けるがしかし冷め難くない」ということは事実でない"が導かれる
8. 推論7と事実20から、推論8: "その右手薬指は三番三だ"が導かれる
9. 推論8から、仮説が否定される

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