Translate the following inference to logic notation: If it is windy, then Susan is driving a car. Susan is driving a car if and only if Robert is an electrician. Robert is not an electrician. It is windy or Susan is not driving a car. Therefore it is not windy.
p -> q. q <-> r. ~r. p or ~q. Therefore ~p.