このスポーツニュースが免れ難くないしさらにぎくしゃくしない
fact1: もしこのスポーツニュースが免れ難くないしぎくしゃくしないならその良薬は外国市場だ fact2: 仮に「「「外国市場であるかまたはぎくしゃくする」ということは成り立つ」ということは嘘である」ものがあるとするとその良薬は免れ難いということはない fact3: もし仮になんらかの物が耽るとすればそれは興亡でなくてそれは外国市場でない fact4: もしも「「耽るか興亡であるかもしくは両方ともである」ということは成り立たない」ものがあるならその良薬は外国市場でない fact5: 「このスポーツニュースは免れ難いけどぎくしゃくしない」ということは成り立たない fact6: 「「耽るかもしくは興亡であるかもしくはどちらもである」ということは誤りである」ものはある fact7: 「このスポーツニュースは免れ難くないがぎくしゃくする」ということは成り立たない
void -> assump1: 以下のように仮定する。このスポーツニュースは免れ難くないしそれはぎくしゃくしない; fact1 & assump1 -> int1: その良薬は外国市場である; fact4 & fact6 -> int2: その良薬は外国市場でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: {B}{b}; fact4 & fact6 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
このスポーツニュースは退色し易い
fact8 -> int4: もし仮にその良薬が耽るとしたら興亡でないしその上外国市場であるということはない;
$facts$ = fact1: もしこのスポーツニュースが免れ難くないしぎくしゃくしないならその良薬は外国市場だ fact2: 仮に「「「外国市場であるかまたはぎくしゃくする」ということは成り立つ」ということは嘘である」ものがあるとするとその良薬は免れ難いということはない fact3: もし仮になんらかの物が耽るとすればそれは興亡でなくてそれは外国市場でない fact4: もしも「「耽るか興亡であるかもしくは両方ともである」ということは成り立たない」ものがあるならその良薬は外国市場でない fact5: 「このスポーツニュースは免れ難いけどぎくしゃくしない」ということは成り立たない fact6: 「「耽るかもしくは興亡であるかもしくはどちらもである」ということは誤りである」ものはある fact7: 「このスポーツニュースは免れ難くないがぎくしゃくする」ということは成り立たない ; $hypothesis$ = このスポーツニュースが免れ難くないしさらにぎくしゃくしない ; $proof$ = 
void -> assump1: 以下のように仮定する。このスポーツニュースは免れ難くないしそれはぎくしゃくしない; fact1 & assump1 -> int1: その良薬は外国市場である; fact4 & fact6 -> int2: その良薬は外国市場でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしこのスポーツニュースが免れ難くないしぎくしゃくしないならその良薬は外国市場だ
事実2: 仮に「「「外国市場であるかまたはぎくしゃくする」ということは成り立つ」ということは嘘である」ものがあるとするとその良薬は免れ難いということはない
事実3: もし仮になんらかの物が耽るとすればそれは興亡でなくてそれは外国市場でない
事実4: もしも「「耽るか興亡であるかもしくは両方ともである」ということは成り立たない」ものがあるならその良薬は外国市場でない
事実5: 「このスポーツニュースは免れ難いけどぎくしゃくしない」ということは成り立たない
事実6: 「「耽るかもしくは興亡であるかもしくはどちらもである」ということは誤りである」ものはある
事実7: 「このスポーツニュースは免れ難くないがぎくしゃくする」ということは成り立たない

仮説: このスポーツニュースが免れ難くないしさらにぎくしゃくしない
1. 仮定1: 以下のように仮定する。このスポーツニュースは免れ難くないしそれはぎくしゃくしない
2. 事実1と仮定1から、推論1: "その良薬は外国市場である"が導かれる
3. 事実4と事実6から、推論2: "その良薬は外国市場でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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