Compiles with Unifying Resolution

But it still doesn't run: throws the following exception. 
"Resolution: the conclusions of the given premises are not resolvable."