Charlie is round. Dave is red. Erin is round. Gary is green. Nice, big people are smart. If someone is not round then they are not smart. If someone is nice then they are cold. If Dave is nice and Dave is green then Dave is big. If Gary is red then Gary is big. If someone is round then they are nice. If someone is nice then they are big. If Charlie is red and Charlie is not big then Charlie is cold.
Gary is red.