Bob is big. Bob is kind. Charlie is young. Fiona is green. Fiona is kind. Fiona is white. Harry is blue. If something is young and big then it is green. If Charlie is kind and Charlie is green then Charlie is white. If something is smart and white then it is kind. If something is kind then it is smart. Kind things are green. All big things are young. If something is big and young then it is smart. All kind, smart things are big.
Bob is not green.