def test_prove(arguments):
 for (goal, assumptions) in arguments:
  g = Expression.fromstring(goal)
  alist = [Expression.fromstring(a) for a in assumptions]
  p = Prover9Command(g, assumptions=alist).prove()
  for a in alist:
   print(('   %s' % a))
  print(('|- %s: %s\n' % (g, p)))

def test_prove ( arguments ) : for ( goal , assumptions ) in arguments : g = Expression . fromstring ( goal ) alist = [ Expression . fromstring ( a ) for a in assumptions ] p = Prover9Command ( g , assumptions = alist ) . prove ( ) for a in alist : print ( ( '   %s' % a ) ) print ( ( '|- %s: %s\n' % ( g , p ) ) )
try some proofs and exhibit the results .