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