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