Translate the following inference to logic notation: It is overcast or Linda is a taxi driver. Thomas is writing a letter. It is cloudy. If it is overcast, then it is not cloudy. Therefore Thomas is writing a letter and Linda is a taxi driver.
p or q. r. s. p -> ~s. Therefore r and q.