I would suggest a combination of the second and the third: construct your counterexample (to the lemma, not the theorem) in simple steps, eschewing abuse of notations, and showing where their proof would fail under both (each?) rigorous interpretation(s) of their notation if attempted to be applied to the counterexample.