[binarymax]

While it would be nice to think of law as pure enough to be calculable by machines and algorithms, the reality is that the law is subjective...the inputs you speak of are too many and the situations that occur result in problems that are NP-hard.

[Dn_Ab]

While I do not disagree with you, implicit in your post is an assumption that humans can solve these NP-hard problems. More likely, most examples are either not NP-hard, the average case is easy, easily approximated or we simply don't do well in handling legal cases at all.

I would offer Strong AI-complete as a counter suggestion.