If a counter-example is restricted to presence ranges only, inference rules become unfalsifiable in ...