 In view of (a)–(c), we have a counterexample to K, which entails that if (a) you know zeb, and (b) you believe not-mule by recognizing that zeb entails not-mule, then you do know not-mule, contrary to (c).