How are they not logically proved? Life is, and by intellectually apprehending that life is, then true knowledge of its being has happened. And logic would simply state that since life is and my knowledgeable assertion that life is, then this logical statement A (life) is A (life) is logical. So it is not only scientifically true, but also doesn’t reject these logical statements that life is life: A is A.