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