class(bat,mammal).
class(dog,mammal).
class(bat,mammal).
class(bat,mammal).
class(dog,mammal).
class(platypus,mammal).

class(eagle,nmammal).
class(eagle,nmammal).
class(ostrich,nmammal).
class(shark,nmammal).
class(crocodile,nmammal).
class(shark,nmammal).
class(penguin,nmammal).
class(shark,nmammal).
class(crocodile,nmammal).
class(crocodile,nmammal).
class(shark,nmammal).
class(snake,nmammal).
class(t_rex,nmammal).
class(crocodile,nmammal).