No counter-example found. Try proving it to see if it is valid. Some arithmetic simplifications may help reduce the complexity.
If the formula cannot be proved (⊢ false
)
and no counter-example can be found, then
sanity check it, e.g., whether you could have divided by zero.
Sorry, cannot search for counter-examples in modalities.
Please use more proof steps to remove modalities, until only first-order formulas remain and then try again.
Sorry, the current backend tool does not support counter-example search.
Please go to Help → Backend Tool Configuration and configure Mathematica as backend tool.