Since we can conclude
Since we can conclude
Applies(rule(sale_house, ought_to_be_done(continuation_contract)),sale_house,ought_to_be_done(continuation_contract))
we find:
Excluded(rule(protects_inhabitants(act), ought_to_be_done(act)),protects_inhabitants(continuation_contract), ought_to_be_done(continuation_contract))
and similarly for the second principle.