Check if conclusion is satisfied before finding a model satisfying premise