Bob is kind. Charlie is kind. Dave is big. Dave is green. Dave is kind. Harry is rough. Harry is young. If someone is kind then they are red. All red people are quiet. If someone is red and rough then they are kind. All quiet people are big. All young people are green. Green people are kind. If Bob is green and Bob is not young then Bob is not red. If Charlie is big and Charlie is rough then Charlie is quiet. If someone is rough and not kind then they are green.
Bob is quiet.