Если все есть, но отсутствует AD - значит, что из A следует C, а D практически всегда B.