Translate the following inference to logic notation: If it is late, then Joseph is rich. It is late if and only if it is snowing. It is snowing if and only if Joseph is rich. Therefore if it is late, then it is snowing.
p -> q. p <-> r. r <-> q. Therefore p -> r.