Translate the following inference to logic notation: If it is late, then Susan is taking a plane. Jennifer is a cashier or Michael is not reading a book. Elisabeth is bored or Michael is reading a book. Susan is taking a plane if and only if Elisabeth is bored. If Jennifer were a cashier, then it is late. Therefore Susan is taking a plane.
p -> q. r or ~s. t or s. q <-> t. r -> p. Therefore q.