public void testTwoSuccessiveNotsTransformation()
{
Sentence twoNots = (Sentence)parser.parse("(NOT (NOT A))");
Sentence expected = (Sentence)parser.parse("A");
Sentence transformed = transformer.transform(twoNots);
Assert.AreEqual(expected.ToString(), transformed.ToString());
}