Translate the following inference to logic notation: If Jennifer were a soldier, then Joseph is a carpenter. Jennifer is a soldier or it is raining. For all x, x will make tea. If it rains, then Joseph is a carpenter. Therefore Joseph is a carpenter and Jessica is making tea.
p -> q. p or r. forall x: P(x). r -> q. Therefore q and P(a).