この革命前は守り育てない
fact1: もしその置き土産は具体相であるなら「あのＤＮＳサーバーは結合し易くないしその上偏り易くない」ということは真実でない fact2: この革命前は太しかもしくはそれは瑪瑙であるかまたはどちらもである fact3: もしもとある物は奥深いなら「瑪瑙である」ということは成り立つ fact4: もし仮にこの推移グラフは瑪瑙ならば「その置き土産は守り育てる一方で奥深くない」ということは偽である fact5: 「奥深い物は守り育てる」ということは嘘だということはない fact6: 仮にとあるものが太しないとするとそれは奥深い fact7: もしこの推移グラフは師事しないなら「その置き土産は具体相であるしそれにちっちゃい」ということは事実である fact8: 仮にあのＤＮＳサーバーが結合し易いとするとこの革命前は太しない fact9: 仮に「ある物は結合し易くないしそれは偏り易くない」ということは成り立たないなら瑪瑙だ fact10: この革命前は結合し易い fact11: 仮に「その置き土産は守り育てる一方で奥深いということはない」ということは間違っているとすると「あのＤＮＳサーバーは守り育てない」ということは事実だ fact12: 「あの首都高バトルは結合し易くない」ということは本当だ fact13: もし仮にあのＤＮＳサーバーが結合し易いかまたは瑪瑙であるかまたは両方であるとするとこの革命前は太しない fact14: 仮にこの革命前が瑪瑙であるかまたは太しかあるいはどちらもであるとするとあのＤＮＳサーバーは奥深くない fact15: あのＤＮＳサーバーは揺れ続ける fact16: 「あのＤＮＳサーバーは結合し易いかあるいはそれは瑪瑙であるか両方ともだ」ということは真実である
fact6 -> int1: 仮にこの革命前は太しないとすると「それは奥深い」ということは本当だ; fact16 & fact13 -> int2: この革命前は太しない; int1 & int2 -> int3: この革命前は奥深い; fact5 -> int4: この革命前が奥深いとすれば守り育てる; int3 & int4 -> hypothesis;
この革命前は守り育てるということはない
fact17 -> int5: もし仮に「あのＤＮＳサーバーは結合し易くないしかつそれは偏り易くない」ということは成り立たないなら瑪瑙だ;
$facts$ = fact1: もしその置き土産は具体相であるなら「あのＤＮＳサーバーは結合し易くないしその上偏り易くない」ということは真実でない fact2: この革命前は太しかもしくはそれは瑪瑙であるかまたはどちらもである fact3: もしもとある物は奥深いなら「瑪瑙である」ということは成り立つ fact4: もし仮にこの推移グラフは瑪瑙ならば「その置き土産は守り育てる一方で奥深くない」ということは偽である fact5: 「奥深い物は守り育てる」ということは嘘だということはない fact6: 仮にとあるものが太しないとするとそれは奥深い fact7: もしこの推移グラフは師事しないなら「その置き土産は具体相であるしそれにちっちゃい」ということは事実である fact8: 仮にあのＤＮＳサーバーが結合し易いとするとこの革命前は太しない fact9: 仮に「ある物は結合し易くないしそれは偏り易くない」ということは成り立たないなら瑪瑙だ fact10: この革命前は結合し易い fact11: 仮に「その置き土産は守り育てる一方で奥深いということはない」ということは間違っているとすると「あのＤＮＳサーバーは守り育てない」ということは事実だ fact12: 「あの首都高バトルは結合し易くない」ということは本当だ fact13: もし仮にあのＤＮＳサーバーが結合し易いかまたは瑪瑙であるかまたは両方であるとするとこの革命前は太しない fact14: 仮にこの革命前が瑪瑙であるかまたは太しかあるいはどちらもであるとするとあのＤＮＳサーバーは奥深くない fact15: あのＤＮＳサーバーは揺れ続ける fact16: 「あのＤＮＳサーバーは結合し易いかあるいはそれは瑪瑙であるか両方ともだ」ということは真実である ; $hypothesis$ = この革命前は守り育てない ; $proof$ = 
fact6 -> int1: 仮にこの革命前は太しないとすると「それは奥深い」ということは本当だ; fact16 & fact13 -> int2: この革命前は太しない; int1 & int2 -> int3: この革命前は奥深い; fact5 -> int4: この革命前が奥深いとすれば守り育てる; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしその置き土産は具体相であるなら「あのＤＮＳサーバーは結合し易くないしその上偏り易くない」ということは真実でない
事実2: この革命前は太しかもしくはそれは瑪瑙であるかまたはどちらもである
事実3: もしもとある物は奥深いなら「瑪瑙である」ということは成り立つ
事実4: もし仮にこの推移グラフは瑪瑙ならば「その置き土産は守り育てる一方で奥深くない」ということは偽である
事実5: 「奥深い物は守り育てる」ということは嘘だということはない
事実6: 仮にとあるものが太しないとするとそれは奥深い
事実7: もしこの推移グラフは師事しないなら「その置き土産は具体相であるしそれにちっちゃい」ということは事実である
事実8: 仮にあのＤＮＳサーバーが結合し易いとするとこの革命前は太しない
事実9: 仮に「ある物は結合し易くないしそれは偏り易くない」ということは成り立たないなら瑪瑙だ
事実10: この革命前は結合し易い
事実11: 仮に「その置き土産は守り育てる一方で奥深いということはない」ということは間違っているとすると「あのＤＮＳサーバーは守り育てない」ということは事実だ
事実12: 「あの首都高バトルは結合し易くない」ということは本当だ
事実13: もし仮にあのＤＮＳサーバーが結合し易いかまたは瑪瑙であるかまたは両方であるとするとこの革命前は太しない
事実14: 仮にこの革命前が瑪瑙であるかまたは太しかあるいはどちらもであるとするとあのＤＮＳサーバーは奥深くない
事実15: あのＤＮＳサーバーは揺れ続ける
事実16: 「あのＤＮＳサーバーは結合し易いかあるいはそれは瑪瑙であるか両方ともだ」ということは真実である

仮説: この革命前は守り育てない
1. 事実6から、推論1: "仮にこの革命前は太しないとすると「それは奥深い」ということは本当だ"が導かれる
2. 事実16と事実13から、推論2: "この革命前は太しない"が導かれる
3. 推論1と推論2から、推論3: "この革命前は奥深い"が導かれる
4. 事実5から、推論4: "この革命前が奥深いとすれば守り育てる"が導かれる
5. 推論3と推論4から、仮説が否定される

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