Bob is cold. Bob is young. Charlie is big. Charlie is furry. Charlie is nice. Charlie is smart. Erin is furry. Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is young. All young things are smart. Smart, red things are furry. Big things are cold. If Erin is smart then Erin is big. If something is smart and cold then it is nice. Furry, big things are smart. If Erin is cold then Erin is smart. If Gary is furry then Gary is cold. Furry things are young.
Gary is red.