AI系统决策的可解释性受到最近法规和用户需求的推动。这些决策通常只能事后进行解释。在反事实解释中，人们可能会问什么构成了最佳的反事实解释。显然，必须考虑多个标准，尽管“与样本的距离”是一个关键标准。最近考虑反事实合理性的方法似乎牺牲了这一原始目标。在此，我们提出了一个系统，提供同时具有高概率、接近且稀疏的解释。我们展示了满足许多常见反事实解释需求的最可能解释的搜索可以使用混合整数优化（MIO）进行建模。在此过程中，我们提出了一种和积网络（SPN）的MIO公式，并使用SPN来估计反事实的可能性，这本身也具有独立的兴趣。