Anne is kind. Anne is quiet. Dave is red. Dave is smart. Fiona is quiet. Fiona is smart. Gary is blue. Gary is green. Gary is red. Gary is young. All quiet, red things are not smart. If Gary is not green then Gary is not kind. If Gary is quiet then Gary is blue. Quiet things are smart. Quiet things are not red. If something is young and not green then it is red. If something is blue and not red then it is not green. If something is not smart then it is young.
Gary is not young.