Anne is big. Anne is smart. Bob is cold. Bob is green. Bob is nice. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is young. Harry is big. Harry is green. Harry is nice. Harry is young. If Charlie is big then Charlie is green. If someone is big then they are cold.
Bob is smart.