Anne is green. Anne is not young. Bob is big. Bob is red. Charlie is cold. Charlie is red. Harry is not big. Harry is cold. Harry is kind. Harry is red. Harry is smart. If Harry is red then Harry is cold. If something is young then it is kind. Smart, green things are young. All big, red things are smart. If something is smart then it is green. All young, kind things are cold. If something is big and not smart then it is not cold.
Bob is not young.