Translate the following inference to logic notation: If it is cold, then Robert is a mechanic. If John were a taxi driver, then it is cold. Barbara is a writer if and only if Robert is a mechanic. Therefore if John were a taxi driver, then Barbara is a writer.
p -> q. r -> p. s <-> q. Therefore r -> s.