Translate the following inference to logic notation: Barbara is a carpenter. If Jennifer were a cashier, then Robert is a scientist. If Robert were a scientist, then Jennifer is a cashier. Jennifer is not a cashier. Therefore Robert is not a scientist and Barbara is a carpenter.
p. q -> r. r -> q. ~q. Therefore ~r and p.