1_:formula3 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102793569statement1 .
2_:t1102793569statement1 <http://www.w3.org/2000/10/swap/reify#subject> _:node4 .
3_:t1102793569statement1 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#father> .
4_:t1102793569statement1 <http://www.w3.org/2000/10/swap/reify#object> ?var2 .
5_:formula3 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102793569statement2 .
6_:t1102793569statement2 <http://www.w3.org/2000/10/swap/reify#subject> ?var1 .
7_:t1102793569statement2 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#father> .
8_:t1102793569statement2 <http://www.w3.org/2000/10/swap/reify#object> _:node4 .
9_:formula5 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102793569statement3 .
10_:t1102793569statement3 <http://www.w3.org/2000/10/swap/reify#subject> ?var1 .
11_:t1102793569statement3 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#grandfather> .
12_:t1102793569statement3 <http://www.w3.org/2000/10/swap/reify#object> ?var2 .
13_:formula3 <http://www.w3.org/2000/10/swap/log#implies> _:formula5 .
14