You flip between four concepts willy-nilly here:

1. Human life exists

2. Carbon-based life exists

3. Intelligent life exists

4. Life exists

The fourth, more general property has little to do with the anthropic principle. It is a consequence of the Roger's Theorem, which is a corollary to Kleen's Recursion Theorem ( https://en.wikipedia.org/wiki/Kleene%27s_recursion_theorem ) which is true in any space-time continuum where it is possible to construct arbitrarily complex machines to compute arithmetic.