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