Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is round. Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is round. Fiona is blue. Fiona is green. Fiona is nice. Fiona is round. All green people are rough. Green, cold people are kind. If someone is kind then they are green. All rough people are kind. Kind, cold people are nice. If someone is nice and round then they are rough.
Charlie is not nice.