Translate the following inference to logic notation: If James drives a car, then it is cold. If Sarah were a nurse, then it is cold. Sarah is a nurse if and only if Joseph is making tea. James is driving a car or Joseph is making tea. Therefore it is cold or Elisabeth is cooking.
p -> q. r -> q. r <-> s. p or s. Therefore q or t.