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