Step 1: Try assuming R tells the truth.
If R is truthful, then (i) Q is not a liar, and (ii) the box has some red and some white (at least one of each).
Step 2: Consequences for Q and P.
Since Q is truthful, both parts of Q’s statement must be true: P is a liar and the counts are \((3\,\text{red}, 2\,\text{white})\). Those counts also satisfy R’s “some red and some white”.
Step 3: Check S.
S says “R is not a liar.” If our assumption (R truthful) holds, S’s statement is also true.
Step 4: Count liars.
Under this assignment: \(P\) is false (because numbers are \(3\neq2\)), while \(Q,R,S\) are true. Exactly one liar → \(⇒\) consistent.
Step 5: Conclude.
Hence, the only liar is P.
Final Answer:
\[
\boxed{\text{P is the liar}}
\]