Translate the following inference to logic notation: If David were a soldier, then it is windy. Charles is a politician or David is a taxi driver. If David were a taxi driver, then it is windy. Charles is not a politician or David is a soldier. Therefore it is windy or Mary is reading a book.
p -> q. r or s. s -> q. ~r or p. Therefore q or t.