Anne is not big. Anne is white. Bob is red. Bob is smart. Gary is big. Gary is not rough. Harry is big. Harry is green. Harry is not white. Harry is young. If Anne is big and Anne is not white then Anne is rough. All smart, rough people are not green. Red, smart people are green. All green people are not white. If Harry is green and Harry is young then Harry is red. White, rough people are not young. If someone is not big then they are young. If someone is not green then they are not red.
Bob is not smart.