Translate the following inference to logic notation: If Thomas writes a letter, then Robert is working. It is windy. Thomas is not writing a letter. If Robert works, then Thomas is writing a letter. Therefore it is windy and Robert is not working.
p -> q. r. ~p. q -> p. Therefore r and ~q.