Bob is blue. Charlie is green. Dave is blue. Harry is rough. All rough, green things are blue. If something is red and blue then it is big. If Dave is furry then Dave is red. Green, big things are nice. If Dave is blue and Dave is green then Dave is furry. If something is rough then it is nice. If Harry is not blue then Harry is not green. If something is not blue then it is furry.
Harry is not nice.