Anne is nice. Charlie is nice. Charlie is smart. Fiona is not furry. Gary is green. Gary is kind. Gary is smart. If someone is nice then they are kind. If Fiona is nice and Fiona is not furry then Fiona is young. If Charlie is smart and Charlie is kind then Charlie is young. If someone is young and not furry then they are smart. If Fiona is rough and Fiona is nice then Fiona is smart. All green, nice people are not young. If someone is not smart then they are kind. If Anne is nice and Anne is not kind then Anne is not rough.
Gary is not kind.