Charlie is red. Dave is nice. Erin is smart. Gary is nice. If something is blue and red then it is round. White things are cold. All red, cold things are smart. Nice, smart things are red. All red things are white. Nice things are smart.
Erin is white.