<reponame>Bram-Hub/Forseti
import unittest
from forseti.prover import Prover


class TestFOLProofsII(unittest.TestCase):
    pass


if __name__ == '__main__':
    unittest.main()
import unittest
from forseti.prover import Prover


class TestFOLProofsII(unittest.TestCase):
    pass


if __name__ == '__main__':
    unittest.main()