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