Implementation of a Tableau-Based Satisfiability Checker for HS3