Translate the following inference to logic notation: If Thomas were excited, then it is cold. Thomas is excited or John is not sleeping. If Elisabeth works, then John is sleeping. Therefore if Elisabeth works, then it is cold.
p -> q. p or ~r. s -> r. Therefore s -> q.