Anne is big. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is young. Bob is big. Bob is red. Bob is rough. Bob is smart. Bob is white. Charlie is red. Charlie is rough. Harry is green. Harry is red. Harry is young. Big things are red. If something is smart then it is rough.
Anne is not red.