Bob is red. Bob is smart. Bob is young. Charlie is green. Charlie is red. Charlie is young. Fiona is nice. Fiona is red. Harry is cold. Harry is green. Harry is kind. Harry is young. If Fiona is young then Fiona is cold. If something is kind then it is young. If something is green and cold then it is smart. If something is young and cold then it is nice. Cold things are green. All smart things are nice. If something is red then it is kind. If something is cold and smart then it is young. If Charlie is smart and Charlie is cold then Charlie is nice.
Bob is not green.