Proof by Inference: Solving p-->s w/ Rules of Inference

[ghostskwid]

Homework Statement

Asked to either prove or make a counter example:

p ----> q
(q and r) ----> s
r
-------------------------------
p------> s

Homework Equations

The Attempt at a Solution

I am having trouble making the step to the law of syllogism I know I need to solve this. Can anyone help me with stepping this our using the rules of inference. I would greatly appreciate this thanks.

 

[CompuChip]

Usually my first instinct when I need to prove an implication is to assume the precedent and prove the conclusion. I.e. in this case, try to prove

p \implies q
(q \wedge r) \implies s
r
p
-------------------------------
s

I think (hope) the next step is more obvious when put like this.

 

[ghostskwid]

Thanks that, got the proof based on that info. :D