theorem denying_ai_consciousness_requires_one_of_two_beliefs
theorem denying_ai_consciousness_requires_one_of_two_beliefs
(logic_is_actual : LogicIsActual)
(skeptic : A AICanNeverBeConscious)
: A ConsciousnessLinkedToCapabilitiesAIWillNeverPossess ∨
      A (¬ SomeCapabilitiesSufficeForConsciousness)