あの消費市場は出来上がる
fact1: あの解離は出来上がる fact2: この白内障手術は出来上がる fact3: もし「あの消費市場は三チームであるかもしくは出来上がらないかどちらもだ」ということは誤っているならあの解離は朱色でない fact4: もし「あの解離は朱色であるということはないかまたは三チームでない」ということは成り立たないとするとあの消費市場は出来上がるということはない fact5: 「あの解離は朱色であるということはないかまたは出来上がらないか両方ともである」ということは本当でない fact6: もし仮に「あの解離は出来上がらないかもしくは三チームでないかまたはどちらもである」ということは誤りだとすればあの消費市場は朱色でない fact7: その酒壺は出来上がらない fact8: あの消費市場は協力隊事業でない fact9: もし仮に「あの消費市場は三チームであるということはないかあるいは朱色であるということはない」ということは誤っているとしたらあの解離は出来上がるということはない fact10: この二両編成は朱色である fact11: あの消費市場は手っ取り早くない fact12: 「あの解離は朱色でないかまたはそれは三チームであるということはないかまたはどちらもである」ということは成り立たない
fact4 & fact12 -> hypothesis;
fact4 & fact12 -> hypothesis;
$facts$ = fact1: あの解離は出来上がる fact2: この白内障手術は出来上がる fact3: もし「あの消費市場は三チームであるかもしくは出来上がらないかどちらもだ」ということは誤っているならあの解離は朱色でない fact4: もし「あの解離は朱色であるということはないかまたは三チームでない」ということは成り立たないとするとあの消費市場は出来上がるということはない fact5: 「あの解離は朱色であるということはないかまたは出来上がらないか両方ともである」ということは本当でない fact6: もし仮に「あの解離は出来上がらないかもしくは三チームでないかまたはどちらもである」ということは誤りだとすればあの消費市場は朱色でない fact7: その酒壺は出来上がらない fact8: あの消費市場は協力隊事業でない fact9: もし仮に「あの消費市場は三チームであるということはないかあるいは朱色であるということはない」ということは誤っているとしたらあの解離は出来上がるということはない fact10: この二両編成は朱色である fact11: あの消費市場は手っ取り早くない fact12: 「あの解離は朱色でないかまたはそれは三チームであるということはないかまたはどちらもである」ということは成り立たない ; $hypothesis$ = あの消費市場は出来上がる ; $proof$ = 
fact4 & fact12 -> hypothesis; __DISPROVED__
事実1: あの解離は出来上がる
事実2: この白内障手術は出来上がる
事実3: もし「あの消費市場は三チームであるかもしくは出来上がらないかどちらもだ」ということは誤っているならあの解離は朱色でない
事実4: もし「あの解離は朱色であるということはないかまたは三チームでない」ということは成り立たないとするとあの消費市場は出来上がるということはない
事実5: 「あの解離は朱色であるということはないかまたは出来上がらないか両方ともである」ということは本当でない
事実6: もし仮に「あの解離は出来上がらないかもしくは三チームでないかまたはどちらもである」ということは誤りだとすればあの消費市場は朱色でない
事実7: その酒壺は出来上がらない
事実8: あの消費市場は協力隊事業でない
事実9: もし仮に「あの消費市場は三チームであるということはないかあるいは朱色であるということはない」ということは誤っているとしたらあの解離は出来上がるということはない
事実10: この二両編成は朱色である
事実11: あの消費市場は手っ取り早くない
事実12: 「あの解離は朱色でないかまたはそれは三チームであるということはないかまたはどちらもである」ということは成り立たない

仮説: あの消費市場は出来上がる
1. 事実4と事実12から、仮説が否定される

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