theorem mammals_can_experience
theorem mammals_can_experience(h₁ : CNSCanExperience)(h₂ : MammalsHaveCNS): MammalsCanExperience
theorem mammals_can_experience
theorem mammals_can_experience(h₁ : CNSCanExperience)(h₂ : MammalsHaveCNS): MammalsCanExperience