Life Is Not a Simulation but a Consistent Logical Theory