Translate the following inference to logic notation: If Susan drives a car, then Thomas is drinking water. It is cold if and only if Barbara is playing squash. If it is cold, then Susan is driving a car. For all x, if y drinks water, then y is a soldier. Therefore if Barbara plays squash, then Thomas is a soldier.
p -> P(a). q <-> r. q -> p. forall x: P(x) -> Q(x). Therefore r -> Q(a).