def convert_to_prover9(input):
 if isinstance(input, list):
  result = []
  for s in input:
   try:
    result.append(_convert_to_prover9(s.simplify()))
   except:
    print(('input %s cannot be converted to Prover9 input syntax' % input))
    raise
  return result
 else:
  try:
   return _convert_to_prover9(input.simplify())
  except:
   print(('input %s cannot be converted to Prover9 input syntax' % input))
   raise

def convert_to_prover9 ( input ) : if isinstance ( input , list ) : result = [ ] for s in input : try : result . append ( _convert_to_prover9 ( s . simplify ( ) ) ) except : print ( ( 'input %s cannot be converted to Prover9 input syntax' % input ) ) raise return result else : try : return _convert_to_prover9 ( input . simplify ( ) ) except : print ( ( 'input %s cannot be converted to Prover9 input syntax' % input ) ) raise
convert a logic .