Translate the following inference to logic notation: If Joseph were poor, then Robert is a soldier. Robert is a soldier or Susan is not a taxi driver. Susan is a taxi driver or Joseph is poor. If it is late, then Robert is not a soldier. Therefore it is not late.
p -> q. q or ~r. r or p. s -> ~q. Therefore ~s.