Translate the following inference to logic notation: If Elisabeth were a police officer, then Elisabeth is an astronaut. If Jessica were a bartender, then Susan is curious. If Richard were a mechanic, then Elisabeth is not an astronaut. If Susan were curious, then Elisabeth is an astronaut. Jessica is a bartender or Elisabeth is a police officer. Therefore Richard is not a mechanic.
p -> q. r -> s. t -> ~q. s -> q. r or p. Therefore ~t.