Translate the following inference to logic notation: If Charles were bored, then Barbara is a janitor. Jennifer is not curious. Barbara is a janitor if and only if Jennifer is curious. Michael is driving a car if and only if Charles is bored. Therefore Michael is not driving a car.
p -> q. ~r. q <-> r. s <-> p. Therefore ~s.