Translate the following inference to logic notation: Robert is an astronaut or Thomas is driving a car. If Thomas drives a car, then James is making tea. If Robert were an astronaut, then James is making tea. James is not making tea. Therefore Michael is a cashier.
p or q. q -> r. p -> r. ~r. Therefore s.