その御洒落感覚は宴会場である
fact1: もしも何らかの物が直り難いかまたは寒しないかあるいは両方なら暗い fact2: 何かは考え辛いならば直り難くない fact3: このデジタル化は直り難くない fact4: 仮にこのデジタル化は暗くないなら「その御洒落感覚は提案モデルだしまた宴会場である」ということは正しい fact5: 仮に「「この弧はクルップでないがしかし考え辛い」ということは本当だ」ということは嘘だとしたらこの西欧世界は考え辛い fact6: もし仮にこの西欧世界が寒しないしそれが直り難くないとするとその御洒落感覚は宴会場でない fact7: この西欧世界はクルップでない fact8: このデジタル化は提案モデルだ fact9: このデジタル化は暗い fact10: 仮にこの西欧世界が考え辛くてまたクルップであるとしたらこの弧は寒しということはない fact11: もしこのデジタル化は提案モデルであるし更に暗いとしたら「この西欧世界は寒しない」ということは成り立つ fact12: 「このデジタル化はクルップでない」ということは本当だ fact13: この弧は予防・改善する fact14: 「この弧はクルップでないけどそれは考え辛い」ということは事実と異なる fact15: 「この弧は考え辛いしおまけに寒し」ということは成り立たない
fact8 & fact9 -> int1: このデジタル化は提案モデルだしそれに暗い; int1 & fact11 -> int2: この西欧世界は寒しない; fact5 & fact14 -> int3: 「この西欧世界は考え辛い」ということは真実だ; fact2 -> int4: もしこの西欧世界が考え辛いとすれば直り難くない; int3 & int4 -> int5: この西欧世界は直り難くない; int2 & int5 -> int6: 「この西欧世界は寒しないしかつ直り難いということはない」ということは正しい; int6 & fact6 -> hypothesis;
その御洒落感覚は宴会場だ
$facts$ = fact1: もしも何らかの物が直り難いかまたは寒しないかあるいは両方なら暗い fact2: 何かは考え辛いならば直り難くない fact3: このデジタル化は直り難くない fact4: 仮にこのデジタル化は暗くないなら「その御洒落感覚は提案モデルだしまた宴会場である」ということは正しい fact5: 仮に「「この弧はクルップでないがしかし考え辛い」ということは本当だ」ということは嘘だとしたらこの西欧世界は考え辛い fact6: もし仮にこの西欧世界が寒しないしそれが直り難くないとするとその御洒落感覚は宴会場でない fact7: この西欧世界はクルップでない fact8: このデジタル化は提案モデルだ fact9: このデジタル化は暗い fact10: 仮にこの西欧世界が考え辛くてまたクルップであるとしたらこの弧は寒しということはない fact11: もしこのデジタル化は提案モデルであるし更に暗いとしたら「この西欧世界は寒しない」ということは成り立つ fact12: 「このデジタル化はクルップでない」ということは本当だ fact13: この弧は予防・改善する fact14: 「この弧はクルップでないけどそれは考え辛い」ということは事実と異なる fact15: 「この弧は考え辛いしおまけに寒し」ということは成り立たない ; $hypothesis$ = その御洒落感覚は宴会場である ; $proof$ = 
fact8 & fact9 -> int1: このデジタル化は提案モデルだしそれに暗い; int1 & fact11 -> int2: この西欧世界は寒しない; fact5 & fact14 -> int3: 「この西欧世界は考え辛い」ということは真実だ; fact2 -> int4: もしこの西欧世界が考え辛いとすれば直り難くない; int3 & int4 -> int5: この西欧世界は直り難くない; int2 & int5 -> int6: 「この西欧世界は寒しないしかつ直り難いということはない」ということは正しい; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が直り難いかまたは寒しないかあるいは両方なら暗い
事実2: 何かは考え辛いならば直り難くない
事実3: このデジタル化は直り難くない
事実4: 仮にこのデジタル化は暗くないなら「その御洒落感覚は提案モデルだしまた宴会場である」ということは正しい
事実5: 仮に「「この弧はクルップでないがしかし考え辛い」ということは本当だ」ということは嘘だとしたらこの西欧世界は考え辛い
事実6: もし仮にこの西欧世界が寒しないしそれが直り難くないとするとその御洒落感覚は宴会場でない
事実7: この西欧世界はクルップでない
事実8: このデジタル化は提案モデルだ
事実9: このデジタル化は暗い
事実10: 仮にこの西欧世界が考え辛くてまたクルップであるとしたらこの弧は寒しということはない
事実11: もしこのデジタル化は提案モデルであるし更に暗いとしたら「この西欧世界は寒しない」ということは成り立つ
事実12: 「このデジタル化はクルップでない」ということは本当だ
事実13: この弧は予防・改善する
事実14: 「この弧はクルップでないけどそれは考え辛い」ということは事実と異なる
事実15: 「この弧は考え辛いしおまけに寒し」ということは成り立たない

仮説: その御洒落感覚は宴会場である
1. 事実8と事実9から、推論1: "このデジタル化は提案モデルだしそれに暗い"が導かれる
2. 推論1と事実11から、推論2: "この西欧世界は寒しない"が導かれる
3. 事実5と事実14から、推論3: "「この西欧世界は考え辛い」ということは真実だ"が導かれる
4. 事実2から、推論4: "もしこの西欧世界が考え辛いとすれば直り難くない"が導かれる
5. 推論3と推論4から、推論5: "この西欧世界は直り難くない"が導かれる
6. 推論2と推論5から、推論6: "「この西欧世界は寒しないしかつ直り難いということはない」ということは正しい"が導かれる
7. 推論6と事実6から、仮説が否定される

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