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