Charlie is nice. Charlie is red. Gary is green. Gary is kind. Gary is not nice. Gary is quiet. Gary is red. Gary is round. Gary is smart. Harry is quiet. Harry is round. Harry is smart. If Gary is round then Gary is quiet. If Gary is nice and Gary is green then Gary is red. If Gary is green then Gary is kind. If someone is green and not nice then they are kind. If Harry is nice then Harry is red. If someone is not quiet then they are round. If someone is not kind then they are smart. If someone is not nice and not round then they are smart.
Charlie is not red.