Anne is nice. Anne is quiet. Dave is big. Dave is smart. Erin is big. Erin is red. Erin is rough. Erin is young. Gary is big. Gary is rough. If Dave is red then Dave is nice. Big people are rough. If Gary is smart then Gary is not rough. If someone is young and rough then they are red. If someone is quiet and big then they are red. If someone is smart and rough then they are young. If someone is quiet then they are young. Nice, red people are quiet.
Anne is not nice.