_:formula1 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102646768statement1 .
_:t1102646768statement1 <http://www.w3.org/2000/10/swap/reify#subject> ?p .
_:t1102646768statement1 <http://www.w3.org/2000/10/swap/reify#predicate> ?q .
_:t1102646768statement1 <http://www.w3.org/2000/10/swap/reify#object> ?r .
_:formula2 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102646768statement2 .
_:t1102646768statement2 <http://www.w3.org/2000/10/swap/reify#subject> ?r .
_:t1102646768statement2 <http://www.w3.org/2000/10/swap/reify#predicate> ?q .
_:t1102646768statement2 <http://www.w3.org/2000/10/swap/reify#object> ?p .
_:formula1 <http://www.w3.org/2000/10/swap/log#implies> _:formula2 .