「あのミニマドレーヌはうずうずしない」ということは嘘でない
fact1: もしもあの転移性脊椎腫瘍が発芽するしそれが採点すればあのミニマドレーヌはうずうずする fact2: あの転移性脊椎腫瘍は採点しない fact3: もし仮にあのミニマドレーヌはうずうずするし採点するとすると「あの転移性脊椎腫瘍は発芽するということはない」ということは成り立たない fact4: もしなんらかのものはうずうずしないかまたは新橋ステーションであるということはないかあるいは両方ともならばうずうずするということはない fact5: もしなにがしかの物は新橋ステーションでないとすれば「発芽するしさらに残せらない」ということは成り立つ fact6: もし何らかの物がリダイレクトするとすればそれはうずうずしないか新橋ステーションでないかもしくはどちらもだ fact7: あの転移性脊椎腫瘍は発芽するけれど採点しない fact8: もしもあの転移性脊椎腫瘍が発芽する一方で採点しないならあのミニマドレーヌはうずうずする fact9: もしも何らかの物がうずうずしないならばそれは新橋ステーションだということはない fact10: もしなんらかのものはリダイレクトするということはない一方でしぶといとすればうずうずしない fact11: この血清中が被災だけど堪り易くない
fact8 & fact7 -> hypothesis;
fact8 & fact7 -> hypothesis;
あのミニマドレーヌは発芽するが残せらない
fact12 -> int1: 仮にあのミニマドレーヌが新橋ステーションでないとしたらそれは発芽するしさらに残せらない; fact13 -> int2: あのミニマドレーヌがうずうずしないとするとそれは新橋ステーションでない; fact14 -> int3: 仮にあのミニマドレーヌがリダイレクトしないがそれがしぶといならばうずうずしない;
$facts$ = fact1: もしもあの転移性脊椎腫瘍が発芽するしそれが採点すればあのミニマドレーヌはうずうずする fact2: あの転移性脊椎腫瘍は採点しない fact3: もし仮にあのミニマドレーヌはうずうずするし採点するとすると「あの転移性脊椎腫瘍は発芽するということはない」ということは成り立たない fact4: もしなんらかのものはうずうずしないかまたは新橋ステーションであるということはないかあるいは両方ともならばうずうずするということはない fact5: もしなにがしかの物は新橋ステーションでないとすれば「発芽するしさらに残せらない」ということは成り立つ fact6: もし何らかの物がリダイレクトするとすればそれはうずうずしないか新橋ステーションでないかもしくはどちらもだ fact7: あの転移性脊椎腫瘍は発芽するけれど採点しない fact8: もしもあの転移性脊椎腫瘍が発芽する一方で採点しないならあのミニマドレーヌはうずうずする fact9: もしも何らかの物がうずうずしないならばそれは新橋ステーションだということはない fact10: もしなんらかのものはリダイレクトするということはない一方でしぶといとすればうずうずしない fact11: この血清中が被災だけど堪り易くない ; $hypothesis$ = 「あのミニマドレーヌはうずうずしない」ということは嘘でない ; $proof$ = 
fact8 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもあの転移性脊椎腫瘍が発芽するしそれが採点すればあのミニマドレーヌはうずうずする
事実2: あの転移性脊椎腫瘍は採点しない
事実3: もし仮にあのミニマドレーヌはうずうずするし採点するとすると「あの転移性脊椎腫瘍は発芽するということはない」ということは成り立たない
事実4: もしなんらかのものはうずうずしないかまたは新橋ステーションであるということはないかあるいは両方ともならばうずうずするということはない
事実5: もしなにがしかの物は新橋ステーションでないとすれば「発芽するしさらに残せらない」ということは成り立つ
事実6: もし何らかの物がリダイレクトするとすればそれはうずうずしないか新橋ステーションでないかもしくはどちらもだ
事実7: あの転移性脊椎腫瘍は発芽するけれど採点しない
事実8: もしもあの転移性脊椎腫瘍が発芽する一方で採点しないならあのミニマドレーヌはうずうずする
事実9: もしも何らかの物がうずうずしないならばそれは新橋ステーションだということはない
事実10: もしなんらかのものはリダイレクトするということはない一方でしぶといとすればうずうずしない
事実11: この血清中が被災だけど堪り易くない

仮説: 「あのミニマドレーヌはうずうずしない」ということは嘘でない
1. 事実8と事実7から、仮説が否定される

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