Translate the following inference to logic notation: If Richard were a poet, then it is windy. It is cloudy or Jessica is not a lawyer. If it is cloudy, then Richard is a poet. Jessica is a lawyer or Linda is an artist. It is windy or Linda is not an artist. Therefore it is windy.
p -> q. r or ~s. r -> p. s or t. q or ~t. Therefore q.