Anne is big. Anne is furry. Anne is rough. Anne is smart. Anne is white. Charlie is green. Charlie is white. Dave is big. Dave is furry. Gary is rough. Gary is smart. Gary is white. All big, furry people are rough. If Gary is smart then Gary is white.
Charlie is not smart.