Anne is nice. Anne is smart. Anne is young. Charlie is furry. Charlie is red. Charlie is round. Fiona is furry. Fiona is kind. Fiona is round. Fiona is young. Gary is not furry. Gary is kind. Gary is red. Gary is round. Gary is not smart. Gary is young. If Charlie is red and Charlie is not young then Charlie is nice. If something is smart and red then it is not round. If something is not round then it is nice.
Gary is not nice.