Anne is blue. Anne is nice. Anne is rough. Anne is white. Bob is big. Bob is blue. Dave is blue. Dave is white. Gary is big. Gary is nice. Big people are red. If Dave is nice then Dave is blue. If Anne is smart and Anne is red then Anne is rough. If someone is nice and blue then they are rough. All big, rough people are blue. If someone is blue and big then they are red. All white, smart people are big. If someone is rough then they are smart.
Anne is red.