Official solution
given statement says
"if p and q both happen then p and q and r will happen"
it simply implies "If p and q both happen then 'r' too will happen"
i.e.
"if p and q both happen then r and p too will happen
i.e.
(p \[\wedge\] q) \[\Rightarrow\] (r \[\wedge\] p)