Minimal amd dependency defining a contradiction (always false)