Anne is kind. Anne is rough. Anne is round. Anne is smart. Anne is white. Charlie is kind. Charlie is quiet. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Gary is white. All quiet, smart people are white. Smart people are white. If Anne is quiet and Anne is not white then Anne is smart.
Charlie is rough.