Existen sistemas demostradores de teoremas híbridos que utilizan prueba de modelo a manera de regla de inferencia.