public void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse()
{
// This query will not return using TFM as keep expanding
// clauses through resolution for this KB.
testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(new FOLTFMResolution(
10 * 1000), true);
}