[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_21f16ba77ca2 node_type=claim
t=0001 CREATE_NODE id=n_a0b24c001af7 node_type=claim
t=0002 CREATE_NODE id=n_72f6ab168675 node_type=claim
t=0003 CREATE_NODE id=n_86f380724e75 node_type=claim
t=0004 CREATE_NODE id=n_210255a67331 node_type=claim
t=0005 CREATE_NODE id=n_7dc701d60fa6 node_type=claim
t=0006 CREATE_NODE id=n_b10e17f848b0 node_type=claim
t=0007 CREATE_NODE id=n_1b4da392f33d node_type=claim
t=0008 CREATE_NODE id=n_0d4402a95961 node_type=claim
t=0009 CREATE_NODE id=n_965da43736e7 node_type=claim
t=0010 CREATE_NODE id=n_51f395ddddb3 node_type=claim
t=0011 CREATE_NODE id=n_96593817c38a node_type=claim
t=0012 CREATE_NODE id=n_0544ec4b2d04 node_type=claim
t=0013 CREATE_NODE id=n_19b763659788 node_type=claim
t=0014 CREATE_NODE id=n_89e01df8cf57 node_type=claim
t=0015 CREATE_NODE id=n_a63280a6f36a node_type=claim
t=0016 CREATE_NODE id=n_d69d51550dc5 node_type=claim
t=0017 CREATE_NODE id=n_e256a95711f1 node_type=claim
t=0018 CREATE_NODE id=n_c1ef6a49c719 node_type=claim
t=0019 CREATE_NODE id=n_a896449e574f node_type=claim
t=0020 CREATE_NODE id=n_167dd00343d4 node_type=claim
t=0021 CREATE_NODE id=n_bd9060217c67 node_type=claim
t=0022 CREATE_NODE id=n_40533ce3451f node_type=claim
t=0023 CREATE_NODE id=n_a9e7dcb84252 node_type=claim
t=0024 CREATE_NODE id=n_30cf921baa10 node_type=claim
t=0025 CREATE_NODE id=n_c742146ccbbc node_type=claim
t=0026 CREATE_NODE id=n_29474a727add node_type=claim
t=0027 CREATE_NODE id=n_70c454b2268a node_type=claim
t=0028 CREATE_NODE id=n_8434533d73a1 node_type=claim
t=0029 CREATE_NODE id=n_a7ad1c887c51 node_type=claim
t=0030 CREATE_NODE id=n_42b70048366c node_type=claim
t=0031 CREATE_NODE id=n_4f5fb0a4160e node_type=claim
t=0032 CREATE_NODE id=n_70ea5f25ec0a node_type=claim
t=0033 CREATE_NODE id=n_00d27e26433b node_type=claim
t=0034 CREATE_NODE id=n_4d9bb58e501a node_type=claim
t=0035 CREATE_NODE id=n_a2a13db43ac9 node_type=claim
t=0036 CREATE_NODE id=n_18582930eaf1 node_type=claim
t=0037 CREATE_NODE id=n_ef49e30c2251 node_type=claim
t=0038 CREATE_NODE id=n_11ae0e515467 node_type=claim
t=0039 CREATE_NODE id=n_d06a69938726 node_type=claim
t=0040 CREATE_NODE id=n_0c8905b7cfcb node_type=claim
t=0041 CREATE_NODE id=n_0cb3497dad49 node_type=claim
t=0042 CREATE_NODE id=n_1c54303976d8 node_type=claim
t=0043 CREATE_NODE id=n_fb461a3c0b54 node_type=claim
t=0044 CREATE_NODE id=n_0c406db94c62 node_type=claim
t=0045 CREATE_NODE id=n_4e8b430beb6a node_type=claim
t=0046 ASSERT_ROOT node=n_4e8b430beb6a value=TRUE
t=0047 ADD_EDGE edge_id=e_233910f6dd32 source=n_a2a13db43ac9 edge_type=supports target=n_c742146ccbbc
t=0048 ADD_EDGE edge_id=e_03552834c0da source=n_c742146ccbbc edge_type=refutes target=n_a9e7dcb84252
t=0049 ADD_EDGE edge_id=e_0acc744020b1 source=n_a63280a6f36a edge_type=refutes target=n_a0b24c001af7
t=0050 ADD_EDGE edge_id=e_8607f02f77e6 source=n_d06a69938726 edge_type=refutes target=n_ef49e30c2251
t=0051 ADD_EDGE edge_id=e_f61667212c02 source=n_19b763659788 edge_type=supports target=n_e256a95711f1
t=0052 ADD_EDGE edge_id=e_434b6b354110 source=n_0544ec4b2d04 edge_type=supports target=n_89e01df8cf57
t=0053 ADD_EDGE edge_id=e_b35df14f137a source=n_21f16ba77ca2 edge_type=supports target=n_72f6ab168675
t=0054 ADD_EDGE edge_id=e_bcf836f4059b source=n_70ea5f25ec0a edge_type=supports target=n_30cf921baa10
t=0055 ADD_EDGE edge_id=e_b4ad35177a89 source=n_18582930eaf1 edge_type=refutes target=n_0c8905b7cfcb
t=0056 ADD_EDGE edge_id=e_7ab09d94b232 source=n_70c454b2268a edge_type=supports target=n_a63280a6f36a
t=0057 ADD_EDGE edge_id=e_0e9a5d5b4ecd source=n_0c8905b7cfcb edge_type=supports target=n_51f395ddddb3
t=0058 ADD_EDGE edge_id=e_c1a992327ec5 source=n_a63280a6f36a edge_type=supports target=n_d69d51550dc5
t=0059 ADD_EDGE edge_id=e_8a83d977920e source=n_c1ef6a49c719 edge_type=refutes target=n_965da43736e7
t=0060 ADD_EDGE edge_id=e_fb90b29c22f2 source=n_40533ce3451f edge_type=supports target=n_a7ad1c887c51
t=0061 ADD_EDGE edge_id=e_83268b2dc0ac source=n_a896449e574f edge_type=supports target=n_21f16ba77ca2
t=0062 ADD_EDGE edge_id=e_90e7de5fe373 source=n_167dd00343d4 edge_type=supports target=n_a2a13db43ac9
t=0063 ADD_EDGE edge_id=e_d19cd3706b65 source=n_0c8905b7cfcb edge_type=refutes target=n_b10e17f848b0
t=0064 ADD_EDGE edge_id=e_a6fbf9c747e0 source=n_1b4da392f33d edge_type=supports target=n_1c54303976d8
t=0065 ADD_EDGE edge_id=e_fdd4562f6310 source=n_a0b24c001af7 edge_type=refutes target=n_c1ef6a49c719
t=0066 ADD_EDGE edge_id=e_9e2ac0a40be5 source=n_70c454b2268a edge_type=supports target=n_0544ec4b2d04
t=0067 ADD_EDGE edge_id=e_e9f2b0fe3b9b source=n_a0b24c001af7 edge_type=supports target=n_4d9bb58e501a
t=0068 ADD_EDGE edge_id=e_89dbbe2ee38e source=n_29474a727add edge_type=supports target=n_86f380724e75
t=0069 ADD_EDGE edge_id=e_51c47ceb528d source=n_19b763659788 edge_type=refutes target=n_4f5fb0a4160e
t=0070 ADD_EDGE edge_id=e_9950e15a061f source=n_4e8b430beb6a edge_type=supports target=n_1b4da392f33d
t=0071 ADD_EDGE edge_id=e_4088571b2dc4 source=n_0d4402a95961 edge_type=supports target=n_7dc701d60fa6
t=0072 ADD_EDGE edge_id=e_0708936423e3 source=n_fb461a3c0b54 edge_type=refutes target=n_70ea5f25ec0a
t=0073 ADD_EDGE edge_id=e_e576f0dfad0d source=n_72f6ab168675 edge_type=refutes target=n_0d4402a95961
t=0074 ADD_EDGE edge_id=e_b206e9733614 source=n_0d4402a95961 edge_type=supports target=n_00d27e26433b
t=0075 ADD_EDGE edge_id=e_57976d58c904 source=n_70ea5f25ec0a edge_type=refutes target=n_0c406db94c62
t=0076 ADD_EDGE edge_id=e_2b41178476c6 source=n_a63280a6f36a edge_type=supports target=n_19b763659788
t=0077 ADD_EDGE edge_id=e_dd2a324646e1 source=n_b10e17f848b0 edge_type=refutes target=n_96593817c38a
t=0078 ADD_EDGE edge_id=e_540e3ec7b89a source=n_0c8905b7cfcb edge_type=refutes target=n_0cb3497dad49
t=0079 ADD_EDGE edge_id=e_68403ba3e611 source=n_11ae0e515467 edge_type=refutes target=n_a896449e574f
t=0080 ADD_EDGE edge_id=e_9d88a7d82b9f source=n_b10e17f848b0 edge_type=refutes target=n_bd9060217c67
t=0081 ADD_EDGE edge_id=e_faebbec8c6d3 source=n_a7ad1c887c51 edge_type=supports target=n_11ae0e515467
t=0082 ADD_EDGE edge_id=e_ab110d59a612 source=n_a9e7dcb84252 edge_type=refutes target=n_d06a69938726
t=0083 ADD_EDGE edge_id=e_3ee8e2260f44 source=n_1c54303976d8 edge_type=supports target=n_40533ce3451f
t=0084 ADD_EDGE edge_id=e_39e770a59974 source=n_00d27e26433b edge_type=refutes target=n_167dd00343d4
t=0085 ADD_EDGE edge_id=e_223a094e47c0 source=n_18582930eaf1 edge_type=refutes target=n_70c454b2268a
t=0086 ADD_EDGE edge_id=e_e84042a7bb15 source=n_70c454b2268a edge_type=refutes target=n_29474a727add
t=0087 ADD_EDGE edge_id=e_0608a84d8c98 source=n_ef49e30c2251 edge_type=supports target=n_fb461a3c0b54
t=0088 ADD_EDGE edge_id=e_ae53e87c3c21 source=n_167dd00343d4 edge_type=refutes target=n_8434533d73a1
t=0089 ADD_EDGE edge_id=e_428235b38c41 source=n_18582930eaf1 edge_type=refutes target=n_42b70048366c
t=0090 ADD_EDGE edge_id=e_a1fc6fb2798b source=n_86f380724e75 edge_type=refutes target=n_210255a67331
t=0091 QUERY source=n_4e8b430beb6a target=n_70ea5f25ec0a
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_915cb272dced node_type=claim
t=0001 CREATE_NODE id=n_83f95b9cf269 node_type=claim
t=0002 CREATE_NODE id=n_b0f0d7c5ee51 node_type=claim
t=0003 CREATE_NODE id=n_509f4ac4c7b5 node_type=claim
t=0004 CREATE_NODE id=n_9dc6e43a2dc0 node_type=claim
t=0005 CREATE_NODE id=n_d43933450eb0 node_type=claim
t=0006 CREATE_NODE id=n_86c1649b713b node_type=claim
t=0007 CREATE_NODE id=n_f2940323ba2f node_type=claim
t=0008 CREATE_NODE id=n_ece252db0a18 node_type=claim
t=0009 CREATE_NODE id=n_2521bd90a50b node_type=claim
t=0010 CREATE_NODE id=n_c3a68fcb8a1f node_type=claim
t=0011 CREATE_NODE id=n_cee634e7b1e8 node_type=claim
t=0012 CREATE_NODE id=n_b28a8c106aa4 node_type=claim
t=0013 CREATE_NODE id=n_fe4243d57c07 node_type=claim
t=0014 CREATE_NODE id=n_b12d56c230f4 node_type=claim
t=0015 CREATE_NODE id=n_2b862fad4e29 node_type=claim
t=0016 CREATE_NODE id=n_0914bd5453af node_type=claim
t=0017 CREATE_NODE id=n_8a469522a428 node_type=claim
t=0018 CREATE_NODE id=n_c35357d89e32 node_type=claim
t=0019 CREATE_NODE id=n_517343bd7990 node_type=claim
t=0020 CREATE_NODE id=n_091907296c34 node_type=claim
t=0021 CREATE_NODE id=n_198f0ac24729 node_type=claim
t=0022 CREATE_NODE id=n_b4da8cc10ab3 node_type=claim
t=0023 CREATE_NODE id=n_cd6e5385884a node_type=claim
t=0024 CREATE_NODE id=n_f7992d88b6ed node_type=claim
t=0025 CREATE_NODE id=n_b2d402f24ceb node_type=claim
t=0026 CREATE_NODE id=n_e02428cba910 node_type=claim
t=0027 CREATE_NODE id=n_c8fc868f1810 node_type=claim
t=0028 CREATE_NODE id=n_2449a086b8c3 node_type=claim
t=0029 CREATE_NODE id=n_6982f18b9bc5 node_type=claim
t=0030 CREATE_NODE id=n_e254c8cf4432 node_type=claim
t=0031 CREATE_NODE id=n_d34cf0b73f26 node_type=claim
t=0032 CREATE_NODE id=n_b94275d5330e node_type=claim
t=0033 CREATE_NODE id=n_48506559a00b node_type=claim
t=0034 CREATE_NODE id=n_2142e00a3ee2 node_type=claim
t=0035 CREATE_NODE id=n_8cea485fac44 node_type=claim
t=0036 CREATE_NODE id=n_8370e19fcbc7 node_type=claim
t=0037 CREATE_NODE id=n_b258083c04b2 node_type=claim
t=0038 CREATE_NODE id=n_3a4e034628a7 node_type=claim
t=0039 CREATE_NODE id=n_a8d76d3371aa node_type=claim
t=0040 CREATE_NODE id=n_274488db4af3 node_type=claim
t=0041 CREATE_NODE id=n_1d462dac3584 node_type=claim
t=0042 CREATE_NODE id=n_1862b0424241 node_type=claim
t=0043 CREATE_NODE id=n_29ca4c55082e node_type=claim
t=0044 CREATE_NODE id=n_05af8722300a node_type=claim
t=0045 CREATE_NODE id=n_bf68b3233d57 node_type=claim
t=0046 CREATE_NODE id=n_692acf5b3f66 node_type=claim
t=0047 CREATE_NODE id=n_0803af1b077c node_type=claim
t=0048 ASSERT_ROOT node=n_b28a8c106aa4 value=TRUE
t=0049 ADD_EDGE edge_id=e_319dacdeb026 source=n_d34cf0b73f26 edge_type=refutes target=n_e254c8cf4432
t=0050 ADD_EDGE edge_id=e_37886eeb2307 source=n_bf68b3233d57 edge_type=supports target=n_0914bd5453af
t=0051 ADD_EDGE edge_id=e_a839a5825995 source=n_274488db4af3 edge_type=refutes target=n_692acf5b3f66
t=0052 ADD_EDGE edge_id=e_cf613bcdaa3e source=n_ece252db0a18 edge_type=supports target=n_b94275d5330e
t=0053 ADD_EDGE edge_id=e_85a4ddce810d source=n_509f4ac4c7b5 edge_type=refutes target=n_48506559a00b
t=0054 ADD_EDGE edge_id=e_c32cdf96ab77 source=n_915cb272dced edge_type=refutes target=n_86c1649b713b
t=0055 ADD_EDGE edge_id=e_90d96241797c source=n_509f4ac4c7b5 edge_type=supports target=n_1d462dac3584
t=0056 ADD_EDGE edge_id=e_b6318ad2589d source=n_e02428cba910 edge_type=supports target=n_fe4243d57c07
t=0057 ADD_EDGE edge_id=e_9147cb68936d source=n_915cb272dced edge_type=refutes target=n_05af8722300a
t=0058 ADD_EDGE edge_id=e_1efccb06531e source=n_1862b0424241 edge_type=supports target=n_9dc6e43a2dc0
t=0059 ADD_EDGE edge_id=e_1f50ce947fec source=n_e02428cba910 edge_type=refutes target=n_b12d56c230f4
t=0060 ADD_EDGE edge_id=e_e27e93c5a473 source=n_1862b0424241 edge_type=supports target=n_f7992d88b6ed
t=0061 ADD_EDGE edge_id=e_585f41322b7a source=n_2521bd90a50b edge_type=refutes target=n_b2d402f24ceb
t=0062 ADD_EDGE edge_id=e_a5ffbc460f63 source=n_86c1649b713b edge_type=refutes target=n_c35357d89e32
t=0063 ADD_EDGE edge_id=e_9ec84f9d039e source=n_f2940323ba2f edge_type=supports target=n_ece252db0a18
t=0064 ADD_EDGE edge_id=e_564f71a2065f source=n_2449a086b8c3 edge_type=refutes target=n_b0f0d7c5ee51
t=0065 ADD_EDGE edge_id=e_451f27faef8d source=n_b0f0d7c5ee51 edge_type=refutes target=n_1862b0424241
t=0066 ADD_EDGE edge_id=e_08b2e0aab594 source=n_2b862fad4e29 edge_type=refutes target=n_f2940323ba2f
t=0067 ADD_EDGE edge_id=e_42fbae9f9729 source=n_1d462dac3584 edge_type=refutes target=n_517343bd7990
t=0068 ADD_EDGE edge_id=e_3e8960fe8dd9 source=n_bf68b3233d57 edge_type=supports target=n_8cea485fac44
t=0069 ADD_EDGE edge_id=e_f3e70f8c4858 source=n_2449a086b8c3 edge_type=refutes target=n_cee634e7b1e8
t=0070 ADD_EDGE edge_id=e_f6e15ff96be7 source=n_b28a8c106aa4 edge_type=supports target=n_b258083c04b2
t=0071 ADD_EDGE edge_id=e_452ece84b035 source=n_a8d76d3371aa edge_type=supports target=n_198f0ac24729
t=0072 ADD_EDGE edge_id=e_5523348811cd source=n_915cb272dced edge_type=refutes target=n_0803af1b077c
t=0073 ADD_EDGE edge_id=e_ea2915f9ba27 source=n_b258083c04b2 edge_type=refutes target=n_b4da8cc10ab3
t=0074 ADD_EDGE edge_id=e_7428f5915869 source=n_05af8722300a edge_type=refutes target=n_3a4e034628a7
t=0075 ADD_EDGE edge_id=e_0fc23737e392 source=n_517343bd7990 edge_type=refutes target=n_2449a086b8c3
t=0076 ADD_EDGE edge_id=e_b4a845cc7cb9 source=n_d43933450eb0 edge_type=supports target=n_83f95b9cf269
t=0077 ADD_EDGE edge_id=e_ca56631636ad source=n_2142e00a3ee2 edge_type=refutes target=n_c3a68fcb8a1f
t=0078 ADD_EDGE edge_id=e_15db460672b0 source=n_091907296c34 edge_type=supports target=n_29ca4c55082e
t=0079 ADD_EDGE edge_id=e_f59783534713 source=n_0914bd5453af edge_type=supports target=n_e02428cba910
t=0080 ADD_EDGE edge_id=e_e88c67a4efa5 source=n_509f4ac4c7b5 edge_type=supports target=n_d43933450eb0
t=0081 ADD_EDGE edge_id=e_f42fb73a7b1e source=n_05af8722300a edge_type=supports target=n_c8fc868f1810
t=0082 ADD_EDGE edge_id=e_532705443101 source=n_2142e00a3ee2 edge_type=refutes target=n_6982f18b9bc5
t=0083 ADD_EDGE edge_id=e_65f4e0a76546 source=n_e02428cba910 edge_type=supports target=n_2142e00a3ee2
t=0084 ADD_EDGE edge_id=e_363003e30a3a source=n_cd6e5385884a edge_type=supports target=n_d34cf0b73f26
t=0085 ADD_EDGE edge_id=e_d9b58559c043 source=n_8370e19fcbc7 edge_type=supports target=n_2521bd90a50b
t=0086 ADD_EDGE edge_id=e_90d5ffdb995e source=n_b94275d5330e edge_type=supports target=n_a8d76d3371aa
t=0087 ADD_EDGE edge_id=e_45bf3a901714 source=n_c8fc868f1810 edge_type=refutes target=n_274488db4af3
t=0088 ADD_EDGE edge_id=e_d7d7f49d3f25 source=n_48506559a00b edge_type=refutes target=n_091907296c34
t=0089 ADD_EDGE edge_id=e_26c6eee2bae5 source=n_e254c8cf4432 edge_type=refutes target=n_2b862fad4e29
t=0090 ADD_EDGE edge_id=e_8cdb52fd3410 source=n_b2d402f24ceb edge_type=supports target=n_bf68b3233d57
t=0091 ADD_EDGE edge_id=e_44e762bdbf20 source=n_274488db4af3 edge_type=refutes target=n_8a469522a428
t=0092 ADD_EDGE edge_id=e_15cd72f8d070 source=n_198f0ac24729 edge_type=supports target=n_8370e19fcbc7
t=0093 ADD_EDGE edge_id=e_48816956a128 source=n_b4da8cc10ab3 edge_type=supports target=n_cd6e5385884a
t=0094 ADD_EDGE edge_id=e_f696c0c5f5eb source=n_915cb272dced edge_type=supports target=n_509f4ac4c7b5
t=0095 QUERY source=n_b28a8c106aa4 target=n_6982f18b9bc5
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_610329257205 node_type=claim
t=0001 CREATE_NODE id=n_8f6d5488c6d6 node_type=claim
t=0002 CREATE_NODE id=n_242770d25680 node_type=claim
t=0003 CREATE_NODE id=n_5cb078b65344 node_type=claim
t=0004 CREATE_NODE id=n_adc26ea589f7 node_type=claim
t=0005 CREATE_NODE id=n_14ba8d935824 node_type=claim
t=0006 CREATE_NODE id=n_ecf856fc5d2a node_type=claim
t=0007 CREATE_NODE id=n_bb4f3296dbdd node_type=claim
t=0008 CREATE_NODE id=n_6cd32bb210ee node_type=claim
t=0009 CREATE_NODE id=n_92e933b4145e node_type=claim
t=0010 CREATE_NODE id=n_ff873b4c4d07 node_type=claim
t=0011 CREATE_NODE id=n_e3debc6ca1ff node_type=claim
t=0012 CREATE_NODE id=n_3931e117ade0 node_type=claim
t=0013 CREATE_NODE id=n_c131ba2fdd48 node_type=claim
t=0014 CREATE_NODE id=n_6d283c265365 node_type=claim
t=0015 CREATE_NODE id=n_e7896f7f0be6 node_type=claim
t=0016 CREATE_NODE id=n_66de3bcf1925 node_type=claim
t=0017 CREATE_NODE id=n_feaf7de50be8 node_type=claim
t=0018 CREATE_NODE id=n_01fd954e9db7 node_type=claim
t=0019 CREATE_NODE id=n_5ca3a05e3df2 node_type=claim
t=0020 CREATE_NODE id=n_604bcc994047 node_type=claim
t=0021 CREATE_NODE id=n_bda875fd17dc node_type=claim
t=0022 CREATE_NODE id=n_808007620aa6 node_type=claim
t=0023 CREATE_NODE id=n_3cd1dee43fcd node_type=claim
t=0024 CREATE_NODE id=n_0b7fbeedc277 node_type=claim
t=0025 CREATE_NODE id=n_2efd83892468 node_type=claim
t=0026 CREATE_NODE id=n_f8115c5ff6f4 node_type=claim
t=0027 CREATE_NODE id=n_b763ce142562 node_type=claim
t=0028 CREATE_NODE id=n_65155ab76f1f node_type=claim
t=0029 CREATE_NODE id=n_a9b5144f586f node_type=claim
t=0030 CREATE_NODE id=n_fba5f2acb918 node_type=claim
t=0031 CREATE_NODE id=n_fb4202d70c92 node_type=claim
t=0032 CREATE_NODE id=n_b9407e49786e node_type=claim
t=0033 CREATE_NODE id=n_71e28bea49a8 node_type=claim
t=0034 CREATE_NODE id=n_a4c52f9be592 node_type=claim
t=0035 CREATE_NODE id=n_034698edce51 node_type=claim
t=0036 CREATE_NODE id=n_17ac0fd69f00 node_type=claim
t=0037 CREATE_NODE id=n_499276004b11 node_type=claim
t=0038 CREATE_NODE id=n_e577b3a0c460 node_type=claim
t=0039 CREATE_NODE id=n_89f530528baf node_type=claim
t=0040 CREATE_NODE id=n_543bcdf6c5ee node_type=claim
t=0041 CREATE_NODE id=n_26143e4ee993 node_type=claim
t=0042 CREATE_NODE id=n_da4c1a43cb96 node_type=claim
t=0043 CREATE_NODE id=n_1eccaf9c48e4 node_type=claim
t=0044 CREATE_NODE id=n_c6cbfb57611c node_type=claim
t=0045 CREATE_NODE id=n_ae1094449cd6 node_type=claim
t=0046 CREATE_NODE id=n_105b96df9b01 node_type=claim
t=0047 CREATE_NODE id=n_2f0f2e35a9c2 node_type=claim
t=0048 ASSERT_ROOT node=n_6cd32bb210ee value=FALSE
t=0049 ADD_EDGE edge_id=e_cdc95d442df6 source=n_e577b3a0c460 edge_type=supports target=n_610329257205
t=0050 ADD_EDGE edge_id=e_f0b76792b6c5 source=n_5ca3a05e3df2 edge_type=supports target=n_1eccaf9c48e4
t=0051 ADD_EDGE edge_id=e_1ca1913b7a69 source=n_034698edce51 edge_type=supports target=n_543bcdf6c5ee
t=0052 ADD_EDGE edge_id=e_ee73ed5f67ed source=n_bda875fd17dc edge_type=supports target=n_71e28bea49a8
t=0053 ADD_EDGE edge_id=e_cae3ce01d57e source=n_71e28bea49a8 edge_type=supports target=n_c131ba2fdd48
t=0054 ADD_EDGE edge_id=e_76f00385ac02 source=n_71e28bea49a8 edge_type=supports target=n_ecf856fc5d2a
t=0055 ADD_EDGE edge_id=e_25c87acfaba0 source=n_2efd83892468 edge_type=supports target=n_a4c52f9be592
t=0056 ADD_EDGE edge_id=e_dabe6fdd71c0 source=n_6d283c265365 edge_type=refutes target=n_feaf7de50be8
t=0057 ADD_EDGE edge_id=e_33f05349c064 source=n_499276004b11 edge_type=refutes target=n_92e933b4145e
t=0058 ADD_EDGE edge_id=e_c67a5a1c9378 source=n_feaf7de50be8 edge_type=refutes target=n_14ba8d935824
t=0059 ADD_EDGE edge_id=e_a824dbe36405 source=n_034698edce51 edge_type=refutes target=n_6d283c265365
t=0060 ADD_EDGE edge_id=e_6d3bc7aee02a source=n_543bcdf6c5ee edge_type=refutes target=n_da4c1a43cb96
t=0061 ADD_EDGE edge_id=e_70e21cbf4d74 source=n_da4c1a43cb96 edge_type=refutes target=n_89f530528baf
t=0062 ADD_EDGE edge_id=e_bee8e941c2f7 source=n_a4c52f9be592 edge_type=refutes target=n_ff873b4c4d07
t=0063 ADD_EDGE edge_id=e_f84cf537241d source=n_e3debc6ca1ff edge_type=supports target=n_e7896f7f0be6
t=0064 ADD_EDGE edge_id=e_f75dfa8eb292 source=n_543bcdf6c5ee edge_type=refutes target=n_0b7fbeedc277
t=0065 ADD_EDGE edge_id=e_caf99a5b146c source=n_92e933b4145e edge_type=supports target=n_e577b3a0c460
t=0066 ADD_EDGE edge_id=e_1496eb5425c6 source=n_034698edce51 edge_type=supports target=n_3931e117ade0
t=0067 ADD_EDGE edge_id=e_42913130e456 source=n_f8115c5ff6f4 edge_type=supports target=n_fba5f2acb918
t=0068 ADD_EDGE edge_id=e_15f2a6b94eb1 source=n_1eccaf9c48e4 edge_type=supports target=n_5cb078b65344
t=0069 ADD_EDGE edge_id=e_a9eea39a0b84 source=n_0b7fbeedc277 edge_type=refutes target=n_a9b5144f586f
t=0070 ADD_EDGE edge_id=e_c8fb0706231b source=n_e7896f7f0be6 edge_type=refutes target=n_5ca3a05e3df2
t=0071 ADD_EDGE edge_id=e_79e5a5561b7e source=n_8f6d5488c6d6 edge_type=supports target=n_e3debc6ca1ff
t=0072 ADD_EDGE edge_id=e_724e91d4ef92 source=n_105b96df9b01 edge_type=refutes target=n_b9407e49786e
t=0073 ADD_EDGE edge_id=e_2e248308c5e9 source=n_ff873b4c4d07 edge_type=refutes target=n_499276004b11
t=0074 ADD_EDGE edge_id=e_742ca44090d3 source=n_6cd32bb210ee edge_type=refutes target=n_808007620aa6
t=0075 ADD_EDGE edge_id=e_761fd600906b source=n_fba5f2acb918 edge_type=refutes target=n_17ac0fd69f00
t=0076 ADD_EDGE edge_id=e_902e68a0beb2 source=n_71e28bea49a8 edge_type=supports target=n_b763ce142562
t=0077 ADD_EDGE edge_id=e_b3f5af206520 source=n_26143e4ee993 edge_type=supports target=n_3cd1dee43fcd
t=0078 ADD_EDGE edge_id=e_e153c0c4157b source=n_105b96df9b01 edge_type=supports target=n_c6cbfb57611c
t=0079 ADD_EDGE edge_id=e_612000dfe7b2 source=n_b9407e49786e edge_type=refutes target=n_8f6d5488c6d6
t=0080 ADD_EDGE edge_id=e_0541e7268742 source=n_543bcdf6c5ee edge_type=supports target=n_26143e4ee993
t=0081 ADD_EDGE edge_id=e_262deab7eada source=n_543bcdf6c5ee edge_type=refutes target=n_bb4f3296dbdd
t=0082 ADD_EDGE edge_id=e_e87469fc2e46 source=n_bb4f3296dbdd edge_type=supports target=n_65155ab76f1f
t=0083 ADD_EDGE edge_id=e_2d90d8746ac7 source=n_610329257205 edge_type=refutes target=n_66de3bcf1925
t=0084 ADD_EDGE edge_id=e_08cacf3c3a3d source=n_e577b3a0c460 edge_type=supports target=n_242770d25680
t=0085 ADD_EDGE edge_id=e_8044d64aff9b source=n_17ac0fd69f00 edge_type=refutes target=n_2efd83892468
t=0086 ADD_EDGE edge_id=e_42c1223dc49d source=n_5cb078b65344 edge_type=supports target=n_f8115c5ff6f4
t=0087 ADD_EDGE edge_id=e_cadb527832c0 source=n_808007620aa6 edge_type=supports target=n_105b96df9b01
t=0088 ADD_EDGE edge_id=e_c11ed5d82099 source=n_bda875fd17dc edge_type=supports target=n_fb4202d70c92
t=0089 ADD_EDGE edge_id=e_1af5ebecbfdb source=n_b763ce142562 edge_type=refutes target=n_2f0f2e35a9c2
t=0090 ADD_EDGE edge_id=e_cf0ed6ca3258 source=n_a4c52f9be592 edge_type=supports target=n_ae1094449cd6
t=0091 ADD_EDGE edge_id=e_a607de6d522f source=n_0b7fbeedc277 edge_type=refutes target=n_adc26ea589f7
t=0092 ADD_EDGE edge_id=e_8b578d9d2676 source=n_034698edce51 edge_type=refutes target=n_bda875fd17dc
t=0093 ADD_EDGE edge_id=e_638506130c7c source=n_0b7fbeedc277 edge_type=refutes target=n_604bcc994047
t=0094 ADD_EDGE edge_id=e_6b3576c4034a source=n_ecf856fc5d2a edge_type=refutes target=n_01fd954e9db7
t=0095 QUERY source=n_6cd32bb210ee target=n_610329257205
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_61a852cd7d11 node_type=claim
t=0001 CREATE_NODE id=n_517d91f72081 node_type=claim
t=0002 CREATE_NODE id=n_58688cab471a node_type=claim
t=0003 CREATE_NODE id=n_ebb49514085e node_type=claim
t=0004 CREATE_NODE id=n_59dde56ae7a1 node_type=claim
t=0005 CREATE_NODE id=n_316b1b579406 node_type=claim
t=0006 CREATE_NODE id=n_46be574dc207 node_type=claim
t=0007 CREATE_NODE id=n_c1a91072914a node_type=claim
t=0008 CREATE_NODE id=n_eee00826d9f7 node_type=claim
t=0009 CREATE_NODE id=n_bfa6746f85be node_type=claim
t=0010 CREATE_NODE id=n_dfc0197ce4af node_type=claim
t=0011 CREATE_NODE id=n_86c3c7a29d02 node_type=claim
t=0012 CREATE_NODE id=n_6b217456c0bc node_type=claim
t=0013 CREATE_NODE id=n_d619a3656401 node_type=claim
t=0014 CREATE_NODE id=n_ce084853e43d node_type=claim
t=0015 CREATE_NODE id=n_f5f6cc02532a node_type=claim
t=0016 CREATE_NODE id=n_6ef388dcf4f9 node_type=claim
t=0017 CREATE_NODE id=n_4e913e78d1b1 node_type=claim
t=0018 CREATE_NODE id=n_ccc15480f1a0 node_type=claim
t=0019 CREATE_NODE id=n_ab19a0ea9fde node_type=claim
t=0020 CREATE_NODE id=n_30690d8c1f66 node_type=claim
t=0021 CREATE_NODE id=n_32f8fd4dd33f node_type=claim
t=0022 CREATE_NODE id=n_762e184dc041 node_type=claim
t=0023 CREATE_NODE id=n_bc98ea50a94c node_type=claim
t=0024 CREATE_NODE id=n_ddd445ea3ac2 node_type=claim
t=0025 CREATE_NODE id=n_7b03dfbfe54c node_type=claim
t=0026 CREATE_NODE id=n_9e1bb8a86ce3 node_type=claim
t=0027 CREATE_NODE id=n_e6fda27ce394 node_type=claim
t=0028 CREATE_NODE id=n_1fb374d66f53 node_type=claim
t=0029 CREATE_NODE id=n_9eb3a1c0cab5 node_type=claim
t=0030 CREATE_NODE id=n_9f46edd53abb node_type=claim
t=0031 CREATE_NODE id=n_ad955495bce0 node_type=claim
t=0032 CREATE_NODE id=n_ef62dd3d6800 node_type=claim
t=0033 CREATE_NODE id=n_23fc5c80a96c node_type=claim
t=0034 CREATE_NODE id=n_001c36821754 node_type=claim
t=0035 CREATE_NODE id=n_8a58c15108d6 node_type=claim
t=0036 CREATE_NODE id=n_619638b0f91a node_type=claim
t=0037 CREATE_NODE id=n_3c6e9717000e node_type=claim
t=0038 CREATE_NODE id=n_ae58acaa2842 node_type=claim
t=0039 CREATE_NODE id=n_4d056446e800 node_type=claim
t=0040 CREATE_NODE id=n_549d5e89be67 node_type=claim
t=0041 CREATE_NODE id=n_3acfb943f2a0 node_type=claim
t=0042 CREATE_NODE id=n_2380504f1c06 node_type=claim
t=0043 CREATE_NODE id=n_28801ad877dc node_type=claim
t=0044 CREATE_NODE id=n_42bdf03067a8 node_type=claim
t=0045 CREATE_NODE id=n_aa19925efa84 node_type=claim
t=0046 CREATE_NODE id=n_34926e1bc7b1 node_type=claim
t=0047 CREATE_NODE id=n_ea07a9b8f353 node_type=claim
t=0048 ASSERT_ROOT node=n_59dde56ae7a1 value=TRUE
t=0049 ADD_EDGE edge_id=e_8e52669a7426 source=n_517d91f72081 edge_type=supports target=n_ea07a9b8f353
t=0050 ADD_EDGE edge_id=e_eec2e6ed8a2a source=n_ebb49514085e edge_type=supports target=n_9eb3a1c0cab5
t=0051 ADD_EDGE edge_id=e_7fe071144422 source=n_3c6e9717000e edge_type=refutes target=n_6b217456c0bc
t=0052 ADD_EDGE edge_id=e_61f742375603 source=n_58688cab471a edge_type=supports target=n_bfa6746f85be
t=0053 ADD_EDGE edge_id=e_3fade7ad6d0a source=n_6ef388dcf4f9 edge_type=supports target=n_316b1b579406
t=0054 ADD_EDGE edge_id=e_e8d8403f3813 source=n_eee00826d9f7 edge_type=refutes target=n_23fc5c80a96c
t=0055 ADD_EDGE edge_id=e_30943a78bb89 source=n_aa19925efa84 edge_type=supports target=n_8a58c15108d6
t=0056 ADD_EDGE edge_id=e_201e0b9b394e source=n_58688cab471a edge_type=refutes target=n_9e1bb8a86ce3
t=0057 ADD_EDGE edge_id=e_5f922ebfe193 source=n_762e184dc041 edge_type=refutes target=n_001c36821754
t=0058 ADD_EDGE edge_id=e_6425d00b6542 source=n_c1a91072914a edge_type=supports target=n_ef62dd3d6800
t=0059 ADD_EDGE edge_id=e_3975be42edf6 source=n_59dde56ae7a1 edge_type=supports target=n_517d91f72081
t=0060 ADD_EDGE edge_id=e_9cb9b3bf5509 source=n_bfa6746f85be edge_type=supports target=n_34926e1bc7b1
t=0061 ADD_EDGE edge_id=e_649293d67df0 source=n_23fc5c80a96c edge_type=supports target=n_61a852cd7d11
t=0062 ADD_EDGE edge_id=e_574a6b6ff8b6 source=n_d619a3656401 edge_type=refutes target=n_f5f6cc02532a
t=0063 ADD_EDGE edge_id=e_5db16a1d79ea source=n_f5f6cc02532a edge_type=supports target=n_30690d8c1f66
t=0064 ADD_EDGE edge_id=e_a229ea4069ea source=n_ebb49514085e edge_type=refutes target=n_619638b0f91a
t=0065 ADD_EDGE edge_id=e_aaf84db8e69b source=n_58688cab471a edge_type=supports target=n_aa19925efa84
t=0066 ADD_EDGE edge_id=e_9bfa22dbfe53 source=n_f5f6cc02532a edge_type=refutes target=n_9f46edd53abb
t=0067 ADD_EDGE edge_id=e_e294572a8339 source=n_46be574dc207 edge_type=refutes target=n_ebb49514085e
t=0068 ADD_EDGE edge_id=e_a4294d762f26 source=n_58688cab471a edge_type=supports target=n_ddd445ea3ac2
t=0069 ADD_EDGE edge_id=e_d911494589a1 source=n_ea07a9b8f353 edge_type=supports target=n_3c6e9717000e
t=0070 ADD_EDGE edge_id=e_117524e1e085 source=n_61a852cd7d11 edge_type=refutes target=n_ae58acaa2842
t=0071 ADD_EDGE edge_id=e_9e84517f623d source=n_ccc15480f1a0 edge_type=refutes target=n_eee00826d9f7
t=0072 ADD_EDGE edge_id=e_488443ed96e3 source=n_4e913e78d1b1 edge_type=supports target=n_d619a3656401
t=0073 ADD_EDGE edge_id=e_7b37bc5b3604 source=n_bfa6746f85be edge_type=supports target=n_6ef388dcf4f9
t=0074 ADD_EDGE edge_id=e_2dd4219ca36e source=n_e6fda27ce394 edge_type=refutes target=n_4e913e78d1b1
t=0075 ADD_EDGE edge_id=e_046ad8b73827 source=n_86c3c7a29d02 edge_type=refutes target=n_ab19a0ea9fde
t=0076 ADD_EDGE edge_id=e_1070b2cd64d2 source=n_6b217456c0bc edge_type=refutes target=n_e6fda27ce394
t=0077 ADD_EDGE edge_id=e_a2c265a98ba5 source=n_58688cab471a edge_type=refutes target=n_ad955495bce0
t=0078 ADD_EDGE edge_id=e_3cde817c86a9 source=n_ddd445ea3ac2 edge_type=refutes target=n_dfc0197ce4af
t=0079 ADD_EDGE edge_id=e_fd9f3acb0268 source=n_58688cab471a edge_type=supports target=n_28801ad877dc
t=0080 ADD_EDGE edge_id=e_67d489c70198 source=n_30690d8c1f66 edge_type=supports target=n_ce084853e43d
t=0081 ADD_EDGE edge_id=e_b732e4764a4e source=n_9e1bb8a86ce3 edge_type=refutes target=n_42bdf03067a8
t=0082 ADD_EDGE edge_id=e_ec8a2908c7d3 source=n_619638b0f91a edge_type=refutes target=n_ccc15480f1a0
t=0083 ADD_EDGE edge_id=e_4c3816aec9ca source=n_7b03dfbfe54c edge_type=refutes target=n_3acfb943f2a0
t=0084 ADD_EDGE edge_id=e_a98af7bd371d source=n_7b03dfbfe54c edge_type=supports target=n_32f8fd4dd33f
t=0085 ADD_EDGE edge_id=e_ad7a06bca98b source=n_8a58c15108d6 edge_type=refutes target=n_549d5e89be67
t=0086 ADD_EDGE edge_id=e_2732acabafec source=n_ce084853e43d edge_type=refutes target=n_bc98ea50a94c
t=0087 ADD_EDGE edge_id=e_73e3b3bb6ef6 source=n_c1a91072914a edge_type=supports target=n_762e184dc041
t=0088 ADD_EDGE edge_id=e_46bb20fddec7 source=n_58688cab471a edge_type=supports target=n_c1a91072914a
t=0089 ADD_EDGE edge_id=e_f7f4e7b10474 source=n_bc98ea50a94c edge_type=supports target=n_2380504f1c06
t=0090 ADD_EDGE edge_id=e_ca712d5e7e88 source=n_d619a3656401 edge_type=refutes target=n_1fb374d66f53
t=0091 ADD_EDGE edge_id=e_11bd4afcba03 source=n_34926e1bc7b1 edge_type=refutes target=n_86c3c7a29d02
t=0092 ADD_EDGE edge_id=e_c34f1ac88080 source=n_c1a91072914a edge_type=supports target=n_7b03dfbfe54c
t=0093 ADD_EDGE edge_id=e_1442b960d41d source=n_001c36821754 edge_type=refutes target=n_4d056446e800
t=0094 ADD_EDGE edge_id=e_a2e4492422e8 source=n_2380504f1c06 edge_type=supports target=n_46be574dc207
t=0095 QUERY source=n_59dde56ae7a1 target=n_61a852cd7d11
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_eb3c00421ca8 node_type=claim
t=0001 CREATE_NODE id=n_a489e9f47833 node_type=claim
t=0002 CREATE_NODE id=n_d8637db0aa9c node_type=claim
t=0003 CREATE_NODE id=n_a0ff0a9b6b08 node_type=claim
t=0004 CREATE_NODE id=n_4649e5bcecec node_type=claim
t=0005 CREATE_NODE id=n_45f6a5cd71ef node_type=claim
t=0006 CREATE_NODE id=n_ef5ddc628be6 node_type=claim
t=0007 CREATE_NODE id=n_bb719cb2f77a node_type=claim
t=0008 CREATE_NODE id=n_a0d862682c94 node_type=claim
t=0009 CREATE_NODE id=n_945f66fdec3e node_type=claim
t=0010 CREATE_NODE id=n_f7d4c1eba939 node_type=claim
t=0011 CREATE_NODE id=n_2846b0ee71a2 node_type=claim
t=0012 CREATE_NODE id=n_1835f30b5324 node_type=claim
t=0013 CREATE_NODE id=n_f7b846ba3091 node_type=claim
t=0014 CREATE_NODE id=n_403769ef2246 node_type=claim
t=0015 CREATE_NODE id=n_e6fb5ab20b37 node_type=claim
t=0016 CREATE_NODE id=n_b54574cb3b09 node_type=claim
t=0017 CREATE_NODE id=n_1c7c5830916b node_type=claim
t=0018 CREATE_NODE id=n_dc7c9e5b0666 node_type=claim
t=0019 CREATE_NODE id=n_ab27b45b41f1 node_type=claim
t=0020 CREATE_NODE id=n_906ecdd82b46 node_type=claim
t=0021 CREATE_NODE id=n_aaf3bf0a8fe2 node_type=claim
t=0022 CREATE_NODE id=n_70115a6850b8 node_type=claim
t=0023 CREATE_NODE id=n_4d0778ef32be node_type=claim
t=0024 CREATE_NODE id=n_2743443ab3ed node_type=claim
t=0025 CREATE_NODE id=n_791a5a834997 node_type=claim
t=0026 CREATE_NODE id=n_1d12db56687c node_type=claim
t=0027 CREATE_NODE id=n_f99bfeeeea59 node_type=claim
t=0028 CREATE_NODE id=n_49d445f3f85d node_type=claim
t=0029 CREATE_NODE id=n_21aa3f7768ec node_type=claim
t=0030 CREATE_NODE id=n_0b4608484c1a node_type=claim
t=0031 CREATE_NODE id=n_b05df442ec2f node_type=claim
t=0032 CREATE_NODE id=n_83824227abaf node_type=claim
t=0033 CREATE_NODE id=n_05dec5cb767f node_type=claim
t=0034 CREATE_NODE id=n_aa224ba59806 node_type=claim
t=0035 CREATE_NODE id=n_cfddf3073755 node_type=claim
t=0036 CREATE_NODE id=n_4ffe28c2bbaa node_type=claim
t=0037 CREATE_NODE id=n_bd3a9775e60a node_type=claim
t=0038 CREATE_NODE id=n_d2fdea00f06c node_type=claim
t=0039 CREATE_NODE id=n_6e7c5e19fd7b node_type=claim
t=0040 CREATE_NODE id=n_88cd47d33929 node_type=claim
t=0041 CREATE_NODE id=n_7e8bddd0119e node_type=claim
t=0042 CREATE_NODE id=n_1e45c6de7568 node_type=claim
t=0043 CREATE_NODE id=n_26c5384430b4 node_type=claim
t=0044 CREATE_NODE id=n_a66ae1c60a3d node_type=claim
t=0045 CREATE_NODE id=n_56baf27c6228 node_type=claim
t=0046 CREATE_NODE id=n_45eb77280fa6 node_type=claim
t=0047 CREATE_NODE id=n_589fea7cad4d node_type=claim
t=0048 ASSERT_ROOT node=n_a0d862682c94 value=FALSE
t=0049 ADD_EDGE edge_id=e_53575fbc852d source=n_589fea7cad4d edge_type=supports target=n_f7d4c1eba939
t=0050 ADD_EDGE edge_id=e_a1c546a6f2ed source=n_a0ff0a9b6b08 edge_type=refutes target=n_cfddf3073755
t=0051 ADD_EDGE edge_id=e_7157227201f9 source=n_05dec5cb767f edge_type=supports target=n_791a5a834997
t=0052 ADD_EDGE edge_id=e_7d61786d3341 source=n_d2fdea00f06c edge_type=supports target=n_4649e5bcecec
t=0053 ADD_EDGE edge_id=e_1dc03c5c9959 source=n_4ffe28c2bbaa edge_type=refutes target=n_45f6a5cd71ef
t=0054 ADD_EDGE edge_id=e_59800bed090e source=n_83824227abaf edge_type=refutes target=n_d8637db0aa9c
t=0055 ADD_EDGE edge_id=e_d0c4c436bb36 source=n_ab27b45b41f1 edge_type=supports target=n_70115a6850b8
t=0056 ADD_EDGE edge_id=e_88eff163cffc source=n_945f66fdec3e edge_type=supports target=n_d2fdea00f06c
t=0057 ADD_EDGE edge_id=e_d0b40986c18d source=n_6e7c5e19fd7b edge_type=refutes target=n_b54574cb3b09
t=0058 ADD_EDGE edge_id=e_0b40b7dd3309 source=n_83824227abaf edge_type=supports target=n_bd3a9775e60a
t=0059 ADD_EDGE edge_id=e_b3c722c09eac source=n_2846b0ee71a2 edge_type=supports target=n_a0ff0a9b6b08
t=0060 ADD_EDGE edge_id=e_e62875d3146b source=n_d2fdea00f06c edge_type=supports target=n_2743443ab3ed
t=0061 ADD_EDGE edge_id=e_1c4070e75ad1 source=n_b05df442ec2f edge_type=supports target=n_945f66fdec3e
t=0062 ADD_EDGE edge_id=e_2f6f77a72617 source=n_83824227abaf edge_type=supports target=n_49d445f3f85d
t=0063 ADD_EDGE edge_id=e_605ddfc5d8c0 source=n_6e7c5e19fd7b edge_type=refutes target=n_05dec5cb767f
t=0064 ADD_EDGE edge_id=e_318101a432f8 source=n_945f66fdec3e edge_type=refutes target=n_1e45c6de7568
t=0065 ADD_EDGE edge_id=e_2e6951b85553 source=n_45eb77280fa6 edge_type=refutes target=n_4ffe28c2bbaa
t=0066 ADD_EDGE edge_id=e_9f07d451b7dc source=n_a489e9f47833 edge_type=refutes target=n_26c5384430b4
t=0067 ADD_EDGE edge_id=e_7d84c524ebd8 source=n_1835f30b5324 edge_type=supports target=n_21aa3f7768ec
t=0068 ADD_EDGE edge_id=e_a0340aa40b85 source=n_83824227abaf edge_type=supports target=n_56baf27c6228
t=0069 ADD_EDGE edge_id=e_9224b53b7917 source=n_83824227abaf edge_type=supports target=n_1d12db56687c
t=0070 ADD_EDGE edge_id=e_a44561e0bbbb source=n_403769ef2246 edge_type=supports target=n_dc7c9e5b0666
t=0071 ADD_EDGE edge_id=e_efc846334aa1 source=n_0b4608484c1a edge_type=supports target=n_589fea7cad4d
t=0072 ADD_EDGE edge_id=e_3773ff71e9cc source=n_b05df442ec2f edge_type=refutes target=n_e6fb5ab20b37
t=0073 ADD_EDGE edge_id=e_42c92a21cb06 source=n_21aa3f7768ec edge_type=supports target=n_7e8bddd0119e
t=0074 ADD_EDGE edge_id=e_a9b4eef267b2 source=n_b05df442ec2f edge_type=refutes target=n_1835f30b5324
t=0075 ADD_EDGE edge_id=e_c4785f4c5eb1 source=n_26c5384430b4 edge_type=supports target=n_ef5ddc628be6
t=0076 ADD_EDGE edge_id=e_b57d4ec3fc0e source=n_bb719cb2f77a edge_type=refutes target=n_4d0778ef32be
t=0077 ADD_EDGE edge_id=e_4989370a61d9 source=n_a66ae1c60a3d edge_type=supports target=n_a489e9f47833
t=0078 ADD_EDGE edge_id=e_46d452327518 source=n_cfddf3073755 edge_type=refutes target=n_bb719cb2f77a
t=0079 ADD_EDGE edge_id=e_3f3189b4a8c8 source=n_4ffe28c2bbaa edge_type=supports target=n_aaf3bf0a8fe2
t=0080 ADD_EDGE edge_id=e_f6246e57e703 source=n_d2fdea00f06c edge_type=refutes target=n_0b4608484c1a
t=0081 ADD_EDGE edge_id=e_b6651b30bf5f source=n_791a5a834997 edge_type=refutes target=n_a66ae1c60a3d
t=0082 ADD_EDGE edge_id=e_c03a76086f47 source=n_dc7c9e5b0666 edge_type=refutes target=n_2846b0ee71a2
t=0083 ADD_EDGE edge_id=e_3113202603fe source=n_aa224ba59806 edge_type=refutes target=n_f7b846ba3091
t=0084 ADD_EDGE edge_id=e_a572e90da112 source=n_70115a6850b8 edge_type=refutes target=n_f99bfeeeea59
t=0085 ADD_EDGE edge_id=e_9d5a1cdced16 source=n_d2fdea00f06c edge_type=refutes target=n_83824227abaf
t=0086 ADD_EDGE edge_id=e_1d1217335a5c source=n_4649e5bcecec edge_type=supports target=n_aa224ba59806
t=0087 ADD_EDGE edge_id=e_320bffd5353e source=n_a0d862682c94 edge_type=refutes target=n_ab27b45b41f1
t=0088 ADD_EDGE edge_id=e_4a01c6dfac5b source=n_1d12db56687c edge_type=supports target=n_906ecdd82b46
t=0089 ADD_EDGE edge_id=e_878084e5a63d source=n_f99bfeeeea59 edge_type=refutes target=n_403769ef2246
t=0090 ADD_EDGE edge_id=e_1bb3f8f33f5d source=n_4d0778ef32be edge_type=refutes target=n_45eb77280fa6
t=0091 ADD_EDGE edge_id=e_356fa2a5d23d source=n_45f6a5cd71ef edge_type=supports target=n_6e7c5e19fd7b
t=0092 ADD_EDGE edge_id=e_7f9c58a3fa9a source=n_1835f30b5324 edge_type=refutes target=n_eb3c00421ca8
t=0093 ADD_EDGE edge_id=e_b013186dea8d source=n_f99bfeeeea59 edge_type=refutes target=n_1c7c5830916b
t=0094 ADD_EDGE edge_id=e_65dcfe2f3271 source=n_eb3c00421ca8 edge_type=supports target=n_88cd47d33929
t=0095 QUERY source=n_a0d862682c94 target=n_26c5384430b4
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_cada26b3e7af node_type=claim
t=0001 CREATE_NODE id=n_112336563f6f node_type=claim
t=0002 CREATE_NODE id=n_e84ef24e4153 node_type=claim
t=0003 CREATE_NODE id=n_aa4a9786b0c4 node_type=claim
t=0004 CREATE_NODE id=n_ba0912445e23 node_type=claim
t=0005 CREATE_NODE id=n_186c44c50997 node_type=claim
t=0006 CREATE_NODE id=n_92652138ea49 node_type=claim
t=0007 CREATE_NODE id=n_0d4e8e524707 node_type=claim
t=0008 CREATE_NODE id=n_7583a71bc14b node_type=claim
t=0009 CREATE_NODE id=n_37022edb2de9 node_type=claim
t=0010 CREATE_NODE id=n_7ce662742357 node_type=claim
t=0011 CREATE_NODE id=n_e79e89b4f576 node_type=claim
t=0012 CREATE_NODE id=n_f60154308114 node_type=claim
t=0013 CREATE_NODE id=n_10ee2c137539 node_type=claim
t=0014 CREATE_NODE id=n_656bcd5ceecb node_type=claim
t=0015 CREATE_NODE id=n_0e8a5eef79b5 node_type=claim
t=0016 CREATE_NODE id=n_2d0f4d690c1f node_type=claim
t=0017 CREATE_NODE id=n_bf65a134a061 node_type=claim
t=0018 CREATE_NODE id=n_d84cac7916cd node_type=claim
t=0019 CREATE_NODE id=n_3a58d5f7b940 node_type=claim
t=0020 CREATE_NODE id=n_c899cfd5c95a node_type=claim
t=0021 CREATE_NODE id=n_3d53decc9755 node_type=claim
t=0022 CREATE_NODE id=n_c90a32acf371 node_type=claim
t=0023 CREATE_NODE id=n_c37fbf7f6bd1 node_type=claim
t=0024 CREATE_NODE id=n_4ef0aa75a190 node_type=claim
t=0025 CREATE_NODE id=n_03eee8ea2936 node_type=claim
t=0026 CREATE_NODE id=n_dfc86cd04a1b node_type=claim
t=0027 CREATE_NODE id=n_cff5ea2b6664 node_type=claim
t=0028 CREATE_NODE id=n_69b199f03a8d node_type=claim
t=0029 CREATE_NODE id=n_4ec3f5fd6b61 node_type=claim
t=0030 CREATE_NODE id=n_3b3fa4cb7b38 node_type=claim
t=0031 CREATE_NODE id=n_6803777f485f node_type=claim
t=0032 CREATE_NODE id=n_4cb085099d8f node_type=claim
t=0033 CREATE_NODE id=n_9a217b01046b node_type=claim
t=0034 CREATE_NODE id=n_06036e0c299a node_type=claim
t=0035 CREATE_NODE id=n_bd5d083d1c4b node_type=claim
t=0036 CREATE_NODE id=n_fe8db39f83a3 node_type=claim
t=0037 CREATE_NODE id=n_32d1851afde0 node_type=claim
t=0038 CREATE_NODE id=n_3a37ee36474f node_type=claim
t=0039 CREATE_NODE id=n_d558701620e4 node_type=claim
t=0040 CREATE_NODE id=n_839a1ad27743 node_type=claim
t=0041 CREATE_NODE id=n_f9fde1c16ef5 node_type=claim
t=0042 CREATE_NODE id=n_db46569dee71 node_type=claim
t=0043 CREATE_NODE id=n_5a0277944017 node_type=claim
t=0044 CREATE_NODE id=n_14f04d839b69 node_type=claim
t=0045 CREATE_NODE id=n_02f091c6efbf node_type=claim
t=0046 CREATE_NODE id=n_8ef49c53226e node_type=claim
t=0047 CREATE_NODE id=n_e0d4aa209e5f node_type=claim
t=0048 ASSERT_ROOT node=n_112336563f6f value=TRUE
t=0049 ADD_EDGE edge_id=e_98e0269d3a29 source=n_4ef0aa75a190 edge_type=refutes target=n_9a217b01046b
t=0050 ADD_EDGE edge_id=e_71cc6d30f9c7 source=n_92652138ea49 edge_type=supports target=n_37022edb2de9
t=0051 ADD_EDGE edge_id=e_e58708e34143 source=n_ba0912445e23 edge_type=refutes target=n_dfc86cd04a1b
t=0052 ADD_EDGE edge_id=e_634c41947464 source=n_d84cac7916cd edge_type=supports target=n_fe8db39f83a3
t=0053 ADD_EDGE edge_id=e_36f1cb08d54c source=n_fe8db39f83a3 edge_type=refutes target=n_e84ef24e4153
t=0054 ADD_EDGE edge_id=e_c0b1b2bafaee source=n_e84ef24e4153 edge_type=supports target=n_7ce662742357
t=0055 ADD_EDGE edge_id=e_c1dd4e7c59ae source=n_4ec3f5fd6b61 edge_type=supports target=n_db46569dee71
t=0056 ADD_EDGE edge_id=e_865c0c129bb3 source=n_cada26b3e7af edge_type=refutes target=n_3a58d5f7b940
t=0057 ADD_EDGE edge_id=e_fc246c725af1 source=n_dfc86cd04a1b edge_type=supports target=n_06036e0c299a
t=0058 ADD_EDGE edge_id=e_d943c951ab02 source=n_3d53decc9755 edge_type=refutes target=n_d84cac7916cd
t=0059 ADD_EDGE edge_id=e_3dd9a52471d5 source=n_656bcd5ceecb edge_type=supports target=n_bd5d083d1c4b
t=0060 ADD_EDGE edge_id=e_8288b882e9cd source=n_4ec3f5fd6b61 edge_type=refutes target=n_f9fde1c16ef5
t=0061 ADD_EDGE edge_id=e_8fa0b0ea9fd3 source=n_ba0912445e23 edge_type=supports target=n_03eee8ea2936
t=0062 ADD_EDGE edge_id=e_f4e22f22535c source=n_ba0912445e23 edge_type=supports target=n_32d1851afde0
t=0063 ADD_EDGE edge_id=e_6f31d7724cae source=n_37022edb2de9 edge_type=supports target=n_e79e89b4f576
t=0064 ADD_EDGE edge_id=e_0aa99e8d77b8 source=n_cff5ea2b6664 edge_type=supports target=n_d558701620e4
t=0065 ADD_EDGE edge_id=e_65781238ba29 source=n_d558701620e4 edge_type=supports target=n_3a37ee36474f
t=0066 ADD_EDGE edge_id=e_32cfb54dfca0 source=n_10ee2c137539 edge_type=supports target=n_14f04d839b69
t=0067 ADD_EDGE edge_id=e_7ccb8054d5d8 source=n_5a0277944017 edge_type=supports target=n_bf65a134a061
t=0068 ADD_EDGE edge_id=e_3df489f8b4f9 source=n_cada26b3e7af edge_type=refutes target=n_656bcd5ceecb
t=0069 ADD_EDGE edge_id=e_86d695849405 source=n_2d0f4d690c1f edge_type=supports target=n_839a1ad27743
t=0070 ADD_EDGE edge_id=e_566a894303db source=n_10ee2c137539 edge_type=refutes target=n_4cb085099d8f
t=0071 ADD_EDGE edge_id=e_b9e15e14e3fc source=n_c90a32acf371 edge_type=refutes target=n_8ef49c53226e
t=0072 ADD_EDGE edge_id=e_9cf22ccb0fa1 source=n_06036e0c299a edge_type=refutes target=n_c90a32acf371
t=0073 ADD_EDGE edge_id=e_e4cacb8d5b4b source=n_3a37ee36474f edge_type=refutes target=n_7583a71bc14b
t=0074 ADD_EDGE edge_id=e_ba594e2d1f21 source=n_bf65a134a061 edge_type=supports target=n_6803777f485f
t=0075 ADD_EDGE edge_id=e_4f3370ff65af source=n_db46569dee71 edge_type=supports target=n_02f091c6efbf
t=0076 ADD_EDGE edge_id=e_352589761732 source=n_839a1ad27743 edge_type=refutes target=n_69b199f03a8d
t=0077 ADD_EDGE edge_id=e_fd48d594d825 source=n_dfc86cd04a1b edge_type=refutes target=n_cada26b3e7af
t=0078 ADD_EDGE edge_id=e_3376f750a237 source=n_7583a71bc14b edge_type=refutes target=n_10ee2c137539
t=0079 ADD_EDGE edge_id=e_b958cd33aefe source=n_37022edb2de9 edge_type=refutes target=n_c899cfd5c95a
t=0080 ADD_EDGE edge_id=e_317e0f74ef23 source=n_c37fbf7f6bd1 edge_type=supports target=n_3d53decc9755
t=0081 ADD_EDGE edge_id=e_58c258a57dbf source=n_02f091c6efbf edge_type=supports target=n_2d0f4d690c1f
t=0082 ADD_EDGE edge_id=e_9d32da0ec95b source=n_7ce662742357 edge_type=refutes target=n_e0d4aa209e5f
t=0083 ADD_EDGE edge_id=e_3bee7f8c4f93 source=n_e79e89b4f576 edge_type=refutes target=n_cff5ea2b6664
t=0084 ADD_EDGE edge_id=e_31fcef0df725 source=n_8ef49c53226e edge_type=refutes target=n_0e8a5eef79b5
t=0085 ADD_EDGE edge_id=e_95ecdc6eb9c3 source=n_186c44c50997 edge_type=refutes target=n_3b3fa4cb7b38
t=0086 ADD_EDGE edge_id=e_53a9f798efd5 source=n_6803777f485f edge_type=refutes target=n_c37fbf7f6bd1
t=0087 ADD_EDGE edge_id=e_7eb4fd2f9072 source=n_14f04d839b69 edge_type=refutes target=n_5a0277944017
t=0088 ADD_EDGE edge_id=e_5102f2192698 source=n_112336563f6f edge_type=refutes target=n_92652138ea49
t=0089 ADD_EDGE edge_id=e_63ea245ed309 source=n_4ec3f5fd6b61 edge_type=supports target=n_ba0912445e23
t=0090 ADD_EDGE edge_id=e_cfdc96af1534 source=n_02f091c6efbf edge_type=refutes target=n_f60154308114
t=0091 ADD_EDGE edge_id=e_dc6876737fa2 source=n_06036e0c299a edge_type=supports target=n_0d4e8e524707
t=0092 ADD_EDGE edge_id=e_2d0f3e30bfa0 source=n_c90a32acf371 edge_type=supports target=n_aa4a9786b0c4
t=0093 ADD_EDGE edge_id=e_857dc256c268 source=n_ba0912445e23 edge_type=supports target=n_4ef0aa75a190
t=0094 ADD_EDGE edge_id=e_029fd23cbb4f source=n_7ce662742357 edge_type=supports target=n_186c44c50997
t=0095 QUERY source=n_112336563f6f target=n_186c44c50997
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_42e0ef3eacdc node_type=claim
t=0001 CREATE_NODE id=n_88230cda92d4 node_type=claim
t=0002 CREATE_NODE id=n_c2b88066932c node_type=claim
t=0003 CREATE_NODE id=n_e067054741d5 node_type=claim
t=0004 CREATE_NODE id=n_681707d88142 node_type=claim
t=0005 CREATE_NODE id=n_ae1bbde03386 node_type=claim
t=0006 CREATE_NODE id=n_d483770b0b32 node_type=claim
t=0007 CREATE_NODE id=n_fde9c26e1c82 node_type=claim
t=0008 CREATE_NODE id=n_0ab56c55eb0b node_type=claim
t=0009 CREATE_NODE id=n_2bf04749a11d node_type=claim
t=0010 CREATE_NODE id=n_3e263b568415 node_type=claim
t=0011 CREATE_NODE id=n_cf7a4741f33f node_type=claim
t=0012 CREATE_NODE id=n_98d61aeead3e node_type=claim
t=0013 CREATE_NODE id=n_5ee602f025f3 node_type=claim
t=0014 CREATE_NODE id=n_863a289a8f0f node_type=claim
t=0015 CREATE_NODE id=n_c13adf755c28 node_type=claim
t=0016 CREATE_NODE id=n_b93974548004 node_type=claim
t=0017 CREATE_NODE id=n_7fb29755798f node_type=claim
t=0018 CREATE_NODE id=n_471607e793c6 node_type=claim
t=0019 CREATE_NODE id=n_a567d90d56ab node_type=claim
t=0020 CREATE_NODE id=n_3badfffd05c5 node_type=claim
t=0021 CREATE_NODE id=n_1678cd4f1d4c node_type=claim
t=0022 CREATE_NODE id=n_aab3649a1d35 node_type=claim
t=0023 CREATE_NODE id=n_5d5c724a72ac node_type=claim
t=0024 CREATE_NODE id=n_1cddf7ca96c1 node_type=claim
t=0025 CREATE_NODE id=n_a1d56eb5d8fa node_type=claim
t=0026 CREATE_NODE id=n_b28f873bcda7 node_type=claim
t=0027 CREATE_NODE id=n_10ed61d9cef1 node_type=claim
t=0028 CREATE_NODE id=n_a72223f68479 node_type=claim
t=0029 CREATE_NODE id=n_fa699567f5a7 node_type=claim
t=0030 CREATE_NODE id=n_07d68eb8c137 node_type=claim
t=0031 CREATE_NODE id=n_690a45289589 node_type=claim
t=0032 CREATE_NODE id=n_028df281acc3 node_type=claim
t=0033 CREATE_NODE id=n_2a8d36974dcb node_type=claim
t=0034 CREATE_NODE id=n_a040b692bfb8 node_type=claim
t=0035 CREATE_NODE id=n_f8c94f14bd90 node_type=claim
t=0036 CREATE_NODE id=n_432fb61a3844 node_type=claim
t=0037 CREATE_NODE id=n_17ab2d6e1ad1 node_type=claim
t=0038 CREATE_NODE id=n_73cb6e129308 node_type=claim
t=0039 CREATE_NODE id=n_f9772e71803e node_type=claim
t=0040 CREATE_NODE id=n_e626f17dff0b node_type=claim
t=0041 CREATE_NODE id=n_7ca758f255a3 node_type=claim
t=0042 CREATE_NODE id=n_cb7b6ac4f799 node_type=claim
t=0043 CREATE_NODE id=n_0a8f6c533108 node_type=claim
t=0044 CREATE_NODE id=n_ae4896ca66a0 node_type=claim
t=0045 CREATE_NODE id=n_e722e8b3ce58 node_type=claim
t=0046 CREATE_NODE id=n_493f7f2d35d1 node_type=claim
t=0047 CREATE_NODE id=n_e5f1ab0468f1 node_type=claim
t=0048 ASSERT_ROOT node=n_17ab2d6e1ad1 value=TRUE
t=0049 ADD_EDGE edge_id=e_bc46b97b2e77 source=n_a1d56eb5d8fa edge_type=refutes target=n_b28f873bcda7
t=0050 ADD_EDGE edge_id=e_e1ba7712b445 source=n_2bf04749a11d edge_type=supports target=n_e722e8b3ce58
t=0051 ADD_EDGE edge_id=e_5281a72a616f source=n_a040b692bfb8 edge_type=refutes target=n_1cddf7ca96c1
t=0052 ADD_EDGE edge_id=e_f885021d77f2 source=n_028df281acc3 edge_type=supports target=n_cf7a4741f33f
t=0053 ADD_EDGE edge_id=e_38f0c0c3b4f4 source=n_07d68eb8c137 edge_type=supports target=n_7fb29755798f
t=0054 ADD_EDGE edge_id=e_613f0dc7aac1 source=n_690a45289589 edge_type=refutes target=n_c13adf755c28
t=0055 ADD_EDGE edge_id=e_a753fab30b1a source=n_0a8f6c533108 edge_type=supports target=n_863a289a8f0f
t=0056 ADD_EDGE edge_id=e_1fc39ea74a6c source=n_c13adf755c28 edge_type=refutes target=n_a1d56eb5d8fa
t=0057 ADD_EDGE edge_id=e_aa86ee9d3768 source=n_cb7b6ac4f799 edge_type=supports target=n_f9772e71803e
t=0058 ADD_EDGE edge_id=e_049eba550a88 source=n_493f7f2d35d1 edge_type=refutes target=n_028df281acc3
t=0059 ADD_EDGE edge_id=e_b4f9de6d09f1 source=n_07d68eb8c137 edge_type=supports target=n_471607e793c6
t=0060 ADD_EDGE edge_id=e_b3fcecaf4f86 source=n_d483770b0b32 edge_type=refutes target=n_2a8d36974dcb
t=0061 ADD_EDGE edge_id=e_9c496ae71667 source=n_471607e793c6 edge_type=supports target=n_98d61aeead3e
t=0062 ADD_EDGE edge_id=e_49ec1da6e284 source=n_17ab2d6e1ad1 edge_type=refutes target=n_690a45289589
t=0063 ADD_EDGE edge_id=e_64fb2110f9e0 source=n_d483770b0b32 edge_type=refutes target=n_88230cda92d4
t=0064 ADD_EDGE edge_id=e_d51c0ae47516 source=n_07d68eb8c137 edge_type=supports target=n_a040b692bfb8
t=0065 ADD_EDGE edge_id=e_fd6322c5a5f2 source=n_2bf04749a11d edge_type=supports target=n_aab3649a1d35
t=0066 ADD_EDGE edge_id=e_26d3bf2351f5 source=n_cf7a4741f33f edge_type=supports target=n_e626f17dff0b
t=0067 ADD_EDGE edge_id=e_12a08099150a source=n_07d68eb8c137 edge_type=refutes target=n_d483770b0b32
t=0068 ADD_EDGE edge_id=e_ee62f5532405 source=n_e067054741d5 edge_type=refutes target=n_73cb6e129308
t=0069 ADD_EDGE edge_id=e_4b28becff028 source=n_e722e8b3ce58 edge_type=refutes target=n_fde9c26e1c82
t=0070 ADD_EDGE edge_id=e_216623b44f53 source=n_e722e8b3ce58 edge_type=refutes target=n_0a8f6c533108
t=0071 ADD_EDGE edge_id=e_e61bae24a51c source=n_07d68eb8c137 edge_type=supports target=n_5d5c724a72ac
t=0072 ADD_EDGE edge_id=e_3b51fc44f031 source=n_3e263b568415 edge_type=supports target=n_3badfffd05c5
t=0073 ADD_EDGE edge_id=e_bec9517c5f0c source=n_f8c94f14bd90 edge_type=refutes target=n_cb7b6ac4f799
t=0074 ADD_EDGE edge_id=e_2f8a9c7d5e5a source=n_a040b692bfb8 edge_type=supports target=n_0ab56c55eb0b
t=0075 ADD_EDGE edge_id=e_97dec88a6911 source=n_b28f873bcda7 edge_type=supports target=n_e5f1ab0468f1
t=0076 ADD_EDGE edge_id=e_3a4fce499454 source=n_a040b692bfb8 edge_type=refutes target=n_e067054741d5
t=0077 ADD_EDGE edge_id=e_e95615741b68 source=n_ae4896ca66a0 edge_type=refutes target=n_7ca758f255a3
t=0078 ADD_EDGE edge_id=e_17b447ff4d46 source=n_c13adf755c28 edge_type=supports target=n_fa699567f5a7
t=0079 ADD_EDGE edge_id=e_e1579a8ec878 source=n_3badfffd05c5 edge_type=refutes target=n_a72223f68479
t=0080 ADD_EDGE edge_id=e_dda3c068fdae source=n_a72223f68479 edge_type=supports target=n_493f7f2d35d1
t=0081 ADD_EDGE edge_id=e_550faa4d60af source=n_e722e8b3ce58 edge_type=refutes target=n_10ed61d9cef1
t=0082 ADD_EDGE edge_id=e_fc5da7ae52a3 source=n_aab3649a1d35 edge_type=supports target=n_b93974548004
t=0083 ADD_EDGE edge_id=e_5490689275f3 source=n_c2b88066932c edge_type=refutes target=n_ae1bbde03386
t=0084 ADD_EDGE edge_id=e_d639d4b1283e source=n_f9772e71803e edge_type=refutes target=n_5ee602f025f3
t=0085 ADD_EDGE edge_id=e_88f0854b6deb source=n_cf7a4741f33f edge_type=refutes target=n_432fb61a3844
t=0086 ADD_EDGE edge_id=e_36d68c3790dc source=n_e722e8b3ce58 edge_type=supports target=n_681707d88142
t=0087 ADD_EDGE edge_id=e_6f411594d3b7 source=n_b93974548004 edge_type=supports target=n_1678cd4f1d4c
t=0088 ADD_EDGE edge_id=e_ec9afe844f9a source=n_c2b88066932c edge_type=supports target=n_42e0ef3eacdc
t=0089 ADD_EDGE edge_id=e_6d8f9dcbfbbb source=n_5ee602f025f3 edge_type=supports target=n_3e263b568415
t=0090 ADD_EDGE edge_id=e_c6d2e69e058d source=n_07d68eb8c137 edge_type=refutes target=n_a567d90d56ab
t=0091 ADD_EDGE edge_id=e_03af98650d59 source=n_7ca758f255a3 edge_type=refutes target=n_c2b88066932c
t=0092 ADD_EDGE edge_id=e_208615afae45 source=n_e067054741d5 edge_type=supports target=n_2bf04749a11d
t=0093 ADD_EDGE edge_id=e_8fcb454c9698 source=n_42e0ef3eacdc edge_type=refutes target=n_f8c94f14bd90
t=0094 ADD_EDGE edge_id=e_4fcc3d635ad2 source=n_e5f1ab0468f1 edge_type=supports target=n_ae4896ca66a0
t=0095 QUERY source=n_17ab2d6e1ad1 target=n_cf7a4741f33f
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_d469367b24c4 node_type=claim
t=0001 CREATE_NODE id=n_cf405dd3b17f node_type=claim
t=0002 CREATE_NODE id=n_fd3b7b44866e node_type=claim
t=0003 CREATE_NODE id=n_3229254a3af6 node_type=claim
t=0004 CREATE_NODE id=n_112873c11077 node_type=claim
t=0005 CREATE_NODE id=n_db475814ce34 node_type=claim
t=0006 CREATE_NODE id=n_0f886112d39d node_type=claim
t=0007 CREATE_NODE id=n_797651a07945 node_type=claim
t=0008 CREATE_NODE id=n_53a8912dbb0a node_type=claim
t=0009 CREATE_NODE id=n_1d67dbd5bfa9 node_type=claim
t=0010 CREATE_NODE id=n_2b7acf065393 node_type=claim
t=0011 CREATE_NODE id=n_1f9a43b5a9d9 node_type=claim
t=0012 CREATE_NODE id=n_dbb9b7d7958d node_type=claim
t=0013 CREATE_NODE id=n_b3e0c960b7d0 node_type=claim
t=0014 CREATE_NODE id=n_ed4c0eed08bb node_type=claim
t=0015 CREATE_NODE id=n_7c1ce25bfa9d node_type=claim
t=0016 CREATE_NODE id=n_95c30c00875c node_type=claim
t=0017 CREATE_NODE id=n_d885fcecff8b node_type=claim
t=0018 CREATE_NODE id=n_84aac4c6184b node_type=claim
t=0019 CREATE_NODE id=n_ddebb43016df node_type=claim
t=0020 CREATE_NODE id=n_0d9eb1e53395 node_type=claim
t=0021 CREATE_NODE id=n_a13feb6da965 node_type=claim
t=0022 CREATE_NODE id=n_80154c42612a node_type=claim
t=0023 CREATE_NODE id=n_482c9dbfc38e node_type=claim
t=0024 CREATE_NODE id=n_ee52f6c96653 node_type=claim
t=0025 CREATE_NODE id=n_abc2fc9434b2 node_type=claim
t=0026 CREATE_NODE id=n_692ab706cb7c node_type=claim
t=0027 CREATE_NODE id=n_b4927071aa2c node_type=claim
t=0028 CREATE_NODE id=n_dcb64a7f6e92 node_type=claim
t=0029 CREATE_NODE id=n_d8ba4c9086bc node_type=claim
t=0030 CREATE_NODE id=n_4f8d008ca5a4 node_type=claim
t=0031 CREATE_NODE id=n_de0486eb5a1a node_type=claim
t=0032 CREATE_NODE id=n_f0807b590a4c node_type=claim
t=0033 CREATE_NODE id=n_011cde59aa6a node_type=claim
t=0034 CREATE_NODE id=n_2d5c03570f74 node_type=claim
t=0035 CREATE_NODE id=n_dcba8c01fc02 node_type=claim
t=0036 CREATE_NODE id=n_e17c43b74859 node_type=claim
t=0037 CREATE_NODE id=n_f3cafd883202 node_type=claim
t=0038 CREATE_NODE id=n_099d7c57d951 node_type=claim
t=0039 CREATE_NODE id=n_cc3ab008e721 node_type=claim
t=0040 CREATE_NODE id=n_d930da9bc664 node_type=claim
t=0041 CREATE_NODE id=n_db9ee11a22d8 node_type=claim
t=0042 CREATE_NODE id=n_43372019a498 node_type=claim
t=0043 CREATE_NODE id=n_c59c3bcf9ba5 node_type=claim
t=0044 CREATE_NODE id=n_e889d25f3bed node_type=claim
t=0045 CREATE_NODE id=n_8cf3c4a2b9f6 node_type=claim
t=0046 CREATE_NODE id=n_e0d2e83d499b node_type=claim
t=0047 CREATE_NODE id=n_676801c6f01c node_type=claim
t=0048 ASSERT_ROOT node=n_0d9eb1e53395 value=FALSE
t=0049 ADD_EDGE edge_id=e_b6330c6dea0e source=n_1f9a43b5a9d9 edge_type=refutes target=n_b4927071aa2c
t=0050 ADD_EDGE edge_id=e_c2cbee5bd10a source=n_0d9eb1e53395 edge_type=supports target=n_abc2fc9434b2
t=0051 ADD_EDGE edge_id=e_35e9febcb6a2 source=n_7c1ce25bfa9d edge_type=supports target=n_43372019a498
t=0052 ADD_EDGE edge_id=e_8108f5f9c3c4 source=n_b3e0c960b7d0 edge_type=supports target=n_e17c43b74859
t=0053 ADD_EDGE edge_id=e_73bb022f51f0 source=n_a13feb6da965 edge_type=refutes target=n_ddebb43016df
t=0054 ADD_EDGE edge_id=e_5e0d709105aa source=n_53a8912dbb0a edge_type=refutes target=n_80154c42612a
t=0055 ADD_EDGE edge_id=e_b5cb8b88b72e source=n_f0807b590a4c edge_type=supports target=n_482c9dbfc38e
t=0056 ADD_EDGE edge_id=e_3218e448d4d9 source=n_7c1ce25bfa9d edge_type=refutes target=n_011cde59aa6a
t=0057 ADD_EDGE edge_id=e_e83b0afc3a29 source=n_cc3ab008e721 edge_type=supports target=n_2b7acf065393
t=0058 ADD_EDGE edge_id=e_85c2071cf260 source=n_f0807b590a4c edge_type=supports target=n_ed4c0eed08bb
t=0059 ADD_EDGE edge_id=e_58aff0e70e64 source=n_3229254a3af6 edge_type=supports target=n_de0486eb5a1a
t=0060 ADD_EDGE edge_id=e_33bd006057a1 source=n_cf405dd3b17f edge_type=refutes target=n_e0d2e83d499b
t=0061 ADD_EDGE edge_id=e_590798cd088e source=n_80154c42612a edge_type=refutes target=n_0f886112d39d
t=0062 ADD_EDGE edge_id=e_cebac62f9805 source=n_cf405dd3b17f edge_type=refutes target=n_db9ee11a22d8
t=0063 ADD_EDGE edge_id=e_6ea2201fd86d source=n_dcba8c01fc02 edge_type=supports target=n_fd3b7b44866e
t=0064 ADD_EDGE edge_id=e_a24e403e43b4 source=n_abc2fc9434b2 edge_type=supports target=n_099d7c57d951
t=0065 ADD_EDGE edge_id=e_f618dd8a7d55 source=n_d885fcecff8b edge_type=refutes target=n_1f9a43b5a9d9
t=0066 ADD_EDGE edge_id=e_7089298bf428 source=n_676801c6f01c edge_type=supports target=n_2d5c03570f74
t=0067 ADD_EDGE edge_id=e_eeef3b9a6ffc source=n_e889d25f3bed edge_type=refutes target=n_676801c6f01c
t=0068 ADD_EDGE edge_id=e_557cf3268bc5 source=n_cf405dd3b17f edge_type=supports target=n_f0807b590a4c
t=0069 ADD_EDGE edge_id=e_bb761945a4c6 source=n_1d67dbd5bfa9 edge_type=supports target=n_112873c11077
t=0070 ADD_EDGE edge_id=e_218e23b3b933 source=n_fd3b7b44866e edge_type=refutes target=n_53a8912dbb0a
t=0071 ADD_EDGE edge_id=e_5dd750431a7e source=n_ee52f6c96653 edge_type=refutes target=n_d469367b24c4
t=0072 ADD_EDGE edge_id=e_beab01efef5b source=n_d469367b24c4 edge_type=refutes target=n_797651a07945
t=0073 ADD_EDGE edge_id=e_44285f512d1e source=n_cc3ab008e721 edge_type=refutes target=n_c59c3bcf9ba5
t=0074 ADD_EDGE edge_id=e_8cd905f69981 source=n_f0807b590a4c edge_type=refutes target=n_b3e0c960b7d0
t=0075 ADD_EDGE edge_id=e_ec038570c0e5 source=n_797651a07945 edge_type=supports target=n_8cf3c4a2b9f6
t=0076 ADD_EDGE edge_id=e_0b2a36c67640 source=n_ee52f6c96653 edge_type=supports target=n_dbb9b7d7958d
t=0077 ADD_EDGE edge_id=e_78b42e7094f4 source=n_099d7c57d951 edge_type=supports target=n_d930da9bc664
t=0078 ADD_EDGE edge_id=e_6dac6a9f2e8d source=n_ddebb43016df edge_type=refutes target=n_db475814ce34
t=0079 ADD_EDGE edge_id=e_4aa4fdf9ec88 source=n_f0807b590a4c edge_type=supports target=n_d885fcecff8b
t=0080 ADD_EDGE edge_id=e_62598bde7879 source=n_cc3ab008e721 edge_type=refutes target=n_4f8d008ca5a4
t=0081 ADD_EDGE edge_id=e_6f387429e703 source=n_53a8912dbb0a edge_type=supports target=n_d8ba4c9086bc
t=0082 ADD_EDGE edge_id=e_a5882d999e2a source=n_8cf3c4a2b9f6 edge_type=refutes target=n_3229254a3af6
t=0083 ADD_EDGE edge_id=e_d7bf5b5b2acc source=n_ed4c0eed08bb edge_type=refutes target=n_cc3ab008e721
t=0084 ADD_EDGE edge_id=e_d142ee60a2df source=n_ed4c0eed08bb edge_type=supports target=n_95c30c00875c
t=0085 ADD_EDGE edge_id=e_a60f294b7b2c source=n_db9ee11a22d8 edge_type=refutes target=n_692ab706cb7c
t=0086 ADD_EDGE edge_id=e_a3f1ace11248 source=n_4f8d008ca5a4 edge_type=supports target=n_7c1ce25bfa9d
t=0087 ADD_EDGE edge_id=e_8a9418700d4d source=n_676801c6f01c edge_type=supports target=n_a13feb6da965
t=0088 ADD_EDGE edge_id=e_29a615d37cf7 source=n_1f9a43b5a9d9 edge_type=supports target=n_1d67dbd5bfa9
t=0089 ADD_EDGE edge_id=e_046a2ecb42a5 source=n_cf405dd3b17f edge_type=supports target=n_f3cafd883202
t=0090 ADD_EDGE edge_id=e_269cd6c29124 source=n_0f886112d39d edge_type=refutes target=n_e889d25f3bed
t=0091 ADD_EDGE edge_id=e_2bfa334a564a source=n_dcba8c01fc02 edge_type=supports target=n_84aac4c6184b
t=0092 ADD_EDGE edge_id=e_fcc411816229 source=n_de0486eb5a1a edge_type=refutes target=n_dcba8c01fc02
t=0093 ADD_EDGE edge_id=e_9166c1294488 source=n_1f9a43b5a9d9 edge_type=refutes target=n_dcb64a7f6e92
t=0094 ADD_EDGE edge_id=e_7a948ffbf15a source=n_d930da9bc664 edge_type=refutes target=n_ee52f6c96653
t=0095 QUERY source=n_0d9eb1e53395 target=n_db475814ce34
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_655c8f7acc9d node_type=claim
t=0001 CREATE_NODE id=n_a22a2c7d64c9 node_type=claim
t=0002 CREATE_NODE id=n_4d95ecac3799 node_type=claim
t=0003 CREATE_NODE id=n_d88f2386b15b node_type=claim
t=0004 CREATE_NODE id=n_6919fc6f220e node_type=claim
t=0005 CREATE_NODE id=n_4fbb35c5b6d5 node_type=claim
t=0006 CREATE_NODE id=n_96a0a495a18c node_type=claim
t=0007 CREATE_NODE id=n_75589383488e node_type=claim
t=0008 CREATE_NODE id=n_2b8fb3abfc18 node_type=claim
t=0009 CREATE_NODE id=n_c0658dde9c83 node_type=claim
t=0010 CREATE_NODE id=n_34a608aa9023 node_type=claim
t=0011 CREATE_NODE id=n_bfb5c70b863e node_type=claim
t=0012 CREATE_NODE id=n_c48e2d367229 node_type=claim
t=0013 CREATE_NODE id=n_44eec365004f node_type=claim
t=0014 CREATE_NODE id=n_6af1bd1cbc81 node_type=claim
t=0015 CREATE_NODE id=n_debc9a62a3d7 node_type=claim
t=0016 CREATE_NODE id=n_2508fc2f606f node_type=claim
t=0017 CREATE_NODE id=n_8e9281541e32 node_type=claim
t=0018 CREATE_NODE id=n_ae934708f626 node_type=claim
t=0019 CREATE_NODE id=n_9dd084c14ae6 node_type=claim
t=0020 CREATE_NODE id=n_416572aa4b34 node_type=claim
t=0021 CREATE_NODE id=n_c05e6d5b4387 node_type=claim
t=0022 CREATE_NODE id=n_b31859178573 node_type=claim
t=0023 CREATE_NODE id=n_5434ffe5ee80 node_type=claim
t=0024 CREATE_NODE id=n_04518252b229 node_type=claim
t=0025 CREATE_NODE id=n_0db35d56c157 node_type=claim
t=0026 CREATE_NODE id=n_978a6ed481e6 node_type=claim
t=0027 CREATE_NODE id=n_d66216bc759e node_type=claim
t=0028 CREATE_NODE id=n_fc3b928d8c4c node_type=claim
t=0029 CREATE_NODE id=n_4f637f8292d3 node_type=claim
t=0030 CREATE_NODE id=n_874b8c326b7f node_type=claim
t=0031 CREATE_NODE id=n_3c08c2d263f6 node_type=claim
t=0032 CREATE_NODE id=n_9b6de0839de7 node_type=claim
t=0033 CREATE_NODE id=n_a61d47def949 node_type=claim
t=0034 CREATE_NODE id=n_e25fe31b4d56 node_type=claim
t=0035 CREATE_NODE id=n_639908afb8b2 node_type=claim
t=0036 CREATE_NODE id=n_fe2f694e2e23 node_type=claim
t=0037 CREATE_NODE id=n_1645db542498 node_type=claim
t=0038 CREATE_NODE id=n_44311166177f node_type=claim
t=0039 CREATE_NODE id=n_7e53064145f9 node_type=claim
t=0040 CREATE_NODE id=n_192a099ab4f6 node_type=claim
t=0041 CREATE_NODE id=n_4b5629e4483d node_type=claim
t=0042 CREATE_NODE id=n_ff204d130b1d node_type=claim
t=0043 CREATE_NODE id=n_533439236444 node_type=claim
t=0044 CREATE_NODE id=n_6c29dbc34c97 node_type=claim
t=0045 CREATE_NODE id=n_540208cc2edf node_type=claim
t=0046 CREATE_NODE id=n_188dc1088a69 node_type=claim
t=0047 CREATE_NODE id=n_1ab51a70b896 node_type=claim
t=0048 ASSERT_ROOT node=n_2508fc2f606f value=TRUE
t=0049 ADD_EDGE edge_id=e_372855fadc0a source=n_d88f2386b15b edge_type=supports target=n_533439236444
t=0050 ADD_EDGE edge_id=e_99c07d9f651c source=n_540208cc2edf edge_type=supports target=n_a61d47def949
t=0051 ADD_EDGE edge_id=e_d599c93e811c source=n_9b6de0839de7 edge_type=supports target=n_6c29dbc34c97
t=0052 ADD_EDGE edge_id=e_e3f2f9f6cc73 source=n_533439236444 edge_type=refutes target=n_a22a2c7d64c9
t=0053 ADD_EDGE edge_id=e_d4b39030e6e9 source=n_e25fe31b4d56 edge_type=supports target=n_75589383488e
t=0054 ADD_EDGE edge_id=e_b0aeab61ede3 source=n_ff204d130b1d edge_type=refutes target=n_44eec365004f
t=0055 ADD_EDGE edge_id=e_ee04d3a0ad17 source=n_75589383488e edge_type=refutes target=n_2b8fb3abfc18
t=0056 ADD_EDGE edge_id=e_a2ed0893e0d1 source=n_8e9281541e32 edge_type=supports target=n_96a0a495a18c
t=0057 ADD_EDGE edge_id=e_5fad01a60f02 source=n_416572aa4b34 edge_type=refutes target=n_34a608aa9023
t=0058 ADD_EDGE edge_id=e_d0445f2b8194 source=n_9dd084c14ae6 edge_type=supports target=n_e25fe31b4d56
t=0059 ADD_EDGE edge_id=e_35b7ccd40ef4 source=n_1ab51a70b896 edge_type=supports target=n_639908afb8b2
t=0060 ADD_EDGE edge_id=e_27bc60f7c2f5 source=n_874b8c326b7f edge_type=refutes target=n_4b5629e4483d
t=0061 ADD_EDGE edge_id=e_baef5a23e963 source=n_4d95ecac3799 edge_type=refutes target=n_ae934708f626
t=0062 ADD_EDGE edge_id=e_1d68b0e98030 source=n_fe2f694e2e23 edge_type=supports target=n_4fbb35c5b6d5
t=0063 ADD_EDGE edge_id=e_2c6b5e8c0c83 source=n_bfb5c70b863e edge_type=refutes target=n_6af1bd1cbc81
t=0064 ADD_EDGE edge_id=e_932b044f7429 source=n_9b6de0839de7 edge_type=supports target=n_188dc1088a69
t=0065 ADD_EDGE edge_id=e_8a98537c21c8 source=n_ae934708f626 edge_type=supports target=n_192a099ab4f6
t=0066 ADD_EDGE edge_id=e_a5948d6fae99 source=n_4f637f8292d3 edge_type=supports target=n_c0658dde9c83
t=0067 ADD_EDGE edge_id=e_81dfd1ab42b2 source=n_bfb5c70b863e edge_type=refutes target=n_44311166177f
t=0068 ADD_EDGE edge_id=e_fe279397520a source=n_3c08c2d263f6 edge_type=supports target=n_fe2f694e2e23
t=0069 ADD_EDGE edge_id=e_14b50701a1bf source=n_bfb5c70b863e edge_type=supports target=n_8e9281541e32
t=0070 ADD_EDGE edge_id=e_187d09f0dbc1 source=n_ae934708f626 edge_type=supports target=n_debc9a62a3d7
t=0071 ADD_EDGE edge_id=e_fb7c705f47e5 source=n_4fbb35c5b6d5 edge_type=refutes target=n_9dd084c14ae6
t=0072 ADD_EDGE edge_id=e_45b7bc39ab98 source=n_2508fc2f606f edge_type=refutes target=n_4f637f8292d3
t=0073 ADD_EDGE edge_id=e_972d2a906610 source=n_4f637f8292d3 edge_type=refutes target=n_fc3b928d8c4c
t=0074 ADD_EDGE edge_id=e_ef163df1142b source=n_d66216bc759e edge_type=refutes target=n_7e53064145f9
t=0075 ADD_EDGE edge_id=e_dc16907fb6a4 source=n_c48e2d367229 edge_type=supports target=n_d88f2386b15b
t=0076 ADD_EDGE edge_id=e_0347ddc3828e source=n_2b8fb3abfc18 edge_type=refutes target=n_c48e2d367229
t=0077 ADD_EDGE edge_id=e_5a0b95d4443b source=n_6c29dbc34c97 edge_type=supports target=n_978a6ed481e6
t=0078 ADD_EDGE edge_id=e_338a9ed9e751 source=n_1ab51a70b896 edge_type=refutes target=n_540208cc2edf
t=0079 ADD_EDGE edge_id=e_3a02844cb4b0 source=n_6c29dbc34c97 edge_type=refutes target=n_04518252b229
t=0080 ADD_EDGE edge_id=e_a55299bae713 source=n_540208cc2edf edge_type=refutes target=n_d66216bc759e
t=0081 ADD_EDGE edge_id=e_630a8bc60622 source=n_1ab51a70b896 edge_type=supports target=n_ff204d130b1d
t=0082 ADD_EDGE edge_id=e_7e18e4ded3cc source=n_b31859178573 edge_type=supports target=n_3c08c2d263f6
t=0083 ADD_EDGE edge_id=e_12c85eea249e source=n_416572aa4b34 edge_type=refutes target=n_0db35d56c157
t=0084 ADD_EDGE edge_id=e_8afda72d402b source=n_1ab51a70b896 edge_type=supports target=n_874b8c326b7f
t=0085 ADD_EDGE edge_id=e_d07f06f41517 source=n_655c8f7acc9d edge_type=supports target=n_1645db542498
t=0086 ADD_EDGE edge_id=e_664be6b53edb source=n_c05e6d5b4387 edge_type=refutes target=n_1ab51a70b896
t=0087 ADD_EDGE edge_id=e_fc3d2809a92f source=n_b31859178573 edge_type=supports target=n_6919fc6f220e
t=0088 ADD_EDGE edge_id=e_0516296fad48 source=n_8e9281541e32 edge_type=supports target=n_5434ffe5ee80
t=0089 ADD_EDGE edge_id=e_96415cecc756 source=n_192a099ab4f6 edge_type=refutes target=n_416572aa4b34
t=0090 ADD_EDGE edge_id=e_fdf64fbfba15 source=n_1ab51a70b896 edge_type=supports target=n_9b6de0839de7
t=0091 ADD_EDGE edge_id=e_e3cb47f7f04a source=n_1ab51a70b896 edge_type=refutes target=n_655c8f7acc9d
t=0092 ADD_EDGE edge_id=e_3639c169ca9c source=n_a22a2c7d64c9 edge_type=refutes target=n_4d95ecac3799
t=0093 ADD_EDGE edge_id=e_f8639b03249c source=n_c05e6d5b4387 edge_type=refutes target=n_bfb5c70b863e
t=0094 ADD_EDGE edge_id=e_767a5c1fc8d1 source=n_fc3b928d8c4c edge_type=refutes target=n_b31859178573
t=0095 QUERY source=n_2508fc2f606f target=n_34a608aa9023
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_2f6e3c186fa8 node_type=claim
t=0001 CREATE_NODE id=n_18583a7a9687 node_type=claim
t=0002 CREATE_NODE id=n_5c85081b24ff node_type=claim
t=0003 CREATE_NODE id=n_6aa982e96000 node_type=claim
t=0004 CREATE_NODE id=n_bd017449831b node_type=claim
t=0005 CREATE_NODE id=n_12a74cff16d2 node_type=claim
t=0006 CREATE_NODE id=n_a2013f0011db node_type=claim
t=0007 CREATE_NODE id=n_56f76946ecd5 node_type=claim
t=0008 CREATE_NODE id=n_0b74a0920ff4 node_type=claim
t=0009 CREATE_NODE id=n_a88634cec769 node_type=claim
t=0010 CREATE_NODE id=n_03937eafddca node_type=claim
t=0011 CREATE_NODE id=n_a0259480594f node_type=claim
t=0012 CREATE_NODE id=n_d81f0ac44ce8 node_type=claim
t=0013 CREATE_NODE id=n_71dd63eecc18 node_type=claim
t=0014 CREATE_NODE id=n_de7ae94f8bf9 node_type=claim
t=0015 CREATE_NODE id=n_e7f2609c9769 node_type=claim
t=0016 CREATE_NODE id=n_59239f4839e5 node_type=claim
t=0017 CREATE_NODE id=n_94bc1814cc02 node_type=claim
t=0018 CREATE_NODE id=n_75f73c8154fa node_type=claim
t=0019 CREATE_NODE id=n_f9299437f346 node_type=claim
t=0020 CREATE_NODE id=n_8efa86a8e617 node_type=claim
t=0021 CREATE_NODE id=n_20bbd05bd9c3 node_type=claim
t=0022 CREATE_NODE id=n_01faf5bd8845 node_type=claim
t=0023 CREATE_NODE id=n_5525478c3696 node_type=claim
t=0024 CREATE_NODE id=n_6b6e5afb2ebd node_type=claim
t=0025 CREATE_NODE id=n_bad31a9944b2 node_type=claim
t=0026 CREATE_NODE id=n_18f9c7519157 node_type=claim
t=0027 CREATE_NODE id=n_a69796312f9c node_type=claim
t=0028 CREATE_NODE id=n_c71eefe01ab9 node_type=claim
t=0029 CREATE_NODE id=n_7a0077690e6e node_type=claim
t=0030 CREATE_NODE id=n_ed323c223d65 node_type=claim
t=0031 CREATE_NODE id=n_71d06349fd69 node_type=claim
t=0032 CREATE_NODE id=n_b45206575e89 node_type=claim
t=0033 CREATE_NODE id=n_23b131ea7283 node_type=claim
t=0034 CREATE_NODE id=n_4fffa3996d4d node_type=claim
t=0035 CREATE_NODE id=n_f5d22b738942 node_type=claim
t=0036 CREATE_NODE id=n_979acace2a1e node_type=claim
t=0037 CREATE_NODE id=n_efc664a655bb node_type=claim
t=0038 CREATE_NODE id=n_1f710e435954 node_type=claim
t=0039 CREATE_NODE id=n_b3474ec03a65 node_type=claim
t=0040 CREATE_NODE id=n_5b7a3fdf9392 node_type=claim
t=0041 CREATE_NODE id=n_49a9e7b93081 node_type=claim
t=0042 CREATE_NODE id=n_6d6f6576a22a node_type=claim
t=0043 CREATE_NODE id=n_ac61428426ed node_type=claim
t=0044 CREATE_NODE id=n_7490a6efbd4f node_type=claim
t=0045 CREATE_NODE id=n_b3de600c45b0 node_type=claim
t=0046 CREATE_NODE id=n_2bc273a9ea9f node_type=claim
t=0047 CREATE_NODE id=n_c4c9b63084f2 node_type=claim
t=0048 ASSERT_ROOT node=n_94bc1814cc02 value=FALSE
t=0049 ADD_EDGE edge_id=e_8c23c562af9a source=n_12a74cff16d2 edge_type=refutes target=n_1f710e435954
t=0050 ADD_EDGE edge_id=e_9b6ae78acd90 source=n_75f73c8154fa edge_type=supports target=n_c71eefe01ab9
t=0051 ADD_EDGE edge_id=e_678a283756e2 source=n_a69796312f9c edge_type=supports target=n_75f73c8154fa
t=0052 ADD_EDGE edge_id=e_860099cf5429 source=n_d81f0ac44ce8 edge_type=supports target=n_20bbd05bd9c3
t=0053 ADD_EDGE edge_id=e_46535c6d0fdd source=n_d81f0ac44ce8 edge_type=refutes target=n_56f76946ecd5
t=0054 ADD_EDGE edge_id=e_32d32249e035 source=n_1f710e435954 edge_type=refutes target=n_6b6e5afb2ebd
t=0055 ADD_EDGE edge_id=e_efb5f316c741 source=n_b3474ec03a65 edge_type=refutes target=n_6aa982e96000
t=0056 ADD_EDGE edge_id=e_287970644a5d source=n_20bbd05bd9c3 edge_type=supports target=n_6d6f6576a22a
t=0057 ADD_EDGE edge_id=e_b9e2282a6c62 source=n_18f9c7519157 edge_type=refutes target=n_b45206575e89
t=0058 ADD_EDGE edge_id=e_2aaabf7bca8c source=n_20bbd05bd9c3 edge_type=supports target=n_49a9e7b93081
t=0059 ADD_EDGE edge_id=e_f1ce5cf4ac49 source=n_5c85081b24ff edge_type=supports target=n_bd017449831b
t=0060 ADD_EDGE edge_id=e_d3b2cd4237d5 source=n_b3de600c45b0 edge_type=supports target=n_2f6e3c186fa8
t=0061 ADD_EDGE edge_id=e_8086fc8395fa source=n_94bc1814cc02 edge_type=refutes target=n_7a0077690e6e
t=0062 ADD_EDGE edge_id=e_253070f0b65f source=n_bad31a9944b2 edge_type=refutes target=n_979acace2a1e
t=0063 ADD_EDGE edge_id=e_2fecd46d6ec6 source=n_71d06349fd69 edge_type=supports target=n_7490a6efbd4f
t=0064 ADD_EDGE edge_id=e_e3de277cf302 source=n_6aa982e96000 edge_type=refutes target=n_8efa86a8e617
t=0065 ADD_EDGE edge_id=e_4f9bc3157646 source=n_f9299437f346 edge_type=refutes target=n_ac61428426ed
t=0066 ADD_EDGE edge_id=e_abd79417ea6a source=n_56f76946ecd5 edge_type=supports target=n_5525478c3696
t=0067 ADD_EDGE edge_id=e_95ea0a181ca4 source=n_59239f4839e5 edge_type=supports target=n_71dd63eecc18
t=0068 ADD_EDGE edge_id=e_cd50dea5fe14 source=n_12a74cff16d2 edge_type=refutes target=n_23b131ea7283
t=0069 ADD_EDGE edge_id=e_6deb59728e43 source=n_1f710e435954 edge_type=supports target=n_2bc273a9ea9f
t=0070 ADD_EDGE edge_id=e_0b763184477a source=n_bad31a9944b2 edge_type=supports target=n_5b7a3fdf9392
t=0071 ADD_EDGE edge_id=e_433ebacafed2 source=n_49a9e7b93081 edge_type=supports target=n_a88634cec769
t=0072 ADD_EDGE edge_id=e_9ed54caf2ca0 source=n_de7ae94f8bf9 edge_type=refutes target=n_a0259480594f
t=0073 ADD_EDGE edge_id=e_6afcb81199b6 source=n_c71eefe01ab9 edge_type=supports target=n_18f9c7519157
t=0074 ADD_EDGE edge_id=e_d9050bfc9c77 source=n_d81f0ac44ce8 edge_type=supports target=n_5c85081b24ff
t=0075 ADD_EDGE edge_id=e_0c7268b71b6c source=n_7a0077690e6e edge_type=refutes target=n_f9299437f346
t=0076 ADD_EDGE edge_id=e_273a4ba5138c source=n_b45206575e89 edge_type=supports target=n_de7ae94f8bf9
t=0077 ADD_EDGE edge_id=e_98f3ead689bc source=n_49a9e7b93081 edge_type=refutes target=n_03937eafddca
t=0078 ADD_EDGE edge_id=e_0ea79f8a5eed source=n_12a74cff16d2 edge_type=supports target=n_efc664a655bb
t=0079 ADD_EDGE edge_id=e_47ccace68345 source=n_5b7a3fdf9392 edge_type=supports target=n_59239f4839e5
t=0080 ADD_EDGE edge_id=e_1946f376bf4e source=n_ed323c223d65 edge_type=supports target=n_c4c9b63084f2
t=0081 ADD_EDGE edge_id=e_3dca825ab987 source=n_5b7a3fdf9392 edge_type=refutes target=n_01faf5bd8845
t=0082 ADD_EDGE edge_id=e_3d9990733181 source=n_b3de600c45b0 edge_type=refutes target=n_a69796312f9c
t=0083 ADD_EDGE edge_id=e_57cb26f5a581 source=n_6d6f6576a22a edge_type=refutes target=n_f5d22b738942
t=0084 ADD_EDGE edge_id=e_e5ff55c4079b source=n_18583a7a9687 edge_type=supports target=n_e7f2609c9769
t=0085 ADD_EDGE edge_id=e_b27079f64ea0 source=n_ac61428426ed edge_type=refutes target=n_b3474ec03a65
t=0086 ADD_EDGE edge_id=e_fbfc4279f793 source=n_23b131ea7283 edge_type=supports target=n_4fffa3996d4d
t=0087 ADD_EDGE edge_id=e_05123648a1ff source=n_71dd63eecc18 edge_type=supports target=n_b3de600c45b0
t=0088 ADD_EDGE edge_id=e_9a994bf76d48 source=n_56f76946ecd5 edge_type=supports target=n_ed323c223d65
t=0089 ADD_EDGE edge_id=e_cb0a0cf2fe4f source=n_5c85081b24ff edge_type=refutes target=n_0b74a0920ff4
t=0090 ADD_EDGE edge_id=e_3f58563407e5 source=n_23b131ea7283 edge_type=refutes target=n_d81f0ac44ce8
t=0091 ADD_EDGE edge_id=e_4c22e5ce46ed source=n_12a74cff16d2 edge_type=refutes target=n_71d06349fd69
t=0092 ADD_EDGE edge_id=e_d066fc64f2d4 source=n_de7ae94f8bf9 edge_type=refutes target=n_18583a7a9687
t=0093 ADD_EDGE edge_id=e_75678c8b31dc source=n_a88634cec769 edge_type=refutes target=n_a2013f0011db
t=0094 ADD_EDGE edge_id=e_f15ffef705ff source=n_8efa86a8e617 edge_type=refutes target=n_bad31a9944b2
t=0095 QUERY source=n_94bc1814cc02 target=n_e7f2609c9769
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_79190cc340d6 node_type=claim
t=0001 CREATE_NODE id=n_f5e0013d502e node_type=claim
t=0002 CREATE_NODE id=n_6e30718ad96c node_type=claim
t=0003 CREATE_NODE id=n_97fb89411815 node_type=claim
t=0004 CREATE_NODE id=n_a3633e36cf3d node_type=claim
t=0005 CREATE_NODE id=n_61693bdcd74e node_type=claim
t=0006 CREATE_NODE id=n_98bdfad0441a node_type=claim
t=0007 CREATE_NODE id=n_58f8751f8be9 node_type=claim
t=0008 CREATE_NODE id=n_f99cdd00e61b node_type=claim
t=0009 CREATE_NODE id=n_1aef536bf83d node_type=claim
t=0010 CREATE_NODE id=n_f3170180c4cc node_type=claim
t=0011 CREATE_NODE id=n_2f98de425531 node_type=claim
t=0012 CREATE_NODE id=n_cbab3931c23f node_type=claim
t=0013 CREATE_NODE id=n_be53f662ea04 node_type=claim
t=0014 CREATE_NODE id=n_9ee556d319c0 node_type=claim
t=0015 CREATE_NODE id=n_35b5e35ad0ff node_type=claim
t=0016 CREATE_NODE id=n_4b198cc8a453 node_type=claim
t=0017 CREATE_NODE id=n_acd81974a1c2 node_type=claim
t=0018 CREATE_NODE id=n_a153481c8d70 node_type=claim
t=0019 CREATE_NODE id=n_101613a40b73 node_type=claim
t=0020 CREATE_NODE id=n_451f8efd1996 node_type=claim
t=0021 CREATE_NODE id=n_661d1fc6d466 node_type=claim
t=0022 CREATE_NODE id=n_32e1156ab304 node_type=claim
t=0023 CREATE_NODE id=n_b6b5b8401fa0 node_type=claim
t=0024 CREATE_NODE id=n_e484ccea69d7 node_type=claim
t=0025 CREATE_NODE id=n_6501b6810e6b node_type=claim
t=0026 CREATE_NODE id=n_06a8a06fdf50 node_type=claim
t=0027 CREATE_NODE id=n_3a9dbdc49d5f node_type=claim
t=0028 CREATE_NODE id=n_e88316f7a479 node_type=claim
t=0029 CREATE_NODE id=n_3fb002ce76be node_type=claim
t=0030 CREATE_NODE id=n_2c42048945db node_type=claim
t=0031 CREATE_NODE id=n_011084081873 node_type=claim
t=0032 CREATE_NODE id=n_eecca710b4d2 node_type=claim
t=0033 CREATE_NODE id=n_062736634fb0 node_type=claim
t=0034 CREATE_NODE id=n_215d4290e435 node_type=claim
t=0035 CREATE_NODE id=n_ac18736177fc node_type=claim
t=0036 CREATE_NODE id=n_796d11bfb5b3 node_type=claim
t=0037 CREATE_NODE id=n_1bef30aaf8fc node_type=claim
t=0038 CREATE_NODE id=n_ea0805cfb352 node_type=claim
t=0039 CREATE_NODE id=n_cf60c6d12024 node_type=claim
t=0040 CREATE_NODE id=n_a9f7e913732f node_type=claim
t=0041 CREATE_NODE id=n_080d60f8fbe7 node_type=claim
t=0042 CREATE_NODE id=n_156ead1cbeaf node_type=claim
t=0043 CREATE_NODE id=n_17f7808da9ca node_type=claim
t=0044 CREATE_NODE id=n_aa774f18f115 node_type=claim
t=0045 CREATE_NODE id=n_0a19d629fc07 node_type=claim
t=0046 CREATE_NODE id=n_74ff0a9c2c4e node_type=claim
t=0047 CREATE_NODE id=n_0539c6a9064b node_type=claim
t=0048 ASSERT_ROOT node=n_cbab3931c23f value=TRUE
t=0049 ADD_EDGE edge_id=e_131f868f221a source=n_4b198cc8a453 edge_type=refutes target=n_1aef536bf83d
t=0050 ADD_EDGE edge_id=e_5295c42fb5c2 source=n_ea0805cfb352 edge_type=supports target=n_4b198cc8a453
t=0051 ADD_EDGE edge_id=e_43e137aa62f6 source=n_32e1156ab304 edge_type=supports target=n_e88316f7a479
t=0052 ADD_EDGE edge_id=e_21c2ed65ec60 source=n_6e30718ad96c edge_type=supports target=n_0539c6a9064b
t=0053 ADD_EDGE edge_id=e_9d257111288f source=n_796d11bfb5b3 edge_type=refutes target=n_a153481c8d70
t=0054 ADD_EDGE edge_id=e_e73987b9eb58 source=n_cbab3931c23f edge_type=refutes target=n_0a19d629fc07
t=0055 ADD_EDGE edge_id=e_7f7b16030275 source=n_215d4290e435 edge_type=refutes target=n_61693bdcd74e
t=0056 ADD_EDGE edge_id=e_8b35ecf40b13 source=n_9ee556d319c0 edge_type=refutes target=n_35b5e35ad0ff
t=0057 ADD_EDGE edge_id=e_5538f1b01452 source=n_f99cdd00e61b edge_type=refutes target=n_156ead1cbeaf
t=0058 ADD_EDGE edge_id=e_df13813493f5 source=n_74ff0a9c2c4e edge_type=refutes target=n_2f98de425531
t=0059 ADD_EDGE edge_id=e_2235bf767756 source=n_e88316f7a479 edge_type=refutes target=n_eecca710b4d2
t=0060 ADD_EDGE edge_id=e_1822d26542c2 source=n_be53f662ea04 edge_type=supports target=n_3a9dbdc49d5f
t=0061 ADD_EDGE edge_id=e_50153886998a source=n_062736634fb0 edge_type=supports target=n_be53f662ea04
t=0062 ADD_EDGE edge_id=e_8b4c5c33afb2 source=n_1bef30aaf8fc edge_type=refutes target=n_97fb89411815
t=0063 ADD_EDGE edge_id=e_af4a5d99ecaf source=n_0a19d629fc07 edge_type=refutes target=n_796d11bfb5b3
t=0064 ADD_EDGE edge_id=e_72c348074a2c source=n_aa774f18f115 edge_type=refutes target=n_062736634fb0
t=0065 ADD_EDGE edge_id=e_141991fa5b65 source=n_a9f7e913732f edge_type=refutes target=n_3fb002ce76be
t=0066 ADD_EDGE edge_id=e_bd09927dcf4d source=n_79190cc340d6 edge_type=refutes target=n_011084081873
t=0067 ADD_EDGE edge_id=e_d41f651f507b source=n_062736634fb0 edge_type=refutes target=n_661d1fc6d466
t=0068 ADD_EDGE edge_id=e_df3b8568162d source=n_0539c6a9064b edge_type=refutes target=n_080d60f8fbe7
t=0069 ADD_EDGE edge_id=e_b072c59c12f1 source=n_4b198cc8a453 edge_type=refutes target=n_98bdfad0441a
t=0070 ADD_EDGE edge_id=e_42826e046b88 source=n_97fb89411815 edge_type=refutes target=n_6501b6810e6b
t=0071 ADD_EDGE edge_id=e_3519a5293bd9 source=n_3fb002ce76be edge_type=refutes target=n_215d4290e435
t=0072 ADD_EDGE edge_id=e_801b88fa006b source=n_6501b6810e6b edge_type=refutes target=n_6e30718ad96c
t=0073 ADD_EDGE edge_id=e_3dbb0e99a4b4 source=n_aa774f18f115 edge_type=supports target=n_17f7808da9ca
t=0074 ADD_EDGE edge_id=e_8673a4865ced source=n_101613a40b73 edge_type=refutes target=n_2c42048945db
t=0075 ADD_EDGE edge_id=e_eee06ca9aaf7 source=n_06a8a06fdf50 edge_type=supports target=n_58f8751f8be9
t=0076 ADD_EDGE edge_id=e_5491585d4fa5 source=n_f5e0013d502e edge_type=refutes target=n_79190cc340d6
t=0077 ADD_EDGE edge_id=e_8994eac40b29 source=n_2f98de425531 edge_type=supports target=n_ea0805cfb352
t=0078 ADD_EDGE edge_id=e_fbeb01acbc35 source=n_0539c6a9064b edge_type=refutes target=n_101613a40b73
t=0079 ADD_EDGE edge_id=e_09baac2e064b source=n_062736634fb0 edge_type=supports target=n_a9f7e913732f
t=0080 ADD_EDGE edge_id=e_1c6b9df498fb source=n_be53f662ea04 edge_type=supports target=n_f99cdd00e61b
t=0081 ADD_EDGE edge_id=e_8d6174f89c16 source=n_97fb89411815 edge_type=supports target=n_451f8efd1996
t=0082 ADD_EDGE edge_id=e_b3f5418bf4f1 source=n_661d1fc6d466 edge_type=supports target=n_cf60c6d12024
t=0083 ADD_EDGE edge_id=e_a4d4e64a94cd source=n_35b5e35ad0ff edge_type=supports target=n_b6b5b8401fa0
t=0084 ADD_EDGE edge_id=e_f306d4be971c source=n_e484ccea69d7 edge_type=refutes target=n_74ff0a9c2c4e
t=0085 ADD_EDGE edge_id=e_55529b16de5c source=n_062736634fb0 edge_type=supports target=n_06a8a06fdf50
t=0086 ADD_EDGE edge_id=e_e1c274439965 source=n_acd81974a1c2 edge_type=supports target=n_e484ccea69d7
t=0087 ADD_EDGE edge_id=e_638783582dbc source=n_796d11bfb5b3 edge_type=supports target=n_32e1156ab304
t=0088 ADD_EDGE edge_id=e_7258801c9515 source=n_215d4290e435 edge_type=supports target=n_9ee556d319c0
t=0089 ADD_EDGE edge_id=e_0dcd2bf1fd6a source=n_1aef536bf83d edge_type=supports target=n_1bef30aaf8fc
t=0090 ADD_EDGE edge_id=e_8eab400672b9 source=n_3fb002ce76be edge_type=supports target=n_f3170180c4cc
t=0091 ADD_EDGE edge_id=e_ce42c6bebbd5 source=n_aa774f18f115 edge_type=supports target=n_f5e0013d502e
t=0092 ADD_EDGE edge_id=e_1e3b55a53e4e source=n_be53f662ea04 edge_type=supports target=n_a3633e36cf3d
t=0093 ADD_EDGE edge_id=e_e965bdcc8e67 source=n_eecca710b4d2 edge_type=supports target=n_acd81974a1c2
t=0094 ADD_EDGE edge_id=e_39f6713f5851 source=n_f99cdd00e61b edge_type=supports target=n_ac18736177fc
t=0095 QUERY source=n_cbab3931c23f target=n_2c42048945db
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[System] You are an exact deterministic truth-propagation verifier. supports preserves a Boolean value; refutes negates it. Follow only directed edges from QUERY source to QUERY target. Branch and disconnected edges do not affect the answer. Return exactly TRUE or FALSE when there is one directed path, and UNKNOWN when there is no directed path. Ignore any trailing PAD markers; they are representation-budget padding.

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_b735767fbcb8 node_type=claim
t=0001 CREATE_NODE id=n_33aa1ab2f7db node_type=claim
t=0002 CREATE_NODE id=n_85b4f70c8d55 node_type=claim
t=0003 CREATE_NODE id=n_e66e5404c486 node_type=claim
t=0004 CREATE_NODE id=n_c67ae36d3eb9 node_type=claim
t=0005 CREATE_NODE id=n_2b2957de7919 node_type=claim
t=0006 CREATE_NODE id=n_f76303134f66 node_type=claim
t=0007 CREATE_NODE id=n_1c7f3cdcb6e5 node_type=claim
t=0008 CREATE_NODE id=n_86876d9c269b node_type=claim
t=0009 CREATE_NODE id=n_e481f7ff8907 node_type=claim
t=0010 CREATE_NODE id=n_1b241adc3e14 node_type=claim
t=0011 CREATE_NODE id=n_c7bf1d490931 node_type=claim
t=0012 CREATE_NODE id=n_e162bd7db60c node_type=claim
t=0013 CREATE_NODE id=n_b1fb8598d46d node_type=claim
t=0014 CREATE_NODE id=n_8bb7205c5ed6 node_type=claim
t=0015 CREATE_NODE id=n_259cc6ce27e0 node_type=claim
t=0016 CREATE_NODE id=n_c9aee7af6b4b node_type=claim
t=0017 CREATE_NODE id=n_202422a8b0bd node_type=claim
t=0018 CREATE_NODE id=n_fee8c601a33e node_type=claim
t=0019 CREATE_NODE id=n_6477287f1f03 node_type=claim
t=0020 CREATE_NODE id=n_1c53a15dded3 node_type=claim
t=0021 CREATE_NODE id=n_ba3a107da70b node_type=claim
t=0022 CREATE_NODE id=n_31269834de73 node_type=claim
t=0023 CREATE_NODE id=n_38c62fa84954 node_type=claim
t=0024 CREATE_NODE id=n_1e929d8024fd node_type=claim
t=0025 CREATE_NODE id=n_6cddbfe8fda7 node_type=claim
t=0026 CREATE_NODE id=n_f17448552eda node_type=claim
t=0027 CREATE_NODE id=n_8e87d98fe3df node_type=claim
t=0028 CREATE_NODE id=n_b7fdce8052c8 node_type=claim
t=0029 CREATE_NODE id=n_9dec61246143 node_type=claim
t=0030 CREATE_NODE id=n_4119c98401d5 node_type=claim
t=0031 CREATE_NODE id=n_060eb676104a node_type=claim
t=0032 CREATE_NODE id=n_d21a64173305 node_type=claim
t=0033 CREATE_NODE id=n_7c95b8bf1bb4 node_type=claim
t=0034 CREATE_NODE id=n_4cea3adf1d3d node_type=claim
t=0035 CREATE_NODE id=n_7f6243ed492b node_type=claim
t=0036 CREATE_NODE id=n_d1bcad8b05cc node_type=claim
t=0037 CREATE_NODE id=n_0819f85b06a2 node_type=claim
t=0038 CREATE_NODE id=n_1965b3ffef34 node_type=claim
t=0039 CREATE_NODE id=n_8bac8252345b node_type=claim
t=0040 CREATE_NODE id=n_247381236ae1 node_type=claim
t=0041 CREATE_NODE id=n_de04af5b244a node_type=claim
t=0042 CREATE_NODE id=n_6bd6e3e9810e node_type=claim
t=0043 CREATE_NODE id=n_535061357f4e node_type=claim
t=0044 CREATE_NODE id=n_2eb6ab14673e node_type=claim
t=0045 CREATE_NODE id=n_ce6b4c08efc2 node_type=claim
t=0046 CREATE_NODE id=n_946c650ce8a4 node_type=claim
t=0047 CREATE_NODE id=n_643d827e09a7 node_type=claim
t=0048 CREATE_NODE id=n_4e39b6750972 node_type=claim
t=0049 CREATE_NODE id=n_e2fec5f949b1 node_type=claim
t=0050 ASSERT_ROOT node=n_e481f7ff8907 value=TRUE
t=0051 ADD_EDGE edge_id=e_3abad3685243 source=n_38c62fa84954 edge_type=refutes target=n_535061357f4e
t=0052 ADD_EDGE edge_id=e_6b0dd2616ebc source=n_85b4f70c8d55 edge_type=refutes target=n_b7fdce8052c8
t=0053 ADD_EDGE edge_id=e_fea41a5c3e28 source=n_c7bf1d490931 edge_type=refutes target=n_9dec61246143
t=0054 ADD_EDGE edge_id=e_8772d84c103a source=n_4119c98401d5 edge_type=refutes target=n_6bd6e3e9810e
t=0055 ADD_EDGE edge_id=e_db7c756e3b75 source=n_1b241adc3e14 edge_type=refutes target=n_c7bf1d490931
t=0056 ADD_EDGE edge_id=e_4ffa3a960af5 source=n_c9aee7af6b4b edge_type=supports target=n_643d827e09a7
t=0057 ADD_EDGE edge_id=e_a2880f24dcef source=n_259cc6ce27e0 edge_type=refutes target=n_c9aee7af6b4b
t=0058 ADD_EDGE edge_id=e_2dec4dc41396 source=n_e162bd7db60c edge_type=supports target=n_1b241adc3e14
t=0059 ADD_EDGE edge_id=e_bf271523c41c source=n_86876d9c269b edge_type=refutes target=n_e2fec5f949b1
t=0060 ADD_EDGE edge_id=e_59eb1ddfa8eb source=n_33aa1ab2f7db edge_type=supports target=n_d1bcad8b05cc
t=0061 ADD_EDGE edge_id=e_481d3903666d source=n_060eb676104a edge_type=supports target=n_ce6b4c08efc2
t=0062 ADD_EDGE edge_id=e_518ba1a831b2 source=n_b1fb8598d46d edge_type=refutes target=n_7c95b8bf1bb4
t=0063 ADD_EDGE edge_id=e_0114649ecc8f source=n_7f6243ed492b edge_type=refutes target=n_1c53a15dded3
t=0064 ADD_EDGE edge_id=e_174b5195371a source=n_946c650ce8a4 edge_type=refutes target=n_7f6243ed492b
t=0065 ADD_EDGE edge_id=e_ef13ec4bda88 source=n_1e929d8024fd edge_type=supports target=n_2eb6ab14673e
t=0066 ADD_EDGE edge_id=e_b14f4eba30dd source=n_86876d9c269b edge_type=supports target=n_e66e5404c486
t=0067 ADD_EDGE edge_id=e_bfd414164a7a source=n_b735767fbcb8 edge_type=supports target=n_85b4f70c8d55
t=0068 ADD_EDGE edge_id=e_4e10fd0318a5 source=n_b735767fbcb8 edge_type=refutes target=n_0819f85b06a2
t=0069 ADD_EDGE edge_id=e_b31352db53d3 source=n_8e87d98fe3df edge_type=refutes target=n_e162bd7db60c
t=0070 ADD_EDGE edge_id=e_6389d06ba802 source=n_6bd6e3e9810e edge_type=supports target=n_b1fb8598d46d
t=0071 ADD_EDGE edge_id=e_8a64310bea58 source=n_b735767fbcb8 edge_type=refutes target=n_86876d9c269b
t=0072 ADD_EDGE edge_id=e_31e349e5c921 source=n_b735767fbcb8 edge_type=refutes target=n_4cea3adf1d3d
t=0073 ADD_EDGE edge_id=e_f887bc4f3f33 source=n_946c650ce8a4 edge_type=supports target=n_202422a8b0bd
t=0074 ADD_EDGE edge_id=e_55aee0444c9c source=n_86876d9c269b edge_type=supports target=n_1965b3ffef34
t=0075 ADD_EDGE edge_id=e_4b54d6ee550b source=n_ce6b4c08efc2 edge_type=refutes target=n_33aa1ab2f7db
t=0076 ADD_EDGE edge_id=e_a69441c48d14 source=n_85b4f70c8d55 edge_type=supports target=n_c67ae36d3eb9
t=0077 ADD_EDGE edge_id=e_6d84cc5d40b6 source=n_e481f7ff8907 edge_type=supports target=n_fee8c601a33e
t=0078 ADD_EDGE edge_id=e_494f562ff28b source=n_c9aee7af6b4b edge_type=refutes target=n_31269834de73
t=0079 ADD_EDGE edge_id=e_ff7ca43ec662 source=n_060eb676104a edge_type=supports target=n_6477287f1f03
t=0080 ADD_EDGE edge_id=e_98ec27e0e2cb source=n_7f6243ed492b edge_type=supports target=n_f17448552eda
t=0081 ADD_EDGE edge_id=e_8a0dd6079e1a source=n_1c7f3cdcb6e5 edge_type=supports target=n_4119c98401d5
t=0082 ADD_EDGE edge_id=e_dcc8e4f65412 source=n_2b2957de7919 edge_type=refutes target=n_946c650ce8a4
t=0083 ADD_EDGE edge_id=e_4f824b5c91f7 source=n_6cddbfe8fda7 edge_type=supports target=n_d21a64173305
t=0084 ADD_EDGE edge_id=e_f638921b7963 source=n_de04af5b244a edge_type=supports target=n_f76303134f66
t=0085 ADD_EDGE edge_id=e_08c72909149d source=n_7c95b8bf1bb4 edge_type=refutes target=n_259cc6ce27e0
t=0086 ADD_EDGE edge_id=e_cdd58da7e0e8 source=n_86876d9c269b edge_type=supports target=n_38c62fa84954
t=0087 ADD_EDGE edge_id=e_b081cb04deeb source=n_b735767fbcb8 edge_type=supports target=n_de04af5b244a
t=0088 ADD_EDGE edge_id=e_5ff013ee8618 source=n_643d827e09a7 edge_type=refutes target=n_060eb676104a
t=0089 ADD_EDGE edge_id=e_e20b761b54dc source=n_2eb6ab14673e edge_type=supports target=n_1c7f3cdcb6e5
t=0090 ADD_EDGE edge_id=e_8c835424a7c3 source=n_8bb7205c5ed6 edge_type=supports target=n_1e929d8024fd
t=0091 ADD_EDGE edge_id=e_5545ba6b3d9f source=n_fee8c601a33e edge_type=refutes target=n_8bb7205c5ed6
t=0092 ADD_EDGE edge_id=e_d03456a419b1 source=n_86876d9c269b edge_type=refutes target=n_6cddbfe8fda7
t=0093 ADD_EDGE edge_id=e_557dafa44309 source=n_d1bcad8b05cc edge_type=refutes target=n_8e87d98fe3df
t=0094 ADD_EDGE edge_id=e_0ab3a1a6bac0 source=n_4cea3adf1d3d edge_type=supports target=n_2b2957de7919
t=0095 ADD_EDGE edge_id=e_1e83c6e1c32f source=n_4cea3adf1d3d edge_type=refutes target=n_247381236ae1
t=0096 ADD_EDGE edge_id=e_57b89ddca216 source=n_8e87d98fe3df edge_type=supports target=n_8bac8252345b
t=0097 ADD_EDGE edge_id=e_bba993efbe3e source=n_de04af5b244a edge_type=refutes target=n_ba3a107da70b
t=0098 ADD_EDGE edge_id=e_22b03453a2b4 source=n_e66e5404c486 edge_type=supports target=n_4e39b6750972
t=0099 QUERY source=n_e481f7ff8907 target=n_c7bf1d490931
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.