inconclusive proof Synonym