Translate the following inference to logic notation: If it is windy, then Barbara is bored. If Barbara were bored, then it is windy. Therefore if Barbara were bored, then it is windy.
p -> q. q -> p. Therefore q -> p.