一階述語論理の resolution の規則って， として を の MGU としたときに と書けて(resolution に を使うのはあまり普通ではないかもしれないけど)，これだけで反駁完全なのだと思っていました。しかしどうもそうではないようだという気がしてきて，どうやっ…