Translate the following inference to logic notation: If Thomas were a carpenter, then it is late. If Robert were an electrician, then Thomas is a carpenter. If Thomas were a carpenter, then Robert is an electrician. If it is late, then it is cloudy. Therefore if Robert were an electrician, then it is cloudy.
p -> q. r -> p. p -> r. q -> s. Therefore r -> s.