Translate the following inference to logic notation: Robert is a soldier or it is not cold. If Robert were a soldier, then Karen is an artist. If Karen were an artist, then it is cold. Therefore if Robert were a soldier, then it is cold.
p or ~q. p -> r. r -> q. Therefore p -> q.