Anne is not big. Anne is not furry. Anne is quiet. Bob is furry. Bob is kind. Bob is not quiet. Bob is rough. Erin is furry. Erin is smart. Gary is big. Gary is not furry. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. All smart things are nice. If something is nice and not big then it is smart. If something is rough and not quiet then it is furry. Kind things are rough. All rough, nice things are smart. If something is furry and nice then it is rough.
Anne is not rough.