Translate the following inference to logic notation: It is cloudy if and only if Michael is fast. It is cloudy. If Jessica were a cashier, then Michael is fast. Therefore Michael is fast.
p <-> q. p. r -> q. Therefore q.