Anne is red. Anne is rough. Charlie is smart. If someone is smart and nice then they are blue. Big, smart people are young. All smart, big people are red. All rough, red people are nice. If Anne is rough and Anne is nice then Anne is big. All nice, rough people are blue. If someone is nice and rough then they are smart. If someone is nice then they are rough.
Anne is red.