その包みは船全体であるということはない
fact1: もし何かは見え易くないなら「その包みは船全体であるけど白っぽくない」ということは成り立つということはない fact2: 仮にこの宗族が白っぽいとしたらその包みは船全体である fact3: この教育思想は白っぽい fact4: この宗族は白っぽい
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
その包みは船全体でない
$facts$ = fact1: もし何かは見え易くないなら「その包みは船全体であるけど白っぽくない」ということは成り立つということはない fact2: 仮にこの宗族が白っぽいとしたらその包みは船全体である fact3: この教育思想は白っぽい fact4: この宗族は白っぽい ; $hypothesis$ = その包みは船全体であるということはない ; $proof$ = 
fact2 & fact4 -> hypothesis; __DISPROVED__
事実1: もし何かは見え易くないなら「その包みは船全体であるけど白っぽくない」ということは成り立つということはない
事実2: 仮にこの宗族が白っぽいとしたらその包みは船全体である
事実3: この教育思想は白っぽい
事実4: この宗族は白っぽい

仮説: その包みは船全体であるということはない
1. 事実2と事実4から、仮説が否定される

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