theorem actual_dolly_parton_shows_all_rich_are_not_immoral
theorem actual_dolly_parton_shows_all_rich_are_not_immoral
(logic_is_actual : LogicIsActual)
(h : A DollyPartonIsRichAndNotImmoral)
: A SomeRichPersonIsNotImmoral