Anne is nice. Bob is big. Bob is not green. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is not white. Charlie is big. Charlie is green. Dave is big. Dave is green. Dave is red. Dave is rough. Dave is smart. Dave is not white. If someone is red then they are big. If someone is not white then they are nice. If Dave is white and Dave is big then Dave is green.
Anne is not big.