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

# beetle is a car
:beetle a :Car.

# beetle is not green
() log:onNegativeSurface {
    :beetle :is :green.
}.

# all cars are green or blue
(_:A) log:onNegativeSurface {
    _:A a :Car.
    () log:onNegativeSurface {
        _:A :is :green.
    }.
    () log:onNegativeSurface {
        _:A :is :blue.
    }.
}.

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

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

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

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