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