For if knows entails, then we can assume knows is logically equivalent to and, and hence, assuming closure under simplification and known logical equivalence, if knows, he knows and (equivalence) and hence knows (simplification).