For the following, use tableaux to either show that the inference is valid or invalid. If it is invalid, use the tree to construct a counter-example.

pq,q(rs),s(pq)(sq)p