Sufficient Satisfied
Rule Triggers, necessary must be satisfied
Sufficient failed
Rule irrelevant, necessary free to satisfy or fail
Necessary failed
Rule triggers, sufficient must be failed
Necessary satisfied
Rule irrelevant, sufficient free to satisfy or fail