public override String getProof()
{
StringBuilder sb = new StringBuilder();
List<Literal> nLits = implication.getNegativeLiterals();
for (int i = 0; i < implication.getNumberNegativeLiterals(); i++)
{
sb.Append(nLits[i].getAtomicSentence());
if (i != (implication.getNumberNegativeLiterals() - 1))
{
sb.Append(" AND ");
}
}
sb.Append(" => ");
sb.Append(implication.getPositiveLiterals()[0]);
return sb.ToString();
}