Provide a derivation for the following entailment PP Q Z SZ

Provide a derivation for the following entailment:

P,(P Q) (Z S),(Z P) W,(W W) (L M), L O, M O, ¬(O P) l- U

Solution

Suppose we have this question,
P Q
P (Q ¬P)
¬P

So, we can do this by below method :

So, By referring the above one we can solve this also.