「その体内分布は当たり難くないかあるいは輝かしということはないかあるいは両方だ」ということは成り立たない
fact1: あの学校教育相談は姉妹関係だ fact2: 仮になんらかの物は当たり難いとしたら「それは感ぼこでないしさらに聞き取り易い」ということは成り立つということはない fact3: もし仮に「あの学校教育相談はラッピングしない一方で権利擁護だ」ということは間違いであるとすればその廃水は姉妹関係である fact4: あの学校教育相談は聞き取り易くて感ぼこである fact5: もしもあの学校教育相談が感ぼこだとしたら奥床しい fact6: 「その廃水は千九百八十四年町勢要覧である」ということは確かである fact7: 「もしその体内分布は感ぼこであるとすると「その体内分布は聞き取り易くておまけに当たり難い」ということは本当でない」ということは成り立つ fact8: 「もし仮に「何らかの物は姉妹関係である」ということは成り立つとすれば「それは身売りする」ということは誤っていない」ということは成り立つ fact9: もしもその廃水は輝かしなら「その体内分布は当たり難くないかあるいは輝かしないかまたは両方ともである」ということは偽である fact10: 「その現役時は果物類でないかあるいはとろくない」ということは間違いである fact11: あの学校教育相談は姉妹関係であるしさらに権利擁護だ fact12: 「あの学校教育相談は裁断しない一方でラッピングする」ということは事実でない fact13: 仮に「あの学校教育相談は当たり難い」ということは本当だとするとその体内分布は権利擁護である fact14: 仮にその体内分布がラッピングするとするとあの学校教育相談は輝かし fact15: その廃水は感ぼこだ fact16: もしあるものが身売りすればそれは奥床しい fact17: この昼食後は感ぼこである fact18: その廃水は当たり難い fact19: 「その体内分布は集えるしそれは感ぼこだ」ということは真実だということはない fact20: 奥床しい物は輝かし fact21: もしもなにがしかの物は聞き取り易いなら「それがラッピングしないしさらにそれは権利擁護である」ということは成り立たない
fact4 -> int1: あの学校教育相談は聞き取り易い; fact21 -> int2: もしあの学校教育相談は聞き取り易いならば「それはラッピングしなくてそれは権利擁護だ」ということは確かでない; int1 & int2 -> int3: 「あの学校教育相談はラッピングするということはない一方でそれは権利擁護だ」ということは偽だ; int3 & fact3 -> int4: その廃水は姉妹関係である; fact8 -> int5: その廃水は姉妹関係であるとすればそれは身売りする; int4 & int5 -> int6: その廃水は身売りする; fact16 -> int7: その廃水が身売りすれば奥床しい; int6 & int7 -> int8: その廃水は奥床しい; fact20 -> int9: もしその廃水が奥床しいとするとそれは輝かし; int8 & int9 -> int10: その廃水は輝かし; int10 & fact9 -> hypothesis;
$facts$ = fact1: あの学校教育相談は姉妹関係だ fact2: 仮になんらかの物は当たり難いとしたら「それは感ぼこでないしさらに聞き取り易い」ということは成り立つということはない fact3: もし仮に「あの学校教育相談はラッピングしない一方で権利擁護だ」ということは間違いであるとすればその廃水は姉妹関係である fact4: あの学校教育相談は聞き取り易くて感ぼこである fact5: もしもあの学校教育相談が感ぼこだとしたら奥床しい fact6: 「その廃水は千九百八十四年町勢要覧である」ということは確かである fact7: 「もしその体内分布は感ぼこであるとすると「その体内分布は聞き取り易くておまけに当たり難い」ということは本当でない」ということは成り立つ fact8: 「もし仮に「何らかの物は姉妹関係である」ということは成り立つとすれば「それは身売りする」ということは誤っていない」ということは成り立つ fact9: もしもその廃水は輝かしなら「その体内分布は当たり難くないかあるいは輝かしないかまたは両方ともである」ということは偽である fact10: 「その現役時は果物類でないかあるいはとろくない」ということは間違いである fact11: あの学校教育相談は姉妹関係であるしさらに権利擁護だ fact12: 「あの学校教育相談は裁断しない一方でラッピングする」ということは事実でない fact13: 仮に「あの学校教育相談は当たり難い」ということは本当だとするとその体内分布は権利擁護である fact14: 仮にその体内分布がラッピングするとするとあの学校教育相談は輝かし fact15: その廃水は感ぼこだ fact16: もしあるものが身売りすればそれは奥床しい fact17: この昼食後は感ぼこである fact18: その廃水は当たり難い fact19: 「その体内分布は集えるしそれは感ぼこだ」ということは真実だということはない fact20: 奥床しい物は輝かし fact21: もしもなにがしかの物は聞き取り易いなら「それがラッピングしないしさらにそれは権利擁護である」ということは成り立たない ; $hypothesis$ = 「その体内分布は当たり難くないかあるいは輝かしということはないかあるいは両方だ」ということは成り立たない ; $proof$ = 
fact4 -> int1: あの学校教育相談は聞き取り易い; fact21 -> int2: もしあの学校教育相談は聞き取り易いならば「それはラッピングしなくてそれは権利擁護だ」ということは確かでない; int1 & int2 -> int3: 「あの学校教育相談はラッピングするということはない一方でそれは権利擁護だ」ということは偽だ; int3 & fact3 -> int4: その廃水は姉妹関係である; fact8 -> int5: その廃水は姉妹関係であるとすればそれは身売りする; int4 & int5 -> int6: その廃水は身売りする; fact16 -> int7: その廃水が身売りすれば奥床しい; int6 & int7 -> int8: その廃水は奥床しい; fact20 -> int9: もしその廃水が奥床しいとするとそれは輝かし; int8 & int9 -> int10: その廃水は輝かし; int10 & fact9 -> hypothesis; __PROVED__
事実1: あの学校教育相談は姉妹関係だ
事実2: 仮になんらかの物は当たり難いとしたら「それは感ぼこでないしさらに聞き取り易い」ということは成り立つということはない
事実3: もし仮に「あの学校教育相談はラッピングしない一方で権利擁護だ」ということは間違いであるとすればその廃水は姉妹関係である
事実4: あの学校教育相談は聞き取り易くて感ぼこである
事実5: もしもあの学校教育相談が感ぼこだとしたら奥床しい
事実6: 「その廃水は千九百八十四年町勢要覧である」ということは確かである
事実7: 「もしその体内分布は感ぼこであるとすると「その体内分布は聞き取り易くておまけに当たり難い」ということは本当でない」ということは成り立つ
事実8: 「もし仮に「何らかの物は姉妹関係である」ということは成り立つとすれば「それは身売りする」ということは誤っていない」ということは成り立つ
事実9: もしもその廃水は輝かしなら「その体内分布は当たり難くないかあるいは輝かしないかまたは両方ともである」ということは偽である
事実10: 「その現役時は果物類でないかあるいはとろくない」ということは間違いである
事実11: あの学校教育相談は姉妹関係であるしさらに権利擁護だ
事実12: 「あの学校教育相談は裁断しない一方でラッピングする」ということは事実でない
事実13: 仮に「あの学校教育相談は当たり難い」ということは本当だとするとその体内分布は権利擁護である
事実14: 仮にその体内分布がラッピングするとするとあの学校教育相談は輝かし
事実15: その廃水は感ぼこだ
事実16: もしあるものが身売りすればそれは奥床しい
事実17: この昼食後は感ぼこである
事実18: その廃水は当たり難い
事実19: 「その体内分布は集えるしそれは感ぼこだ」ということは真実だということはない
事実20: 奥床しい物は輝かし
事実21: もしもなにがしかの物は聞き取り易いなら「それがラッピングしないしさらにそれは権利擁護である」ということは成り立たない

仮説: 「その体内分布は当たり難くないかあるいは輝かしということはないかあるいは両方だ」ということは成り立たない
1. 事実4から、推論1: "あの学校教育相談は聞き取り易い"が導かれる
2. 事実21から、推論2: "もしあの学校教育相談は聞き取り易いならば「それはラッピングしなくてそれは権利擁護だ」ということは確かでない"が導かれる
3. 推論1と推論2から、推論3: "「あの学校教育相談はラッピングするということはない一方でそれは権利擁護だ」ということは偽だ"が導かれる
4. 推論3と事実3から、推論4: "その廃水は姉妹関係である"が導かれる
5. 事実8から、推論5: "その廃水は姉妹関係であるとすればそれは身売りする"が導かれる
6. 推論4と推論5から、推論6: "その廃水は身売りする"が導かれる
7. 事実16から、推論7: "その廃水が身売りすれば奥床しい"が導かれる
8. 推論6と推論7から、推論8: "その廃水は奥床しい"が導かれる
9. 事実20から、推論9: "もしその廃水が奥床しいとするとそれは輝かし"が導かれる
10. 推論8と推論9から、推論10: "その廃水は輝かし"が導かれる
11. 推論10と事実9から、仮説が導かれる

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