あの十一Ａは竦めるということはなくてそれにトラックポイントでない
fact1: もし仮に「「「重ね付けしないか為直さないか両方である」ということは確かである」ということは間違っている」ものがあるとすればあの物体Ａは申し送らない fact2: なにかは持ち易いということはないとすれば「竦めるということはないしさらにトラックポイントでない」ということは嘘だ fact3: もしあるものは易しいとすると「それは持ち易くないが改組す」ということは成り立つということはない fact4: その配分方法は申し送らない fact5: 「「改組すらないかまたはトラックポイントであるかあるいは両方ともだ」ということは偽な」ものはある fact6: もしもあの物体Ａが改組すらないけどそれが易しいならそれは申し送る fact7: 「もし一枠はあれば「そのフィユティーヌは申し送るということはない」ということは正しい」ということは成り立つ fact8: あの手術後がトラックポイントでないとしたらあの十一Ａは竦めないしかつトラックポイントであるということはない fact9: あの手術後は持ち易い fact10: 「一枠な」物はある fact11: 「そのフィユティーヌは重ね付けしないか為直さないか両方だ」ということは嘘だ fact12: もし仮に「あの直腸瘤は易しくないししかも重ね付けしない」ということは確かならば「あの手術後は易しい」ということは事実だ fact13: もし持ち易くないものがトラックポイントだとすれば申し送る fact14: あの物体Ａは竦めない fact15: あの物体Ａは全国一斉である fact16: 仮にそのフィユティーヌは申し送らないとしたら「あの物体Ａは易しくて為直す」ということは偽である fact17: なにがしかのものは改組すということはないし易しくないとすれば申し送る fact18: 仮に「あの物体Ａは易しいし更に為直す」ということは成り立たないならあの直腸瘤は易しくない fact19: この身柄拘束中は持ち易い fact20: もし仮にあの手術後がトラックポイントであるしまた持ち易いとするとあの直腸瘤は改組すらない fact21: もし仮に何らかの物がトラックポイントでないしそれが為直さないとすれば持ち易い fact22: あの直腸瘤が改組すということはないとするとあの物体Ａは改組すということはないしさらに易しくない
void -> assump1: 以下のように仮定する。あの手術後はトラックポイントだ; assump1 & fact9 -> int1: あの手術後はトラックポイントであるしそれに持ち易い; int1 & fact20 -> int2: あの直腸瘤は改組すらない; int2 & fact22 -> int3: あの物体Ａは改組すらなくて易しくない; fact17 -> int4: もし仮にあの物体Ａは改組すらなくて易しくないとすれば申し送る; int3 & int4 -> int5: あの物体Ａは申し送る; fact11 -> int6: 「「重ね付けするということはないかもしくは為直すということはないかどちらもだ」ということは成り立つということはない」物はある; int6 & fact1 -> int7: あの物体Ａは申し送らない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「あの手術後はトラックポイントでない」ということは事実だ; int9 & fact8 -> hypothesis;
「あの十一Ａは竦めるということはないしトラックポイントだということはない」ということは偽だ
fact29 -> int10: もしあの十一Ａは持ち易くないとしたら「それは竦めなくて更にトラックポイントでない」ということは成り立たない; fact27 -> int11: もしあの手術後は易しいとしたら「それは持ち易くないがしかし改組す」ということは間違いだ; fact28 & fact23 -> int12: そのフィユティーヌは申し送らない; fact26 & int12 -> int13: 「あの物体Ａは易しいしおまけに為直す」ということは間違っている; fact25 & int13 -> int14: 「あの直腸瘤は易しくない」ということは真実である;
$facts$ = fact1: もし仮に「「「重ね付けしないか為直さないか両方である」ということは確かである」ということは間違っている」ものがあるとすればあの物体Ａは申し送らない fact2: なにかは持ち易いということはないとすれば「竦めるということはないしさらにトラックポイントでない」ということは嘘だ fact3: もしあるものは易しいとすると「それは持ち易くないが改組す」ということは成り立つということはない fact4: その配分方法は申し送らない fact5: 「「改組すらないかまたはトラックポイントであるかあるいは両方ともだ」ということは偽な」ものはある fact6: もしもあの物体Ａが改組すらないけどそれが易しいならそれは申し送る fact7: 「もし一枠はあれば「そのフィユティーヌは申し送るということはない」ということは正しい」ということは成り立つ fact8: あの手術後がトラックポイントでないとしたらあの十一Ａは竦めないしかつトラックポイントであるということはない fact9: あの手術後は持ち易い fact10: 「一枠な」物はある fact11: 「そのフィユティーヌは重ね付けしないか為直さないか両方だ」ということは嘘だ fact12: もし仮に「あの直腸瘤は易しくないししかも重ね付けしない」ということは確かならば「あの手術後は易しい」ということは事実だ fact13: もし持ち易くないものがトラックポイントだとすれば申し送る fact14: あの物体Ａは竦めない fact15: あの物体Ａは全国一斉である fact16: 仮にそのフィユティーヌは申し送らないとしたら「あの物体Ａは易しくて為直す」ということは偽である fact17: なにがしかのものは改組すということはないし易しくないとすれば申し送る fact18: 仮に「あの物体Ａは易しいし更に為直す」ということは成り立たないならあの直腸瘤は易しくない fact19: この身柄拘束中は持ち易い fact20: もし仮にあの手術後がトラックポイントであるしまた持ち易いとするとあの直腸瘤は改組すらない fact21: もし仮に何らかの物がトラックポイントでないしそれが為直さないとすれば持ち易い fact22: あの直腸瘤が改組すということはないとするとあの物体Ａは改組すということはないしさらに易しくない ; $hypothesis$ = あの十一Ａは竦めるということはなくてそれにトラックポイントでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの手術後はトラックポイントだ; assump1 & fact9 -> int1: あの手術後はトラックポイントであるしそれに持ち易い; int1 & fact20 -> int2: あの直腸瘤は改組すらない; int2 & fact22 -> int3: あの物体Ａは改組すらなくて易しくない; fact17 -> int4: もし仮にあの物体Ａは改組すらなくて易しくないとすれば申し送る; int3 & int4 -> int5: あの物体Ａは申し送る; fact11 -> int6: 「「重ね付けするということはないかもしくは為直すということはないかどちらもだ」ということは成り立つということはない」物はある; int6 & fact1 -> int7: あの物体Ａは申し送らない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「あの手術後はトラックポイントでない」ということは事実だ; int9 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に「「「重ね付けしないか為直さないか両方である」ということは確かである」ということは間違っている」ものがあるとすればあの物体Ａは申し送らない
事実2: なにかは持ち易いということはないとすれば「竦めるということはないしさらにトラックポイントでない」ということは嘘だ
事実3: もしあるものは易しいとすると「それは持ち易くないが改組す」ということは成り立つということはない
事実4: その配分方法は申し送らない
事実5: 「「改組すらないかまたはトラックポイントであるかあるいは両方ともだ」ということは偽な」ものはある
事実6: もしもあの物体Ａが改組すらないけどそれが易しいならそれは申し送る
事実7: 「もし一枠はあれば「そのフィユティーヌは申し送るということはない」ということは正しい」ということは成り立つ
事実8: あの手術後がトラックポイントでないとしたらあの十一Ａは竦めないしかつトラックポイントであるということはない
事実9: あの手術後は持ち易い
事実10: 「一枠な」物はある
事実11: 「そのフィユティーヌは重ね付けしないか為直さないか両方だ」ということは嘘だ
事実12: もし仮に「あの直腸瘤は易しくないししかも重ね付けしない」ということは確かならば「あの手術後は易しい」ということは事実だ
事実13: もし持ち易くないものがトラックポイントだとすれば申し送る
事実14: あの物体Ａは竦めない
事実15: あの物体Ａは全国一斉である
事実16: 仮にそのフィユティーヌは申し送らないとしたら「あの物体Ａは易しくて為直す」ということは偽である
事実17: なにがしかのものは改組すということはないし易しくないとすれば申し送る
事実18: 仮に「あの物体Ａは易しいし更に為直す」ということは成り立たないならあの直腸瘤は易しくない
事実19: この身柄拘束中は持ち易い
事実20: もし仮にあの手術後がトラックポイントであるしまた持ち易いとするとあの直腸瘤は改組すらない
事実21: もし仮に何らかの物がトラックポイントでないしそれが為直さないとすれば持ち易い
事実22: あの直腸瘤が改組すということはないとするとあの物体Ａは改組すということはないしさらに易しくない

仮説: あの十一Ａは竦めるということはなくてそれにトラックポイントでない
1. 仮定1: 以下のように仮定する。あの手術後はトラックポイントだ
2. 仮定1と事実9から、推論1: "あの手術後はトラックポイントであるしそれに持ち易い"が導かれる
3. 推論1と事実20から、推論2: "あの直腸瘤は改組すらない"が導かれる
4. 推論2と事実22から、推論3: "あの物体Ａは改組すらなくて易しくない"が導かれる
5. 事実17から、推論4: "もし仮にあの物体Ａは改組すらなくて易しくないとすれば申し送る"が導かれる
6. 推論3と推論4から、推論5: "あの物体Ａは申し送る"が導かれる
7. 事実11から、推論6: "「「重ね付けするということはないかもしくは為直すということはないかどちらもだ」ということは成り立つということはない」物はある"が導かれる
8. 推論6と事実1から、推論7: "あの物体Ａは申し送らない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「あの手術後はトラックポイントでない」ということは事実だ"が導かれる
11. 推論9と事実8から、仮説が導かれる

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