Charlie is cold. Charlie is nice. Charlie is red. Charlie is not round. Charlie is smart. Dave is smart. Erin is cold. Erin is nice. Erin is round. Erin is smart. If Erin is red then Erin is smart. If someone is not kind then they are red. If someone is smart and blue then they are not cold. If someone is red and not cold then they are blue. If someone is not nice then they are red. If Erin is not blue then Erin is red.
Charlie is round.