You're right but as I've stated before, sentience and consciousness are different terms, and sentience has a definition in which the idea that animals are sentient isn't all that controversial. Not a mathematical axiom sure, but it all depends on what you mean by sentience, and I'm going by the classic definition.