A genuine counter-example to an inference rule must be defined in terms of presence ranges, not abse...