theorem some_ai_will_be_conscious
theorem some_ai_will_be_conscious
(logic_is_actual : LogicIsActual)
(linked : A SomeCapabilitiesSufficeForConsciousness)
(ai_will_possess : A AIWillPossessCapabilitiesLinkedToConsciousness)
: A SomeAIWillBeConscious