Bob is nice. Bob is red. Bob is young. Dave is cold. Dave is not red. Dave is rough. Dave is round. Dave is young. Erin is furry. Erin is young. Gary is not furry. Gary is rough. If something is red then it is furry. Furry things are red. All rough things are not nice. If something is nice and young then it is furry. Red, round things are rough. If Bob is not furry then Bob is cold.
Gary is not red.