Translate the following inference to logic notation: If it is sunny, then Michael is a sailor. If Barbara takes a plane, then Michael is not a sailor. It is sunny. Therefore Barbara is not taking a plane or Robert is a mechanic.
p -> q. r -> ~q. p. Therefore ~r or s.