@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.
@prefix : <https://eyereasoner.github.io/ns#>.

# the ground is not wet
[ log:graph (
    [ log:triple (:ground :is :wet)]
)] log:implies false.

# if it is raining, then the ground is wet
[ log:graph (
    [ log:triple (:it :is :raining)]
)] log:implies [ log:graph (
    [ log:triple (:ground :is :wet)]
)].

# proof by contrapositive
[ log:graph (
    [ log:triple (var:P log:implies var:C)]
    [ log:triple (var:C log:implies false)]
)] log:implies [ log:graph (
    [ log:triple (var:P log:implies false)]
)].

# query
[ log:graph (
    [ log:triple ([ log:graph (
        [ log:triple (var:X :is var:Y)]
    )] log:implies false)]
)] log:impliesAnswer [ log:graph (
    [ log:triple ([ log:graph (
        [ log:triple (var:X :is var:Y)]
    )] log:implies false)]
)].
