class(lizard,reptile).

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

class(trout,fish).
class(herring,fish).
class(shark,fish).
class(eel,fish).

class(crocodile,reptile).
class(t_rex,reptile).
class(snake,reptile).
class(turtle,reptile).

class(eagle,bird).
class(ostrich,bird).
class(penguin,bird).

:- negative_examples.

class(trout,mammal).
class(herring,mammal).
class(shark,mammal).
class(lizard,mammal).
class(crocodile,mammal).
class(t_rex,mammal).
class(turtle,mammal).
class(eagle,mammal).
class(ostrich,mammal).
class(penguin,mammal).
class(dog,fish).
class(dolphin,fish).
class(platypus,fish).
class(bat,fish).
class(lizard,fish).
class(crocodile,fish).
class(t_rex,fish).
class(turtle,fish).
class(eagle,fish).
class(ostrich,fish).
class(penguin,fish).
class(dog,reptile).
class(dolphin,reptile).
class(platypus,reptile).
class(bat,reptile).
class(trout,reptile).
class(herring,reptile).
class(shark,reptile).
class(eagle,reptile).
class(ostrich,reptile).
class(penguin,reptile).
class(dog,bird).
class(dolphin,bird).
class(platypus,bird).
class(bat,bird).
class(trout,bird).
class(herring,bird).
class(shark,bird).
class(lizard,bird).
class(crocodile,bird).
class(t_rex,bird).
class(turtle,bird).