「もしあのヒマラヤ杉が建造中であるとすればあの箸っこは座り易い」ということは成り立たない
fact1: この伝統的小世界は審査しない fact2: その箸っこは建造中でない fact3: もし仮になにがしかの物は出し易いとすると「審査しなくてまたそれは建造中である」ということは嘘だ fact4: その小穿通孔は育める fact5: 仮にあのレイアウトタイプが審査しないならその小穿通孔は補導しない fact6: その小穿通孔は座り易い fact7: 「その小穿通孔は用心す」ということは確かだ fact8: 建造中が育めるとしたらそれは出し易いということはない fact9: その小穿通孔は補導しない fact10: もしなにがしかのものは喚くし加えて座り易いとすれば建造中だということはない fact11: もしもあのヒマラヤ杉が喚かないならその小穿通孔は建造中である fact12: 「仮にあのヒマラヤ杉が補導するとすればその小穿通孔は建造中だ」ということは正しい fact13: その箸っこは座り易くないけれど出し易い fact14: もしその小穿通孔が補導するということはない一方で喚くなら「あのヒマラヤ杉は育める」ということは成り立つ fact15: もし「あのヒマラヤ杉は出し易いということはない」ということは嘘だということはないならばその箸っこは座り易い fact16: その小穿通孔は出し易い fact17: その箸っこは喚く fact18: あのレイアウトタイプは審査しない fact19: もし仮にその小穿通孔が補導するしそれが喚くとするとあのヒマラヤ杉は育める fact20: 「もしあのヒマラヤ杉が補導するとすればその小穿通孔は育める」ということは事実だ fact21: もしもあのレイアウトタイプが審査しないならばその小穿通孔は補導しないが喚く
fact21 & fact18 -> int1: その小穿通孔は補導するということはないけれど喚く; int1 & fact14 -> int2: 「あのヒマラヤ杉は育める」ということは嘘でない; void -> assump1: 以下のように仮定する。「あのヒマラヤ杉は建造中だ」ということは事実だ; int2 & assump1 -> int3: あのヒマラヤ杉は建造中であるしそれは育める; fact8 -> int4: もしもあのヒマラヤ杉が建造中であるしその上それが育めるとしたらそれは出し易くない; int3 & int4 -> int5: あのヒマラヤ杉は出し易くない; int5 & fact15 -> int6: その箸っこは座り易い; [assump1] & int6 -> hypothesis;
あのレイアウトタイプは育めない
fact22 -> int7: もしもあのレイアウトタイプは出し易いならば「それは審査しなくてかつ建造中だ」ということは確かでない;
$facts$ = fact1: この伝統的小世界は審査しない fact2: その箸っこは建造中でない fact3: もし仮になにがしかの物は出し易いとすると「審査しなくてまたそれは建造中である」ということは嘘だ fact4: その小穿通孔は育める fact5: 仮にあのレイアウトタイプが審査しないならその小穿通孔は補導しない fact6: その小穿通孔は座り易い fact7: 「その小穿通孔は用心す」ということは確かだ fact8: 建造中が育めるとしたらそれは出し易いということはない fact9: その小穿通孔は補導しない fact10: もしなにがしかのものは喚くし加えて座り易いとすれば建造中だということはない fact11: もしもあのヒマラヤ杉が喚かないならその小穿通孔は建造中である fact12: 「仮にあのヒマラヤ杉が補導するとすればその小穿通孔は建造中だ」ということは正しい fact13: その箸っこは座り易くないけれど出し易い fact14: もしその小穿通孔が補導するということはない一方で喚くなら「あのヒマラヤ杉は育める」ということは成り立つ fact15: もし「あのヒマラヤ杉は出し易いということはない」ということは嘘だということはないならばその箸っこは座り易い fact16: その小穿通孔は出し易い fact17: その箸っこは喚く fact18: あのレイアウトタイプは審査しない fact19: もし仮にその小穿通孔が補導するしそれが喚くとするとあのヒマラヤ杉は育める fact20: 「もしあのヒマラヤ杉が補導するとすればその小穿通孔は育める」ということは事実だ fact21: もしもあのレイアウトタイプが審査しないならばその小穿通孔は補導しないが喚く ; $hypothesis$ = 「もしあのヒマラヤ杉が建造中であるとすればあの箸っこは座り易い」ということは成り立たない ; $proof$ = 
fact21 & fact18 -> int1: その小穿通孔は補導するということはないけれど喚く; int1 & fact14 -> int2: 「あのヒマラヤ杉は育める」ということは嘘でない; void -> assump1: 以下のように仮定する。「あのヒマラヤ杉は建造中だ」ということは事実だ; int2 & assump1 -> int3: あのヒマラヤ杉は建造中であるしそれは育める; fact8 -> int4: もしもあのヒマラヤ杉が建造中であるしその上それが育めるとしたらそれは出し易くない; int3 & int4 -> int5: あのヒマラヤ杉は出し易くない; int5 & fact15 -> int6: その箸っこは座り易い; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: この伝統的小世界は審査しない
事実2: その箸っこは建造中でない
事実3: もし仮になにがしかの物は出し易いとすると「審査しなくてまたそれは建造中である」ということは嘘だ
事実4: その小穿通孔は育める
事実5: 仮にあのレイアウトタイプが審査しないならその小穿通孔は補導しない
事実6: その小穿通孔は座り易い
事実7: 「その小穿通孔は用心す」ということは確かだ
事実8: 建造中が育めるとしたらそれは出し易いということはない
事実9: その小穿通孔は補導しない
事実10: もしなにがしかのものは喚くし加えて座り易いとすれば建造中だということはない
事実11: もしもあのヒマラヤ杉が喚かないならその小穿通孔は建造中である
事実12: 「仮にあのヒマラヤ杉が補導するとすればその小穿通孔は建造中だ」ということは正しい
事実13: その箸っこは座り易くないけれど出し易い
事実14: もしその小穿通孔が補導するということはない一方で喚くなら「あのヒマラヤ杉は育める」ということは成り立つ
事実15: もし「あのヒマラヤ杉は出し易いということはない」ということは嘘だということはないならばその箸っこは座り易い
事実16: その小穿通孔は出し易い
事実17: その箸っこは喚く
事実18: あのレイアウトタイプは審査しない
事実19: もし仮にその小穿通孔が補導するしそれが喚くとするとあのヒマラヤ杉は育める
事実20: 「もしあのヒマラヤ杉が補導するとすればその小穿通孔は育める」ということは事実だ
事実21: もしもあのレイアウトタイプが審査しないならばその小穿通孔は補導しないが喚く

仮説: 「もしあのヒマラヤ杉が建造中であるとすればあの箸っこは座り易い」ということは成り立たない
1. 事実21と事実18から、推論1: "その小穿通孔は補導するということはないけれど喚く"が導かれる
2. 推論1と事実14から、推論2: "「あのヒマラヤ杉は育める」ということは嘘でない"が導かれる
3. 仮定1: 以下のように仮定する。「あのヒマラヤ杉は建造中だ」ということは事実だ
4. 推論2と仮定1から、推論3: "あのヒマラヤ杉は建造中であるしそれは育める"が導かれる
5. 事実8から、推論4: "もしもあのヒマラヤ杉が建造中であるしその上それが育めるとしたらそれは出し易くない"が導かれる
6. 推論3と推論4から、推論5: "あのヒマラヤ杉は出し易くない"が導かれる
7. 推論5と事実15から、推論6: "その箸っこは座り易い"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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