Anne is cold. Anne is furry. Anne is not rough. Anne is smart. Charlie is furry. Charlie is not kind. Charlie is nice. Charlie is rough. Fiona is not nice. Gary is cold. Gary is furry. Gary is not nice. If Gary is not cold then Gary is nice. If something is not rough then it is not nice. If Gary is cold and Gary is not nice then Gary is smart.
Anne is nice.