Translate the following inference to logic notation: Karen is playing tennis if and only if it is windy. Charles is not a doctor. If Karen plays tennis, then Charles is a doctor. Therefore it is not windy or John is reading a book.
p <-> q. ~r. p -> r. Therefore ~q or s.