natnum1(0).
natnum1(s(X)) :-
natnum1(X).

mi1(true).
mi1((A,B)) :-
        mi1(A),
mi1(B).
mi1(Goal) :-
        Goal \= true,
        Goal \= (_,_),
        clause(Goal, Body),
        mi1(Body).