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