AIMA.Test.Core.Unit.Logic.Fol.Inference.FOLTFMResolutionTest.testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds C# (CSharp) Method

        public void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds()
        {
            // TFM is unable to find the correct answer to this in a reasonable
            // amount of time for a JUnit test.
            testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds(
                    new FOLTFMResolution(10 * 1000), true);
        }