Anne is young. Dave is big. Erin is blue. Erin is red. Gary is red. Gary is smart. Gary is young. If Anne is rough then Anne is blue. If someone is big then they are smart. If Anne is round and Anne is blue then Anne is red. If someone is blue then they are round. If someone is young then they are rough. If Anne is blue and Anne is red then Anne is smart.
Dave is not blue.