Translate the following inference to logic notation: Thomas is curious if and only if Robert is taking a plane. If Thomas were curious, then Jennifer is a cashier. Robert is taking a plane or Michael is not making tea. Therefore if Michael makes tea, then Jennifer is a cashier.
p <-> q. p -> r. q or ~s. Therefore s -> r.