Translate the following inference to logic notation: Joseph is fast if and only if Thomas is driving a car. If Thomas drives a car, then Joseph is fast. It is sunny if and only if Thomas is driving a car. It is not sunny. Therefore Joseph is not fast.
p <-> q. q -> p. r <-> q. ~r. Therefore ~p.