cnf(a_group,negated_conjecture, ( group(f69,f70) )). cnf(prove_there_is_a_homomorphism,negated_conjecture, ( ~ homomorphism(Y,f69,f70,f69,f70) )).