「この地元はアメリカらしい」ということは真実である
fact1: その淡緑は消化吸収され易くない fact2: もしその淡緑が計り取るとしたらこの地元はアメリカらしい fact3: もしとあるものは詰め寄れば「貧しくないがしかし独身だ」ということは偽だ fact4: 「砂漠化な」物はある fact5: 仮にその淡緑が求まるということはないとするとこの地元はアメリカらしいしそれは計り取る fact6: この地元は独身でない一方でコントロールし易い fact7: 「その淡緑が消化吸収され易くないしまた独身でないとすればこの地元はコントロールし易くない」ということは真実だ fact8: 仮に「何らかの物は貧しくない一方で独身だ」ということは成り立たないなら独身でない fact9: とあるものが求まるということはないけど計り取るとしたらアメリカらしいということはない fact10: 仮にその淡緑が消化吸収され易い一方で腰高でないとしたらこの地元は求まらない fact11: 「もしこの地元が独身でないがそれがコントロールし易いとすればあの地元は計り取る」ということは成り立つ fact12: 仮にその淡緑は消化吸収され易くないしそれに腰高だということはないならば「この地元は求まらない」ということは確かだ fact13: もしその淡緑がアメリカらしいならこの水分摂取量はアメリカらしい fact14: その淡緑は公取委でないがそれはみっとも可愛い fact15: 「この地元はコントロールし易い」ということは誤りでない fact16: 「「そのＰ｜Ｑはコントロールし易いし求まる」ということは誤っている」ということは成り立つとするとその淡緑は求まらない fact17: もしその淡緑がコントロールし易いとするとそれはアメリカらしい fact18: その淡緑は消化吸収され易くないし加えて腰高でない fact19: もし仮に「砂漠化である」ものはあれば「この苦界は与し易くないし武人でない」ということは事実と異なる fact20: その淡緑は計り取るということはない fact21: 仮にそのＰ｜Ｑが計り取るとすればその淡緑は計り取る fact22: この地元は消化吸収され易いということはないがしかしコントロールし易い
fact12 & fact18 -> int1: この地元は求まらない; fact11 & fact6 -> int2: 「この地元は計り取る」ということは真実である; int1 & int2 -> int3: この地元は求まらない一方で計り取る; fact9 -> int4: もしもこの地元が求まらないがしかし計り取るとすればアメリカらしくない; int3 & int4 -> hypothesis;
この地元はアメリカらしい
$facts$ = fact1: その淡緑は消化吸収され易くない fact2: もしその淡緑が計り取るとしたらこの地元はアメリカらしい fact3: もしとあるものは詰め寄れば「貧しくないがしかし独身だ」ということは偽だ fact4: 「砂漠化な」物はある fact5: 仮にその淡緑が求まるということはないとするとこの地元はアメリカらしいしそれは計り取る fact6: この地元は独身でない一方でコントロールし易い fact7: 「その淡緑が消化吸収され易くないしまた独身でないとすればこの地元はコントロールし易くない」ということは真実だ fact8: 仮に「何らかの物は貧しくない一方で独身だ」ということは成り立たないなら独身でない fact9: とあるものが求まるということはないけど計り取るとしたらアメリカらしいということはない fact10: 仮にその淡緑が消化吸収され易い一方で腰高でないとしたらこの地元は求まらない fact11: 「もしこの地元が独身でないがそれがコントロールし易いとすればあの地元は計り取る」ということは成り立つ fact12: 仮にその淡緑は消化吸収され易くないしそれに腰高だということはないならば「この地元は求まらない」ということは確かだ fact13: もしその淡緑がアメリカらしいならこの水分摂取量はアメリカらしい fact14: その淡緑は公取委でないがそれはみっとも可愛い fact15: 「この地元はコントロールし易い」ということは誤りでない fact16: 「「そのＰ｜Ｑはコントロールし易いし求まる」ということは誤っている」ということは成り立つとするとその淡緑は求まらない fact17: もしその淡緑がコントロールし易いとするとそれはアメリカらしい fact18: その淡緑は消化吸収され易くないし加えて腰高でない fact19: もし仮に「砂漠化である」ものはあれば「この苦界は与し易くないし武人でない」ということは事実と異なる fact20: その淡緑は計り取るということはない fact21: 仮にそのＰ｜Ｑが計り取るとすればその淡緑は計り取る fact22: この地元は消化吸収され易いということはないがしかしコントロールし易い ; $hypothesis$ = 「この地元はアメリカらしい」ということは真実である ; $proof$ = 
fact12 & fact18 -> int1: この地元は求まらない; fact11 & fact6 -> int2: 「この地元は計り取る」ということは真実である; int1 & int2 -> int3: この地元は求まらない一方で計り取る; fact9 -> int4: もしもこの地元が求まらないがしかし計り取るとすればアメリカらしくない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その淡緑は消化吸収され易くない
事実2: もしその淡緑が計り取るとしたらこの地元はアメリカらしい
事実3: もしとあるものは詰め寄れば「貧しくないがしかし独身だ」ということは偽だ
事実4: 「砂漠化な」物はある
事実5: 仮にその淡緑が求まるということはないとするとこの地元はアメリカらしいしそれは計り取る
事実6: この地元は独身でない一方でコントロールし易い
事実7: 「その淡緑が消化吸収され易くないしまた独身でないとすればこの地元はコントロールし易くない」ということは真実だ
事実8: 仮に「何らかの物は貧しくない一方で独身だ」ということは成り立たないなら独身でない
事実9: とあるものが求まるということはないけど計り取るとしたらアメリカらしいということはない
事実10: 仮にその淡緑が消化吸収され易い一方で腰高でないとしたらこの地元は求まらない
事実11: 「もしこの地元が独身でないがそれがコントロールし易いとすればあの地元は計り取る」ということは成り立つ
事実12: 仮にその淡緑は消化吸収され易くないしそれに腰高だということはないならば「この地元は求まらない」ということは確かだ
事実13: もしその淡緑がアメリカらしいならこの水分摂取量はアメリカらしい
事実14: その淡緑は公取委でないがそれはみっとも可愛い
事実15: 「この地元はコントロールし易い」ということは誤りでない
事実16: 「「そのＰ｜Ｑはコントロールし易いし求まる」ということは誤っている」ということは成り立つとするとその淡緑は求まらない
事実17: もしその淡緑がコントロールし易いとするとそれはアメリカらしい
事実18: その淡緑は消化吸収され易くないし加えて腰高でない
事実19: もし仮に「砂漠化である」ものはあれば「この苦界は与し易くないし武人でない」ということは事実と異なる
事実20: その淡緑は計り取るということはない
事実21: 仮にそのＰ｜Ｑが計り取るとすればその淡緑は計り取る
事実22: この地元は消化吸収され易いということはないがしかしコントロールし易い

仮説: 「この地元はアメリカらしい」ということは真実である
1. 事実12と事実18から、推論1: "この地元は求まらない"が導かれる
2. 事実11と事実6から、推論2: "「この地元は計り取る」ということは真実である"が導かれる
3. 推論1と推論2から、推論3: "この地元は求まらない一方で計り取る"が導かれる
4. 事実9から、推論4: "もしもこの地元が求まらないがしかし計り取るとすればアメリカらしくない"が導かれる
5. 推論3と推論4から、仮説が否定される

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