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