A shared instance of animal and white rules out disjointness.