% a_1()_5_7

% b()_5_7_16807

:- dynamic(a_1/1),
   dynamic(a_2/1),
   dynamic(a_3/1),
   dynamic(a_4/1),
   dynamic(a_5/1),
   dynamic(a_6/1),
   dynamic(a_7/1).

clause(5).
clause(4).
clause(3).
clause(2).
clause(1).

clause(I) ---> a_1(I) ; a_2(I) ; a_3(I) ; a_4(I) ; a_5(I) ; a_6(I) ; a_7(I).

false :- a_1(_) ; a_2(_) ; a_3(_) ; a_4(_) ; a_5(_) ; a_6(_).