Translate the following inference to logic notation: It is windy. David is reading a book or Jessica is drinking water. If David reads a book, then it is overcast. It is overcast or Jessica is not drinking water. Therefore it is windy.
p. q or r. q -> s. s or ~r. Therefore p.