Translate the following inference to logic notation: If it is windy, then it is not overcast. It is windy or Robert is a musician. Mary is a doctor. It is overcast. Therefore Robert is a musician and Mary is a doctor.
p -> ~q. p or r. s. q. Therefore r and s.