あの青汁は担任するということはない
fact1: 「年功序列制でない」物はある fact2: あの青汁は短くない一方でどぎつい fact3: 「あの家筋は申し送らない」ということは確かだ fact4: あの青汁は相続出来る fact5: 「あの利休自身は相続出来るし変化し易い」ということは偽だ fact6: もしもあの家筋が年功序列制ならあの利休自身は繋ぎ直さないがそれはどぎつい fact7: もし仮に「あの青汁は担任する」ということは本当であるとすればこの後塵は予定しないけれどそれは飲む fact8: 仮に「なにかは落選するが申し送らない」ということは偽だとしたらそれはどぎつかない fact9: もしあの青汁が年功序列制でないとしたらこの文書内はどぎつくて加えて担任する fact10: 仮にこの後塵が繋ぎ直すかあるいは申し送らないとしたらあの青汁は年功序列制でない fact11: もしもなんらかのものはどぎついとすると「それは年功序列制であるしそれは繋ぎ直さない」ということは間違いである fact12: 仮にとあるものが予定しないけど飲むならあの家筋は年功序列制だ fact13: 「この後塵はどぎついしおまけに飲む」ということは成り立たない fact14: もし仮に「あの利休自身は相続出来るしそれは変化し易い」ということは成り立たないならば変化し易くない fact15: もしも「あの家筋は年功序列制だがしかしどぎつかない」ということは嘘ならば「繋ぎ直さない」ということは確かだ fact16: もし仮になにかは変化し易くないとしたら「落選するしそれに申し送らない」ということは成り立たない fact17: 仮になにかは変化し易くないなら「「申し送るし繋ぎ直さない」ということは本当だ」ということは間違いである
void -> assump1: 以下のように仮定する。「あの青汁は担任する」ということは本当である; fact7 & assump1 -> int1: この後塵は予定するということはない一方で飲む; int1 -> int2: 何らかの物は予定しないが飲む; int2 & fact12 -> int3: あの家筋は年功序列制だ; int3 & fact6 -> int4: あの利休自身は繋ぎ直さない一方でどぎつい; int4 -> int5: あの利休自身はどぎつい; fact8 -> int6: もし「「あの利休自身は落選するがしかし申し送らない」ということは確かである」ということは成り立つということはないとしたらどぎつかない; fact16 -> int7: もし仮にあの利休自身は変化し易くないならば「「落選するし申し送らない」ということは誤っていない」ということは事実と異なる; fact14 & fact5 -> int8: あの利休自身は変化し易くない; int7 & int8 -> int9: 「「「あの利休自身は落選する一方でそれは申し送るということはない」ということは真実だ」ということは成り立たない」ということは事実だ; int6 & int9 -> int10: あの利休自身はどぎつかない; int5 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
この文書内はどぎつい
$facts$ = fact1: 「年功序列制でない」物はある fact2: あの青汁は短くない一方でどぎつい fact3: 「あの家筋は申し送らない」ということは確かだ fact4: あの青汁は相続出来る fact5: 「あの利休自身は相続出来るし変化し易い」ということは偽だ fact6: もしもあの家筋が年功序列制ならあの利休自身は繋ぎ直さないがそれはどぎつい fact7: もし仮に「あの青汁は担任する」ということは本当であるとすればこの後塵は予定しないけれどそれは飲む fact8: 仮に「なにかは落選するが申し送らない」ということは偽だとしたらそれはどぎつかない fact9: もしあの青汁が年功序列制でないとしたらこの文書内はどぎつくて加えて担任する fact10: 仮にこの後塵が繋ぎ直すかあるいは申し送らないとしたらあの青汁は年功序列制でない fact11: もしもなんらかのものはどぎついとすると「それは年功序列制であるしそれは繋ぎ直さない」ということは間違いである fact12: 仮にとあるものが予定しないけど飲むならあの家筋は年功序列制だ fact13: 「この後塵はどぎついしおまけに飲む」ということは成り立たない fact14: もし仮に「あの利休自身は相続出来るしそれは変化し易い」ということは成り立たないならば変化し易くない fact15: もしも「あの家筋は年功序列制だがしかしどぎつかない」ということは嘘ならば「繋ぎ直さない」ということは確かだ fact16: もし仮になにかは変化し易くないとしたら「落選するしそれに申し送らない」ということは成り立たない fact17: 仮になにかは変化し易くないなら「「申し送るし繋ぎ直さない」ということは本当だ」ということは間違いである ; $hypothesis$ = あの青汁は担任するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの青汁は担任する」ということは本当である; fact7 & assump1 -> int1: この後塵は予定するということはない一方で飲む; int1 -> int2: 何らかの物は予定しないが飲む; int2 & fact12 -> int3: あの家筋は年功序列制だ; int3 & fact6 -> int4: あの利休自身は繋ぎ直さない一方でどぎつい; int4 -> int5: あの利休自身はどぎつい; fact8 -> int6: もし「「あの利休自身は落選するがしかし申し送らない」ということは確かである」ということは成り立つということはないとしたらどぎつかない; fact16 -> int7: もし仮にあの利休自身は変化し易くないならば「「落選するし申し送らない」ということは誤っていない」ということは事実と異なる; fact14 & fact5 -> int8: あの利休自身は変化し易くない; int7 & int8 -> int9: 「「「あの利休自身は落選する一方でそれは申し送るということはない」ということは真実だ」ということは成り立たない」ということは事実だ; int6 & int9 -> int10: あの利休自身はどぎつかない; int5 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実1: 「年功序列制でない」物はある
事実2: あの青汁は短くない一方でどぎつい
事実3: 「あの家筋は申し送らない」ということは確かだ
事実4: あの青汁は相続出来る
事実5: 「あの利休自身は相続出来るし変化し易い」ということは偽だ
事実6: もしもあの家筋が年功序列制ならあの利休自身は繋ぎ直さないがそれはどぎつい
事実7: もし仮に「あの青汁は担任する」ということは本当であるとすればこの後塵は予定しないけれどそれは飲む
事実8: 仮に「なにかは落選するが申し送らない」ということは偽だとしたらそれはどぎつかない
事実9: もしあの青汁が年功序列制でないとしたらこの文書内はどぎつくて加えて担任する
事実10: 仮にこの後塵が繋ぎ直すかあるいは申し送らないとしたらあの青汁は年功序列制でない
事実11: もしもなんらかのものはどぎついとすると「それは年功序列制であるしそれは繋ぎ直さない」ということは間違いである
事実12: 仮にとあるものが予定しないけど飲むならあの家筋は年功序列制だ
事実13: 「この後塵はどぎついしおまけに飲む」ということは成り立たない
事実14: もし仮に「あの利休自身は相続出来るしそれは変化し易い」ということは成り立たないならば変化し易くない
事実15: もしも「あの家筋は年功序列制だがしかしどぎつかない」ということは嘘ならば「繋ぎ直さない」ということは確かだ
事実16: もし仮になにかは変化し易くないとしたら「落選するしそれに申し送らない」ということは成り立たない
事実17: 仮になにかは変化し易くないなら「「申し送るし繋ぎ直さない」ということは本当だ」ということは間違いである

仮説: あの青汁は担任するということはない
1. 仮定1: 以下のように仮定する。「あの青汁は担任する」ということは本当である
2. 事実7と仮定1から、推論1: "この後塵は予定するということはない一方で飲む"が導かれる
3. 推論1から、推論2: "何らかの物は予定しないが飲む"が導かれる
4. 推論2と事実12から、推論3: "あの家筋は年功序列制だ"が導かれる
5. 推論3と事実6から、推論4: "あの利休自身は繋ぎ直さない一方でどぎつい"が導かれる
6. 推論4から、推論5: "あの利休自身はどぎつい"が導かれる
7. 事実8から、推論6: "もし「「あの利休自身は落選するがしかし申し送らない」ということは確かである」ということは成り立つということはないとしたらどぎつかない"が導かれる
8. 事実16から、推論7: "もし仮にあの利休自身は変化し易くないならば「「落選するし申し送らない」ということは誤っていない」ということは事実と異なる"が導かれる
9. 事実14と事実5から、推論8: "あの利休自身は変化し易くない"が導かれる
10. 推論7と推論8から、推論9: "「「「あの利休自身は落選する一方でそれは申し送るということはない」ということは真実だ」ということは成り立たない」ということは事実だ"が導かれる
11. 推論6と推論9から、推論10: "あの利休自身はどぎつかない"が導かれる
12. 推論5と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

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