Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories