Translate the following inference to logic notation: Mary is working or it is windy. If Mary works, then Sarah is rich. It is late if and only if Sarah is rich. If it is windy, then it is late. Therefore Sarah is rich.
p or q. p -> r. s <-> r. q -> s. Therefore r.