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