Anne is furry. Charlie is red. Dave is furry. Gary is rough. If someone is not big then they are red. If Dave is round then Dave is quiet. If someone is round and furry then they are not quiet. Round, red people are not quiet. If someone is rough and not blue then they are round. If Gary is not round and Gary is not furry then Gary is quiet.
Dave is blue.