Translate the following inference to logic notation: It is sunny. If it is sunny, then Mary is driving a car. Robert is a bartender if and only if Mary is driving a car. Therefore Mary is driving a car.
p. p -> q. r <-> q. Therefore q.