Time-ordered forward deduction with negation evaluation strategy revised