{A Rule-Based Implementation of Fuzzy Tableau Reasoning}