Translate the following inference to logic notation: If Jessica plays tennis, then Charles is a taxi driver. David is sleeping or Jessica is playing tennis. If David sleeps, then Charles is a taxi driver. Barbara is not drinking water. Charles is a carpenter if and only if Barbara is drinking water. Therefore Charles is not a carpenter and Charles is a taxi driver.
p -> q. r or p. r -> q. ~s. t <-> s. Therefore ~t and q.