Translate the following inference to logic notation: If Elisabeth were excited, then William is a lawyer. It is cold or William is not a lawyer. Thomas is sad or Elisabeth is excited. If Thomas were sad, then it is cold. Therefore it is cold.
p -> q. r or ~q. s or p. s -> r. Therefore r.