Case Law reasoning is formidably difficult to automate because the logic with which one needs to reason is implicit in preceding case judgements whose features are never identical with the facts of future cases.
There is always the need to use quintessentially human techniques such as analogical ...