その半透明仕上げは秘密結社でない
fact1: その半透明仕上げは秘密結社である fact2: もし仮にその半透明仕上げが罹り易いが秘密結社だということはないなら「その選択的チャネル政策は秘密結社だ」ということは事実である fact3: もし仮になにかは血腥いということはないとすればそれは罹り易いし秘密結社だということはない
fact1 -> hypothesis;
fact1 -> hypothesis;
その選択的チャネル政策は秘密結社だ
fact4 -> int1: もし仮にその半透明仕上げは血腥くないならば「罹り易いししかも秘密結社でない」ということは成り立つ;
$facts$ = fact1: その半透明仕上げは秘密結社である fact2: もし仮にその半透明仕上げが罹り易いが秘密結社だということはないなら「その選択的チャネル政策は秘密結社だ」ということは事実である fact3: もし仮になにかは血腥いということはないとすればそれは罹り易いし秘密結社だということはない ; $hypothesis$ = その半透明仕上げは秘密結社でない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: その半透明仕上げは秘密結社である
事実2: もし仮にその半透明仕上げが罹り易いが秘密結社だということはないなら「その選択的チャネル政策は秘密結社だ」ということは事実である
事実3: もし仮になにかは血腥いということはないとすればそれは罹り易いし秘密結社だということはない

仮説: その半透明仕上げは秘密結社でない
1. 事実1から、仮説が否定される

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