A New Method for Incremental Consequence-Finding