theorem actual_everyone_immoral_confirms_all_rich_are_immoral
theorem actual_everyone_immoral_confirms_all_rich_are_immoral
(logic_is_actual : LogicIsActual)
(everyone : A EveryPersonIsImmoral)
: A EveryRichPersonIsImmoral