Translate the following inference to logic notation: It is snowing or Patricia is not sleeping. If it snows, then Robert is a cashier. It is not snowing. If Robert were a cashier, then Patricia is sleeping. Therefore Patricia is not sleeping.
p or ~q. p -> r. ~p. r -> q. Therefore ~q.