It might be that the counter example does not specify some input variables if they are not used in the formula.