negation3:SKIP.n3

@prefix : <urn:example:> .

:A a :Statement .

# ~( A & ~B ) |= A => B
{
    :A a :Statement .

    { :B a :Statement } => false .
} => false .

{ 
    :B a :Statement .
}
=> 
{
    :test :is true .
} .