あの梛は後ろ暗くない
fact1: もしもその工業化社会が酒臭いならばあの重喫煙は取り難い fact2: 癒し難いものは酒臭い fact3: もしもその重喫煙は脆いなら「それは癒し難くないしさらに処女権でない」ということは事実である fact4: もしもその重喫煙が癒し難くないし処女権でないならあの梛は後ろ暗い fact5: 仮にその必要準備率規制は断行すらないとしたら「その工業化社会は悪戯する」ということは成り立つ fact6: もし仮に「その必要準備率規制は断行すらない」ということは正しいならば「その工業化社会は悪戯するしかつそれは酒臭い」ということは成り立つ fact7: 仮に「なにかは安い」ということは本当であるとすると後ろ暗くない fact8: 安いものはある fact9: その工業化社会は悪戯する fact10: 「黒っぽい物は断行すらないし天満宮でない」ということは成り立つ fact11: その重喫煙は酒臭くないし断行すらないとすれば「その工業化社会は癒し難い」ということは確かである fact12: もしもその工業化社会が断行すとしたらそれは酒臭くなくてそれは癒し難くない fact13: もし「とあるものは安い」ということは本当であるならその必要準備率規制は断行すらない fact14: その必要準備率規制は処女権である fact15: もしも「あの不完全世代は汁気である」ということは確かならばそれはＣ男である fact16: もし仮に「脆い」物はあるとしたら「その重喫煙は悪戯しない」ということは成り立つ fact17: その重喫煙は癒し難くない fact18: もしその重喫煙が脆いならば癒し難くない fact19: その工業化社会は取り難くない fact20: その主病変は酒臭くない fact21: その必要準備率規制は酒臭い fact22: 取り難い物は脆い fact23: 「その重喫煙が癒し難いけれどそれが処女権だということはないならばあの梛は後ろ暗い」ということは正しい fact24: あの梛は取り難い
fact8 & fact13 -> int1: その必要準備率規制は断行すということはない; int1 & fact6 -> int2: その工業化社会は悪戯するしそれにそれは酒臭い; int2 -> int3: その工業化社会は酒臭い; int3 & fact1 -> int4: その重喫煙は取り難い; fact22 -> int5: その重喫煙が取り難いならそれは脆い; int4 & int5 -> int6: その重喫煙は脆い; int6 & fact3 -> int7: その重喫煙は癒し難くないしその上それは処女権でない; int7 & fact4 -> hypothesis;
あの梛は後ろ暗くない
fact25 -> int8: 仮に「あの梛は安い」ということは真実だとすれば「後ろ暗くない」ということは成り立つ;
$facts$ = fact1: もしもその工業化社会が酒臭いならばあの重喫煙は取り難い fact2: 癒し難いものは酒臭い fact3: もしもその重喫煙は脆いなら「それは癒し難くないしさらに処女権でない」ということは事実である fact4: もしもその重喫煙が癒し難くないし処女権でないならあの梛は後ろ暗い fact5: 仮にその必要準備率規制は断行すらないとしたら「その工業化社会は悪戯する」ということは成り立つ fact6: もし仮に「その必要準備率規制は断行すらない」ということは正しいならば「その工業化社会は悪戯するしかつそれは酒臭い」ということは成り立つ fact7: 仮に「なにかは安い」ということは本当であるとすると後ろ暗くない fact8: 安いものはある fact9: その工業化社会は悪戯する fact10: 「黒っぽい物は断行すらないし天満宮でない」ということは成り立つ fact11: その重喫煙は酒臭くないし断行すらないとすれば「その工業化社会は癒し難い」ということは確かである fact12: もしもその工業化社会が断行すとしたらそれは酒臭くなくてそれは癒し難くない fact13: もし「とあるものは安い」ということは本当であるならその必要準備率規制は断行すらない fact14: その必要準備率規制は処女権である fact15: もしも「あの不完全世代は汁気である」ということは確かならばそれはＣ男である fact16: もし仮に「脆い」物はあるとしたら「その重喫煙は悪戯しない」ということは成り立つ fact17: その重喫煙は癒し難くない fact18: もしその重喫煙が脆いならば癒し難くない fact19: その工業化社会は取り難くない fact20: その主病変は酒臭くない fact21: その必要準備率規制は酒臭い fact22: 取り難い物は脆い fact23: 「その重喫煙が癒し難いけれどそれが処女権だということはないならばあの梛は後ろ暗い」ということは正しい fact24: あの梛は取り難い ; $hypothesis$ = あの梛は後ろ暗くない ; $proof$ = 
fact8 & fact13 -> int1: その必要準備率規制は断行すということはない; int1 & fact6 -> int2: その工業化社会は悪戯するしそれにそれは酒臭い; int2 -> int3: その工業化社会は酒臭い; int3 & fact1 -> int4: その重喫煙は取り難い; fact22 -> int5: その重喫煙が取り難いならそれは脆い; int4 & int5 -> int6: その重喫煙は脆い; int6 & fact3 -> int7: その重喫煙は癒し難くないしその上それは処女権でない; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもその工業化社会が酒臭いならばあの重喫煙は取り難い
事実2: 癒し難いものは酒臭い
事実3: もしもその重喫煙は脆いなら「それは癒し難くないしさらに処女権でない」ということは事実である
事実4: もしもその重喫煙が癒し難くないし処女権でないならあの梛は後ろ暗い
事実5: 仮にその必要準備率規制は断行すらないとしたら「その工業化社会は悪戯する」ということは成り立つ
事実6: もし仮に「その必要準備率規制は断行すらない」ということは正しいならば「その工業化社会は悪戯するしかつそれは酒臭い」ということは成り立つ
事実7: 仮に「なにかは安い」ということは本当であるとすると後ろ暗くない
事実8: 安いものはある
事実9: その工業化社会は悪戯する
事実10: 「黒っぽい物は断行すらないし天満宮でない」ということは成り立つ
事実11: その重喫煙は酒臭くないし断行すらないとすれば「その工業化社会は癒し難い」ということは確かである
事実12: もしもその工業化社会が断行すとしたらそれは酒臭くなくてそれは癒し難くない
事実13: もし「とあるものは安い」ということは本当であるならその必要準備率規制は断行すらない
事実14: その必要準備率規制は処女権である
事実15: もしも「あの不完全世代は汁気である」ということは確かならばそれはＣ男である
事実16: もし仮に「脆い」物はあるとしたら「その重喫煙は悪戯しない」ということは成り立つ
事実17: その重喫煙は癒し難くない
事実18: もしその重喫煙が脆いならば癒し難くない
事実19: その工業化社会は取り難くない
事実20: その主病変は酒臭くない
事実21: その必要準備率規制は酒臭い
事実22: 取り難い物は脆い
事実23: 「その重喫煙が癒し難いけれどそれが処女権だということはないならばあの梛は後ろ暗い」ということは正しい
事実24: あの梛は取り難い

仮説: あの梛は後ろ暗くない
1. 事実8と事実13から、推論1: "その必要準備率規制は断行すということはない"が導かれる
2. 推論1と事実6から、推論2: "その工業化社会は悪戯するしそれにそれは酒臭い"が導かれる
3. 推論2から、推論3: "その工業化社会は酒臭い"が導かれる
4. 推論3と事実1から、推論4: "その重喫煙は取り難い"が導かれる
5. 事実22から、推論5: "その重喫煙が取り難いならそれは脆い"が導かれる
6. 推論4と推論5から、推論6: "その重喫煙は脆い"が導かれる
7. 推論6と事実3から、推論7: "その重喫煙は癒し難くないしその上それは処女権でない"が導かれる
8. 推論7と事実4から、仮説が否定される

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