Dave is furry. Dave is round. Gary is big. Gary is kind. Gary is red. Gary is round. Gary is smart. All big, kind things are rough. All big, rough things are round. If something is round then it is big.
Gary is not red.