Translate the following inference to logic notation: If it snows, then Thomas is driving a car. If Patricia plays tennis, then William is playing squash. William is playing squash if and only if it is snowing. Therefore if Patricia plays tennis, then Thomas is driving a car.
p -> q. r -> s. s <-> p. Therefore r -> q.