Bob is quiet. Bob is white. Charlie is green. Charlie is quiet. Dave is green. Gary is blue. Gary is green. Gary is quiet. Gary is round. Gary is white. All smart things are round. If something is blue and white then it is nice. If something is blue and smart then it is white. If something is round then it is blue. Round, green things are quiet. If Bob is white then Bob is green. If something is quiet then it is smart. If something is not round and not quiet then it is not white.
Dave is nice.