Translate the following inference to logic notation: If Charles were a mechanic, then Robert is a soldier. If Robert climbs a mountain, then Charles is a mechanic. Charles is a mechanic or Michael is not reading a book. Robert is climbing a mountain or Michael is reading a book. Therefore Robert is a soldier.
p -> q. r -> p. p or ~s. r or s. Therefore q.