theorem no_eat_meat
theorem no_eat_meat
(logic_is_actual : LogicIsActual)
(duty_to_perfect : A DutyToPerfectMoralCharacter)
(mistreating_corrupts : A MistreatingAnimalsCorruptsMoralCharacter)
⋯4 more premises
: A MustNotEatMeat