Translate the following inference to logic notation: If it is sunny, then Charles is drinking water. If Thomas plays squash, then Mary is a scientist. If Charles drinks water, then Mary is happy. If Mary were a scientist, then it is sunny. Therefore if Thomas plays squash, then Mary is happy.
p -> q. r -> s. q -> t. s -> p. Therefore r -> t.