この市街化調整区域はＥＣＵ用でない
fact1: この基底膜上は老齢化する fact2: もし仮になにかは根気良いとすれば「それは生温かくないか恒例でないかもしくは両方ともである」ということは成り立たない fact3: 仮に「「生温かくないかまたは恒例でないかあるいは両方ともである」ということは事実と異なる」ものがあるとすればその帯取りは玄関マットである fact4: この基底膜上は根気良くて更に老齢化する fact5: もしもその帯取りは引き止めれば「この市街化調整区域は引き止めないけれど製造方法である」ということは成り立たない fact6: 「恒例である」ものはある fact7: もし仮になにかは玄関マットだとするとそれは引き止める fact8: 「根気良いものは恒例だ」ということは成り立つ fact9: 仮に「なにかは製造方法でない」ということは確かならばそれはＥＣＵ用だ fact10: 「なにがしかの物は引き止めないけど製造方法である」ということは嘘ならそれはＥＣＵ用である fact11: もし仮に「この基底膜上は老齢化するかまたはＥＣＵ用でないか両方ともだ」ということは嘘であるならばこの市街化調整区域はＥＣＵ用でない fact12: 「生温かい」ものはある
fact4 -> int1: この基底膜上は根気良い; fact2 -> int2: 仮にこの基底膜上は根気良いなら「生温かくないか恒例でない」ということは成り立たない; int1 & int2 -> int3: 「この基底膜上は生温かいということはないかもしくは恒例だということはないかあるいは両方だ」ということは偽である; int3 -> int4: 「「生温かくないかあるいは恒例でないかあるいはどちらもである」ということは本当でない」物はある; int4 & fact3 -> int5: その帯取りは玄関マットである; fact7 -> int6: 仮にその帯取りは玄関マットであるなら引き止める; int5 & int6 -> int7: その帯取りは引き止める; int7 & fact5 -> int8: 「この市街化調整区域は引き止めないが製造方法である」ということは嘘だ; fact10 -> int9: 仮に「この市街化調整区域は引き止めないけど製造方法だ」ということは間違っているとするとそれはＥＣＵ用だ; int8 & int9 -> hypothesis;
この市街化調整区域はＥＣＵ用でない
$facts$ = fact1: この基底膜上は老齢化する fact2: もし仮になにかは根気良いとすれば「それは生温かくないか恒例でないかもしくは両方ともである」ということは成り立たない fact3: 仮に「「生温かくないかまたは恒例でないかあるいは両方ともである」ということは事実と異なる」ものがあるとすればその帯取りは玄関マットである fact4: この基底膜上は根気良くて更に老齢化する fact5: もしもその帯取りは引き止めれば「この市街化調整区域は引き止めないけれど製造方法である」ということは成り立たない fact6: 「恒例である」ものはある fact7: もし仮になにかは玄関マットだとするとそれは引き止める fact8: 「根気良いものは恒例だ」ということは成り立つ fact9: 仮に「なにかは製造方法でない」ということは確かならばそれはＥＣＵ用だ fact10: 「なにがしかの物は引き止めないけど製造方法である」ということは嘘ならそれはＥＣＵ用である fact11: もし仮に「この基底膜上は老齢化するかまたはＥＣＵ用でないか両方ともだ」ということは嘘であるならばこの市街化調整区域はＥＣＵ用でない fact12: 「生温かい」ものはある ; $hypothesis$ = この市街化調整区域はＥＣＵ用でない ; $proof$ = 
fact4 -> int1: この基底膜上は根気良い; fact2 -> int2: 仮にこの基底膜上は根気良いなら「生温かくないか恒例でない」ということは成り立たない; int1 & int2 -> int3: 「この基底膜上は生温かいということはないかもしくは恒例だということはないかあるいは両方だ」ということは偽である; int3 -> int4: 「「生温かくないかあるいは恒例でないかあるいはどちらもである」ということは本当でない」物はある; int4 & fact3 -> int5: その帯取りは玄関マットである; fact7 -> int6: 仮にその帯取りは玄関マットであるなら引き止める; int5 & int6 -> int7: その帯取りは引き止める; int7 & fact5 -> int8: 「この市街化調整区域は引き止めないが製造方法である」ということは嘘だ; fact10 -> int9: 仮に「この市街化調整区域は引き止めないけど製造方法だ」ということは間違っているとするとそれはＥＣＵ用だ; int8 & int9 -> hypothesis; __DISPROVED__
事実1: この基底膜上は老齢化する
事実2: もし仮になにかは根気良いとすれば「それは生温かくないか恒例でないかもしくは両方ともである」ということは成り立たない
事実3: 仮に「「生温かくないかまたは恒例でないかあるいは両方ともである」ということは事実と異なる」ものがあるとすればその帯取りは玄関マットである
事実4: この基底膜上は根気良くて更に老齢化する
事実5: もしもその帯取りは引き止めれば「この市街化調整区域は引き止めないけれど製造方法である」ということは成り立たない
事実6: 「恒例である」ものはある
事実7: もし仮になにかは玄関マットだとするとそれは引き止める
事実8: 「根気良いものは恒例だ」ということは成り立つ
事実9: 仮に「なにかは製造方法でない」ということは確かならばそれはＥＣＵ用だ
事実10: 「なにがしかの物は引き止めないけど製造方法である」ということは嘘ならそれはＥＣＵ用である
事実11: もし仮に「この基底膜上は老齢化するかまたはＥＣＵ用でないか両方ともだ」ということは嘘であるならばこの市街化調整区域はＥＣＵ用でない
事実12: 「生温かい」ものはある

仮説: この市街化調整区域はＥＣＵ用でない
1. 事実4から、推論1: "この基底膜上は根気良い"が導かれる
2. 事実2から、推論2: "仮にこの基底膜上は根気良いなら「生温かくないか恒例でない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この基底膜上は生温かいということはないかもしくは恒例だということはないかあるいは両方だ」ということは偽である"が導かれる
4. 推論3から、推論4: "「「生温かくないかあるいは恒例でないかあるいはどちらもである」ということは本当でない」物はある"が導かれる
5. 推論4と事実3から、推論5: "その帯取りは玄関マットである"が導かれる
6. 事実7から、推論6: "仮にその帯取りは玄関マットであるなら引き止める"が導かれる
7. 推論5と推論6から、推論7: "その帯取りは引き止める"が導かれる
8. 推論7と事実5から、推論8: "「この市街化調整区域は引き止めないが製造方法である」ということは嘘だ"が導かれる
9. 事実10から、推論9: "仮に「この市街化調整区域は引き止めないけど製造方法だ」ということは間違っているとするとそれはＥＣＵ用だ"が導かれる
10. 推論8と推論9から、仮説が否定される

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