inferential proof