Translate the following inference to logic notation: If Joseph takes a plane, then David is excited. Jennifer is not driving a car. If Robert makes tea, then David is excited. If it is windy, then Jennifer is driving a car. Robert is making tea or Joseph is taking a plane. Therefore it is not windy and David is excited.
p -> q. ~r. s -> q. t -> r. s or p. Therefore ~t and q.