Translate the following inference to logic notation: If Robert cooks, then Thomas is a doctor. Jennifer is playing squash if and only if Thomas is a doctor. If it is late, then Jennifer is playing squash. It is late or Robert is cooking. Therefore Thomas is a doctor.
p -> q. r <-> q. s -> r. s or p. Therefore q.