SOLUTION: ∼S⊃(N⊃T) ~S∙(R⊃S) (~M∙~N)⊃(~Ov~P) (Qv~R)⊃~M (~R∙~S)⊃(~~O∙~T) /~P

Algebra.Com
Eval error:

ModPerl::Util::exit: (120000) exit was called at /home/ichudov/project_locations/algebra.com/templates/Algebra/Questions/MoreLikeThis.pm line 159

SOLUTION: &#8764;S&#8835;(N&#8835;T) ~S&#8729;(R&#8835;S) (~M&#8729;~N)&#8835;(~Ov~P) (Qv~R)&#8835;~M (~R&#8729;~S)&#8835;(~~O&#8729;~T) /~P