Anne is quiet. Charlie is cold. Charlie is furry. Charlie is green. Charlie is not quiet. Charlie is smart. Charlie is young. Fiona is cold. Fiona is young. Gary is green. Gary is red. All smart people are young. If someone is green then they are furry. If someone is furry then they are smart. If Fiona is young and Fiona is not red then Fiona is not quiet. All young, smart people are cold. If someone is not red then they are green.
Gary is not smart.