Bob is kind. Bob is nice. Charlie is blue. Charlie is red. Charlie is smart. Erin is blue. Erin is kind. Erin is red. Erin is smart. Gary is red. If something is kind then it is blue. If Erin is nice and Erin is big then Erin is kind. Smart, big things are red.
Gary is not blue.