この下商店会は忝い
fact1: この下商店会は物慣れる fact2: 仮になにかは惟るない一方でそれが左手前であるとすればこの下商店会は忝いということはない fact3: もしもそのＵＦＣが忝いとするとこの下商店会は忝い fact4: とある物は惟るしそれは薄力粉だ fact5: その占領経験は薄力粉である fact6: もし「惟るないししかも薄力粉である」物があるならそのＵＦＣは江戸っ子気質でない fact7: この下商店会は江戸っ子気質でない fact8: もし仮に「そのＵＦＣはデニッシュでないけれど左手前だ」ということは誤りでないとしたらその本決算は物慣れる fact9: この下商店会は黙殺する fact10: 仮にそのＵＦＣが江戸っ子気質だということはないならそれはデニッシュでないがしかし左手前である fact11: もしその占領経験が江戸っ子気質であるならそのＵＦＣは江戸っ子気質だ fact12: 「薄力粉である」物はある fact13: もしもこの下商店会は左手前だということはないなら「それは消費出来る」ということは事実である fact14: もし仮にその本決算は物慣れるとすれば「この下商店会は消費出来ないかまたはそれは物慣れない」ということは成り立つということはない fact15: 「この下商店会はデニッシュである」ということは成り立つ fact16: もし仮に「何かは江戸っ子気質だということはないかあるいはそれはデニッシュであるかあるいは両方ともだ」ということは成り立たないとすれば「薄力粉でない」ということは成り立つ fact17: 江戸っ子気質は惟るがしかし薄力粉でない fact18: その占領経験は惟るないけど薄力粉だ fact19: そのＵＦＣは左手前である fact20: もしも「何かは消費出来ないか物慣れないか両方ともである」ということは嘘であるとしたら忝くない
fact18 -> int1: 何かは惟るない一方でそれは薄力粉だ; int1 & fact6 -> int2: そのＵＦＣは江戸っ子気質でない; int2 & fact10 -> int3: そのＵＦＣはデニッシュでないけど左手前である; int3 & fact8 -> int4: その本決算は物慣れる; int4 & fact14 -> int5: 「この下商店会は消費出来ないかもしくは物慣れるということはない」ということは間違っている; fact20 -> int6: もし「この下商店会は消費出来ないかもしくは物慣れないかどちらもである」ということは間違っているとしたら忝くない; int5 & int6 -> hypothesis;
「この下商店会は忝い」ということは成り立つ
$facts$ = fact1: この下商店会は物慣れる fact2: 仮になにかは惟るない一方でそれが左手前であるとすればこの下商店会は忝いということはない fact3: もしもそのＵＦＣが忝いとするとこの下商店会は忝い fact4: とある物は惟るしそれは薄力粉だ fact5: その占領経験は薄力粉である fact6: もし「惟るないししかも薄力粉である」物があるならそのＵＦＣは江戸っ子気質でない fact7: この下商店会は江戸っ子気質でない fact8: もし仮に「そのＵＦＣはデニッシュでないけれど左手前だ」ということは誤りでないとしたらその本決算は物慣れる fact9: この下商店会は黙殺する fact10: 仮にそのＵＦＣが江戸っ子気質だということはないならそれはデニッシュでないがしかし左手前である fact11: もしその占領経験が江戸っ子気質であるならそのＵＦＣは江戸っ子気質だ fact12: 「薄力粉である」物はある fact13: もしもこの下商店会は左手前だということはないなら「それは消費出来る」ということは事実である fact14: もし仮にその本決算は物慣れるとすれば「この下商店会は消費出来ないかまたはそれは物慣れない」ということは成り立つということはない fact15: 「この下商店会はデニッシュである」ということは成り立つ fact16: もし仮に「何かは江戸っ子気質だということはないかあるいはそれはデニッシュであるかあるいは両方ともだ」ということは成り立たないとすれば「薄力粉でない」ということは成り立つ fact17: 江戸っ子気質は惟るがしかし薄力粉でない fact18: その占領経験は惟るないけど薄力粉だ fact19: そのＵＦＣは左手前である fact20: もしも「何かは消費出来ないか物慣れないか両方ともである」ということは嘘であるとしたら忝くない ; $hypothesis$ = この下商店会は忝い ; $proof$ = 
fact18 -> int1: 何かは惟るない一方でそれは薄力粉だ; int1 & fact6 -> int2: そのＵＦＣは江戸っ子気質でない; int2 & fact10 -> int3: そのＵＦＣはデニッシュでないけど左手前である; int3 & fact8 -> int4: その本決算は物慣れる; int4 & fact14 -> int5: 「この下商店会は消費出来ないかもしくは物慣れるということはない」ということは間違っている; fact20 -> int6: もし「この下商店会は消費出来ないかもしくは物慣れないかどちらもである」ということは間違っているとしたら忝くない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: この下商店会は物慣れる
事実2: 仮になにかは惟るない一方でそれが左手前であるとすればこの下商店会は忝いということはない
事実3: もしもそのＵＦＣが忝いとするとこの下商店会は忝い
事実4: とある物は惟るしそれは薄力粉だ
事実5: その占領経験は薄力粉である
事実6: もし「惟るないししかも薄力粉である」物があるならそのＵＦＣは江戸っ子気質でない
事実7: この下商店会は江戸っ子気質でない
事実8: もし仮に「そのＵＦＣはデニッシュでないけれど左手前だ」ということは誤りでないとしたらその本決算は物慣れる
事実9: この下商店会は黙殺する
事実10: 仮にそのＵＦＣが江戸っ子気質だということはないならそれはデニッシュでないがしかし左手前である
事実11: もしその占領経験が江戸っ子気質であるならそのＵＦＣは江戸っ子気質だ
事実12: 「薄力粉である」物はある
事実13: もしもこの下商店会は左手前だということはないなら「それは消費出来る」ということは事実である
事実14: もし仮にその本決算は物慣れるとすれば「この下商店会は消費出来ないかまたはそれは物慣れない」ということは成り立つということはない
事実15: 「この下商店会はデニッシュである」ということは成り立つ
事実16: もし仮に「何かは江戸っ子気質だということはないかあるいはそれはデニッシュであるかあるいは両方ともだ」ということは成り立たないとすれば「薄力粉でない」ということは成り立つ
事実17: 江戸っ子気質は惟るがしかし薄力粉でない
事実18: その占領経験は惟るないけど薄力粉だ
事実19: そのＵＦＣは左手前である
事実20: もしも「何かは消費出来ないか物慣れないか両方ともである」ということは嘘であるとしたら忝くない

仮説: この下商店会は忝い
1. 事実18から、推論1: "何かは惟るない一方でそれは薄力粉だ"が導かれる
2. 推論1と事実6から、推論2: "そのＵＦＣは江戸っ子気質でない"が導かれる
3. 推論2と事実10から、推論3: "そのＵＦＣはデニッシュでないけど左手前である"が導かれる
4. 推論3と事実8から、推論4: "その本決算は物慣れる"が導かれる
5. 推論4と事実14から、推論5: "「この下商店会は消費出来ないかもしくは物慣れるということはない」ということは間違っている"が導かれる
6. 事実20から、推論6: "もし「この下商店会は消費出来ないかもしくは物慣れないかどちらもである」ということは間違っているとしたら忝くない"が導かれる
7. 推論5と推論6から、仮説が否定される

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