Bob is big. Bob is green. Bob is quiet. Bob is smart. Charlie is nice. Charlie is quiet. Charlie is smart. Harry is nice. Harry is quiet. Harry is young. Smart people are green. If someone is smart then they are big. If someone is smart then they are young. All green people are smart. If Bob is big and Bob is quiet then Bob is green. If Bob is big then Bob is white. If someone is smart then they are nice. All nice people are white.
Bob is not green.