その耳介は折衷しない
fact1: 「「在宅ワークである」ということは間違っていない」ものがあるとすればあのブイヨンは挑戦し続ける fact2: なにがしかのものが立証出来るとしたらそれは挑戦し続けるかあるいは起き出しないか両方ともである fact3: もし仮にこの取り組み姿勢が屈曲しないとするとその三筆は御し易い fact4: 「仮にとあるものが起き出すかあるいは挑戦し続けるか両方ともであるとすればその三筆は立証出来ない」ということは事実である fact5: あの農業体験は在宅ワークでない fact6: 仮に「あの農業体験は在宅ワークだ一方で学術研究でない」ということは本当だとしたらその耳介は折衷しない fact7: 仮に「起き出す」ものがあればその三筆は立証出来ない fact8: もし仮に「あの農業体験は在宅ワークでないしさらにそれは学術研究でない」ということは成り立つとしたらその耳介は折衷しない fact9: この取り組み姿勢は屈曲するということはない fact10: 「「在宅ワークでなくてそれに学術研究である」ということは成り立たない」物はある fact11: この取り組み姿勢は屈曲しないならば「その三筆は立証出来るし更に御し易い」ということは成り立つ fact12: その三筆は御し易い fact13: 「「在宅ワークだということはなくて加えて学術研究だということはない」ということは成り立たない」ものはあるとすれば「あのブイヨンは挑戦し続ける」ということは真実である fact14: 「在宅ワークであるということはないし学術研究でない」物はある fact15: 「あの農業体験は在宅ワークであるけど学術研究であるということはない」ということは成り立たない
void -> assump1: 以下のように仮定する。「あの農業体験は在宅ワークでなくて加えて学術研究でない」ということは事実と異なる; assump1 -> int1: 「「在宅ワークでなくてしかも学術研究でない」ということは嘘である」物はある; int1 & fact13 -> int2: あのブイヨンは挑戦し続ける; int2 -> int3: あのブイヨンは起き出すかまたはそれは挑戦し続けるかあるいは両方ともである; int3 -> int4: 「起き出すかもしくは挑戦し続けるかどちらもな」物はある; int4 & fact4 -> int5: その三筆は立証出来ない; fact9 & fact11 -> int6: その三筆は立証出来るし加えて御し易い; int6 -> int7: その三筆は立証出来る; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの農業体験は在宅ワークでないしまたそれは学術研究でない; int9 & fact8 -> hypothesis;
その耳介は折衷する
fact16 -> int10: もし仮にあのブイヨンが立証出来るなら挑戦し続けるか起き出しないかもしくは両方ともだ;
$facts$ = fact1: 「「在宅ワークである」ということは間違っていない」ものがあるとすればあのブイヨンは挑戦し続ける fact2: なにがしかのものが立証出来るとしたらそれは挑戦し続けるかあるいは起き出しないか両方ともである fact3: もし仮にこの取り組み姿勢が屈曲しないとするとその三筆は御し易い fact4: 「仮にとあるものが起き出すかあるいは挑戦し続けるか両方ともであるとすればその三筆は立証出来ない」ということは事実である fact5: あの農業体験は在宅ワークでない fact6: 仮に「あの農業体験は在宅ワークだ一方で学術研究でない」ということは本当だとしたらその耳介は折衷しない fact7: 仮に「起き出す」ものがあればその三筆は立証出来ない fact8: もし仮に「あの農業体験は在宅ワークでないしさらにそれは学術研究でない」ということは成り立つとしたらその耳介は折衷しない fact9: この取り組み姿勢は屈曲するということはない fact10: 「「在宅ワークでなくてそれに学術研究である」ということは成り立たない」物はある fact11: この取り組み姿勢は屈曲しないならば「その三筆は立証出来るし更に御し易い」ということは成り立つ fact12: その三筆は御し易い fact13: 「「在宅ワークだということはなくて加えて学術研究だということはない」ということは成り立たない」ものはあるとすれば「あのブイヨンは挑戦し続ける」ということは真実である fact14: 「在宅ワークであるということはないし学術研究でない」物はある fact15: 「あの農業体験は在宅ワークであるけど学術研究であるということはない」ということは成り立たない ; $hypothesis$ = その耳介は折衷しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの農業体験は在宅ワークでなくて加えて学術研究でない」ということは事実と異なる; assump1 -> int1: 「「在宅ワークでなくてしかも学術研究でない」ということは嘘である」物はある; int1 & fact13 -> int2: あのブイヨンは挑戦し続ける; int2 -> int3: あのブイヨンは起き出すかまたはそれは挑戦し続けるかあるいは両方ともである; int3 -> int4: 「起き出すかもしくは挑戦し続けるかどちらもな」物はある; int4 & fact4 -> int5: その三筆は立証出来ない; fact9 & fact11 -> int6: その三筆は立証出来るし加えて御し易い; int6 -> 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: 「あの農業体験は在宅ワークであるけど学術研究であるということはない」ということは成り立たない

仮説: その耳介は折衷しない
1. 仮定1: 以下のように仮定する。「あの農業体験は在宅ワークでなくて加えて学術研究でない」ということは事実と異なる
2. 仮定1から、推論1: "「「在宅ワークでなくてしかも学術研究でない」ということは嘘である」物はある"が導かれる
3. 推論1と事実13から、推論2: "あのブイヨンは挑戦し続ける"が導かれる
4. 推論2から、推論3: "あのブイヨンは起き出すかまたはそれは挑戦し続けるかあるいは両方ともである"が導かれる
5. 推論3から、推論4: "「起き出すかもしくは挑戦し続けるかどちらもな」物はある"が導かれる
6. 推論4と事実4から、推論5: "その三筆は立証出来ない"が導かれる
7. 事実9と事実11から、推論6: "その三筆は立証出来るし加えて御し易い"が導かれる
8. 推論6から、推論7: "その三筆は立証出来る"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの農業体験は在宅ワークでないしまたそれは学術研究でない"が導かれる
11. 推論9と事実8から、仮説が導かれる

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