Anne is green. Anne is kind. Anne is smart. Anne is young. Bob is furry. Bob is not green. Bob is nice. Bob is quiet. Bob is smart. Bob is young. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Dave is young. If Dave is young and Dave is kind then Dave is smart. If Dave is smart then Dave is quiet. If something is nice and green then it is not furry. If something is smart and not kind then it is quiet. If something is not furry then it is quiet. All green things are nice.
Anne is not furry.