def decode_result(found):
    return {True: 'Countermodel found', False: 'No countermodel found', None: 'None'}[found]
Decode the result of model_found()
dataset/ETHPy150Open nltk/nltk/nltk/inference/mace.py/decode_result