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