Anne is kind. Anne is not nice. Anne is quiet. Anne is smart. Bob is big. Bob is not smart. Charlie is kind. Charlie is nice. Gary is big. Gary is kind. Gary is quiet. Gary is smart. If something is kind and not big then it is cold. All nice, cold things are not smart.
Anne is cold.