その薬物乱用は立て易くない
fact1: 「あの共役長は用意すということはない」ということは成り立つとすると保健医療従事者であるかあるいは契約出来る fact2: あの共役長は用意すらない fact3: この専門学者は用意すらない fact4: 仮にあの共役長が立て易いなら用意す fact5: もし仮にあの共役長が契約出来るとしたらその薬物乱用は立て易い fact6: 仮にあの共役長が保健医療従事者ならばその薬物乱用は立て易い
fact1 & fact2 -> int1: あの共役長は保健医療従事者であるか契約出来る; int1 & fact6 & fact5 -> hypothesis;
あの出退表示灯回路は契約出来る
$facts$ = fact1: 「あの共役長は用意すということはない」ということは成り立つとすると保健医療従事者であるかあるいは契約出来る fact2: あの共役長は用意すらない fact3: この専門学者は用意すらない fact4: 仮にあの共役長が立て易いなら用意す fact5: もし仮にあの共役長が契約出来るとしたらその薬物乱用は立て易い fact6: 仮にあの共役長が保健医療従事者ならばその薬物乱用は立て易い ; $hypothesis$ = その薬物乱用は立て易くない ; $proof$ = 
fact1 & fact2 -> int1: あの共役長は保健医療従事者であるか契約出来る; int1 & fact6 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あの共役長は用意すということはない」ということは成り立つとすると保健医療従事者であるかあるいは契約出来る
事実2: あの共役長は用意すらない
事実3: この専門学者は用意すらない
事実4: 仮にあの共役長が立て易いなら用意す
事実5: もし仮にあの共役長が契約出来るとしたらその薬物乱用は立て易い
事実6: 仮にあの共役長が保健医療従事者ならばその薬物乱用は立て易い

仮説: その薬物乱用は立て易くない
1. 事実1と事実2から、推論1: "あの共役長は保健医療従事者であるか契約出来る"が導かれる
2. 推論1と事実6と事実5から、仮説が否定される

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