Anne is big. Anne is young. Gary is big. Gary is furry. Gary is kind. Gary is young. Harry is big. Harry is kind. Harry is red. Harry is young. If Gary is young and Gary is furry then Gary is red.
Gary is not red.