
An organization's hazard of mortality is lower during periods in which it has immunity than in periods in which it does not.
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)) )).
$false(by Vampire 11.0)
$false(by SPASS 3.5)
$false(by SOS 2.0)
$false(by Metis 2.2)
$false(by EP 1.1)
Copyright 2019 Inference Web group.
All Rights Reserved.