Full Idea
7+5=12 is not an analytic proposition, for I do not think the number 12 either in the representation of 7 nor in that of 5 nor in the representation of the combination of the two.
Gist of Idea
7+5=12 is not analytic, because 12 is not contained in 7 or 5 or their combination
Source
Immanuel Kant (Critique of Pure Reason [1781], B205/A164)
Book Reference
Kant,Immanuel: 'Critique of Pure Reason', ed/tr. Guyer,P /Wood,A W [CUO 1998], p.288
A Reaction
Unconvincing. The third option sounds analytic. Present it as: if you start at 7 and move 5 places along the natural number sequence, you have arrived at the answer (so find out its name). Or rename '12' as 'sevenplusfive'?