Translate the following inference to logic notation: If Thomas were a doctor, then Sarah is working. Mary is not playing tennis. Karen is making tea if and only if Sarah is working. If Thomas were not a doctor, then it is late. Karen is making tea if and only if Mary is playing tennis. Therefore it is late.
p -> q. ~r. s <-> q. ~p -> t. s <-> r. Therefore t.