Translate the following inference to logic notation: If Charles were a bartender, then Karen is not driving a car. If Sarah were a writer, then Karen is driving a car. Sarah is a writer. Michael is cooking if and only if Charles is a bartender. Therefore Michael is not cooking.
p -> ~q. r -> q. r. s <-> p. Therefore ~s.