Translate the following inference to logic notation: If James makes tea, then it is sunny. If it is overcast, then it is cold. If it is cold, then James is a nurse. If it is sunny, then it is overcast. If James were a nurse, then James is making tea. Therefore James is making tea if and only if James is a nurse.
p -> q. r -> s. s -> t. q -> r. t -> p. Therefore p <-> t.