By nature, any diff logic is straight forward (commonly using Longest Common Subsequence (LCS) algorithm), while merge logic is complex. Even with a state of the art analysis, a merge algorithm may become fallacious, and thereby require manual intervention.