Bob is smart. Dave is rough. Gary is smart. If someone is furry and kind then they are smart. All kind, green people are white. If Gary is kind then Gary is furry. All big, smart people are green. White, smart people are rough. All smart people are big.
Dave is furry.