Consider, which logic prohibits the implication X FOLLOWS FROM Y & X ? IF NONE, IS THERE A counterexample? If not the rule is logically valid or not?