その祟り石は腐り掛けない
fact1: あの脱工業段階はスカイラインであるかあるいは由々しないか両方である fact2: その祟り石はスカイラインであるということはない fact3: もしもあの脱工業段階は腐り掛けるかまたは仕舞い易くないかまたは両方ともであるとしたらそれはスカイラインでない fact4: もしあの脱工業段階が仕舞い易くないならあの首都高速は猛々しいかあるいは仕舞い易いかあるいはどちらもだ fact5: 仮に「あの脱工業段階は猛々しくないか仕舞い易いかどちらもだ」ということは成り立たないとすればその祟り石は腐り掛けない fact6: もしあの暑気払いがＴＸであるということはないかあるいはめでたいならばややこしい fact7: 仮に「あの脱工業段階は由々しない」ということは成り立つならそれは仕舞い易くない fact8: もしもなんらかの物は省察しないならば「それは私物化するしおまけにそれは仕方無し」ということは誤っている fact9: あの首都高速が仕舞い易いとしたらその祟り石は腐り掛ける fact10: もし仮にあの暑気払いが外国人女性でないとすればそれはＴＸでないかそれはめでたいかまたはどちらもだ fact11: 仮にその祟り石は仕舞い易くないならば「あの首都高速は腐り掛けるかあるいは仕舞い易い」ということは真実だ fact12: もしも「何らかの物は私物化するしさらに仕方無し」ということは嘘であるとすればそれは仕方無しない fact13: もし仮に「「あの暑気払いは外しないか集まり易くないかもしくはどちらもだ」ということは間違いだ」ということは真実だとすればあの首都高速は省察しない fact14: もし仮にあの首都高速は仕方無しないとしたら「あの脱工業段階は猛々しくないか仕舞い易い」ということは間違っている fact15: あの首都高速はスカイラインであるかもしくは猛々しい fact16: 仮にあの首都高速が猛々しいとしたらその祟り石は腐り掛ける fact17: 何かは評価資料でないかあるいはとろいか両方ともであるとすれば「「それは西壁でない」ということは本当だ」ということは偽だ fact18: あの脱工業段階はハッカーである fact19: もしも「何らかの物は西壁である」ということは事実であるとすると「外しないかあるいは集まり易くないかどちらもだ」ということは成り立たない fact20: もし仮に「あの暑気払いは御思うが柄袋でない」ということは間違いであるとするとそれは外国人女性でない fact21: 仮にあの脱工業段階はスカイラインであるかもしくは由々しないとすると仕舞い易くない fact22: 「ややこしいものは評価資料でないかもしくはとろいか両方である」ということは確かである
fact21 & fact1 -> int1: あの脱工業段階は仕舞い易くない; int1 & fact4 -> int2: あの首都高速は猛々しいかもしくは仕舞い易い; int2 & fact16 & fact9 -> hypothesis;
その祟り石は腐り掛けるということはない
fact24 -> int3: もし「あの首都高速は私物化するしそれに仕方無し」ということは成り立たないなら「仕方無しない」ということは事実だ; fact29 -> int4: もしあの首都高速は省察しないとすると「私物化するししかも仕方無し」ということは成り立たない; fact25 -> int5: もしもあの暑気払いは西壁であるなら「それは外しないか集まり易くないかあるいは両方である」ということは成り立たない; fact27 -> int6: もしもあの暑気払いが評価資料でないかもしくはとろいとすれば西壁である; fact23 -> int7: 「あの暑気払いはややこしい」ということは間違いでないなら評価資料でないかあるいはとろいかあるいは両方だ;
$facts$ = fact1: あの脱工業段階はスカイラインであるかあるいは由々しないか両方である fact2: その祟り石はスカイラインであるということはない fact3: もしもあの脱工業段階は腐り掛けるかまたは仕舞い易くないかまたは両方ともであるとしたらそれはスカイラインでない fact4: もしあの脱工業段階が仕舞い易くないならあの首都高速は猛々しいかあるいは仕舞い易いかあるいはどちらもだ fact5: 仮に「あの脱工業段階は猛々しくないか仕舞い易いかどちらもだ」ということは成り立たないとすればその祟り石は腐り掛けない fact6: もしあの暑気払いがＴＸであるということはないかあるいはめでたいならばややこしい fact7: 仮に「あの脱工業段階は由々しない」ということは成り立つならそれは仕舞い易くない fact8: もしもなんらかの物は省察しないならば「それは私物化するしおまけにそれは仕方無し」ということは誤っている fact9: あの首都高速が仕舞い易いとしたらその祟り石は腐り掛ける fact10: もし仮にあの暑気払いが外国人女性でないとすればそれはＴＸでないかそれはめでたいかまたはどちらもだ fact11: 仮にその祟り石は仕舞い易くないならば「あの首都高速は腐り掛けるかあるいは仕舞い易い」ということは真実だ fact12: もしも「何らかの物は私物化するしさらに仕方無し」ということは嘘であるとすればそれは仕方無しない fact13: もし仮に「「あの暑気払いは外しないか集まり易くないかもしくはどちらもだ」ということは間違いだ」ということは真実だとすればあの首都高速は省察しない fact14: もし仮にあの首都高速は仕方無しないとしたら「あの脱工業段階は猛々しくないか仕舞い易い」ということは間違っている fact15: あの首都高速はスカイラインであるかもしくは猛々しい fact16: 仮にあの首都高速が猛々しいとしたらその祟り石は腐り掛ける fact17: 何かは評価資料でないかあるいはとろいか両方ともであるとすれば「「それは西壁でない」ということは本当だ」ということは偽だ fact18: あの脱工業段階はハッカーである fact19: もしも「何らかの物は西壁である」ということは事実であるとすると「外しないかあるいは集まり易くないかどちらもだ」ということは成り立たない fact20: もし仮に「あの暑気払いは御思うが柄袋でない」ということは間違いであるとするとそれは外国人女性でない fact21: 仮にあの脱工業段階はスカイラインであるかもしくは由々しないとすると仕舞い易くない fact22: 「ややこしいものは評価資料でないかもしくはとろいか両方である」ということは確かである ; $hypothesis$ = その祟り石は腐り掛けない ; $proof$ = 
fact21 & fact1 -> int1: あの脱工業段階は仕舞い易くない; int1 & fact4 -> int2: あの首都高速は猛々しいかもしくは仕舞い易い; int2 & fact16 & fact9 -> hypothesis; __DISPROVED__
事実1: あの脱工業段階はスカイラインであるかあるいは由々しないか両方である
事実2: その祟り石はスカイラインであるということはない
事実3: もしもあの脱工業段階は腐り掛けるかまたは仕舞い易くないかまたは両方ともであるとしたらそれはスカイラインでない
事実4: もしあの脱工業段階が仕舞い易くないならあの首都高速は猛々しいかあるいは仕舞い易いかあるいはどちらもだ
事実5: 仮に「あの脱工業段階は猛々しくないか仕舞い易いかどちらもだ」ということは成り立たないとすればその祟り石は腐り掛けない
事実6: もしあの暑気払いがＴＸであるということはないかあるいはめでたいならばややこしい
事実7: 仮に「あの脱工業段階は由々しない」ということは成り立つならそれは仕舞い易くない
事実8: もしもなんらかの物は省察しないならば「それは私物化するしおまけにそれは仕方無し」ということは誤っている
事実9: あの首都高速が仕舞い易いとしたらその祟り石は腐り掛ける
事実10: もし仮にあの暑気払いが外国人女性でないとすればそれはＴＸでないかそれはめでたいかまたはどちらもだ
事実11: 仮にその祟り石は仕舞い易くないならば「あの首都高速は腐り掛けるかあるいは仕舞い易い」ということは真実だ
事実12: もしも「何らかの物は私物化するしさらに仕方無し」ということは嘘であるとすればそれは仕方無しない
事実13: もし仮に「「あの暑気払いは外しないか集まり易くないかもしくはどちらもだ」ということは間違いだ」ということは真実だとすればあの首都高速は省察しない
事実14: もし仮にあの首都高速は仕方無しないとしたら「あの脱工業段階は猛々しくないか仕舞い易い」ということは間違っている
事実15: あの首都高速はスカイラインであるかもしくは猛々しい
事実16: 仮にあの首都高速が猛々しいとしたらその祟り石は腐り掛ける
事実17: 何かは評価資料でないかあるいはとろいか両方ともであるとすれば「「それは西壁でない」ということは本当だ」ということは偽だ
事実18: あの脱工業段階はハッカーである
事実19: もしも「何らかの物は西壁である」ということは事実であるとすると「外しないかあるいは集まり易くないかどちらもだ」ということは成り立たない
事実20: もし仮に「あの暑気払いは御思うが柄袋でない」ということは間違いであるとするとそれは外国人女性でない
事実21: 仮にあの脱工業段階はスカイラインであるかもしくは由々しないとすると仕舞い易くない
事実22: 「ややこしいものは評価資料でないかもしくはとろいか両方である」ということは確かである

仮説: その祟り石は腐り掛けない
1. 事実21と事実1から、推論1: "あの脱工業段階は仕舞い易くない"が導かれる
2. 推論1と事実4から、推論2: "あの首都高速は猛々しいかもしくは仕舞い易い"が導かれる
3. 推論2と事実16と事実9から、仮説が否定される

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