Erin is big. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Gary is big. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is smart. If something is kind then it is red. If something is quiet then it is red. All big, smart things are red. If Gary is smart and Gary is red then Gary is kind. Red, kind things are big. Kind things are quiet. If Erin is red and Erin is big then Erin is quiet. All quiet, kind things are smart.
Gary is not red.