Charlie is big. Charlie is cold. Charlie is red. Dave is big. Dave is red. Dave is young. Gary is nice. Gary is not red. Gary is young. Harry is cold. Harry is nice. Harry is young. Red people are nice. All nice people are round. If Dave is not nice then Dave is not furry.
Harry is not red.