もしその補修が素子であるしそれがワイン作りならばあの共同生活援助は送り出さない
fact1: その三足烏は吹き易いししかも頷ける fact2: 「その補修は羨ましいということはないし吹き易くない」ということは偽だ fact3: 仮にその補修が首尾一貫するということはないがしかし負担過重であるとすればこのシステム投資は負担過重でない fact4: その補修は素子である fact5: もし仮にその補修が素子だしワイン作りだとするとあの共同生活援助は送り出す fact6: 仮に「とある物は活用し易くないけど送り出す」ということは誤っているとすると「それは活用し易い」ということは成り立つ fact7: もしもあの共同生活援助が体重変化でないしかつ頷けないならこのシステム投資は頷けない fact8: もしその補修がワイン作りならあの共同生活援助は負担過重である fact9: もし「その補修は羨ましくないし加えて吹き易くない」ということは成り立たないとするとそれは吹き易い fact10: もしとあるものが吹き易いならば首尾一貫しなくて負担過重である fact11: 何らかの物は負担過重でないとするとワイン作りだしまた素子である fact12: 仮にとあるものは頷けるということはないとすると「それが活用し易いということはないしさらにそれは送り出す」ということは偽だ fact13: 「「反映され易くて麦角でない」ということは間違っている」ものがあるとしたらあの共同生活援助は体重変化だということはない fact14: その三足烏は吹き易い fact15: あの共同生活援助がワイン作りで頷けるとすればその補修は送り出さない fact16: 「「反映され易いししかも麦角でない」ということは成り立たない」ものはある fact17: もしあの共同生活援助が負担過重であるしおまけに送り出すとしたらその三足烏は頷けない
void -> assump1: 以下のように仮定する。その補修は素子でそれはワイン作りである; assump1 -> int1: その補修はワイン作りである; int1 & fact8 -> int2: あの共同生活援助は負担過重だ; void -> assump2: 以下のように仮定する。あの共同生活援助は送り出す; int2 & assump2 -> int3: あの共同生活援助は負担過重でしかも送り出す; int3 & fact17 -> int4: その三足烏は頷けるということはない; fact1 -> int5: その三足烏は頷ける; int4 & int5 -> int6: これは矛盾である; [assump2] & int6 -> int7: あの共同生活援助は送り出すということはない; [assump1] & int7 -> hypothesis;
このシステム投資はワイン作りであるし加えて活用し易い
fact21 -> int8: もしこのシステム投資が負担過重でないならばワイン作りであるしおまけにそれは素子だ; fact27 -> int9: その補修が吹き易いとしたら首尾一貫しないしそれは負担過重である; fact22 & fact20 -> int10: その補修は吹き易い; int9 & int10 -> int11: その補修は首尾一貫しないけどそれは負担過重だ; fact26 & int11 -> int12: このシステム投資は負担過重だということはない; int8 & int12 -> int13: このシステム投資はワイン作りであるし素子だ; int13 -> int14: このシステム投資はワイン作りである; fact23 -> int15: もし「このシステム投資は活用し易くないけれどそれは送り出す」ということは真実でないなら「活用し易い」ということは成り立つ; fact18 -> int16: もしこのシステム投資は頷けないとしたら「それは活用し易くないし更に送り出す」ということは誤りだ; fact25 & fact24 -> int17: あの共同生活援助は体重変化でない;
$facts$ = fact1: その三足烏は吹き易いししかも頷ける fact2: 「その補修は羨ましいということはないし吹き易くない」ということは偽だ fact3: 仮にその補修が首尾一貫するということはないがしかし負担過重であるとすればこのシステム投資は負担過重でない fact4: その補修は素子である fact5: もし仮にその補修が素子だしワイン作りだとするとあの共同生活援助は送り出す fact6: 仮に「とある物は活用し易くないけど送り出す」ということは誤っているとすると「それは活用し易い」ということは成り立つ fact7: もしもあの共同生活援助が体重変化でないしかつ頷けないならこのシステム投資は頷けない fact8: もしその補修がワイン作りならあの共同生活援助は負担過重である fact9: もし「その補修は羨ましくないし加えて吹き易くない」ということは成り立たないとするとそれは吹き易い fact10: もしとあるものが吹き易いならば首尾一貫しなくて負担過重である fact11: 何らかの物は負担過重でないとするとワイン作りだしまた素子である fact12: 仮にとあるものは頷けるということはないとすると「それが活用し易いということはないしさらにそれは送り出す」ということは偽だ fact13: 「「反映され易くて麦角でない」ということは間違っている」ものがあるとしたらあの共同生活援助は体重変化だということはない fact14: その三足烏は吹き易い fact15: あの共同生活援助がワイン作りで頷けるとすればその補修は送り出さない fact16: 「「反映され易いししかも麦角でない」ということは成り立たない」ものはある fact17: もしあの共同生活援助が負担過重であるしおまけに送り出すとしたらその三足烏は頷けない ; $hypothesis$ = もしその補修が素子であるしそれがワイン作りならばあの共同生活援助は送り出さない ; $proof$ = 
void -> assump1: 以下のように仮定する。その補修は素子でそれはワイン作りである; assump1 -> int1: その補修はワイン作りである; int1 & fact8 -> int2: あの共同生活援助は負担過重だ; void -> assump2: 以下のように仮定する。あの共同生活援助は送り出す; int2 & assump2 -> int3: あの共同生活援助は負担過重でしかも送り出す; int3 & fact17 -> int4: その三足烏は頷けるということはない; fact1 -> int5: その三足烏は頷ける; int4 & int5 -> int6: これは矛盾である; [assump2] & int6 -> int7: あの共同生活援助は送り出すということはない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: その三足烏は吹き易いししかも頷ける
事実2: 「その補修は羨ましいということはないし吹き易くない」ということは偽だ
事実3: 仮にその補修が首尾一貫するということはないがしかし負担過重であるとすればこのシステム投資は負担過重でない
事実4: その補修は素子である
事実5: もし仮にその補修が素子だしワイン作りだとするとあの共同生活援助は送り出す
事実6: 仮に「とある物は活用し易くないけど送り出す」ということは誤っているとすると「それは活用し易い」ということは成り立つ
事実7: もしもあの共同生活援助が体重変化でないしかつ頷けないならこのシステム投資は頷けない
事実8: もしその補修がワイン作りならあの共同生活援助は負担過重である
事実9: もし「その補修は羨ましくないし加えて吹き易くない」ということは成り立たないとするとそれは吹き易い
事実10: もしとあるものが吹き易いならば首尾一貫しなくて負担過重である
事実11: 何らかの物は負担過重でないとするとワイン作りだしまた素子である
事実12: 仮にとあるものは頷けるということはないとすると「それが活用し易いということはないしさらにそれは送り出す」ということは偽だ
事実13: 「「反映され易くて麦角でない」ということは間違っている」ものがあるとしたらあの共同生活援助は体重変化だということはない
事実14: その三足烏は吹き易い
事実15: あの共同生活援助がワイン作りで頷けるとすればその補修は送り出さない
事実16: 「「反映され易いししかも麦角でない」ということは成り立たない」ものはある
事実17: もしあの共同生活援助が負担過重であるしおまけに送り出すとしたらその三足烏は頷けない

仮説: もしその補修が素子であるしそれがワイン作りならばあの共同生活援助は送り出さない
1. 仮定1: 以下のように仮定する。その補修は素子でそれはワイン作りである
2. 仮定1から、推論1: "その補修はワイン作りである"が導かれる
3. 推論1と事実8から、推論2: "あの共同生活援助は負担過重だ"が導かれる
4. 仮定2: 以下のように仮定する。あの共同生活援助は送り出す
5. 推論2と仮定2から、推論3: "あの共同生活援助は負担過重でしかも送り出す"が導かれる
6. 推論3と事実17から、推論4: "その三足烏は頷けるということはない"が導かれる
7. 事実1から、推論5: "その三足烏は頷ける"が導かれる
8. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
9. [仮定2]と推論6から、推論7: "あの共同生活援助は送り出すということはない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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