Charlie is blue. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Dave is blue. Dave is rough. Gary is kind. Gary is nice. Gary is red. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is rough. If something is nice then it is white. If something is rough and kind then it is quiet. If Charlie is red and Charlie is nice then Charlie is blue. If something is white and rough then it is blue. Rough, nice things are white. White things are quiet. All quiet things are kind. If something is nice and blue then it is white.
Charlie is not red.