A rule-based implementation of fuzzy tableau reasoning