Bob is green. Bob is nice. Charlie is red. Dave is kind. Dave is not nice. Dave is quiet. Dave is red. Dave is smart. Fiona is kind. Fiona is nice. Fiona is red. Fiona is young. If someone is quiet and not young then they are not green.
Charlie is not young.