theorem actual_disagreement_is_contradiction
theorem actual_disagreement_is_contradiction
(logic_is_actual : LogicIsActual)
(every : A EveryRichPersonIsImmoral)
(some_not : A SomeRichPersonIsNotImmoral)
: A False