SOLUTION: (~B ∨ E) ⊃ (C ⊃ G) (C ∨ D) ⊃ (B ⊃ F) B ∨ C ~B / F ∨ G

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