Anne is big. Anne is blue. Anne is nice. Anne is red. Anne is rough. Anne is not young. Bob is big. Bob is smart. Charlie is big. Charlie is blue. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. If someone is smart and not nice then they are young. If someone is rough and not nice then they are smart. If someone is not red then they are blue. Red people are blue. Red people are blue. If someone is red and not blue then they are not nice. If someone is young and not blue then they are smart. If someone is rough and not blue then they are big.
Anne is not smart.