Translate the following inference to logic notation: It is raining. Joseph is climbing a mountain. If Jessica were bored, then Joseph is not climbing a mountain. Therefore Jessica is not bored and it is raining.
p. q. r -> ~q. Therefore ~r and p.