... of rules, such as "A --> B --> C --> D", thinking of ... example, suppose we learn that B is false. The sufficient ... B --> C rule, so that arrow disappears, leaving us with A --> B; C ... easier than drawing consequences from "B --> C is obsolete."