Anne is smart. Dave is round. Gary is blue. Harry is rough. If Gary is big then Gary is not round. All blue people are nice. If someone is kind and not rough then they are smart. If someone is round and blue then they are big. All blue people are big. If Dave is nice then Dave is blue. If Anne is round and Anne is rough then Anne is smart. If someone is kind and not smart then they are blue.
Anne is rough.