Justification logic, inference tracking, and data privacy