The Logic of Irreducible Complexity

 
Ross Thomas (HALFaCANUCK) uses predicate calculus to analyze whether the following argument,

the irreducibly complex nature of the eye proves God's existence

is logically correct. [Irreducible illogicality] The answer will surprise you.

P.S. Don't tell the IDiots about this one!