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.