Translate the following inference to logic notation: If Robert drives a car, then Jennifer is not a poet. Jennifer is a poet. It is cold if and only if it is late. It is cold if and only if Robert is driving a car. Therefore it is not late.
p -> ~q. q. r <-> s. r <-> p. Therefore ~s.