Translate the following inference to logic notation: If Elisabeth were fast, then it is windy. If it is windy, then Robert is not an artist. Elisabeth is fast or it is cold. Robert is an artist. Therefore it is cold.
p -> q. q -> ~r. p or s. r. Therefore s.