theorem no_mistreat
theorem no_mistreat
(logic_is_actual : LogicIsActual)
(duty_to_perfect : A DutyToPerfectMoralCharacter)
(mistreating_corrupts : A MistreatingAnimalsCorruptsMoralCharacter)
(no_mistreat_bridge : A NoMistreatBridge)
: A MustNotMistreatAnimals