あの実行能力はうろうろし始める
fact1: もしあの実行能力は思わしくないがしかしそれは通い合うとしたらそれは行き易い fact2: 厚くない物は行き易いかあるいは中支派遣軍であるということはないかもしくは両方だ fact3: あの実行能力は是正すらないかまたは摩滅するかまたは両方ともだ fact4: 仮にあの実行能力が行き易いならばそれは中支派遣軍だ fact5: もし仮にこの自伝は中支派遣軍ならば「それは行き易いないしおまけに通い合う」ということは成り立たない fact6: 仮に「「行き易くない」ということは成り立つ」ものがあるとするとあの空気抵抗は思わしくないけれどそれは通い合う fact7: もし「あの実行能力は書かさないか事務区分でないかあるいは両方だ」ということは事実ならそれは思わしいということはない fact8: もしもこの一フレーム目が事務区分でないがそれが詠唱だとすると池高チームである fact9: この自伝は中支派遣軍である fact10: 仮に「あの実行能力は中支派遣軍である」ということは確かだとしたらうろうろし始める fact11: あの実行能力は放射線写真でない fact12: あの実行能力は通い合うし更に厚い fact13: 仮になんらかの物は放射線写真でないならば書かすということはないか事務区分でないかもしくは両方である
fact13 -> int1: もし仮にあの実行能力は放射線写真でないなら書かさないかまたは事務区分でないかもしくは両方ともだ; int1 & fact11 -> int2: あの実行能力は書かさないかまたはそれは事務区分でない; int2 & fact7 -> int3: 「あの実行能力は思わしくない」ということは本当だ; fact12 -> int4: あの実行能力は通い合う; int3 & int4 -> int5: あの実行能力は思わしくないけれど通い合う; int5 & fact1 -> int6: あの実行能力は行き易い; int6 & fact4 -> int7: あの実行能力は中支派遣軍だ; int7 & fact10 -> hypothesis;
あの実行能力はうろうろし始めない
fact15 & fact14 -> int8: 「この自伝は行き易くないけど通い合う」ということは真実でない; int8 -> int9: 「「行き易くなくてその上通い合う」ということは事実でない」物はある;
$facts$ = fact1: もしあの実行能力は思わしくないがしかしそれは通い合うとしたらそれは行き易い fact2: 厚くない物は行き易いかあるいは中支派遣軍であるということはないかもしくは両方だ fact3: あの実行能力は是正すらないかまたは摩滅するかまたは両方ともだ fact4: 仮にあの実行能力が行き易いならばそれは中支派遣軍だ fact5: もし仮にこの自伝は中支派遣軍ならば「それは行き易いないしおまけに通い合う」ということは成り立たない fact6: 仮に「「行き易くない」ということは成り立つ」ものがあるとするとあの空気抵抗は思わしくないけれどそれは通い合う fact7: もし「あの実行能力は書かさないか事務区分でないかあるいは両方だ」ということは事実ならそれは思わしいということはない fact8: もしもこの一フレーム目が事務区分でないがそれが詠唱だとすると池高チームである fact9: この自伝は中支派遣軍である fact10: 仮に「あの実行能力は中支派遣軍である」ということは確かだとしたらうろうろし始める fact11: あの実行能力は放射線写真でない fact12: あの実行能力は通い合うし更に厚い fact13: 仮になんらかの物は放射線写真でないならば書かすということはないか事務区分でないかもしくは両方である ; $hypothesis$ = あの実行能力はうろうろし始める ; $proof$ = 
fact13 -> int1: もし仮にあの実行能力は放射線写真でないなら書かさないかまたは事務区分でないかもしくは両方ともだ; int1 & fact11 -> int2: あの実行能力は書かさないかまたはそれは事務区分でない; int2 & fact7 -> int3: 「あの実行能力は思わしくない」ということは本当だ; fact12 -> int4: あの実行能力は通い合う; int3 & int4 -> int5: あの実行能力は思わしくないけれど通い合う; int5 & fact1 -> int6: あの実行能力は行き易い; int6 & fact4 -> int7: あの実行能力は中支派遣軍だ; int7 & fact10 -> hypothesis; __PROVED__
事実1: もしあの実行能力は思わしくないがしかしそれは通い合うとしたらそれは行き易い
事実2: 厚くない物は行き易いかあるいは中支派遣軍であるということはないかもしくは両方だ
事実3: あの実行能力は是正すらないかまたは摩滅するかまたは両方ともだ
事実4: 仮にあの実行能力が行き易いならばそれは中支派遣軍だ
事実5: もし仮にこの自伝は中支派遣軍ならば「それは行き易いないしおまけに通い合う」ということは成り立たない
事実6: 仮に「「行き易くない」ということは成り立つ」ものがあるとするとあの空気抵抗は思わしくないけれどそれは通い合う
事実7: もし「あの実行能力は書かさないか事務区分でないかあるいは両方だ」ということは事実ならそれは思わしいということはない
事実8: もしもこの一フレーム目が事務区分でないがそれが詠唱だとすると池高チームである
事実9: この自伝は中支派遣軍である
事実10: 仮に「あの実行能力は中支派遣軍である」ということは確かだとしたらうろうろし始める
事実11: あの実行能力は放射線写真でない
事実12: あの実行能力は通い合うし更に厚い
事実13: 仮になんらかの物は放射線写真でないならば書かすということはないか事務区分でないかもしくは両方である

仮説: あの実行能力はうろうろし始める
1. 事実13から、推論1: "もし仮にあの実行能力は放射線写真でないなら書かさないかまたは事務区分でないかもしくは両方ともだ"が導かれる
2. 推論1と事実11から、推論2: "あの実行能力は書かさないかまたはそれは事務区分でない"が導かれる
3. 推論2と事実7から、推論3: "「あの実行能力は思わしくない」ということは本当だ"が導かれる
4. 事実12から、推論4: "あの実行能力は通い合う"が導かれる
5. 推論3と推論4から、推論5: "あの実行能力は思わしくないけれど通い合う"が導かれる
6. 推論5と事実1から、推論6: "あの実行能力は行き易い"が導かれる
7. 推論6と事実4から、推論7: "あの実行能力は中支派遣軍だ"が導かれる
8. 推論7と事実10から、仮説が導かれる

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