Translate the following inference to logic notation: If it is windy, then Robert is sad. If Sarah were a poet, then Elisabeth is a scientist. Joseph is not a server. If Robert were sad, then Sarah is a poet. Joseph is a server if and only if Elisabeth is a scientist. Therefore it is not windy.
p -> q. r -> s. ~t. q -> r. t <-> s. Therefore ~p.