「あの後ろ盾は事受け合いでないが美しい」ということは偽だ
fact1: 「流し込むし併存しない」ものはある fact2: もし仮に「何らかの物は生成し易いけど美しくない」ということは間違っているなら事受け合いでない fact3: あの提案理由説明は併存するということはない fact4: もしもこの三ミリメートル幅が併存しないとすればこの鹿鳴館は流し込まなくて低くない fact5: 仮にこの三ミリメートル幅がユーザーニーズであるし納戸であるならばあの後ろ盾は納戸だということはない fact6: 仮に「この三ミリメートル幅は車両協力でなくてかつ詮無くない」ということは間違っているとしたらユーザーニーズだ fact7: もしもあの後ろ盾が納戸だということはないならばあの鹿鳴館は忘れ易くてそれにそれは黒ヘッドだ fact8: もしも「なんらかのものは低くない」ということは事実だとすれば事受け合いであるということはないしそれにそれは美しい fact9: もし仮にこの三ミリメートル幅は利益・利息でないなら「車両協力でないし詮無くない」ということは偽である fact10: この鹿鳴館は併存するということはない fact11: もし仮にある物が開墾しないならばそれはユーザーニーズでない fact12: この三ミリメートル幅は利益・利息だということはない fact13: この鹿鳴館は流し込まない fact14: 「なんらかのものは流し込まなくて更に低くない」ということは成り立たないなら併存しない fact15: 「捕らえ易くない」ものはある fact16: もしこの鹿鳴館が流し込まないしその上低いということはないならばあの後ろ盾は流し込む fact17: 仮にあの後ろ盾が低いということはないならそれは事受け合いでない fact18: もしもこの三ミリメートル幅はミュージシャン達であるならばそれは納戸である fact19: もし何らかのものは流し込むとすれば「「事受け合いでなくてしかもそれは美しい」ということは事実である」ということは成り立たない fact20: もしこの鹿鳴館は忘れ易いとすれば「この支配構造は生成し易い一方で美しくない」ということは成り立つということはない fact21: もし「流し込まなくて併存しない」物があるならあの後ろ盾は低くない
fact13 & fact10 -> int1: この鹿鳴館は流し込まないしさらに併存するということはない; int1 -> int2: 「「流し込むということはないしその上併存しない」ものはある」ということは成り立つ; int2 & fact21 -> int3: あの後ろ盾は低くない; fact8 -> int4: 仮にあの後ろ盾が低くないならそれは事受け合いでないし加えて美しい; int3 & int4 -> hypothesis;
この支配構造は併存するということはない
fact28 -> int5: 「もし仮に「この支配構造は流し込まなくてまた低くない」ということは嘘であるとすればこの支配構造は併存しない」ということは事実である; fact23 -> int6: 仮に「この支配構造は生成し易いがしかしそれは美しくない」ということは成り立たないとするとそれは事受け合いでない; fact27 & fact26 -> int7: 「「この三ミリメートル幅は車両協力でなくてそれに詮無くない」ということは真実でない」ということは真実だ; fact24 & int7 -> int8: この三ミリメートル幅はユーザーニーズである;
$facts$ = fact1: 「流し込むし併存しない」ものはある fact2: もし仮に「何らかの物は生成し易いけど美しくない」ということは間違っているなら事受け合いでない fact3: あの提案理由説明は併存するということはない fact4: もしもこの三ミリメートル幅が併存しないとすればこの鹿鳴館は流し込まなくて低くない fact5: 仮にこの三ミリメートル幅がユーザーニーズであるし納戸であるならばあの後ろ盾は納戸だということはない fact6: 仮に「この三ミリメートル幅は車両協力でなくてかつ詮無くない」ということは間違っているとしたらユーザーニーズだ fact7: もしもあの後ろ盾が納戸だということはないならばあの鹿鳴館は忘れ易くてそれにそれは黒ヘッドだ fact8: もしも「なんらかのものは低くない」ということは事実だとすれば事受け合いであるということはないしそれにそれは美しい fact9: もし仮にこの三ミリメートル幅は利益・利息でないなら「車両協力でないし詮無くない」ということは偽である fact10: この鹿鳴館は併存するということはない fact11: もし仮にある物が開墾しないならばそれはユーザーニーズでない fact12: この三ミリメートル幅は利益・利息だということはない fact13: この鹿鳴館は流し込まない fact14: 「なんらかのものは流し込まなくて更に低くない」ということは成り立たないなら併存しない fact15: 「捕らえ易くない」ものはある fact16: もしこの鹿鳴館が流し込まないしその上低いということはないならばあの後ろ盾は流し込む fact17: 仮にあの後ろ盾が低いということはないならそれは事受け合いでない fact18: もしもこの三ミリメートル幅はミュージシャン達であるならばそれは納戸である fact19: もし何らかのものは流し込むとすれば「「事受け合いでなくてしかもそれは美しい」ということは事実である」ということは成り立たない fact20: もしこの鹿鳴館は忘れ易いとすれば「この支配構造は生成し易い一方で美しくない」ということは成り立つということはない fact21: もし「流し込まなくて併存しない」物があるならあの後ろ盾は低くない ; $hypothesis$ = 「あの後ろ盾は事受け合いでないが美しい」ということは偽だ ; $proof$ = 
fact13 & fact10 -> int1: この鹿鳴館は流し込まないしさらに併存するということはない; int1 -> int2: 「「流し込むということはないしその上併存しない」ものはある」ということは成り立つ; int2 & fact21 -> int3: あの後ろ盾は低くない; fact8 -> int4: 仮にあの後ろ盾が低くないならそれは事受け合いでないし加えて美しい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「流し込むし併存しない」ものはある
事実2: もし仮に「何らかの物は生成し易いけど美しくない」ということは間違っているなら事受け合いでない
事実3: あの提案理由説明は併存するということはない
事実4: もしもこの三ミリメートル幅が併存しないとすればこの鹿鳴館は流し込まなくて低くない
事実5: 仮にこの三ミリメートル幅がユーザーニーズであるし納戸であるならばあの後ろ盾は納戸だということはない
事実6: 仮に「この三ミリメートル幅は車両協力でなくてかつ詮無くない」ということは間違っているとしたらユーザーニーズだ
事実7: もしもあの後ろ盾が納戸だということはないならばあの鹿鳴館は忘れ易くてそれにそれは黒ヘッドだ
事実8: もしも「なんらかのものは低くない」ということは事実だとすれば事受け合いであるということはないしそれにそれは美しい
事実9: もし仮にこの三ミリメートル幅は利益・利息でないなら「車両協力でないし詮無くない」ということは偽である
事実10: この鹿鳴館は併存するということはない
事実11: もし仮にある物が開墾しないならばそれはユーザーニーズでない
事実12: この三ミリメートル幅は利益・利息だということはない
事実13: この鹿鳴館は流し込まない
事実14: 「なんらかのものは流し込まなくて更に低くない」ということは成り立たないなら併存しない
事実15: 「捕らえ易くない」ものはある
事実16: もしこの鹿鳴館が流し込まないしその上低いということはないならばあの後ろ盾は流し込む
事実17: 仮にあの後ろ盾が低いということはないならそれは事受け合いでない
事実18: もしもこの三ミリメートル幅はミュージシャン達であるならばそれは納戸である
事実19: もし何らかのものは流し込むとすれば「「事受け合いでなくてしかもそれは美しい」ということは事実である」ということは成り立たない
事実20: もしこの鹿鳴館は忘れ易いとすれば「この支配構造は生成し易い一方で美しくない」ということは成り立つということはない
事実21: もし「流し込まなくて併存しない」物があるならあの後ろ盾は低くない

仮説: 「あの後ろ盾は事受け合いでないが美しい」ということは偽だ
1. 事実13と事実10から、推論1: "この鹿鳴館は流し込まないしさらに併存するということはない"が導かれる
2. 推論1から、推論2: "「「流し込むということはないしその上併存しない」ものはある」ということは成り立つ"が導かれる
3. 推論2と事実21から、推論3: "あの後ろ盾は低くない"が導かれる
4. 事実8から、推論4: "仮にあの後ろ盾が低くないならそれは事受け合いでないし加えて美しい"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。