_:subj <http://example.org/#pred> <http://example.org/#objt> .
_:formula2 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102879364statement1 .
_:t1102879364statement1 <http://www.w3.org/2000/10/swap/reify#subject> _:subjf2 .
_:t1102879364statement1 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#pred> .
_:t1102879364statement1 <http://www.w3.org/2000/10/swap/reify#object> <http://example.org/#objt> .
_:formula3 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102879364statement2 .
_:t1102879364statement2 <http://www.w3.org/2000/10/swap/reify#subject> _:subjf3 .
_:t1102879364statement2 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#pred> .
_:t1102879364statement2 <http://www.w3.org/2000/10/swap/reify#object> <http://example.org/#objt> .
_:formula2 <http://www.w3.org/2000/10/swap/log#implies> _:formula3 .