class(a1, mammal).
class(a2, mammal).
class(a3, mammal).
class(a4, mammal).

class(a5, fish).

class(a6, reptile).
class(a7, reptile).

class(a8, bird).
class(a9, bird).

class(a10, amphibian).
