Translate the following inference to logic notation: If it is overcast, then it is late. If Linda were a scientist, then it is late. Robert is writing a letter or Thomas is not playing squash. Thomas is playing squash or Linda is a scientist. If Robert writes a letter, then it is overcast. Therefore it is late.
p -> q. r -> q. s or ~t. t or r. s -> p. Therefore q.