この微熱は参与するがしかし独立機関でない
fact1: もしこの微熱は若いとしたら「参与するけれど独立機関でない」ということは事実と異なる fact2: この微熱は若い fact3: 若くない物は参与する一方で独立機関でない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
この微熱は参与する一方で独立機関でない
fact4 -> int1: もし仮にこの微熱が若くないならばそれは参与する一方で独立機関でない;
$facts$ = fact1: もしこの微熱は若いとしたら「参与するけれど独立機関でない」ということは事実と異なる fact2: この微熱は若い fact3: 若くない物は参与する一方で独立機関でない ; $hypothesis$ = この微熱は参与するがしかし独立機関でない ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしこの微熱は若いとしたら「参与するけれど独立機関でない」ということは事実と異なる
事実2: この微熱は若い
事実3: 若くない物は参与する一方で独立機関でない

仮説: この微熱は参与するがしかし独立機関でない
1. 事実1と事実2から、仮説が否定される

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