public void testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew()
{
// This KB ends up being infinite when resolving, however 2
// seconds is more than enough to extract the 4 answers
// that are expected
testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew(new FOLModelElimination(
2 * 1000));
}