• From two true statements we infer that a third statement is true.