public void testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds() { testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds( new FOLModelElimination(), false); }