Dave is furry. Dave is green. Dave is white. Gary is furry. Gary is kind. Gary is round. Gary is not smart. If something is kind then it is white. If Dave is not round and Dave is not kind then Dave is blue. If something is not white then it is furry.
Gary is not kind.