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