Bob is red. Bob is smart. Charlie is nice. Charlie is red. Erin is green. Gary is furry. Gary is green. Gary is red. Gary is not rough. Gary is smart. White, green things are furry. If something is green and smart then it is nice. If something is red then it is nice. All smart things are white. If something is nice then it is furry. Rough things are green. All furry things are smart. Green things are red. If something is furry and not white then it is green.
Bob is not green.