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))
Returns the total up votes
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/test_prove--crossover with--dataset/ETHPy150Open django-oscar/django-oscar/src/oscar/apps/catalogue/reviews/abstract_models.py/AbstractProductReview.num_up_votes