Translate the following inference to logic notation: If Robert were a cashier, then it is windy. If it is windy, then Joseph is playing tennis. It is overcast or Robert is a cashier. It is overcast if and only if Joseph is playing tennis. Therefore Joseph is playing tennis.
p -> q. q -> r. s or p. s <-> r. Therefore r.