Options A, B and C are correct. D is not correct because from a given instance we cannot conclusively say that a Functional Dependency exists though we may be able to conclusively prove that a functional dependency is violated. This is because there can be other instances where the functional dependency is violated. (This is similar to a counter example proving a statement FALSE but an example does not prove a statement TRUE)
So, the correct answer is $A;B;C$