この透水性芝生舗装は築造しない
fact1: あの関数関係はＮＡＳ電池であるし遅い fact2: その住宅問題が免れ得ないならばあのレイトレースはこよないということはない fact3: あの関数関係は築造するとすれば「この透水性芝生舗装は築造しない」ということは正しい fact4: あの関数関係はＮＡＳ電池である fact5: あの関数関係はＮＡＳ電池であるということはないかもしくは免れ得ないかあるいは両方だ fact6: この透水性芝生舗装はこよないということはない fact7: もしもなにかは観光資本でないとすれば築造する fact8: もしもあの関数関係が遅いしさらにチャレンジ出来るとするとあのランディング・ビーチは介入すらない fact9: もし仮にあのランディング・ビーチが介入すらないとするとその住宅問題は姉らしくないかそれは免れ得るということはないかもしくは両方である fact10: もしとある物はチャレンジ出来るが遅くないとしたら築造しない fact11: もしもとあるものが介入すらないとするとチャレンジ出来るけれど遅くない fact12: 仮にあのレイトレースがこよなくないとするとこの透水性芝生舗装は観光資本でない fact13: 「「取り引き活動でないしまたアニマシオンでない」ということは嘘な」物はある fact14: その住宅問題は築造しない fact15: 仮にその住宅問題が姉らしくないとしたらあのレイトレースはこよなくない fact16: もし「「取り引き活動でないしその上アニマシオンでない」ということは誤りな」ものがあるとするとあの関数関係はチャレンジ出来る fact17: もしその住宅問題が遅いし免れ得るとするとあの関数関係はチャレンジ出来ない
fact13 & fact16 -> int1: あの関数関係はチャレンジ出来る; fact1 -> int2: 「あの関数関係は遅い」ということは確かである; int1 & int2 -> int3: あの関数関係は遅いしチャレンジ出来る; int3 & fact8 -> int4: あのランディング・ビーチは介入すということはない; int4 & fact9 -> int5: その住宅問題は姉らしくないかまたは免れ得ない; int5 & fact15 & fact2 -> int6: あのレイトレースはこよなくない; int6 & fact12 -> int7: この透水性芝生舗装は観光資本であるということはない; fact7 -> int8: 仮にこの透水性芝生舗装は観光資本でないならば築造する; int7 & int8 -> hypothesis;
この透水性芝生舗装は築造しない
fact19 -> int9: この透水性芝生舗装がチャレンジ出来るが遅くないとすればそれは築造しない; fact18 -> int10: もしもこの透水性芝生舗装が介入すらないとしたらチャレンジ出来るがしかし遅くない;
$facts$ = fact1: あの関数関係はＮＡＳ電池であるし遅い fact2: その住宅問題が免れ得ないならばあのレイトレースはこよないということはない fact3: あの関数関係は築造するとすれば「この透水性芝生舗装は築造しない」ということは正しい fact4: あの関数関係はＮＡＳ電池である fact5: あの関数関係はＮＡＳ電池であるということはないかもしくは免れ得ないかあるいは両方だ fact6: この透水性芝生舗装はこよないということはない fact7: もしもなにかは観光資本でないとすれば築造する fact8: もしもあの関数関係が遅いしさらにチャレンジ出来るとするとあのランディング・ビーチは介入すらない fact9: もし仮にあのランディング・ビーチが介入すらないとするとその住宅問題は姉らしくないかそれは免れ得るということはないかもしくは両方である fact10: もしとある物はチャレンジ出来るが遅くないとしたら築造しない fact11: もしもとあるものが介入すらないとするとチャレンジ出来るけれど遅くない fact12: 仮にあのレイトレースがこよなくないとするとこの透水性芝生舗装は観光資本でない fact13: 「「取り引き活動でないしまたアニマシオンでない」ということは嘘な」物はある fact14: その住宅問題は築造しない fact15: 仮にその住宅問題が姉らしくないとしたらあのレイトレースはこよなくない fact16: もし「「取り引き活動でないしその上アニマシオンでない」ということは誤りな」ものがあるとするとあの関数関係はチャレンジ出来る fact17: もしその住宅問題が遅いし免れ得るとするとあの関数関係はチャレンジ出来ない ; $hypothesis$ = この透水性芝生舗装は築造しない ; $proof$ = 
fact13 & fact16 -> int1: あの関数関係はチャレンジ出来る; fact1 -> int2: 「あの関数関係は遅い」ということは確かである; int1 & int2 -> int3: あの関数関係は遅いしチャレンジ出来る; int3 & fact8 -> int4: あのランディング・ビーチは介入すということはない; int4 & fact9 -> int5: その住宅問題は姉らしくないかまたは免れ得ない; int5 & fact15 & fact2 -> int6: あのレイトレースはこよなくない; int6 & fact12 -> int7: この透水性芝生舗装は観光資本であるということはない; fact7 -> int8: 仮にこの透水性芝生舗装は観光資本でないならば築造する; int7 & int8 -> hypothesis; __DISPROVED__
事実1: あの関数関係はＮＡＳ電池であるし遅い
事実2: その住宅問題が免れ得ないならばあのレイトレースはこよないということはない
事実3: あの関数関係は築造するとすれば「この透水性芝生舗装は築造しない」ということは正しい
事実4: あの関数関係はＮＡＳ電池である
事実5: あの関数関係はＮＡＳ電池であるということはないかもしくは免れ得ないかあるいは両方だ
事実6: この透水性芝生舗装はこよないということはない
事実7: もしもなにかは観光資本でないとすれば築造する
事実8: もしもあの関数関係が遅いしさらにチャレンジ出来るとするとあのランディング・ビーチは介入すらない
事実9: もし仮にあのランディング・ビーチが介入すらないとするとその住宅問題は姉らしくないかそれは免れ得るということはないかもしくは両方である
事実10: もしとある物はチャレンジ出来るが遅くないとしたら築造しない
事実11: もしもとあるものが介入すらないとするとチャレンジ出来るけれど遅くない
事実12: 仮にあのレイトレースがこよなくないとするとこの透水性芝生舗装は観光資本でない
事実13: 「「取り引き活動でないしまたアニマシオンでない」ということは嘘な」物はある
事実14: その住宅問題は築造しない
事実15: 仮にその住宅問題が姉らしくないとしたらあのレイトレースはこよなくない
事実16: もし「「取り引き活動でないしその上アニマシオンでない」ということは誤りな」ものがあるとするとあの関数関係はチャレンジ出来る
事実17: もしその住宅問題が遅いし免れ得るとするとあの関数関係はチャレンジ出来ない

仮説: この透水性芝生舗装は築造しない
1. 事実13と事実16から、推論1: "あの関数関係はチャレンジ出来る"が導かれる
2. 事実1から、推論2: "「あの関数関係は遅い」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "あの関数関係は遅いしチャレンジ出来る"が導かれる
4. 推論3と事実8から、推論4: "あのランディング・ビーチは介入すということはない"が導かれる
5. 推論4と事実9から、推論5: "その住宅問題は姉らしくないかまたは免れ得ない"が導かれる
6. 推論5と事実15と事実2から、推論6: "あのレイトレースはこよなくない"が導かれる
7. 推論6と事実12から、推論7: "この透水性芝生舗装は観光資本であるということはない"が導かれる
8. 事実7から、推論8: "仮にこの透水性芝生舗装は観光資本でないならば築造する"が導かれる
9. 推論7と推論8から、仮説が否定される

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