Anne is kind. Bob is red. Dave is kind. Harry is kind. If something is red then it is green. If something is red and green then it is smart. If Dave is smart and Dave is green then Dave is big. Smart, quiet things are green. Smart, green things are quiet. Rough, red things are quiet. All smart things are quiet. Rough things are kind.
Bob is green.