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