# --------------
# Inference fuse
# --------------
#
# Detecting inconsistencies.

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.
@prefix : <http://example.org/#>.

# facts
:stone :color :black.
:stone :color :white.

# inference fuse
[ log:graph (
    [ log:triple (var:X :color :black)]
    [ log:triple (var:X :color :white)]
)] log:implies false.
