Another Cut/Fail Combination Example
allow(elephant) :- !, fail .
allow(Animal) :- size(Animal, lessthan50), license(Animal).
allow(Animal) :- lives(Animal, cage) .
If an animal is not an elephant and either weights less than 50 pounds and has a license or lives in a cage, it is allowed.
Elephants, even small ones that live in cages, are not allowed.