このロングショットはすりゃ良いということはない
fact1: 仮にこのロングショットが子供らしいならばそれはすりゃ良い fact2: もしこのロングショットが法医であるかまたはそれが息詰まらないか両方ともならばこの病理組織像は息詰まる fact3: このロングショットは息詰まる fact4: この難治症例は息詰まる fact5: もしもその本壇は裏書きするとすれば「それは職務専念義務だ」ということは間違っていない fact6: もしもこのロングショットが息詰まるとしたらそれはすりゃ良い fact7: そのサンはすりゃ良くて健康状態である fact8: すりゃ良くないものは法医であるかまたは息詰まらないか両方ともである fact9: 「この松陰がすりゃ良いとすればこの松陰は益無し」ということは正しい fact10: あのファンダメンタリスト原則は息詰まる fact11: もしその多元は利き手であるとするとそれは法医だ fact12: このロングショットは守り抜く fact13: あの下商店会は息詰まる fact14: このロングショットは妻である fact15: この勤め人は息詰まる fact16: もし仮にこのロングショットはディベロッパーであるなら茹で上がる fact17: もし仮にそのサンがすりゃ良いけど息詰まらないならばこのロングショットはすりゃ良くない fact18: このロングショットはどうして行ける
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
このロングショットはすりゃ良くない
fact21 -> int1: 「そのサンはすりゃ良い」ということは成り立つ;
$facts$ = fact1: 仮にこのロングショットが子供らしいならばそれはすりゃ良い fact2: もしこのロングショットが法医であるかまたはそれが息詰まらないか両方ともならばこの病理組織像は息詰まる fact3: このロングショットは息詰まる fact4: この難治症例は息詰まる fact5: もしもその本壇は裏書きするとすれば「それは職務専念義務だ」ということは間違っていない fact6: もしもこのロングショットが息詰まるとしたらそれはすりゃ良い fact7: そのサンはすりゃ良くて健康状態である fact8: すりゃ良くないものは法医であるかまたは息詰まらないか両方ともである fact9: 「この松陰がすりゃ良いとすればこの松陰は益無し」ということは正しい fact10: あのファンダメンタリスト原則は息詰まる fact11: もしその多元は利き手であるとするとそれは法医だ fact12: このロングショットは守り抜く fact13: あの下商店会は息詰まる fact14: このロングショットは妻である fact15: この勤め人は息詰まる fact16: もし仮にこのロングショットはディベロッパーであるなら茹で上がる fact17: もし仮にそのサンがすりゃ良いけど息詰まらないならばこのロングショットはすりゃ良くない fact18: このロングショットはどうして行ける ; $hypothesis$ = このロングショットはすりゃ良いということはない ; $proof$ = 
fact6 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にこのロングショットが子供らしいならばそれはすりゃ良い
事実2: もしこのロングショットが法医であるかまたはそれが息詰まらないか両方ともならばこの病理組織像は息詰まる
事実3: このロングショットは息詰まる
事実4: この難治症例は息詰まる
事実5: もしもその本壇は裏書きするとすれば「それは職務専念義務だ」ということは間違っていない
事実6: もしもこのロングショットが息詰まるとしたらそれはすりゃ良い
事実7: そのサンはすりゃ良くて健康状態である
事実8: すりゃ良くないものは法医であるかまたは息詰まらないか両方ともである
事実9: 「この松陰がすりゃ良いとすればこの松陰は益無し」ということは正しい
事実10: あのファンダメンタリスト原則は息詰まる
事実11: もしその多元は利き手であるとするとそれは法医だ
事実12: このロングショットは守り抜く
事実13: あの下商店会は息詰まる
事実14: このロングショットは妻である
事実15: この勤め人は息詰まる
事実16: もし仮にこのロングショットはディベロッパーであるなら茹で上がる
事実17: もし仮にそのサンがすりゃ良いけど息詰まらないならばこのロングショットはすりゃ良くない
事実18: このロングショットはどうして行ける

仮説: このロングショットはすりゃ良いということはない
1. 事実6と事実3から、仮説が否定される

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