Use propositional logic to prove that the argument is valid.

13. (A or B) and (B => C ) => (A and C )