Anne is cold. Anne is young. Bob is green. Bob is quiet. Fiona is green. Fiona is quiet. Gary is quiet. If something is furry then it is blue. All quiet things are red. If something is green then it is furry. Young, red things are green. All cold things are green. If Gary is red and Gary is quiet then Gary is young. If something is green and not young then it is furry.
Gary is not green.