Anne is blue. Anne is not white. Charlie is white. Charlie is young. Dave is blue. Dave is red. Dave is rough. Dave is smart. Dave is white. Dave is young. Harry is quiet. Harry is red. Harry is smart. Harry is white. Harry is not young. If Anne is blue then Anne is rough. Red people are smart. Red people are white. All young people are red. All quiet people are rough. Young, smart people are white.
Harry is not blue.