Anne is furry. Anne is green. Bob is rough. Bob is smart. Bob is young. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is smart. All green people are furry. Cold people are rough.
Bob is smart.