Anne is big. Anne is red. Anne is smart. Anne is young. Bob is big. Bob is cold. Bob is red. Bob is smart. Bob is white. Charlie is big. Charlie is cold. Charlie is green. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. All red, smart people are big. Cold, big people are red. All red people are big. Smart, red people are young. If someone is smart then they are young. Young, white people are red. All red people are big. If someone is young then they are green.
Anne is not green.