(cat list_even_inter_tree3plus2.p;\
 echo "input_clause(q_rec_cons_2_nil, conjecture,\
         [--q(cons(s(s(o)),nil))]).")\
  | h1 -
