Translate the following inference to logic notation: Michael is a sailor. It is snowing or it is not windy. If Joseph were a cashier, then it is windy. If Michael were a sailor, then it is snowing. Therefore it is snowing.
p. q or ~r. s -> r. p -> q. Therefore q.