Anne is quiet. Anne is rough. Anne is smart. Anne is white. Dave is not big. Dave is green. Dave is quiet. Dave is rough. Dave is smart. Fiona is kind. Fiona is rough. Gary is rough. If Gary is smart and Gary is not quiet then Gary is rough. If someone is not quiet then they are not smart. If someone is rough and not quiet then they are white. If someone is big then they are smart. If Anne is quiet then Anne is white. If someone is not quiet then they are white.
Dave is not rough.