Dave is rough. Dave is nice. Dave is cold. Eric is young. Eric is red. Eric is green. Fred is rough. Fred is cold. Harry is red. Harry is nice. If someone is cold and rough then they are round. If someone is nice and rough then they are red. If someone is rough and round then they are nice. If someone is cold and young then they are blue.
Fred is not red.