あの七星はディレクトリ以下でない
fact1: その預金利息は小高い fact2: このＳＴ部分は小高いかまたは立ち行かないかもしくはどちらもである fact3: あの江畑さん達は立ち行く fact4: もしその預金利息が測り難いとしたらこのＳＴ部分は小高くないかあるいは立ち行かないかあるいは両方だ fact5: 「悔やまないけど杏子である」物はある fact6: その預金利息は測り難い fact7: その預金利息が測り難いとすればあのＳＴ部分は小高いかあるいはそれは立ち行かない fact8: 「なにがしかのものは福音主義であるしまた見苦しい」ということは嘘であるとしたら移乗でない fact9: あの江畑さん達が褐色ガラス瓶であるとしたらあの七星はディレクトリ以下だ fact10: 仮にこのＳＴ部分が小高くないかそれは立ち行かないとしたら「あの江畑さん達は褐色ガラス瓶だ」ということは成り立つ fact11: もし仮になにがしかのものは敦賀津でないとしたら「それは福音主義だしその上見苦しい」ということは本当であるということはない fact12: もしその預金利息は小高くないとすると「このＳＴ部分は測り難い」ということは成り立つ fact13: もしもその預金利息が測り難いならばこのＳＴ部分は小高くないかまたはそれは立ち行くかまたは両方だ fact14: もしもなにかは移乗でないとすれば「それは測り難くてまたそれは褐色ガラス瓶でない」ということは間違いである fact15: このＳＴ部分は小高くないかそれは立ち行くかあるいは両方ともだ
fact4 & fact6 -> int1: このＳＴ部分は小高いということはないかそれは立ち行かないかどちらもである; int1 & fact10 -> int2: あの江畑さん達は褐色ガラス瓶だ; int2 & fact9 -> hypothesis;
あの七星はディレクトリ以下でない
fact17 -> int3: 仮にその預金利息は移乗でないとしたら「それは測り難いが褐色ガラス瓶だということはない」ということは間違っている; fact18 -> int4: もし「その預金利息は福音主義であるし更に見苦しい」ということは事実と異なればそれは移乗でない; fact16 -> int5: もし仮にその預金利息は敦賀津でないとしたら「福音主義でそれは見苦しい」ということは嘘である;
$facts$ = fact1: その預金利息は小高い fact2: このＳＴ部分は小高いかまたは立ち行かないかもしくはどちらもである fact3: あの江畑さん達は立ち行く fact4: もしその預金利息が測り難いとしたらこのＳＴ部分は小高くないかあるいは立ち行かないかあるいは両方だ fact5: 「悔やまないけど杏子である」物はある fact6: その預金利息は測り難い fact7: その預金利息が測り難いとすればあのＳＴ部分は小高いかあるいはそれは立ち行かない fact8: 「なにがしかのものは福音主義であるしまた見苦しい」ということは嘘であるとしたら移乗でない fact9: あの江畑さん達が褐色ガラス瓶であるとしたらあの七星はディレクトリ以下だ fact10: 仮にこのＳＴ部分が小高くないかそれは立ち行かないとしたら「あの江畑さん達は褐色ガラス瓶だ」ということは成り立つ fact11: もし仮になにがしかのものは敦賀津でないとしたら「それは福音主義だしその上見苦しい」ということは本当であるということはない fact12: もしその預金利息は小高くないとすると「このＳＴ部分は測り難い」ということは成り立つ fact13: もしもその預金利息が測り難いならばこのＳＴ部分は小高くないかまたはそれは立ち行くかまたは両方だ fact14: もしもなにかは移乗でないとすれば「それは測り難くてまたそれは褐色ガラス瓶でない」ということは間違いである fact15: このＳＴ部分は小高くないかそれは立ち行くかあるいは両方ともだ ; $hypothesis$ = あの七星はディレクトリ以下でない ; $proof$ = 
fact4 & fact6 -> int1: このＳＴ部分は小高いということはないかそれは立ち行かないかどちらもである; int1 & fact10 -> int2: あの江畑さん達は褐色ガラス瓶だ; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: その預金利息は小高い
事実2: このＳＴ部分は小高いかまたは立ち行かないかもしくはどちらもである
事実3: あの江畑さん達は立ち行く
事実4: もしその預金利息が測り難いとしたらこのＳＴ部分は小高くないかあるいは立ち行かないかあるいは両方だ
事実5: 「悔やまないけど杏子である」物はある
事実6: その預金利息は測り難い
事実7: その預金利息が測り難いとすればあのＳＴ部分は小高いかあるいはそれは立ち行かない
事実8: 「なにがしかのものは福音主義であるしまた見苦しい」ということは嘘であるとしたら移乗でない
事実9: あの江畑さん達が褐色ガラス瓶であるとしたらあの七星はディレクトリ以下だ
事実10: 仮にこのＳＴ部分が小高くないかそれは立ち行かないとしたら「あの江畑さん達は褐色ガラス瓶だ」ということは成り立つ
事実11: もし仮になにがしかのものは敦賀津でないとしたら「それは福音主義だしその上見苦しい」ということは本当であるということはない
事実12: もしその預金利息は小高くないとすると「このＳＴ部分は測り難い」ということは成り立つ
事実13: もしもその預金利息が測り難いならばこのＳＴ部分は小高くないかまたはそれは立ち行くかまたは両方だ
事実14: もしもなにかは移乗でないとすれば「それは測り難くてまたそれは褐色ガラス瓶でない」ということは間違いである
事実15: このＳＴ部分は小高くないかそれは立ち行くかあるいは両方ともだ

仮説: あの七星はディレクトリ以下でない
1. 事実4と事実6から、推論1: "このＳＴ部分は小高いということはないかそれは立ち行かないかどちらもである"が導かれる
2. 推論1と事実10から、推論2: "あの江畑さん達は褐色ガラス瓶だ"が導かれる
3. 推論2と事実9から、仮説が否定される

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