Bob is big. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is not white. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is rough. White things are rough. White, furry things are big. If Dave is furry and Dave is kind then Dave is white.
Bob is not white.