Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is smart. Bob is nice. Bob is red. Bob is smart. Erin is not cold. Erin is not red. If something is green and not smart then it is white. If something is not smart and not white then it is not nice.
Anne is not rough.