Translate the following inference to logic notation: Jennifer is a soldier. If Mary makes tea, then it is raining. It is not raining. If it rains, then Mary is making tea. Therefore Jennifer is a soldier and Mary is not making tea.
p. q -> r. ~r. r -> q. Therefore p and ~q.