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

{
    _:sk_0 :b1 :c1.
} log:isImpliedBy {
    _:sk_0 :b :c.
}.
:s :p {
    {
        _:sk_1 :b1 :c1.
    } log:isImpliedBy {
        _:sk_1 :b :c.
    }.
}.
:a :b :c.
