Anne is nice. Anne is red. Dave is white. Gary is furry. Gary is green. Gary is quiet. Harry is furry. Harry is green. Harry is red. Harry is white. If something is kind and not red then it is quiet. If something is kind and not white then it is green. If something is not red then it is kind. If something is kind and nice then it is quiet. If something is nice then it is green. Kind, quiet things are furry. Red things are nice. If something is furry then it is nice. Quiet, green things are nice.
Dave is not furry.