Anne is big. Anne is cold. Anne is nice. Anne is red. Anne is not smart. Anne is young. Charlie is big. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Gary is smart. If Anne is not cold then Anne is red.
Anne is red.