Bob is not blue. Bob is not green. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. If Charlie is green then Charlie is smart. If Charlie is kind and Charlie is rough then Charlie is green. Smart, rough people are green. If Charlie is green and Charlie is not rough then Charlie is quiet. If someone is smart and not rough then they are blue. Green people are not blue. If Bob is blue and Bob is not red then Bob is smart. If someone is green and not smart then they are kind.
Charlie is rough.