nltk.Mace.prover9_input

Mace.prover9_input(goal, assumptions)
Returns:The input string that should be provided to the

prover9 binary. This string is formed based on the goal, assumptions, and timeout value of this object.