Anne is quiet. Anne is young. Charlie is quiet. Dave is green. Dave is nice. Dave is rough. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is young. If something is quiet and green then it is cold. If something is rough and cold then it is nice. If something is quiet then it is nice. If something is cold then it is rough. All quiet things are green. All young things are quiet.
Dave is not young.