Bob is white. Charlie is cold. Charlie is green. Charlie is red. Charlie is smart. Charlie is not white. Gary is red. Gary is round. Gary is smart. Harry is green. If Bob is smart then Bob is not round. All red, nice things are not green.
Charlie is nice.