beetle10.n3

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

# beetle is a car
:beetle a :Car.

# bob is a person
:bob a :Person.

# grannysmith apple is green
:grannysmith a :Apple ;
    :is :green .

# mars is the red planet
:mars a :Planet.

() log:onNegativeSurface {
    :mars :is :green.
}.

# all things are beautifull

# green things are beautiful
(_:A) log:onNegativeSurface {
    _:A :is :green.
    () log:onNegativeSurface {
        _:A :is :beautiful.
    }.
}.

# things which are not green are beautiful
(_:A) log:onNegativeSurface {
    () log:onNegativeSurface {
        _:A :is :green
    }.
    () log:onNegativeSurface {
        _:A :is :beautiful.
    }.
}.

# query
(_:S _:O) log:onQuerySurface {
    _:S :is _:O.
}.