Translate the following inference to logic notation: If David goes running, then Robert is playing tennis. If Robert plays tennis, then Thomas is excited. Charles is not sad. Charles is sad if and only if Thomas is excited. If Thomas were excited, then David is running. Therefore Robert is not playing tennis.
p -> q. q -> r. ~s. s <-> r. r -> p. Therefore ~q.