** ERROR ** eam ** inference_fuse(
@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#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/8b98b360-9a70-4845-b52c-c675af60ad01#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

{
    var:driver :is :drinking.
} log:isPermittedIn :normativeWorld1.
{
    {
        var:driver :is :drinking.
        var:driver :is :driving.
    } => false.
} log:isPermittedIn :normativeWorld1.
{
    var:driver :is :driving.
} log:isPermittedIn :normativeWorld1.
{
    var:driver :is :driving.
} log:isPermittedIn :normativeWorld2.
{
    {
        var:driver :is :drinking.
        var:driver :is :driving.
    } => false.
} log:isPermittedIn :normativeWorld2.
{
    var:driver :is :drinking.
} log:isPermittedIn :normativeWorld2.
# inference fuse
{
    {
        var:driver :is :drinking.
        var:driver :is :driving.
    } log:isForbiddenIn :normativeWorld1.
    {
        var:driver :is :drinking.
        var:driver :is :driving.
    } log:call true.
} => false.
)
