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

:Fabian :believes _:bng_5_1.
:northStar :notNecessarilyA :gold.

_:bng_5_1 {
    _:bng_6_1 log:implies _:bng_7_1.
}

_:bng_5_1 {
    _:bng_6_1 log:implies _:bng_7_1.
}

_:bng_6_1 {
    var:x a :glitter.
}

_:bng_7_1 {
    var:x :notNecessarilyA :gold.
}
