Translate the following inference to logic notation: If it is windy, then Karen is drinking water. It is windy if and only if Barbara is a carpenter. Barbara is a carpenter. Therefore Karen is drinking water.
p -> q. p <-> r. r. Therefore q.