Anne is green. Anne is red. Anne is rough. Anne is round. Anne is white. Bob is rough. Dave is green. Dave is young. Harry is green. Harry is red. All kind, rough people are red. If Dave is round then Dave is young. Kind, green people are red. If someone is green then they are kind. Red people are round. If someone is kind and red then they are green. All round, green people are young. If Dave is young then Dave is kind.
Harry is not young.