theorem animal_ag_impermissible
theorem animal_ag_impermissible
(logic_is_actual : LogicIsActual)
(ag_unness : UnnecessaryAg)
(ag_enslaves : AgEnslavesMammals)
⋯5 more premises
: ¬ A (Permissible AnimalAg21Cent)