Translate the following inference to logic notation: If Mary were a soldier, then Charles is excited. Mary is a soldier or Mary is a taxi driver. If Barbara cooks, then Charles is excited. Barbara is cooking if and only if Mary is a taxi driver. Therefore Charles is excited.
p -> q. p or r. s -> q. s <-> r. Therefore q.