「その台本作家は愚かしい一方でゲットしない」ということは事実でない
fact1: あの意思疎通は制限すかまたは引き難い fact2: もしあのベリーが競い合うとしたらあの意思疎通は制限すかもしくはそれは引き難くないかもしくはどちらもだ fact3: 「「分業化であるし仮託するということはない」ということは嘘である」ものはある fact4: 「「分業化だしその上仮託する」ということは成り立つということはない」ものはある fact5: もしもなにかは制限すかもしくはそれは引き難いということはないかあるいは両方であるとしたら続発するということはない fact6: もしも「「分業化だけれど仮託しない」ということは事実と異なる」ものがあるならばあの意思疎通は青っぽい fact7: もしこの疎外感が巾着でなくてそれが色好くないならあのベリーは起き難くない fact8: 起き難くないものは競い合わないとすると「それは吹き易くない」ということは真実だ fact9: 「その台本作家は愚かしいし加えてゲットする」ということは間違っている fact10: 仮にあのベリーが競い合うとしたらあの意思疎通は制限すかそれは引き難いかまたはどちらもである fact11: もし仮になにかは分業化だということはないとすればあの意思疎通は青っぽい fact12: あの意思疎通は続発しないとすると「青っぽくない」ということは本当だ fact13: あのベリーは吹き易くないとすれば「その台本作家は愚かしいがしかしゲットしない」ということは偽だ fact14: この疎外感は巾着であるということはなくて加えて色好くない
void -> assump1: 以下のように仮定する。あのベリーは競い合う; fact2 & assump1 -> int1: あの意思疎通は制限すか引き難くない; fact5 -> int2: あの意思疎通が制限すかあるいはそれは引き難くないかあるいは両方だとしたら続発しない; int1 & int2 -> int3: あの意思疎通は続発するということはない; int3 & fact12 -> int4: あの意思疎通は青っぽいということはない; fact6 & fact3 -> int5: 「あの意思疎通は青っぽい」ということは事実だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのベリーは競い合わない; fact7 & fact14 -> int8: あのベリーは起き難くない; int7 & int8 -> int9: あのベリーは起き難くないしその上それは競い合わない; fact8 -> int10: 仮にあのベリーは起き難くないししかも競い合わないとしたら吹き易くない; int9 & int10 -> int11: あのベリーは吹き易いということはない; int11 & fact13 -> hypothesis;
$facts$ = fact1: あの意思疎通は制限すかまたは引き難い fact2: もしあのベリーが競い合うとしたらあの意思疎通は制限すかもしくはそれは引き難くないかもしくはどちらもだ fact3: 「「分業化であるし仮託するということはない」ということは嘘である」ものはある fact4: 「「分業化だしその上仮託する」ということは成り立つということはない」ものはある fact5: もしもなにかは制限すかもしくはそれは引き難いということはないかあるいは両方であるとしたら続発するということはない fact6: もしも「「分業化だけれど仮託しない」ということは事実と異なる」ものがあるならばあの意思疎通は青っぽい fact7: もしこの疎外感が巾着でなくてそれが色好くないならあのベリーは起き難くない fact8: 起き難くないものは競い合わないとすると「それは吹き易くない」ということは真実だ fact9: 「その台本作家は愚かしいし加えてゲットする」ということは間違っている fact10: 仮にあのベリーが競い合うとしたらあの意思疎通は制限すかそれは引き難いかまたはどちらもである fact11: もし仮になにかは分業化だということはないとすればあの意思疎通は青っぽい fact12: あの意思疎通は続発しないとすると「青っぽくない」ということは本当だ fact13: あのベリーは吹き易くないとすれば「その台本作家は愚かしいがしかしゲットしない」ということは偽だ fact14: この疎外感は巾着であるということはなくて加えて色好くない ; $hypothesis$ = 「その台本作家は愚かしい一方でゲットしない」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのベリーは競い合う; fact2 & assump1 -> int1: あの意思疎通は制限すか引き難くない; fact5 -> int2: あの意思疎通が制限すかあるいはそれは引き難くないかあるいは両方だとしたら続発しない; int1 & int2 -> int3: あの意思疎通は続発するということはない; int3 & fact12 -> int4: あの意思疎通は青っぽいということはない; fact6 & fact3 -> int5: 「あの意思疎通は青っぽい」ということは事実だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのベリーは競い合わない; fact7 & fact14 -> int8: あのベリーは起き難くない; int7 & int8 -> int9: あのベリーは起き難くないしその上それは競い合わない; fact8 -> int10: 仮にあのベリーは起き難くないししかも競い合わないとしたら吹き易くない; int9 & int10 -> int11: あのベリーは吹き易いということはない; int11 & fact13 -> hypothesis; __PROVED__
事実1: あの意思疎通は制限すかまたは引き難い
事実2: もしあのベリーが競い合うとしたらあの意思疎通は制限すかもしくはそれは引き難くないかもしくはどちらもだ
事実3: 「「分業化であるし仮託するということはない」ということは嘘である」ものはある
事実4: 「「分業化だしその上仮託する」ということは成り立つということはない」ものはある
事実5: もしもなにかは制限すかもしくはそれは引き難いということはないかあるいは両方であるとしたら続発するということはない
事実6: もしも「「分業化だけれど仮託しない」ということは事実と異なる」ものがあるならばあの意思疎通は青っぽい
事実7: もしこの疎外感が巾着でなくてそれが色好くないならあのベリーは起き難くない
事実8: 起き難くないものは競い合わないとすると「それは吹き易くない」ということは真実だ
事実9: 「その台本作家は愚かしいし加えてゲットする」ということは間違っている
事実10: 仮にあのベリーが競い合うとしたらあの意思疎通は制限すかそれは引き難いかまたはどちらもである
事実11: もし仮になにかは分業化だということはないとすればあの意思疎通は青っぽい
事実12: あの意思疎通は続発しないとすると「青っぽくない」ということは本当だ
事実13: あのベリーは吹き易くないとすれば「その台本作家は愚かしいがしかしゲットしない」ということは偽だ
事実14: この疎外感は巾着であるということはなくて加えて色好くない

仮説: 「その台本作家は愚かしい一方でゲットしない」ということは事実でない
1. 仮定1: 以下のように仮定する。あのベリーは競い合う
2. 事実2と仮定1から、推論1: "あの意思疎通は制限すか引き難くない"が導かれる
3. 事実5から、推論2: "あの意思疎通が制限すかあるいはそれは引き難くないかあるいは両方だとしたら続発しない"が導かれる
4. 推論1と推論2から、推論3: "あの意思疎通は続発するということはない"が導かれる
5. 推論3と事実12から、推論4: "あの意思疎通は青っぽいということはない"が導かれる
6. 事実6と事実3から、推論5: "「あの意思疎通は青っぽい」ということは事実だ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのベリーは競い合わない"が導かれる
9. 事実7と事実14から、推論8: "あのベリーは起き難くない"が導かれる
10. 推論7と推論8から、推論9: "あのベリーは起き難くないしその上それは競い合わない"が導かれる
11. 事実8から、推論10: "仮にあのベリーは起き難くないししかも競い合わないとしたら吹き易くない"が導かれる
12. 推論9と推論10から、推論11: "あのベリーは吹き易いということはない"が導かれる
13. 推論11と事実13から、仮説が導かれる

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