Anne is not nice. Charlie is green. Charlie is quiet. Dave is red. Harry is green. Harry is nice. Harry is not young. If something is white and young then it is not green. All nice things are red. White, green things are nice. All quiet things are white. All quiet, young things are green. Young things are not white. If something is white and not young then it is quiet. If Charlie is young and Charlie is not quiet then Charlie is not nice.
Charlie is not nice.