Translate the following inference to logic notation: Joseph is playing tennis if and only if it is cold. If James were happy, then Joseph is playing tennis. If it is cold, then James is happy. If Joseph plays tennis, then it is cold. Therefore Joseph is playing tennis if and only if James is happy.
p <-> q. r -> p. q -> r. p -> q. Therefore p <-> r.