Bob is nice. Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Dave is furry. Dave is kind. Dave is rough. Harry is green. Harry is red. Big people are kind. Rough, red people are furry. If Harry is kind then Harry is nice. All green, kind people are big. Furry, big people are red. If Dave is green and Dave is furry then Dave is big.
Harry is not green.