あの神木は住み良い
fact1: もしこの細目が格好良いかアーリーであるかあるいはどちらもだとしたら繰り返せるということはない fact2: あの神木は分解され難い fact3: あの神木は進攻する fact4: 胸苦しいものは主張し得ない fact5: 何らかの物は晒され易いということはない fact6: もしもあの藪蛇が主張し得るということはないとすればあの番頭殿は住み良いということはなくてしかも絞殺しない fact7: あの神木はアーリーだしさらに新しい fact8: 「あの神木は堪え難いかまたは妬ましいかまたは両方ともだ」ということは確かである fact9: もし仮にこの源泉地国課税はむず痒くないならば「あの神木はアーリーでないがしかし悪しい」ということは間違いだ fact10: もし仮にあの神木が悪しいかあるいはむず痒いかもしくは両方であるならそれは住み良くない fact11: この病気発生はむず痒くない fact12: もしもその尿路は戦域であるかあるいは絞殺するかあるいはどちらもであるなら悪しくない fact13: この展示内容はむず痒い fact14: その番頭殿が住み良くないし絞殺するということはないとすればこの源泉地国課税はむず痒くない fact15: あの神木は動き易くない fact16: すげない物は胸苦しい fact17: もし仮にあの神木が新カリキュラムであるかまたはニューロフィラメントＭであるかあるいは両方だとすればそれは店頭でない fact18: あの神木はアーリーだし悪しい
fact18 -> int1: あの神木は悪しい; int1 -> int2: あの神木は悪しいかあるいはむず痒い; int2 & fact10 -> hypothesis;
fact18 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact10 -> hypothesis;
あの協議協定はアーリーであるかあるいは陸揚げするかもしくは両方である
fact22 -> int3: あの藪蛇が胸苦しいなら主張し得ない; fact23 -> int4: あの藪蛇がすげないとすれば胸苦しい;
$facts$ = fact1: もしこの細目が格好良いかアーリーであるかあるいはどちらもだとしたら繰り返せるということはない fact2: あの神木は分解され難い fact3: あの神木は進攻する fact4: 胸苦しいものは主張し得ない fact5: 何らかの物は晒され易いということはない fact6: もしもあの藪蛇が主張し得るということはないとすればあの番頭殿は住み良いということはなくてしかも絞殺しない fact7: あの神木はアーリーだしさらに新しい fact8: 「あの神木は堪え難いかまたは妬ましいかまたは両方ともだ」ということは確かである fact9: もし仮にこの源泉地国課税はむず痒くないならば「あの神木はアーリーでないがしかし悪しい」ということは間違いだ fact10: もし仮にあの神木が悪しいかあるいはむず痒いかもしくは両方であるならそれは住み良くない fact11: この病気発生はむず痒くない fact12: もしもその尿路は戦域であるかあるいは絞殺するかあるいはどちらもであるなら悪しくない fact13: この展示内容はむず痒い fact14: その番頭殿が住み良くないし絞殺するということはないとすればこの源泉地国課税はむず痒くない fact15: あの神木は動き易くない fact16: すげない物は胸苦しい fact17: もし仮にあの神木が新カリキュラムであるかまたはニューロフィラメントＭであるかあるいは両方だとすればそれは店頭でない fact18: あの神木はアーリーだし悪しい ; $hypothesis$ = あの神木は住み良い ; $proof$ = 
fact18 -> int1: あの神木は悪しい; int1 -> int2: あの神木は悪しいかあるいはむず痒い; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: もしこの細目が格好良いかアーリーであるかあるいはどちらもだとしたら繰り返せるということはない
事実2: あの神木は分解され難い
事実3: あの神木は進攻する
事実4: 胸苦しいものは主張し得ない
事実5: 何らかの物は晒され易いということはない
事実6: もしもあの藪蛇が主張し得るということはないとすればあの番頭殿は住み良いということはなくてしかも絞殺しない
事実7: あの神木はアーリーだしさらに新しい
事実8: 「あの神木は堪え難いかまたは妬ましいかまたは両方ともだ」ということは確かである
事実9: もし仮にこの源泉地国課税はむず痒くないならば「あの神木はアーリーでないがしかし悪しい」ということは間違いだ
事実10: もし仮にあの神木が悪しいかあるいはむず痒いかもしくは両方であるならそれは住み良くない
事実11: この病気発生はむず痒くない
事実12: もしもその尿路は戦域であるかあるいは絞殺するかあるいはどちらもであるなら悪しくない
事実13: この展示内容はむず痒い
事実14: その番頭殿が住み良くないし絞殺するということはないとすればこの源泉地国課税はむず痒くない
事実15: あの神木は動き易くない
事実16: すげない物は胸苦しい
事実17: もし仮にあの神木が新カリキュラムであるかまたはニューロフィラメントＭであるかあるいは両方だとすればそれは店頭でない
事実18: あの神木はアーリーだし悪しい

仮説: あの神木は住み良い
1. 事実18から、推論1: "あの神木は悪しい"が導かれる
2. 推論1から、推論2: "あの神木は悪しいかあるいはむず痒い"が導かれる
3. 推論2と事実10から、仮説が否定される

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