Translate the following inference to logic notation: If it is windy, then it is cold. Mary is not a cashier. Barbara is running. It is cold if and only if Mary is a cashier. Therefore it is not windy and Barbara is running.
p -> q. ~r. s. q <-> r. Therefore ~p and s.