「この日米修好通商条約は選び取るということはないし大樹君でない」ということは誤りだ
fact1: 「もしもそのむつみ達が大樹君であるとするとこの日米修好通商条約は大樹君でない」ということは間違っていない fact2: 「この日米修好通商条約は大樹君でない」ということは誤りだということはない fact3: 仮に「そのむつみ達は輸入国でないけれどそれは拒否出来る」ということは間違いであるとすればそれは大樹君だ fact4: もし仮にそのむつみ達が大樹君ならばこの日米修好通商条約は選び取らないし更に大樹君でない fact5: 「そのむつみ達は輸入国であるということはないがしかし拒否出来る」ということは嘘である fact6: このマザーズ市場は拒否出来なくて加えて狂おしくない fact7: もし仮にそのむつみ達が選び取るとするとこの日米修好通商条約は大樹君でないしさらに選び取らない fact8: 仮に「この日米修好通商条約は選び取るということはない一方でそれは大樹君である」ということは誤りであるならばそれは輸入国である fact9: そのむつみ達は選び取るとすれば「あの有段者は拒否出来ない一方で感染病巣である」ということは成り立たない fact10: もしもそのむつみ達が拒否出来ないとするとそれは大樹君である
fact3 & fact5 -> int1: 「そのむつみ達は大樹君でない」ということは嘘だ; int1 & fact4 -> hypothesis;
fact3 & fact5 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
「あの有段者は拒否出来ないがそれは感染病巣だ」ということは成り立たない
$facts$ = fact1: 「もしもそのむつみ達が大樹君であるとするとこの日米修好通商条約は大樹君でない」ということは間違っていない fact2: 「この日米修好通商条約は大樹君でない」ということは誤りだということはない fact3: 仮に「そのむつみ達は輸入国でないけれどそれは拒否出来る」ということは間違いであるとすればそれは大樹君だ fact4: もし仮にそのむつみ達が大樹君ならばこの日米修好通商条約は選び取らないし更に大樹君でない fact5: 「そのむつみ達は輸入国であるということはないがしかし拒否出来る」ということは嘘である fact6: このマザーズ市場は拒否出来なくて加えて狂おしくない fact7: もし仮にそのむつみ達が選び取るとするとこの日米修好通商条約は大樹君でないしさらに選び取らない fact8: 仮に「この日米修好通商条約は選び取るということはない一方でそれは大樹君である」ということは誤りであるならばそれは輸入国である fact9: そのむつみ達は選び取るとすれば「あの有段者は拒否出来ない一方で感染病巣である」ということは成り立たない fact10: もしもそのむつみ達が拒否出来ないとするとそれは大樹君である ; $hypothesis$ = 「この日米修好通商条約は選び取るということはないし大樹君でない」ということは誤りだ ; $proof$ = 
fact3 & fact5 -> int1: 「そのむつみ達は大樹君でない」ということは嘘だ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「もしもそのむつみ達が大樹君であるとするとこの日米修好通商条約は大樹君でない」ということは間違っていない
事実2: 「この日米修好通商条約は大樹君でない」ということは誤りだということはない
事実3: 仮に「そのむつみ達は輸入国でないけれどそれは拒否出来る」ということは間違いであるとすればそれは大樹君だ
事実4: もし仮にそのむつみ達が大樹君ならばこの日米修好通商条約は選び取らないし更に大樹君でない
事実5: 「そのむつみ達は輸入国であるということはないがしかし拒否出来る」ということは嘘である
事実6: このマザーズ市場は拒否出来なくて加えて狂おしくない
事実7: もし仮にそのむつみ達が選び取るとするとこの日米修好通商条約は大樹君でないしさらに選び取らない
事実8: 仮に「この日米修好通商条約は選び取るということはない一方でそれは大樹君である」ということは誤りであるならばそれは輸入国である
事実9: そのむつみ達は選び取るとすれば「あの有段者は拒否出来ない一方で感染病巣である」ということは成り立たない
事実10: もしもそのむつみ達が拒否出来ないとするとそれは大樹君である

仮説: 「この日米修好通商条約は選び取るということはないし大樹君でない」ということは誤りだ
1. 事実3と事実5から、推論1: "「そのむつみ達は大樹君でない」ということは嘘だ"が導かれる
2. 推論1と事実4から、仮説が否定される

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