... selected from the variables, A, B, C, D, & E ... C is not selected, then B is not selected
... for A to be selected, B must be selected.
... of rule 1 is, if B -> C. As I ... see it, although B -> C may be ... the rules that if B is selected then C ...