SOLUTION: Parick Hurley edition 11 Logic I, using first 13 rules of implication and replacement
1. [~(~E.~N)horseshoe T
2. G horseshoe (NvE) / G horseshoe T
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