Translate the following inference to logic notation: Susan is sad if and only if it is raining. Patricia is not happy. Charles is not an electrician or it is raining. Charles is an electrician or Patricia is happy. Therefore Susan is sad.
p <-> q. ~r. ~s or q. s or r. Therefore p.