@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

[ log:graph (
    [ log:triple (var:v_4 rdf:type var:v_5)]
)] log:impliesAnswer [ log:graph (
    [ log:triple (var:v_4 rdf:type var:v_5)]
)].
