その社会統合は素晴らしくない
fact1: その社会統合は非分類であるしおまけに逃げ込む fact2: あの身体観は素晴らしい fact3: この格付けは非分類でその上降り積もる fact4: 仮に何らかの物が結婚制度であるならあの身体観は外出出来る fact5: この格付けは非分類だ fact6: 「もし「あのＲＷは素晴らしいということはない」ということは確かであるとすればその社会統合は息苦しい」ということは本当だ fact7: そのＢＰはか弱くて更に民族雑編だ fact8: もし仮になんらかの物は非分類でないなら素晴らしくない fact9: 何かは結婚制度であるとしたらあの身体観はパートであるしその上外出出来る fact10: 「その総会秩序は民族雑編だ」ということは成り立つ fact11: 期間等は非分類でないかあるいは降り積もらないか両方だ fact12: もしなにがしかのものが降り積もるかあるいはそれが期間等であるかもしくはどちらもであるとするとあの身体観はベッド柵である fact13: あの身体観は外出出来る fact14: もしその総会秩序は民族雑編であるならばそれは結婚制度だ fact15: その社会統合は息苦しい fact16: その総会秩序は傾斜しない fact17: もし仮に「期間等な」物があるとすればあの身体観はベッド柵である fact18: もしとある物がパートであるということはないとすると期間等であるしおまけにベッド柵だ fact19: もしも「あのＲＷは素晴らしくない」ということは真実であるならばその社会統合は素晴らしくて息苦しい fact20: 仮に「結婚制度な」ものがあるとすればその総会秩序は外出出来るし加えて民族雑編だ fact21: もしもあの身体観はベッド柵でパートであるならば「あのＲＷは素晴らしくない」ということは真実だ
fact3 -> int1: この格付けは降り積もる; int1 -> int2: この格付けは降り積もるか期間等であるかどちらもである; int2 -> int3: 「降り積もるかまたは期間等であるかもしくはどちらもである」物はある; int3 & fact12 -> int4: あの身体観はベッド柵だ; fact14 & fact10 -> int5: その総会秩序は結婚制度だ; int5 -> int6: 「「結婚制度である」ということは確かな」物はある; fact9 & int6 -> int7: あの身体観はパートであるし更に外出出来る; int7 -> int8: あの身体観はパートである; int4 & int8 -> int9: あの身体観はベッド柵でかつそれはパートである; int9 & fact21 -> int10: あのＲＷは素晴らしくない; int10 & fact19 -> int11: その社会統合は素晴らしいし息苦しい; int11 -> hypothesis;
その社会統合は素晴らしくない
fact22 -> int12: その社会統合が期間等ならば非分類でないかあるいはそれは降り積もるということはない; fact23 -> int13: もしもその社会統合がパートでないとすれば期間等であるしその上ベッド柵だ; fact24 -> int14: もしその社会統合が非分類でないとすれば素晴らしくない;
$facts$ = fact1: その社会統合は非分類であるしおまけに逃げ込む fact2: あの身体観は素晴らしい fact3: この格付けは非分類でその上降り積もる fact4: 仮に何らかの物が結婚制度であるならあの身体観は外出出来る fact5: この格付けは非分類だ fact6: 「もし「あのＲＷは素晴らしいということはない」ということは確かであるとすればその社会統合は息苦しい」ということは本当だ fact7: そのＢＰはか弱くて更に民族雑編だ fact8: もし仮になんらかの物は非分類でないなら素晴らしくない fact9: 何かは結婚制度であるとしたらあの身体観はパートであるしその上外出出来る fact10: 「その総会秩序は民族雑編だ」ということは成り立つ fact11: 期間等は非分類でないかあるいは降り積もらないか両方だ fact12: もしなにがしかのものが降り積もるかあるいはそれが期間等であるかもしくはどちらもであるとするとあの身体観はベッド柵である fact13: あの身体観は外出出来る fact14: もしその総会秩序は民族雑編であるならばそれは結婚制度だ fact15: その社会統合は息苦しい fact16: その総会秩序は傾斜しない fact17: もし仮に「期間等な」物があるとすればあの身体観はベッド柵である fact18: もしとある物がパートであるということはないとすると期間等であるしおまけにベッド柵だ fact19: もしも「あのＲＷは素晴らしくない」ということは真実であるならばその社会統合は素晴らしくて息苦しい fact20: 仮に「結婚制度な」ものがあるとすればその総会秩序は外出出来るし加えて民族雑編だ fact21: もしもあの身体観はベッド柵でパートであるならば「あのＲＷは素晴らしくない」ということは真実だ ; $hypothesis$ = その社会統合は素晴らしくない ; $proof$ = 
fact3 -> int1: この格付けは降り積もる; int1 -> int2: この格付けは降り積もるか期間等であるかどちらもである; int2 -> int3: 「降り積もるかまたは期間等であるかもしくはどちらもである」物はある; int3 & fact12 -> int4: あの身体観はベッド柵だ; fact14 & fact10 -> int5: その総会秩序は結婚制度だ; int5 -> int6: 「「結婚制度である」ということは確かな」物はある; fact9 & int6 -> int7: あの身体観はパートであるし更に外出出来る; int7 -> int8: あの身体観はパートである; int4 & int8 -> int9: あの身体観はベッド柵でかつそれはパートである; int9 & fact21 -> int10: あのＲＷは素晴らしくない; int10 & fact19 -> int11: その社会統合は素晴らしいし息苦しい; int11 -> hypothesis; __DISPROVED__
事実1: その社会統合は非分類であるしおまけに逃げ込む
事実2: あの身体観は素晴らしい
事実3: この格付けは非分類でその上降り積もる
事実4: 仮に何らかの物が結婚制度であるならあの身体観は外出出来る
事実5: この格付けは非分類だ
事実6: 「もし「あのＲＷは素晴らしいということはない」ということは確かであるとすればその社会統合は息苦しい」ということは本当だ
事実7: そのＢＰはか弱くて更に民族雑編だ
事実8: もし仮になんらかの物は非分類でないなら素晴らしくない
事実9: 何かは結婚制度であるとしたらあの身体観はパートであるしその上外出出来る
事実10: 「その総会秩序は民族雑編だ」ということは成り立つ
事実11: 期間等は非分類でないかあるいは降り積もらないか両方だ
事実12: もしなにがしかのものが降り積もるかあるいはそれが期間等であるかもしくはどちらもであるとするとあの身体観はベッド柵である
事実13: あの身体観は外出出来る
事実14: もしその総会秩序は民族雑編であるならばそれは結婚制度だ
事実15: その社会統合は息苦しい
事実16: その総会秩序は傾斜しない
事実17: もし仮に「期間等な」物があるとすればあの身体観はベッド柵である
事実18: もしとある物がパートであるということはないとすると期間等であるしおまけにベッド柵だ
事実19: もしも「あのＲＷは素晴らしくない」ということは真実であるならばその社会統合は素晴らしくて息苦しい
事実20: 仮に「結婚制度な」ものがあるとすればその総会秩序は外出出来るし加えて民族雑編だ
事実21: もしもあの身体観はベッド柵でパートであるならば「あのＲＷは素晴らしくない」ということは真実だ

仮説: その社会統合は素晴らしくない
1. 事実3から、推論1: "この格付けは降り積もる"が導かれる
2. 推論1から、推論2: "この格付けは降り積もるか期間等であるかどちらもである"が導かれる
3. 推論2から、推論3: "「降り積もるかまたは期間等であるかもしくはどちらもである」物はある"が導かれる
4. 推論3と事実12から、推論4: "あの身体観はベッド柵だ"が導かれる
5. 事実14と事実10から、推論5: "その総会秩序は結婚制度だ"が導かれる
6. 推論5から、推論6: "「「結婚制度である」ということは確かな」物はある"が導かれる
7. 事実9と推論6から、推論7: "あの身体観はパートであるし更に外出出来る"が導かれる
8. 推論7から、推論8: "あの身体観はパートである"が導かれる
9. 推論4と推論8から、推論9: "あの身体観はベッド柵でかつそれはパートである"が導かれる
10. 推論9と事実21から、推論10: "あのＲＷは素晴らしくない"が導かれる
11. 推論10と事実19から、推論11: "その社会統合は素晴らしいし息苦しい"が導かれる
12. 推論11から、仮説が否定される

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