「その国際郵便が膝栗毛でないならその国際郵便は灰色っぽくない」ということは間違いだ
fact1: もし仮にとある物が膝栗毛だとしたらそれは灰色っぽくない fact2: もし仮に何らかのものは膝栗毛でないならそれは灰色っぽくない fact3: もし仮にとあるものが臣従するとしたらそれは乗り難くない fact4: 目敏くない物は輸入しない fact5: その文明人は膝栗毛でないとすると運悪くない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もし仮にとある物が膝栗毛だとしたらそれは灰色っぽくない fact2: もし仮に何らかのものは膝栗毛でないならそれは灰色っぽくない fact3: もし仮にとあるものが臣従するとしたらそれは乗り難くない fact4: 目敏くない物は輸入しない fact5: その文明人は膝栗毛でないとすると運悪くない ; $hypothesis$ = 「その国際郵便が膝栗毛でないならその国際郵便は灰色っぽくない」ということは間違いだ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物が膝栗毛だとしたらそれは灰色っぽくない
事実2: もし仮に何らかのものは膝栗毛でないならそれは灰色っぽくない
事実3: もし仮にとあるものが臣従するとしたらそれは乗り難くない
事実4: 目敏くない物は輸入しない
事実5: その文明人は膝栗毛でないとすると運悪くない

仮説: 「その国際郵便が膝栗毛でないならその国際郵便は灰色っぽくない」ということは間違いだ
1. 事実2から、仮説が否定される

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