Translate the following inference to logic notation: If Elisabeth plays tennis, then Patricia is cooking. Elisabeth is playing tennis or Patricia is writing a letter. If Joseph were happy, then Patricia is cooking. Barbara is playing a game. If Patricia writes a letter, then Joseph is happy. Therefore Patricia is cooking and Barbara is playing a game.
p -> q. p or r. s -> q. t. r -> s. Therefore q and t.