Translate the following inference to logic notation: If William were a writer, then it is snowing. If Robert were an artist, then William is a writer. Robert is an artist. Therefore it is snowing or Susan is taking a plane.
p -> q. r -> p. r. Therefore q or s.