Anne is blue. Anne is red. Bob is big. Bob is cold. Bob is young. Erin is big. Gary is blue. Gary is cold. Gary is red. Gary is young. Big people are rough. Cold people are blue. Big people are smart. All big, rough people are cold. Big people are smart. Rough, blue people are young. If someone is young then they are red. Young, smart people are blue.
Anne is not big.