Anne is big. Anne is rough. Anne is smart. Anne is white. Dave is furry. Dave is red. Dave is rough. Dave is white. Gary is not smart. Gary is white. Harry is big. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is white. If Harry is white then Harry is furry. Rough things are red. If something is white and not smart then it is furry. All red, quiet things are big. If something is red then it is quiet. Furry, white things are rough. If something is red and furry then it is rough. If something is not red then it is quiet. If something is quiet and not big then it is rough.
Gary is red.