この製造会社は掻き寄せる
fact1: この調色は誤解し易いしおまけにめんどい fact2: この各取り締まり役は構築す fact3: 仮にこの調色はめんどいとしたら「この塒はＣ‐Ｘ　Ｃ‐Ｆである」ということは正しい fact4: もしこの塒がＣ‐Ｘ　Ｃ‐Ｆだしさらにそれがグラインドするとすればこの製造会社は掻き寄せない fact5: あの四十六Ｆは構築す fact6: もし仮にこの各取り締まり役が構築すとするとこの塒はグラインドする
fact1 -> int1: この調色はめんどい; int1 & fact3 -> int2: この塒はＣ‐Ｘ　Ｃ‐Ｆだ; fact6 & fact2 -> int3: この塒はグラインドする; int2 & int3 -> int4: この塒はＣ‐Ｘ　Ｃ‐Ｆであるしさらにそれはグラインドする; int4 & fact4 -> hypothesis;
$facts$ = fact1: この調色は誤解し易いしおまけにめんどい fact2: この各取り締まり役は構築す fact3: 仮にこの調色はめんどいとしたら「この塒はＣ‐Ｘ　Ｃ‐Ｆである」ということは正しい fact4: もしこの塒がＣ‐Ｘ　Ｃ‐Ｆだしさらにそれがグラインドするとすればこの製造会社は掻き寄せない fact5: あの四十六Ｆは構築す fact6: もし仮にこの各取り締まり役が構築すとするとこの塒はグラインドする ; $hypothesis$ = この製造会社は掻き寄せる ; $proof$ = 
fact1 -> int1: この調色はめんどい; int1 & fact3 -> int2: この塒はＣ‐Ｘ　Ｃ‐Ｆだ; fact6 & fact2 -> int3: この塒はグラインドする; int2 & int3 -> int4: この塒はＣ‐Ｘ　Ｃ‐Ｆであるしさらにそれはグラインドする; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: この調色は誤解し易いしおまけにめんどい
事実2: この各取り締まり役は構築す
事実3: 仮にこの調色はめんどいとしたら「この塒はＣ‐Ｘ　Ｃ‐Ｆである」ということは正しい
事実4: もしこの塒がＣ‐Ｘ　Ｃ‐Ｆだしさらにそれがグラインドするとすればこの製造会社は掻き寄せない
事実5: あの四十六Ｆは構築す
事実6: もし仮にこの各取り締まり役が構築すとするとこの塒はグラインドする

仮説: この製造会社は掻き寄せる
1. 事実1から、推論1: "この調色はめんどい"が導かれる
2. 推論1と事実3から、推論2: "この塒はＣ‐Ｘ　Ｃ‐Ｆだ"が導かれる
3. 事実6と事実2から、推論3: "この塒はグラインドする"が導かれる
4. 推論2と推論3から、推論4: "この塒はＣ‐Ｘ　Ｃ‐Ｆであるしさらにそれはグラインドする"が導かれる
5. 推論4と事実4から、仮説が否定される

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