3 ms·

I don't have a working hyp_gen.pl anymore I think but it was just a simple search given the atoms to add to a rule and its negations.