input_clause(o_even, axiom,
	     [++even(o)]).

input_clause(suc_even_odd, axiom,
	     [--even(X), ++odd(s(X))]).

input_clause(suc_odd_even, axiom,
	     [--odd(X), ++even(s(X))]).

input_clause(nil_even_list, axiom,
	     [++list_even(nil)]).

input_clause(cons_even_list, axiom,
	     [--even(X), --list_even(Y),
	      ++list_even(cons(X,Y))]).