SOLUTION: Regular Proof: Cv(~B*~A) ~(~E*D) / (B>C)*(D>E)

SOLUTION: Regular Proof: Cv(~B~A) ~(~ED) / (B>C)*(D>E)

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