... embedded in a chain of rules, such as "A --> B --> ... , suppose we learn that B is false. The sufficient ... has failed for the B --> C rule, ... disappears, leaving us with A --> B; C --> D. ... drawing consequences from "B --> C is obsolete ...