%% goal: answer(X0)

answer(eq_nested_repeated_fails) :- (pair(X, X) = pair(a, b)).