Translate the following inference to logic notation: If Jessica were bored, then Linda is a mechanic. Jessica is bored and it is raining. Michael is cooking. Therefore Linda is a mechanic and Michael is cooking.
p -> q. p and r. s. Therefore q and s.