Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is round. Bob is smart. Bob is white. Erin is cold. Erin is green. Erin is round. Erin is smart. Erin is white. Gary is big. Gary is blue. Gary is green. Gary is white. If something is big and not round then it is smart. If something is smart and not green then it is not cold. If something is white and not cold then it is smart.
Bob is not green.