SOLUTION: 1. (~(~Z v H) ⊃ ~T) 2. ((S ⊃ Z) ⊃ ~H) ∴ (Z ⊃ ~T) what's the next steps for this?

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