Which of the following is not a coal product?

(1) Coke is obtained from coal by the 'destructive distillation process. So, it is a coal product.

(2) Lime is primarily manufactured by burning limestone. So, it is not a coal product.

(3) Coal tar is obtained by cooling the gas that is formed during the destructive distillation of coal to approximately ambient temperature. So, it is a coal product.

(4) Coal gas, gaseous mixture—mainly hydrogen, methane, and carbon monoxide—formed by the destructive distillation (i.e., heating in the absence of air) of bituminous coal.

So, the correct answer is- 'Lime'.