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