cnf(assumption_3_42,negated_conjecture, ( organization(sk1) )). cnf(assumption_3_43,negated_conjecture, ( has_immunity(sk1,sk2) )). cnf(assumption_3_44,negated_conjecture, ( ~ has_immunity(sk1,sk3) )). cnf(assumption_3_45,negated_conjecture, ( ~ greater(hazard_of_mortality(sk1,sk3),hazard_of_mortality(sk1,sk2)) )).