Translate the following inference to logic notation: If Richard cooks, then Mary is a sailor. Charles is bored if and only if Robert is excited. If Charles were bored, then Mary is not a sailor. If Patricia drinks water, then Mary is a sailor. Richard is cooking or Patricia is drinking water. Therefore Robert is not excited.
p -> q. r <-> s. r -> ~q. t -> q. p or t. Therefore ~s.