lits.add(new Literal(a2));
Clause c2 = new Clause(lits);
Paramodulation paramodulation = new Paramodulation();
Set<Clause> paras = paramodulation.apply(c1, c2);
System.out.println("Paramodulate '" + c1 + "' with '" + c2
+ "' to give");
System.out.println(paras.toString());
System.out.println("");