Bob is young. Bob is round. Bob is rough. Bob is red. Bob is blue. Eric is blue. Fred is kind. Fred is green. Fred is cold. Gary is cold. Gary is big. If someone is red and kind and cold then they are nice. If someone is rough and young and red then they are blue. If someone is rough and blue then they are cold. If someone is big and kind and young then they are nice. If someone is green then they are cold. If someone is rough and kind and nice then they are green. If someone is rough and blue then they are kind.
Gary is not green.