"An intelligent designer is necessary for the origin of life from non-life."
The above statement involves:
1.) No necessary infinite regression of designers- It does not also require the designer to themself also have an origin from non-life (and thus require their own designer, ad infinitum). For example there is nothing in the above that would also exclude the possibility of the existence of an eternally existing designer (which of course would have no origin from non-life).
2.) No required self-refutation- It does not also require the existence of some life that has an origin from non-life without a designer, since it doesn't require the designer to even have an origin from non-life at all.
If no one disagrees with the logicical status of this first simple ID statement, I will proceed to move on to list other logically consistent theories of ID.