Bob is nice. Charlie is big. Charlie is furry. Charlie is green. Charlie is rough. Charlie is white. Fiona is big. Fiona is furry. Harry is big. Harry is rough. If Bob is green and Bob is white then Bob is furry. All white, big things are nice. If Harry is rough and Harry is nice then Harry is white. Nice things are young. All young things are white. If Bob is rough and Bob is big then Bob is young. If Bob is rough then Bob is big. Nice, white things are rough. All rough, white things are green.
Charlie is not young.