Translate the following inference to logic notation: It is overcast if and only if it is late. It is not late. If Barbara were curious, then Patricia is happy. If Patricia were happy, then it is overcast. Therefore Barbara is not curious.
p <-> q. ~q. r -> s. s -> p. Therefore ~r.