Anne is green. Anne is rough. Bob is not nice. Bob is red. Charlie is green. Charlie is nice. Charlie is not quiet. Charlie is not rough. Charlie is smart. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. If something is not smart then it is red. If something is red then it is furry.
Anne is not furry.