"For the predicate of an affirmative analytic judgement is already thought in the concept of the subject, of which it cannot be denied without contradiction...."

Analytic means that something is true becuase denying it raises contradiction. The example we had been using was that all bachelor's are unmarried. This is undeniable because the mere definition of bachelor is an unmarried man. Another example, boys are anatomically different from girls. This is true because research and physical evidence shows so.