% Inference fuse triggered.
% Fired rule:
%   false :- color(X, black), color(X, white).
% Matched instance:
%   false :- color(stone, black), color(stone, white).