Anne is kind. Anne is smart. Bob is kind. Bob is quiet. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is smart. Harry is quiet. Green, quiet things are cold. All kind, blue things are cold. All smart things are blue. All blue things are big. All blue things are kind. If Anne is blue then Anne is smart.
Bob is kind.