Anne is blue. Anne is rough. Dave is big. Dave is smart. Erin is big. Erin is blue. Erin is red. Erin is rough. Erin is smart. Erin is white. Gary is big. Gary is smart. Cold, red people are white. Blue people are smart. All rough people are big.
Dave is not big.