Translate the following inference to logic notation: If Mary were a musician, then it is snowing. If it snows, then Mary is a musician. It is not snowing. It is late or Patricia is not a police officer. Mary is a musician if and only if it is late. Therefore Patricia is not a police officer.
p -> q. q -> p. ~q. r or ~s. p <-> r. Therefore ~s.