Whether all of a response's premises can hold at once. When they cannot, unsatisfiablePremiseIds is a minimal set that cannot: removing any one of them lets the rest hold.
unsatisfiablePremiseIds
Whether all of a response's premises can hold at once. When they cannot,
unsatisfiablePremiseIdsis a minimal set that cannot: removing any one of them lets the rest hold.