Disproving false theorems using saturation