 it is clearly inadmissible to infer “he knows that q” from “he knows that p” solely on the basis that q follows logically from p, for the person in question may fail to see that p entails q, particularly if p and q are relatively complicated statements. (1962: 30-31) 