cnf(avoid_kangaroo,negated_conjecture, ( ~ avoided(the_kangaroo) )).