Translate the following inference to logic notation: If it is windy, then Karen is poor. It is windy or it is sunny. If Karen were poor, then it is sunny. If it is sunny, then Karen is poor. Therefore Karen is poor.
p -> q. p or r. q -> r. r -> q. Therefore q.