Charlie is young. Charlie is red. Charlie is kind. Charlie is green. Dave is round. Dave is red. Dave is kind. Eric is young. Eric is nice. Fred is blue. If someone is round and nice then they are red. If someone is blue and young and kind then they are rough. If someone is kind and red and blue then they are cold. If someone is red then they are blue. If someone is cold and blue and round then they are green.
Charlie is not rough.