Implementing Temporal Defeasible Logic for Modeling Legal Reasoning