Pay attention to the error messaging. Lots of work has gone into making it as helpful as possible.\

((PvvQ)|

(

->(R&S))

|)\

P

\

(SvvP)

\

2\\\\times 1

\ Well-formed formula\

1,3->1

\ Desired conclusion:

S

\ Mute Sound\ Auto

Pay attention to the error messaging. Lots of work has gone into making it as helpful as possible. ((PQ)(R&S))