Translate the following inference to logic notation: If Karen cooks, then Jessica is a writer. If it is windy, then Jessica is a writer. It is windy or it is late. If it is late, then Karen is cooking. Therefore Jessica is a writer.
p -> q. r -> q. r or s. s -> p. Therefore q.