[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_9b3b926b86cc node_type=claim
t=0001 CREATE_NODE id=n_b7a9033708e1 node_type=claim
t=0002 CREATE_NODE id=n_0fce0f5864ab node_type=claim
t=0003 CREATE_NODE id=n_87e3053e5e70 node_type=claim
t=0004 CREATE_NODE id=n_4d88a089f22f node_type=claim
t=0005 CREATE_NODE id=n_f658fc1589c5 node_type=claim
t=0006 CREATE_NODE id=n_d2db2d1edb3c node_type=claim
t=0007 CREATE_NODE id=n_1ccac14da206 node_type=claim
t=0008 CREATE_NODE id=n_c5aea41cd04a node_type=claim
t=0009 CREATE_NODE id=n_dc88e1e7a628 node_type=claim
t=0010 CREATE_NODE id=n_9851fb2fe811 node_type=claim
t=0011 CREATE_NODE id=n_65de4b972ae8 node_type=claim
t=0012 CREATE_NODE id=n_64e06e2eb1cf node_type=claim
t=0013 CREATE_NODE id=n_9efa10161894 node_type=claim
t=0014 CREATE_NODE id=n_142e3721756a node_type=claim
t=0015 CREATE_NODE id=n_58bf0c991fd2 node_type=claim
t=0016 CREATE_NODE id=n_49651565270f node_type=claim
t=0017 CREATE_NODE id=n_db1c9a823ace node_type=claim
t=0018 CREATE_NODE id=n_5cec0a83ec0d node_type=claim
t=0019 CREATE_NODE id=n_24b4926d8edd node_type=claim
t=0020 CREATE_NODE id=n_df7d9b8c613f node_type=claim
t=0021 CREATE_NODE id=n_6cf84d740975 node_type=claim
t=0022 CREATE_NODE id=n_9eb9b68bac1d node_type=claim
t=0023 CREATE_NODE id=n_75130ed3d03f node_type=claim
t=0024 CREATE_NODE id=n_48f558055b31 node_type=claim
t=0025 CREATE_NODE id=n_7dd6d52cacac node_type=claim
t=0026 CREATE_NODE id=n_82e05887a0dc node_type=claim
t=0027 CREATE_NODE id=n_f4ae1d06677f node_type=claim
t=0028 CREATE_NODE id=n_4359c4e47ed5 node_type=claim
t=0029 CREATE_NODE id=n_6609984e209e node_type=claim
t=0030 CREATE_NODE id=n_9abdb30f4940 node_type=claim
t=0031 CREATE_NODE id=n_9fd7402c725c node_type=claim
t=0032 CREATE_NODE id=n_13da2d80338d node_type=claim
t=0033 CREATE_NODE id=n_479b48174696 node_type=claim
t=0034 CREATE_NODE id=n_445206358e6e node_type=claim
t=0035 CREATE_NODE id=n_0716baa8d601 node_type=claim
t=0036 CREATE_NODE id=n_30f7be679b46 node_type=claim
t=0037 CREATE_NODE id=n_a28d8c390261 node_type=claim
t=0038 CREATE_NODE id=n_d99509e1c329 node_type=claim
t=0039 CREATE_NODE id=n_1b9a12a19dd6 node_type=claim
t=0040 CREATE_NODE id=n_f2038ea11c3a node_type=claim
t=0041 CREATE_NODE id=n_2da54101c3bc node_type=claim
t=0042 CREATE_NODE id=n_57c41f23de10 node_type=claim
t=0043 CREATE_NODE id=n_5d232ed36a1c node_type=claim
t=0044 ASSERT_ROOT node=n_13da2d80338d value=FALSE
t=0045 ADD_EDGE edge_id=e_ba0631959c53 source=n_87e3053e5e70 edge_type=supports target=n_49651565270f
t=0046 ADD_EDGE edge_id=e_fdd1dd5be14b source=n_0716baa8d601 edge_type=refutes target=n_db1c9a823ace
t=0047 ADD_EDGE edge_id=e_7fda7752d754 source=n_64e06e2eb1cf edge_type=supports target=n_f4ae1d06677f
t=0048 ADD_EDGE edge_id=e_2e422b615d22 source=n_f4ae1d06677f edge_type=refutes target=n_75130ed3d03f
t=0049 ADD_EDGE edge_id=e_2f8954298434 source=n_0fce0f5864ab edge_type=supports target=n_c5aea41cd04a
t=0050 ADD_EDGE edge_id=e_9533713fa159 source=n_9fd7402c725c edge_type=supports target=n_0716baa8d601
t=0051 ADD_EDGE edge_id=e_94406395b67a source=n_1b9a12a19dd6 edge_type=refutes target=n_6609984e209e
t=0052 ADD_EDGE edge_id=e_bbcbd8808bf2 source=n_0fce0f5864ab edge_type=refutes target=n_4d88a089f22f
t=0053 ADD_EDGE edge_id=e_afc867f64b08 source=n_24b4926d8edd edge_type=refutes target=n_9eb9b68bac1d
t=0054 ADD_EDGE edge_id=e_1c4edb97cfb6 source=n_6cf84d740975 edge_type=supports target=n_0fce0f5864ab
t=0055 ADD_EDGE edge_id=e_c3e0c199516f source=n_f4ae1d06677f edge_type=refutes target=n_d99509e1c329
t=0056 ADD_EDGE edge_id=e_ca364b9272d4 source=n_479b48174696 edge_type=refutes target=n_f2038ea11c3a
t=0057 ADD_EDGE edge_id=e_dedc1c41612e source=n_2da54101c3bc edge_type=supports target=n_48f558055b31
t=0058 ADD_EDGE edge_id=e_16f27be47d41 source=n_57c41f23de10 edge_type=refutes target=n_5d232ed36a1c
t=0059 ADD_EDGE edge_id=e_abbc723c53fc source=n_0716baa8d601 edge_type=refutes target=n_1ccac14da206
t=0060 ADD_EDGE edge_id=e_f56e30897256 source=n_13da2d80338d edge_type=supports target=n_142e3721756a
t=0061 ADD_EDGE edge_id=e_356d55d82f42 source=n_57c41f23de10 edge_type=supports target=n_9851fb2fe811
t=0062 ADD_EDGE edge_id=e_9963571fe59a source=n_7dd6d52cacac edge_type=supports target=n_dc88e1e7a628
t=0063 ADD_EDGE edge_id=e_856f869f9a99 source=n_a28d8c390261 edge_type=refutes target=n_4359c4e47ed5
t=0064 ADD_EDGE edge_id=e_0f1d11f2c19c source=n_4359c4e47ed5 edge_type=supports target=n_5cec0a83ec0d
t=0065 ADD_EDGE edge_id=e_8c6edb496589 source=n_4359c4e47ed5 edge_type=refutes target=n_9b3b926b86cc
t=0066 ADD_EDGE edge_id=e_8a8240ad7d62 source=n_6609984e209e edge_type=refutes target=n_87e3053e5e70
t=0067 ADD_EDGE edge_id=e_514b24b7d02e source=n_49651565270f edge_type=refutes target=n_2da54101c3bc
t=0068 ADD_EDGE edge_id=e_aaa447a309b6 source=n_9efa10161894 edge_type=refutes target=n_9abdb30f4940
t=0069 ADD_EDGE edge_id=e_56da51ed5618 source=n_142e3721756a edge_type=refutes target=n_9efa10161894
t=0070 ADD_EDGE edge_id=e_03d2faf08ff4 source=n_13da2d80338d edge_type=refutes target=n_df7d9b8c613f
t=0071 ADD_EDGE edge_id=e_22fb826c648c source=n_9b3b926b86cc edge_type=supports target=n_58bf0c991fd2
t=0072 ADD_EDGE edge_id=e_389da699a32f source=n_dc88e1e7a628 edge_type=supports target=n_65de4b972ae8
t=0073 ADD_EDGE edge_id=e_61e0fa562f40 source=n_9abdb30f4940 edge_type=refutes target=n_24b4926d8edd
t=0074 ADD_EDGE edge_id=e_3676d9085cc6 source=n_0716baa8d601 edge_type=supports target=n_82e05887a0dc
t=0075 ADD_EDGE edge_id=e_7b3f50a19d46 source=n_9fd7402c725c edge_type=supports target=n_64e06e2eb1cf
t=0076 ADD_EDGE edge_id=e_ef8282e8142a source=n_a28d8c390261 edge_type=supports target=n_9fd7402c725c
t=0077 ADD_EDGE edge_id=e_8745d89764b8 source=n_9fd7402c725c edge_type=supports target=n_b7a9033708e1
t=0078 ADD_EDGE edge_id=e_70b257abd306 source=n_a28d8c390261 edge_type=refutes target=n_479b48174696
t=0079 ADD_EDGE edge_id=e_e613cb0789ba source=n_f658fc1589c5 edge_type=supports target=n_1b9a12a19dd6
t=0080 ADD_EDGE edge_id=e_dda7f182f176 source=n_4d88a089f22f edge_type=supports target=n_f658fc1589c5
t=0081 ADD_EDGE edge_id=e_49d563c009c2 source=n_9efa10161894 edge_type=refutes target=n_445206358e6e
t=0082 ADD_EDGE edge_id=e_c4200a4440ec source=n_65de4b972ae8 edge_type=supports target=n_6cf84d740975
t=0083 ADD_EDGE edge_id=e_6826138a8a29 source=n_4359c4e47ed5 edge_type=refutes target=n_57c41f23de10
t=0084 ADD_EDGE edge_id=e_13e25270544a source=n_4359c4e47ed5 edge_type=supports target=n_d2db2d1edb3c
t=0085 ADD_EDGE edge_id=e_7c3cc06c8052 source=n_1ccac14da206 edge_type=refutes target=n_30f7be679b46
t=0086 ADD_EDGE edge_id=e_4f46b7177bd3 source=n_9eb9b68bac1d edge_type=supports target=n_7dd6d52cacac
t=0087 QUERY source=n_13da2d80338d target=n_2da54101c3bc
[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_8be3e95eb296 node_type=claim
t=0001 CREATE_NODE id=n_c26face041f9 node_type=claim
t=0002 CREATE_NODE id=n_c444ed4dcd31 node_type=claim
t=0003 CREATE_NODE id=n_3f5d0c4d8bde node_type=claim
t=0004 CREATE_NODE id=n_3194e3923449 node_type=claim
t=0005 CREATE_NODE id=n_62da35754af9 node_type=claim
t=0006 CREATE_NODE id=n_6def7a6de176 node_type=claim
t=0007 CREATE_NODE id=n_2c10121b19f7 node_type=claim
t=0008 CREATE_NODE id=n_e6d6edec7001 node_type=claim
t=0009 CREATE_NODE id=n_3099b7afd588 node_type=claim
t=0010 CREATE_NODE id=n_d85749bcbe6a node_type=claim
t=0011 CREATE_NODE id=n_ac8bd2dc2935 node_type=claim
t=0012 CREATE_NODE id=n_8585b1825d27 node_type=claim
t=0013 CREATE_NODE id=n_c9d5393badec node_type=claim
t=0014 CREATE_NODE id=n_9bdb585fb48a node_type=claim
t=0015 CREATE_NODE id=n_f95a2b4af46a node_type=claim
t=0016 CREATE_NODE id=n_5f51818059d8 node_type=claim
t=0017 CREATE_NODE id=n_6a620e1bcf73 node_type=claim
t=0018 CREATE_NODE id=n_008f4764bd92 node_type=claim
t=0019 CREATE_NODE id=n_395e6418eecd node_type=claim
t=0020 CREATE_NODE id=n_89fc9a941209 node_type=claim
t=0021 CREATE_NODE id=n_7e53537b531b node_type=claim
t=0022 CREATE_NODE id=n_d42665515f9e node_type=claim
t=0023 CREATE_NODE id=n_3c1b06c2db72 node_type=claim
t=0024 CREATE_NODE id=n_db1bff3d6a1b node_type=claim
t=0025 CREATE_NODE id=n_7e4afcebf564 node_type=claim
t=0026 CREATE_NODE id=n_375f4ebcc2cd node_type=claim
t=0027 CREATE_NODE id=n_47521cca6a5a node_type=claim
t=0028 CREATE_NODE id=n_acbb20bf5766 node_type=claim
t=0029 CREATE_NODE id=n_0f90b1d3c5ac node_type=claim
t=0030 CREATE_NODE id=n_7d0bf0aebdd4 node_type=claim
t=0031 CREATE_NODE id=n_ea322511e120 node_type=claim
t=0032 CREATE_NODE id=n_806e42dae5c7 node_type=claim
t=0033 CREATE_NODE id=n_f89f31a4d8d3 node_type=claim
t=0034 CREATE_NODE id=n_0d76604d9179 node_type=claim
t=0035 CREATE_NODE id=n_451d2574bd5a node_type=claim
t=0036 CREATE_NODE id=n_5709e9db95f4 node_type=claim
t=0037 CREATE_NODE id=n_0008cc92dbf3 node_type=claim
t=0038 CREATE_NODE id=n_4f5f81e766ed node_type=claim
t=0039 CREATE_NODE id=n_c66e45e3a359 node_type=claim
t=0040 CREATE_NODE id=n_b0df660a53e1 node_type=claim
t=0041 CREATE_NODE id=n_8eaedff22f95 node_type=claim
t=0042 CREATE_NODE id=n_04b3fda34dd6 node_type=claim
t=0043 CREATE_NODE id=n_1a9c450a674e node_type=claim
t=0044 ASSERT_ROOT node=n_47521cca6a5a value=TRUE
t=0045 ADD_EDGE edge_id=e_1d5c3917f367 source=n_47521cca6a5a edge_type=refutes target=n_3194e3923449
t=0046 ADD_EDGE edge_id=e_929d40d5c04e source=n_e6d6edec7001 edge_type=supports target=n_ac8bd2dc2935
t=0047 ADD_EDGE edge_id=e_8308c834e221 source=n_1a9c450a674e edge_type=supports target=n_7d0bf0aebdd4
t=0048 ADD_EDGE edge_id=e_626e6f5b92bf source=n_806e42dae5c7 edge_type=supports target=n_8be3e95eb296
t=0049 ADD_EDGE edge_id=e_711668e546a7 source=n_e6d6edec7001 edge_type=supports target=n_acbb20bf5766
t=0050 ADD_EDGE edge_id=e_519baefaa1e1 source=n_5f51818059d8 edge_type=supports target=n_e6d6edec7001
t=0051 ADD_EDGE edge_id=e_14bcb66bf6cc source=n_c26face041f9 edge_type=supports target=n_ea322511e120
t=0052 ADD_EDGE edge_id=e_46b137ed5472 source=n_4f5f81e766ed edge_type=refutes target=n_c26face041f9
t=0053 ADD_EDGE edge_id=e_14c8999217c5 source=n_8eaedff22f95 edge_type=refutes target=n_c66e45e3a359
t=0054 ADD_EDGE edge_id=e_245e7bf2caf2 source=n_ac8bd2dc2935 edge_type=supports target=n_0008cc92dbf3
t=0055 ADD_EDGE edge_id=e_6fbf2a4cc88f source=n_375f4ebcc2cd edge_type=supports target=n_8eaedff22f95
t=0056 ADD_EDGE edge_id=e_045b9d306295 source=n_6def7a6de176 edge_type=refutes target=n_f89f31a4d8d3
t=0057 ADD_EDGE edge_id=e_d47b046781b3 source=n_3099b7afd588 edge_type=refutes target=n_6def7a6de176
t=0058 ADD_EDGE edge_id=e_3051e64f09f6 source=n_c66e45e3a359 edge_type=supports target=n_d85749bcbe6a
t=0059 ADD_EDGE edge_id=e_878a7178e6ce source=n_8be3e95eb296 edge_type=refutes target=n_c9d5393badec
t=0060 ADD_EDGE edge_id=e_bb665398e0a5 source=n_008f4764bd92 edge_type=supports target=n_5f51818059d8
t=0061 ADD_EDGE edge_id=e_0fbadf1d653a source=n_4f5f81e766ed edge_type=refutes target=n_db1bff3d6a1b
t=0062 ADD_EDGE edge_id=e_68a4a25493ef source=n_e6d6edec7001 edge_type=supports target=n_89fc9a941209
t=0063 ADD_EDGE edge_id=e_e8cfd2c2cba6 source=n_0008cc92dbf3 edge_type=refutes target=n_9bdb585fb48a
t=0064 ADD_EDGE edge_id=e_02b1906ccd4a source=n_008f4764bd92 edge_type=refutes target=n_b0df660a53e1
t=0065 ADD_EDGE edge_id=e_5df301ede7f5 source=n_d85749bcbe6a edge_type=supports target=n_4f5f81e766ed
t=0066 ADD_EDGE edge_id=e_8561616e9eb9 source=n_04b3fda34dd6 edge_type=refutes target=n_451d2574bd5a
t=0067 ADD_EDGE edge_id=e_1008b97dedb0 source=n_3f5d0c4d8bde edge_type=supports target=n_1a9c450a674e
t=0068 ADD_EDGE edge_id=e_d48d28a19a1e source=n_008f4764bd92 edge_type=refutes target=n_0d76604d9179
t=0069 ADD_EDGE edge_id=e_fcd8b08b4181 source=n_7e4afcebf564 edge_type=supports target=n_5709e9db95f4
t=0070 ADD_EDGE edge_id=e_5bde85107d4a source=n_62da35754af9 edge_type=refutes target=n_3099b7afd588
t=0071 ADD_EDGE edge_id=e_2d950591b2db source=n_04b3fda34dd6 edge_type=refutes target=n_8585b1825d27
t=0072 ADD_EDGE edge_id=e_a2214cbaded3 source=n_d42665515f9e edge_type=refutes target=n_008f4764bd92
t=0073 ADD_EDGE edge_id=e_7d74ab651578 source=n_2c10121b19f7 edge_type=refutes target=n_395e6418eecd
t=0074 ADD_EDGE edge_id=e_56398185aa01 source=n_806e42dae5c7 edge_type=supports target=n_0f90b1d3c5ac
t=0075 ADD_EDGE edge_id=e_275b92a8dbf7 source=n_04b3fda34dd6 edge_type=supports target=n_3c1b06c2db72
t=0076 ADD_EDGE edge_id=e_a7daaa31b644 source=n_395e6418eecd edge_type=refutes target=n_62da35754af9
t=0077 ADD_EDGE edge_id=e_7059f0ba7386 source=n_ea322511e120 edge_type=refutes target=n_2c10121b19f7
t=0078 ADD_EDGE edge_id=e_261709fe6d68 source=n_89fc9a941209 edge_type=supports target=n_f95a2b4af46a
t=0079 ADD_EDGE edge_id=e_bbc6766e25cc source=n_3194e3923449 edge_type=supports target=n_806e42dae5c7
t=0080 ADD_EDGE edge_id=e_3d4f99d727cb source=n_c9d5393badec edge_type=refutes target=n_375f4ebcc2cd
t=0081 ADD_EDGE edge_id=e_66443601577a source=n_f89f31a4d8d3 edge_type=refutes target=n_6a620e1bcf73
t=0082 ADD_EDGE edge_id=e_0276f4b6fbd8 source=n_e6d6edec7001 edge_type=refutes target=n_7e4afcebf564
t=0083 ADD_EDGE edge_id=e_94860a353a01 source=n_4f5f81e766ed edge_type=supports target=n_7e53537b531b
t=0084 ADD_EDGE edge_id=e_4b4d7c88ad0a source=n_e6d6edec7001 edge_type=supports target=n_04b3fda34dd6
t=0085 ADD_EDGE edge_id=e_f90222a17315 source=n_5709e9db95f4 edge_type=refutes target=n_3f5d0c4d8bde
t=0086 ADD_EDGE edge_id=e_86fc172241c3 source=n_0008cc92dbf3 edge_type=supports target=n_c444ed4dcd31
t=0087 QUERY source=n_47521cca6a5a target=n_f89f31a4d8d3
[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_00815ae32b70 node_type=claim
t=0001 CREATE_NODE id=n_bd0d566d1fea node_type=claim
t=0002 CREATE_NODE id=n_f5acd8262b83 node_type=claim
t=0003 CREATE_NODE id=n_8676dc7e891b node_type=claim
t=0004 CREATE_NODE id=n_d21ff1da042c node_type=claim
t=0005 CREATE_NODE id=n_ea0bbae9360f node_type=claim
t=0006 CREATE_NODE id=n_0799394dee51 node_type=claim
t=0007 CREATE_NODE id=n_ce529f35eff9 node_type=claim
t=0008 CREATE_NODE id=n_7e643601ca06 node_type=claim
t=0009 CREATE_NODE id=n_035b9be5f95a node_type=claim
t=0010 CREATE_NODE id=n_c3800ff903be node_type=claim
t=0011 CREATE_NODE id=n_cf1c66c2c38f node_type=claim
t=0012 CREATE_NODE id=n_214713106b78 node_type=claim
t=0013 CREATE_NODE id=n_e0a5fba6bd41 node_type=claim
t=0014 CREATE_NODE id=n_55bfb5d32ba4 node_type=claim
t=0015 CREATE_NODE id=n_85546668d22f node_type=claim
t=0016 CREATE_NODE id=n_81119a21a03a node_type=claim
t=0017 CREATE_NODE id=n_819ee2a98b68 node_type=claim
t=0018 CREATE_NODE id=n_a4606b75e4c6 node_type=claim
t=0019 CREATE_NODE id=n_c42f8af49506 node_type=claim
t=0020 CREATE_NODE id=n_db79c7b21409 node_type=claim
t=0021 CREATE_NODE id=n_0633ebb9d03c node_type=claim
t=0022 CREATE_NODE id=n_4908165b66d6 node_type=claim
t=0023 CREATE_NODE id=n_3f7335bbb31c node_type=claim
t=0024 CREATE_NODE id=n_552edc45eec6 node_type=claim
t=0025 CREATE_NODE id=n_1a5a85b8b09f node_type=claim
t=0026 CREATE_NODE id=n_679d9c15bfca node_type=claim
t=0027 CREATE_NODE id=n_40f8de8f803c node_type=claim
t=0028 CREATE_NODE id=n_f5aa2f3d7c27 node_type=claim
t=0029 CREATE_NODE id=n_7370f0601b94 node_type=claim
t=0030 CREATE_NODE id=n_1d31e57963a3 node_type=claim
t=0031 CREATE_NODE id=n_dab4e653bdf5 node_type=claim
t=0032 CREATE_NODE id=n_5a1bf97208f6 node_type=claim
t=0033 CREATE_NODE id=n_6a02a737651d node_type=claim
t=0034 CREATE_NODE id=n_9d912d1257f1 node_type=claim
t=0035 CREATE_NODE id=n_cd05a52ed943 node_type=claim
t=0036 CREATE_NODE id=n_dd40490a6b5d node_type=claim
t=0037 CREATE_NODE id=n_abba697adfb9 node_type=claim
t=0038 CREATE_NODE id=n_540b7eb10cf6 node_type=claim
t=0039 CREATE_NODE id=n_7ae65508db5b node_type=claim
t=0040 CREATE_NODE id=n_0a840cb340b4 node_type=claim
t=0041 CREATE_NODE id=n_8f1736e41a5c node_type=claim
t=0042 CREATE_NODE id=n_346b65f5690b node_type=claim
t=0043 CREATE_NODE id=n_2754f3cadd23 node_type=claim
t=0044 ASSERT_ROOT node=n_c3800ff903be value=FALSE
t=0045 ADD_EDGE edge_id=e_49a2ebd8fabb source=n_0799394dee51 edge_type=refutes target=n_81119a21a03a
t=0046 ADD_EDGE edge_id=e_cb00ca7c3836 source=n_1a5a85b8b09f edge_type=refutes target=n_9d912d1257f1
t=0047 ADD_EDGE edge_id=e_02607544f541 source=n_346b65f5690b edge_type=refutes target=n_035b9be5f95a
t=0048 ADD_EDGE edge_id=e_22a28a80f510 source=n_0799394dee51 edge_type=supports target=n_540b7eb10cf6
t=0049 ADD_EDGE edge_id=e_e00cc3312a2e source=n_ea0bbae9360f edge_type=supports target=n_6a02a737651d
t=0050 ADD_EDGE edge_id=e_b477cb68b0b9 source=n_679d9c15bfca edge_type=refutes target=n_f5acd8262b83
t=0051 ADD_EDGE edge_id=e_aff510d6b0ac source=n_540b7eb10cf6 edge_type=supports target=n_ce529f35eff9
t=0052 ADD_EDGE edge_id=e_eb01dfc2de96 source=n_035b9be5f95a edge_type=supports target=n_c42f8af49506
t=0053 ADD_EDGE edge_id=e_a8ff6c3cfced source=n_540b7eb10cf6 edge_type=supports target=n_3f7335bbb31c
t=0054 ADD_EDGE edge_id=e_dc97d490c0ad source=n_7e643601ca06 edge_type=refutes target=n_819ee2a98b68
t=0055 ADD_EDGE edge_id=e_790ff2cf4f97 source=n_dd40490a6b5d edge_type=supports target=n_f5aa2f3d7c27
t=0056 ADD_EDGE edge_id=e_1c5e9d1869b2 source=n_abba697adfb9 edge_type=refutes target=n_1a5a85b8b09f
t=0057 ADD_EDGE edge_id=e_a3bac926508f source=n_0799394dee51 edge_type=supports target=n_2754f3cadd23
t=0058 ADD_EDGE edge_id=e_74e88963379e source=n_00815ae32b70 edge_type=refutes target=n_a4606b75e4c6
t=0059 ADD_EDGE edge_id=e_d1d3f64800f9 source=n_5a1bf97208f6 edge_type=supports target=n_214713106b78
t=0060 ADD_EDGE edge_id=e_082e994361ec source=n_ce529f35eff9 edge_type=supports target=n_e0a5fba6bd41
t=0061 ADD_EDGE edge_id=e_fca4cbeb97ba source=n_552edc45eec6 edge_type=supports target=n_55bfb5d32ba4
t=0062 ADD_EDGE edge_id=e_d6a7263362c9 source=n_819ee2a98b68 edge_type=refutes target=n_0a840cb340b4
t=0063 ADD_EDGE edge_id=e_75acb546b555 source=n_6a02a737651d edge_type=supports target=n_dab4e653bdf5
t=0064 ADD_EDGE edge_id=e_130f3cfc8ca9 source=n_540b7eb10cf6 edge_type=supports target=n_40f8de8f803c
t=0065 ADD_EDGE edge_id=e_f52636e4a35a source=n_214713106b78 edge_type=refutes target=n_85546668d22f
t=0066 ADD_EDGE edge_id=e_57b634b5e1f4 source=n_2754f3cadd23 edge_type=refutes target=n_ea0bbae9360f
t=0067 ADD_EDGE edge_id=e_5caa32805d68 source=n_cd05a52ed943 edge_type=supports target=n_679d9c15bfca
t=0068 ADD_EDGE edge_id=e_ba2964231bad source=n_035b9be5f95a edge_type=supports target=n_7ae65508db5b
t=0069 ADD_EDGE edge_id=e_7460df68bef8 source=n_dab4e653bdf5 edge_type=refutes target=n_8f1736e41a5c
t=0070 ADD_EDGE edge_id=e_0f8095dceaa0 source=n_85546668d22f edge_type=refutes target=n_7370f0601b94
t=0071 ADD_EDGE edge_id=e_936038e9795e source=n_85546668d22f edge_type=refutes target=n_cf1c66c2c38f
t=0072 ADD_EDGE edge_id=e_e11cb7119106 source=n_9d912d1257f1 edge_type=refutes target=n_7e643601ca06
t=0073 ADD_EDGE edge_id=e_39eb3f821d46 source=n_dd40490a6b5d edge_type=refutes target=n_8676dc7e891b
t=0074 ADD_EDGE edge_id=e_794fbacab798 source=n_0a840cb340b4 edge_type=supports target=n_cd05a52ed943
t=0075 ADD_EDGE edge_id=e_454b5c6ec580 source=n_2754f3cadd23 edge_type=refutes target=n_552edc45eec6
t=0076 ADD_EDGE edge_id=e_3fdc3cf7d373 source=n_2754f3cadd23 edge_type=supports target=n_bd0d566d1fea
t=0077 ADD_EDGE edge_id=e_c5a10ab510ad source=n_f5acd8262b83 edge_type=refutes target=n_db79c7b21409
t=0078 ADD_EDGE edge_id=e_f1faa8e21434 source=n_ce529f35eff9 edge_type=supports target=n_346b65f5690b
t=0079 ADD_EDGE edge_id=e_240c84559ad2 source=n_0633ebb9d03c edge_type=supports target=n_dd40490a6b5d
t=0080 ADD_EDGE edge_id=e_600edc3ef5a2 source=n_346b65f5690b edge_type=supports target=n_1d31e57963a3
t=0081 ADD_EDGE edge_id=e_8272e2127df0 source=n_540b7eb10cf6 edge_type=supports target=n_d21ff1da042c
t=0082 ADD_EDGE edge_id=e_c124a2f0ff20 source=n_00815ae32b70 edge_type=supports target=n_5a1bf97208f6
t=0083 ADD_EDGE edge_id=e_02105e480fa4 source=n_ea0bbae9360f edge_type=refutes target=n_4908165b66d6
t=0084 ADD_EDGE edge_id=e_475e5185ca4f source=n_8676dc7e891b edge_type=refutes target=n_abba697adfb9
t=0085 ADD_EDGE edge_id=e_187c9186afbd source=n_c3800ff903be edge_type=refutes target=n_0633ebb9d03c
t=0086 ADD_EDGE edge_id=e_8c83ea5729a7 source=n_f5acd8262b83 edge_type=refutes target=n_00815ae32b70
t=0087 QUERY source=n_c3800ff903be target=n_7370f0601b94
[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_9d348529598b node_type=claim
t=0001 CREATE_NODE id=n_fbb6f2506b6d node_type=claim
t=0002 CREATE_NODE id=n_b7a270d9f675 node_type=claim
t=0003 CREATE_NODE id=n_7258c693a62f node_type=claim
t=0004 CREATE_NODE id=n_90982a952578 node_type=claim
t=0005 CREATE_NODE id=n_8aa9f8d991c2 node_type=claim
t=0006 CREATE_NODE id=n_0f674269162a node_type=claim
t=0007 CREATE_NODE id=n_190ee622d71a node_type=claim
t=0008 CREATE_NODE id=n_3be65d10f01b node_type=claim
t=0009 CREATE_NODE id=n_40a3c2186244 node_type=claim
t=0010 CREATE_NODE id=n_3711390e9673 node_type=claim
t=0011 CREATE_NODE id=n_5faca8af582f node_type=claim
t=0012 CREATE_NODE id=n_3169480504a8 node_type=claim
t=0013 CREATE_NODE id=n_1d8d380476b6 node_type=claim
t=0014 CREATE_NODE id=n_13d4f5f8cea7 node_type=claim
t=0015 CREATE_NODE id=n_916c9892d2cc node_type=claim
t=0016 CREATE_NODE id=n_a0c870f3cf3d node_type=claim
t=0017 CREATE_NODE id=n_173c08e90274 node_type=claim
t=0018 CREATE_NODE id=n_4aa0e45fb772 node_type=claim
t=0019 CREATE_NODE id=n_b029457fa86d node_type=claim
t=0020 CREATE_NODE id=n_3aea1104a910 node_type=claim
t=0021 CREATE_NODE id=n_6cd0a6833856 node_type=claim
t=0022 CREATE_NODE id=n_cb1db39c0211 node_type=claim
t=0023 CREATE_NODE id=n_bb521b666d88 node_type=claim
t=0024 CREATE_NODE id=n_369e9b1d5570 node_type=claim
t=0025 CREATE_NODE id=n_8b17b0d84ef5 node_type=claim
t=0026 CREATE_NODE id=n_2a5b5f0f0dee node_type=claim
t=0027 CREATE_NODE id=n_1504ac5e98e0 node_type=claim
t=0028 CREATE_NODE id=n_ad619c8a5c45 node_type=claim
t=0029 CREATE_NODE id=n_8665a9e0b72d node_type=claim
t=0030 CREATE_NODE id=n_f1521ced8600 node_type=claim
t=0031 CREATE_NODE id=n_f769cd458a64 node_type=claim
t=0032 CREATE_NODE id=n_9bfb8a238feb node_type=claim
t=0033 CREATE_NODE id=n_f5150201adf0 node_type=claim
t=0034 CREATE_NODE id=n_90c97509bb66 node_type=claim
t=0035 CREATE_NODE id=n_30b184c47a30 node_type=claim
t=0036 CREATE_NODE id=n_c3596b66657a node_type=claim
t=0037 CREATE_NODE id=n_3453e037b73f node_type=claim
t=0038 CREATE_NODE id=n_0e1978b1c81b node_type=claim
t=0039 CREATE_NODE id=n_147aba6afaae node_type=claim
t=0040 CREATE_NODE id=n_78ceb001aa4d node_type=claim
t=0041 CREATE_NODE id=n_818eba439a20 node_type=claim
t=0042 CREATE_NODE id=n_9389ef061d24 node_type=claim
t=0043 CREATE_NODE id=n_5c3d60c0e282 node_type=claim
t=0044 ASSERT_ROOT node=n_3453e037b73f value=TRUE
t=0045 ADD_EDGE edge_id=e_ba09de96329f source=n_0f674269162a edge_type=supports target=n_3aea1104a910
t=0046 ADD_EDGE edge_id=e_2e3cdd3416bd source=n_3453e037b73f edge_type=supports target=n_3711390e9673
t=0047 ADD_EDGE edge_id=e_4f1646b4d5b6 source=n_4aa0e45fb772 edge_type=supports target=n_f1521ced8600
t=0048 ADD_EDGE edge_id=e_f7855d9fa930 source=n_147aba6afaae edge_type=refutes target=n_f769cd458a64
t=0049 ADD_EDGE edge_id=e_036c03efcc1d source=n_13d4f5f8cea7 edge_type=refutes target=n_c3596b66657a
t=0050 ADD_EDGE edge_id=e_2542a3a3f99f source=n_147aba6afaae edge_type=supports target=n_8aa9f8d991c2
t=0051 ADD_EDGE edge_id=e_1cf216a011da source=n_0f674269162a edge_type=refutes target=n_30b184c47a30
t=0052 ADD_EDGE edge_id=e_e22070abab1b source=n_916c9892d2cc edge_type=refutes target=n_9bfb8a238feb
t=0053 ADD_EDGE edge_id=e_e0f647188f68 source=n_190ee622d71a edge_type=supports target=n_3be65d10f01b
t=0054 ADD_EDGE edge_id=e_1ee80611c64d source=n_0f674269162a edge_type=supports target=n_190ee622d71a
t=0055 ADD_EDGE edge_id=e_47fce4ef486f source=n_bb521b666d88 edge_type=refutes target=n_9389ef061d24
t=0056 ADD_EDGE edge_id=e_e6c9e24e95e7 source=n_173c08e90274 edge_type=refutes target=n_3169480504a8
t=0057 ADD_EDGE edge_id=e_60274d198b3f source=n_90c97509bb66 edge_type=supports target=n_f5150201adf0
t=0058 ADD_EDGE edge_id=e_5851592ca2d3 source=n_30b184c47a30 edge_type=supports target=n_a0c870f3cf3d
t=0059 ADD_EDGE edge_id=e_533a0dbf78ea source=n_bb521b666d88 edge_type=refutes target=n_b029457fa86d
t=0060 ADD_EDGE edge_id=e_a1f6955c6c77 source=n_818eba439a20 edge_type=supports target=n_ad619c8a5c45
t=0061 ADD_EDGE edge_id=e_e4444c0fc9e2 source=n_1504ac5e98e0 edge_type=refutes target=n_13d4f5f8cea7
t=0062 ADD_EDGE edge_id=e_6efe19c94164 source=n_147aba6afaae edge_type=refutes target=n_1d8d380476b6
t=0063 ADD_EDGE edge_id=e_85946eea3408 source=n_8aa9f8d991c2 edge_type=refutes target=n_6cd0a6833856
t=0064 ADD_EDGE edge_id=e_8dad7f7a0924 source=n_173c08e90274 edge_type=supports target=n_90c97509bb66
t=0065 ADD_EDGE edge_id=e_80081743cb2e source=n_5faca8af582f edge_type=refutes target=n_40a3c2186244
t=0066 ADD_EDGE edge_id=e_bfec0c0f645f source=n_bb521b666d88 edge_type=supports target=n_5c3d60c0e282
t=0067 ADD_EDGE edge_id=e_f4d64639e33c source=n_9389ef061d24 edge_type=supports target=n_7258c693a62f
t=0068 ADD_EDGE edge_id=e_96fb733c1283 source=n_3711390e9673 edge_type=refutes target=n_2a5b5f0f0dee
t=0069 ADD_EDGE edge_id=e_7a621132e0cd source=n_cb1db39c0211 edge_type=supports target=n_5faca8af582f
t=0070 ADD_EDGE edge_id=e_6718b709f07b source=n_ad619c8a5c45 edge_type=supports target=n_1504ac5e98e0
t=0071 ADD_EDGE edge_id=e_1d2c2d5aba5a source=n_a0c870f3cf3d edge_type=refutes target=n_147aba6afaae
t=0072 ADD_EDGE edge_id=e_6b31847ea2d9 source=n_3aea1104a910 edge_type=supports target=n_173c08e90274
t=0073 ADD_EDGE edge_id=e_f420a90e5c84 source=n_0f674269162a edge_type=refutes target=n_90982a952578
t=0074 ADD_EDGE edge_id=e_db92ec61c215 source=n_f1521ced8600 edge_type=refutes target=n_bb521b666d88
t=0075 ADD_EDGE edge_id=e_7aa5ac929757 source=n_0e1978b1c81b edge_type=refutes target=n_818eba439a20
t=0076 ADD_EDGE edge_id=e_a429161dfcc8 source=n_7258c693a62f edge_type=supports target=n_b7a270d9f675
t=0077 ADD_EDGE edge_id=e_629c19ba750e source=n_a0c870f3cf3d edge_type=refutes target=n_fbb6f2506b6d
t=0078 ADD_EDGE edge_id=e_e69a75d82bfc source=n_190ee622d71a edge_type=supports target=n_9d348529598b
t=0079 ADD_EDGE edge_id=e_5ddf72644c37 source=n_1504ac5e98e0 edge_type=refutes target=n_8665a9e0b72d
t=0080 ADD_EDGE edge_id=e_300198872d5d source=n_30b184c47a30 edge_type=supports target=n_916c9892d2cc
t=0081 ADD_EDGE edge_id=e_494266d06fb1 source=n_8b17b0d84ef5 edge_type=supports target=n_0e1978b1c81b
t=0082 ADD_EDGE edge_id=e_d4c223b39d58 source=n_30b184c47a30 edge_type=refutes target=n_78ceb001aa4d
t=0083 ADD_EDGE edge_id=e_29f06040a1ed source=n_5faca8af582f edge_type=supports target=n_4aa0e45fb772
t=0084 ADD_EDGE edge_id=e_4e9dceaaa341 source=n_b7a270d9f675 edge_type=refutes target=n_8b17b0d84ef5
t=0085 ADD_EDGE edge_id=e_cb25e5579267 source=n_90c97509bb66 edge_type=refutes target=n_369e9b1d5570
t=0086 ADD_EDGE edge_id=e_7862f09f4fc3 source=n_2a5b5f0f0dee edge_type=supports target=n_cb1db39c0211
t=0087 QUERY source=n_3453e037b73f target=n_c3596b66657a
[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_c0cf1b9fac30 node_type=claim
t=0001 CREATE_NODE id=n_977d6203bd73 node_type=claim
t=0002 CREATE_NODE id=n_89ba190c56a2 node_type=claim
t=0003 CREATE_NODE id=n_9492ae2dbd96 node_type=claim
t=0004 CREATE_NODE id=n_24ee1dd32ecb node_type=claim
t=0005 CREATE_NODE id=n_32066007863f node_type=claim
t=0006 CREATE_NODE id=n_74263562a2d1 node_type=claim
t=0007 CREATE_NODE id=n_10c23a2c2f88 node_type=claim
t=0008 CREATE_NODE id=n_b2307f29a6e6 node_type=claim
t=0009 CREATE_NODE id=n_33f1241f3ef3 node_type=claim
t=0010 CREATE_NODE id=n_9ec675a151e9 node_type=claim
t=0011 CREATE_NODE id=n_993d4c071470 node_type=claim
t=0012 CREATE_NODE id=n_377fa48ab984 node_type=claim
t=0013 CREATE_NODE id=n_5c1528174b71 node_type=claim
t=0014 CREATE_NODE id=n_fba3ce38a098 node_type=claim
t=0015 CREATE_NODE id=n_674ceb4b549f node_type=claim
t=0016 CREATE_NODE id=n_2303d222b99e node_type=claim
t=0017 CREATE_NODE id=n_21553dfa982d node_type=claim
t=0018 CREATE_NODE id=n_db03aceeb4de node_type=claim
t=0019 CREATE_NODE id=n_d83d8bd7bb84 node_type=claim
t=0020 CREATE_NODE id=n_f7344721dc05 node_type=claim
t=0021 CREATE_NODE id=n_e8db459b3a8b node_type=claim
t=0022 CREATE_NODE id=n_a46790debccd node_type=claim
t=0023 CREATE_NODE id=n_9552274cf603 node_type=claim
t=0024 CREATE_NODE id=n_57f005f0fccb node_type=claim
t=0025 CREATE_NODE id=n_cac4dda408f7 node_type=claim
t=0026 CREATE_NODE id=n_e8466362d294 node_type=claim
t=0027 CREATE_NODE id=n_d457a528b124 node_type=claim
t=0028 CREATE_NODE id=n_dc20ba2356a1 node_type=claim
t=0029 CREATE_NODE id=n_4011bb618105 node_type=claim
t=0030 CREATE_NODE id=n_d38da61f9e3a node_type=claim
t=0031 CREATE_NODE id=n_9d3174b54ea1 node_type=claim
t=0032 CREATE_NODE id=n_84499d47d2f8 node_type=claim
t=0033 CREATE_NODE id=n_0b4254a8fc3f node_type=claim
t=0034 CREATE_NODE id=n_d2509a5bd8ba node_type=claim
t=0035 CREATE_NODE id=n_5e612e37a570 node_type=claim
t=0036 CREATE_NODE id=n_13736e7fc9c1 node_type=claim
t=0037 CREATE_NODE id=n_5bc5c76ef584 node_type=claim
t=0038 CREATE_NODE id=n_1f356348026d node_type=claim
t=0039 CREATE_NODE id=n_476d5e04229a node_type=claim
t=0040 CREATE_NODE id=n_804b8a1018c1 node_type=claim
t=0041 CREATE_NODE id=n_f53dae02499a node_type=claim
t=0042 CREATE_NODE id=n_a3bec78c3354 node_type=claim
t=0043 CREATE_NODE id=n_23e716e69fcf node_type=claim
t=0044 CREATE_NODE id=n_4558a4e70959 node_type=claim
t=0045 CREATE_NODE id=n_72f0f3c33310 node_type=claim
t=0046 ASSERT_ROOT node=n_d457a528b124 value=TRUE
t=0047 ADD_EDGE edge_id=e_2b113f789f64 source=n_b2307f29a6e6 edge_type=refutes target=n_674ceb4b549f
t=0048 ADD_EDGE edge_id=e_0f878f79c54e source=n_dc20ba2356a1 edge_type=supports target=n_21553dfa982d
t=0049 ADD_EDGE edge_id=e_d4335e1e1e40 source=n_57f005f0fccb edge_type=supports target=n_84499d47d2f8
t=0050 ADD_EDGE edge_id=e_31ac585392a4 source=n_23e716e69fcf edge_type=supports target=n_74263562a2d1
t=0051 ADD_EDGE edge_id=e_3f681c9b9144 source=n_f53dae02499a edge_type=refutes target=n_23e716e69fcf
t=0052 ADD_EDGE edge_id=e_a4405e2660bf source=n_d83d8bd7bb84 edge_type=refutes target=n_a3bec78c3354
t=0053 ADD_EDGE edge_id=e_078f6775f9b3 source=n_4011bb618105 edge_type=supports target=n_d83d8bd7bb84
t=0054 ADD_EDGE edge_id=e_7aee94ae9eaf source=n_9492ae2dbd96 edge_type=supports target=n_db03aceeb4de
t=0055 ADD_EDGE edge_id=e_7172378670da source=n_1f356348026d edge_type=supports target=n_804b8a1018c1
t=0056 ADD_EDGE edge_id=e_e08c0a6b9d1c source=n_b2307f29a6e6 edge_type=refutes target=n_5c1528174b71
t=0057 ADD_EDGE edge_id=e_663aedbc8512 source=n_d457a528b124 edge_type=refutes target=n_c0cf1b9fac30
t=0058 ADD_EDGE edge_id=e_8ba1b2455a4e source=n_977d6203bd73 edge_type=refutes target=n_89ba190c56a2
t=0059 ADD_EDGE edge_id=e_3fddf517e070 source=n_9ec675a151e9 edge_type=refutes target=n_d38da61f9e3a
t=0060 ADD_EDGE edge_id=e_73c7c74013ec source=n_5c1528174b71 edge_type=supports target=n_cac4dda408f7
t=0061 ADD_EDGE edge_id=e_70c6eb0c275a source=n_804b8a1018c1 edge_type=refutes target=n_9ec675a151e9
t=0062 ADD_EDGE edge_id=e_51f29a155083 source=n_9552274cf603 edge_type=refutes target=n_32066007863f
t=0063 ADD_EDGE edge_id=e_d0eeeac2b15f source=n_5c1528174b71 edge_type=supports target=n_33f1241f3ef3
t=0064 ADD_EDGE edge_id=e_733cf51992eb source=n_d83d8bd7bb84 edge_type=refutes target=n_dc20ba2356a1
t=0065 ADD_EDGE edge_id=e_0ff963b7a943 source=n_d38da61f9e3a edge_type=refutes target=n_f53dae02499a
t=0066 ADD_EDGE edge_id=e_20f1db45667f source=n_d83d8bd7bb84 edge_type=refutes target=n_4558a4e70959
t=0067 ADD_EDGE edge_id=e_2a1ea00375e4 source=n_476d5e04229a edge_type=supports target=n_57f005f0fccb
t=0068 ADD_EDGE edge_id=e_e7820a5da905 source=n_db03aceeb4de edge_type=refutes target=n_5e612e37a570
t=0069 ADD_EDGE edge_id=e_bd39f5550e78 source=n_d2509a5bd8ba edge_type=supports target=n_0b4254a8fc3f
t=0070 ADD_EDGE edge_id=e_398ad6eebfcf source=n_10c23a2c2f88 edge_type=refutes target=n_9d3174b54ea1
t=0071 ADD_EDGE edge_id=e_26c7b96d38e8 source=n_dc20ba2356a1 edge_type=supports target=n_13736e7fc9c1
t=0072 ADD_EDGE edge_id=e_4b15275afb32 source=n_9ec675a151e9 edge_type=refutes target=n_e8466362d294
t=0073 ADD_EDGE edge_id=e_7814b4d4a2ee source=n_24ee1dd32ecb edge_type=supports target=n_4011bb618105
t=0074 ADD_EDGE edge_id=e_199e1080fd11 source=n_10c23a2c2f88 edge_type=refutes target=n_977d6203bd73
t=0075 ADD_EDGE edge_id=e_c5d4bfbee6a2 source=n_fba3ce38a098 edge_type=refutes target=n_f7344721dc05
t=0076 ADD_EDGE edge_id=e_03af0af2abd1 source=n_dc20ba2356a1 edge_type=supports target=n_a46790debccd
t=0077 ADD_EDGE edge_id=e_06312cef55a1 source=n_b2307f29a6e6 edge_type=supports target=n_24ee1dd32ecb
t=0078 ADD_EDGE edge_id=e_840c822e8d58 source=n_377fa48ab984 edge_type=supports target=n_fba3ce38a098
t=0079 ADD_EDGE edge_id=e_19181c697283 source=n_84499d47d2f8 edge_type=supports target=n_377fa48ab984
t=0080 ADD_EDGE edge_id=e_6b40a3d602af source=n_fba3ce38a098 edge_type=supports target=n_5bc5c76ef584
t=0081 ADD_EDGE edge_id=e_3a22fde9c2fe source=n_74263562a2d1 edge_type=refutes target=n_993d4c071470
t=0082 ADD_EDGE edge_id=e_75ade869bf4d source=n_c0cf1b9fac30 edge_type=refutes target=n_2303d222b99e
t=0083 ADD_EDGE edge_id=e_2fc140fa32f6 source=n_13736e7fc9c1 edge_type=supports target=n_d2509a5bd8ba
t=0084 ADD_EDGE edge_id=e_0a51c20c0d42 source=n_f7344721dc05 edge_type=supports target=n_10c23a2c2f88
t=0085 ADD_EDGE edge_id=e_c888d0d78519 source=n_cac4dda408f7 edge_type=refutes target=n_e8db459b3a8b
t=0086 ADD_EDGE edge_id=e_cd6b75bb4808 source=n_2303d222b99e edge_type=refutes target=n_476d5e04229a
t=0087 ADD_EDGE edge_id=e_2cee64a9168d source=n_72f0f3c33310 edge_type=supports target=n_b2307f29a6e6
t=0088 ADD_EDGE edge_id=e_63d7db18d877 source=n_89ba190c56a2 edge_type=supports target=n_1f356348026d
t=0089 ADD_EDGE edge_id=e_821b37ff1563 source=n_b2307f29a6e6 edge_type=supports target=n_9552274cf603
t=0090 ADD_EDGE edge_id=e_76ebb55ada7a source=n_b2307f29a6e6 edge_type=refutes target=n_9492ae2dbd96
t=0091 QUERY source=n_d457a528b124 target=n_74263562a2d1
[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_fd2d93aa0bd1 node_type=claim
t=0001 CREATE_NODE id=n_20beda61120f node_type=claim
t=0002 CREATE_NODE id=n_ef1c4bc928ed node_type=claim
t=0003 CREATE_NODE id=n_015fd3e24d3a node_type=claim
t=0004 CREATE_NODE id=n_39d98d1f5289 node_type=claim
t=0005 CREATE_NODE id=n_96d196463b2c node_type=claim
t=0006 CREATE_NODE id=n_99df373cfd40 node_type=claim
t=0007 CREATE_NODE id=n_7161a5317616 node_type=claim
t=0008 CREATE_NODE id=n_273b24d8fde5 node_type=claim
t=0009 CREATE_NODE id=n_fb7aa53f6ec1 node_type=claim
t=0010 CREATE_NODE id=n_0e28fe13271c node_type=claim
t=0011 CREATE_NODE id=n_eb9ce1e92fb7 node_type=claim
t=0012 CREATE_NODE id=n_d9771a06cef2 node_type=claim
t=0013 CREATE_NODE id=n_b491041f9dea node_type=claim
t=0014 CREATE_NODE id=n_65fcb99f9be2 node_type=claim
t=0015 CREATE_NODE id=n_48f48b252d1d node_type=claim
t=0016 CREATE_NODE id=n_85da3068b658 node_type=claim
t=0017 CREATE_NODE id=n_aaf1db551304 node_type=claim
t=0018 CREATE_NODE id=n_7ec77d722cd8 node_type=claim
t=0019 CREATE_NODE id=n_af4e90afe43b node_type=claim
t=0020 CREATE_NODE id=n_5f1eeeec9bfe node_type=claim
t=0021 CREATE_NODE id=n_27dccfcb285c node_type=claim
t=0022 CREATE_NODE id=n_aad07da09717 node_type=claim
t=0023 CREATE_NODE id=n_876f9dd34b89 node_type=claim
t=0024 CREATE_NODE id=n_891f41d52dad node_type=claim
t=0025 CREATE_NODE id=n_1e23d288e998 node_type=claim
t=0026 CREATE_NODE id=n_3d2859adb143 node_type=claim
t=0027 CREATE_NODE id=n_1102193830c9 node_type=claim
t=0028 CREATE_NODE id=n_3675669da44e node_type=claim
t=0029 CREATE_NODE id=n_70b3282eca48 node_type=claim
t=0030 CREATE_NODE id=n_31e7bb7f6422 node_type=claim
t=0031 CREATE_NODE id=n_c58e9785bfee node_type=claim
t=0032 CREATE_NODE id=n_b0a4d1c5fb20 node_type=claim
t=0033 CREATE_NODE id=n_b92512e118f7 node_type=claim
t=0034 CREATE_NODE id=n_18d1ff1662f8 node_type=claim
t=0035 CREATE_NODE id=n_edcac821f52a node_type=claim
t=0036 CREATE_NODE id=n_5764d5f0da56 node_type=claim
t=0037 CREATE_NODE id=n_0c3fc11c8600 node_type=claim
t=0038 CREATE_NODE id=n_e8342d292f32 node_type=claim
t=0039 CREATE_NODE id=n_23720c9ca581 node_type=claim
t=0040 CREATE_NODE id=n_cf8a06b0f5b2 node_type=claim
t=0041 CREATE_NODE id=n_7b39448a28d6 node_type=claim
t=0042 CREATE_NODE id=n_79cdc3410c00 node_type=claim
t=0043 CREATE_NODE id=n_291a78c88429 node_type=claim
t=0044 CREATE_NODE id=n_3fa9a4d41384 node_type=claim
t=0045 CREATE_NODE id=n_8c881eb1baf4 node_type=claim
t=0046 ASSERT_ROOT node=n_fd2d93aa0bd1 value=FALSE
t=0047 ADD_EDGE edge_id=e_908d5deecb9e source=n_cf8a06b0f5b2 edge_type=refutes target=n_aaf1db551304
t=0048 ADD_EDGE edge_id=e_d0e8f3370e1a source=n_c58e9785bfee edge_type=refutes target=n_7161a5317616
t=0049 ADD_EDGE edge_id=e_329da65df7f0 source=n_7161a5317616 edge_type=supports target=n_1102193830c9
t=0050 ADD_EDGE edge_id=e_8f5a9fd3d686 source=n_876f9dd34b89 edge_type=refutes target=n_96d196463b2c
t=0051 ADD_EDGE edge_id=e_25d73d763f39 source=n_aaf1db551304 edge_type=supports target=n_7b39448a28d6
t=0052 ADD_EDGE edge_id=e_1b1fdba31ab5 source=n_48f48b252d1d edge_type=supports target=n_e8342d292f32
t=0053 ADD_EDGE edge_id=e_b850679a2c12 source=n_876f9dd34b89 edge_type=refutes target=n_291a78c88429
t=0054 ADD_EDGE edge_id=e_0982e8d23f14 source=n_79cdc3410c00 edge_type=supports target=n_b92512e118f7
t=0055 ADD_EDGE edge_id=e_b1eac3081b10 source=n_65fcb99f9be2 edge_type=supports target=n_5764d5f0da56
t=0056 ADD_EDGE edge_id=e_3ca32f3591fe source=n_273b24d8fde5 edge_type=refutes target=n_ef1c4bc928ed
t=0057 ADD_EDGE edge_id=e_16e1640c9861 source=n_23720c9ca581 edge_type=refutes target=n_1e23d288e998
t=0058 ADD_EDGE edge_id=e_2e6b172e749a source=n_d9771a06cef2 edge_type=refutes target=n_8c881eb1baf4
t=0059 ADD_EDGE edge_id=e_46e4ddf2eea4 source=n_fd2d93aa0bd1 edge_type=supports target=n_5f1eeeec9bfe
t=0060 ADD_EDGE edge_id=e_0224bae9f66a source=n_48f48b252d1d edge_type=supports target=n_aad07da09717
t=0061 ADD_EDGE edge_id=e_5c301cb2250d source=n_291a78c88429 edge_type=refutes target=n_99df373cfd40
t=0062 ADD_EDGE edge_id=e_8f1dc5172832 source=n_291a78c88429 edge_type=refutes target=n_fb7aa53f6ec1
t=0063 ADD_EDGE edge_id=e_136c463fb5e6 source=n_20beda61120f edge_type=refutes target=n_7ec77d722cd8
t=0064 ADD_EDGE edge_id=e_a34c1bc94a97 source=n_65fcb99f9be2 edge_type=supports target=n_20beda61120f
t=0065 ADD_EDGE edge_id=e_b5c75579906e source=n_65fcb99f9be2 edge_type=supports target=n_cf8a06b0f5b2
t=0066 ADD_EDGE edge_id=e_29fee7b00331 source=n_ef1c4bc928ed edge_type=refutes target=n_70b3282eca48
t=0067 ADD_EDGE edge_id=e_0fda61dfcc96 source=n_23720c9ca581 edge_type=refutes target=n_39d98d1f5289
t=0068 ADD_EDGE edge_id=e_f1549e8c918a source=n_876f9dd34b89 edge_type=refutes target=n_79cdc3410c00
t=0069 ADD_EDGE edge_id=e_69139c421379 source=n_0c3fc11c8600 edge_type=supports target=n_af4e90afe43b
t=0070 ADD_EDGE edge_id=e_6b1354654fd7 source=n_23720c9ca581 edge_type=supports target=n_0e28fe13271c
t=0071 ADD_EDGE edge_id=e_db8a88b6fdc6 source=n_3d2859adb143 edge_type=supports target=n_0c3fc11c8600
t=0072 ADD_EDGE edge_id=e_e914f6d779e7 source=n_1102193830c9 edge_type=supports target=n_273b24d8fde5
t=0073 ADD_EDGE edge_id=e_669e9d0b0e7b source=n_0e28fe13271c edge_type=supports target=n_eb9ce1e92fb7
t=0074 ADD_EDGE edge_id=e_ea0df0082a48 source=n_79cdc3410c00 edge_type=refutes target=n_015fd3e24d3a
t=0075 ADD_EDGE edge_id=e_be7aeacc3494 source=n_27dccfcb285c edge_type=supports target=n_48f48b252d1d
t=0076 ADD_EDGE edge_id=e_310442d7d26c source=n_7ec77d722cd8 edge_type=supports target=n_edcac821f52a
t=0077 ADD_EDGE edge_id=e_737581f6a66a source=n_891f41d52dad edge_type=supports target=n_31e7bb7f6422
t=0078 ADD_EDGE edge_id=e_4747f5eada86 source=n_31e7bb7f6422 edge_type=refutes target=n_3d2859adb143
t=0079 ADD_EDGE edge_id=e_94dd6af52c31 source=n_20beda61120f edge_type=refutes target=n_b0a4d1c5fb20
t=0080 ADD_EDGE edge_id=e_2ed2b67cfd24 source=n_edcac821f52a edge_type=refutes target=n_b491041f9dea
t=0081 ADD_EDGE edge_id=e_4a6baa3eddb9 source=n_3d2859adb143 edge_type=refutes target=n_18d1ff1662f8
t=0082 ADD_EDGE edge_id=e_471b21ce98c0 source=n_eb9ce1e92fb7 edge_type=refutes target=n_891f41d52dad
t=0083 ADD_EDGE edge_id=e_2a9e567f0c3b source=n_85da3068b658 edge_type=refutes target=n_c58e9785bfee
t=0084 ADD_EDGE edge_id=e_bff94479c5ee source=n_1102193830c9 edge_type=refutes target=n_3fa9a4d41384
t=0085 ADD_EDGE edge_id=e_855e6aecfd4c source=n_876f9dd34b89 edge_type=supports target=n_65fcb99f9be2
t=0086 ADD_EDGE edge_id=e_814bc7545a4c source=n_70b3282eca48 edge_type=supports target=n_23720c9ca581
t=0087 ADD_EDGE edge_id=e_67c26aeffcdc source=n_5f1eeeec9bfe edge_type=supports target=n_85da3068b658
t=0088 ADD_EDGE edge_id=e_fa81416244c5 source=n_27dccfcb285c edge_type=supports target=n_3675669da44e
t=0089 ADD_EDGE edge_id=e_b409b445a65a source=n_af4e90afe43b edge_type=supports target=n_d9771a06cef2
t=0090 ADD_EDGE edge_id=e_0157db39fee9 source=n_65fcb99f9be2 edge_type=refutes target=n_27dccfcb285c
t=0091 QUERY source=n_fd2d93aa0bd1 target=n_8c881eb1baf4
[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_80442be16bf2 node_type=claim
t=0001 CREATE_NODE id=n_852f6ba1a09a node_type=claim
t=0002 CREATE_NODE id=n_1d58e7babe07 node_type=claim
t=0003 CREATE_NODE id=n_74b2625e2a5c node_type=claim
t=0004 CREATE_NODE id=n_8eac581d829f node_type=claim
t=0005 CREATE_NODE id=n_e776f082f4bd node_type=claim
t=0006 CREATE_NODE id=n_6c1d67330791 node_type=claim
t=0007 CREATE_NODE id=n_27d393fadc6b node_type=claim
t=0008 CREATE_NODE id=n_62ec80ccd45f node_type=claim
t=0009 CREATE_NODE id=n_9b9619d2248a node_type=claim
t=0010 CREATE_NODE id=n_de44bffec203 node_type=claim
t=0011 CREATE_NODE id=n_8992552439a3 node_type=claim
t=0012 CREATE_NODE id=n_72ce04ca6c9e node_type=claim
t=0013 CREATE_NODE id=n_c481d2e6fc3f node_type=claim
t=0014 CREATE_NODE id=n_4f8dd1688028 node_type=claim
t=0015 CREATE_NODE id=n_094a9f868216 node_type=claim
t=0016 CREATE_NODE id=n_866f70111436 node_type=claim
t=0017 CREATE_NODE id=n_9b2fffa58f9e node_type=claim
t=0018 CREATE_NODE id=n_5c70071788ae node_type=claim
t=0019 CREATE_NODE id=n_c33761c215c1 node_type=claim
t=0020 CREATE_NODE id=n_014e5845dd1b node_type=claim
t=0021 CREATE_NODE id=n_c03db0fc91b0 node_type=claim
t=0022 CREATE_NODE id=n_899c39d4b81f node_type=claim
t=0023 CREATE_NODE id=n_dcf0b5738955 node_type=claim
t=0024 CREATE_NODE id=n_316c8a5a43de node_type=claim
t=0025 CREATE_NODE id=n_a254601491af node_type=claim
t=0026 CREATE_NODE id=n_1ffed6ab9dd9 node_type=claim
t=0027 CREATE_NODE id=n_84b623862a84 node_type=claim
t=0028 CREATE_NODE id=n_7340501630bf node_type=claim
t=0029 CREATE_NODE id=n_da8e5a7cadf0 node_type=claim
t=0030 CREATE_NODE id=n_6f6063618284 node_type=claim
t=0031 CREATE_NODE id=n_26af70d7ef19 node_type=claim
t=0032 CREATE_NODE id=n_040dcb6afce7 node_type=claim
t=0033 CREATE_NODE id=n_7ad64524bbec node_type=claim
t=0034 CREATE_NODE id=n_6160cb0bf447 node_type=claim
t=0035 CREATE_NODE id=n_18554ba43250 node_type=claim
t=0036 CREATE_NODE id=n_fdd391d51b47 node_type=claim
t=0037 CREATE_NODE id=n_1bd900302b7a node_type=claim
t=0038 CREATE_NODE id=n_2c995b9a2763 node_type=claim
t=0039 CREATE_NODE id=n_9621018b590c node_type=claim
t=0040 CREATE_NODE id=n_e4af36b84e0e node_type=claim
t=0041 CREATE_NODE id=n_4927059f60b2 node_type=claim
t=0042 CREATE_NODE id=n_5a5457a814de node_type=claim
t=0043 CREATE_NODE id=n_cb56f30bf7ec node_type=claim
t=0044 CREATE_NODE id=n_9e9edb5f1da7 node_type=claim
t=0045 CREATE_NODE id=n_a6dff8918730 node_type=claim
t=0046 ASSERT_ROOT node=n_040dcb6afce7 value=TRUE
t=0047 ADD_EDGE edge_id=e_3af0ab16ac18 source=n_4f8dd1688028 edge_type=supports target=n_84b623862a84
t=0048 ADD_EDGE edge_id=e_8707cb0c5b62 source=n_cb56f30bf7ec edge_type=refutes target=n_27d393fadc6b
t=0049 ADD_EDGE edge_id=e_3195efacd63a source=n_1bd900302b7a edge_type=refutes target=n_7340501630bf
t=0050 ADD_EDGE edge_id=e_aaf5666fbcf9 source=n_80442be16bf2 edge_type=supports target=n_9b9619d2248a
t=0051 ADD_EDGE edge_id=e_60a79b31dbcb source=n_dcf0b5738955 edge_type=supports target=n_6f6063618284
t=0052 ADD_EDGE edge_id=e_9d708c519b75 source=n_9b9619d2248a edge_type=supports target=n_899c39d4b81f
t=0053 ADD_EDGE edge_id=e_3f1aad4ad8e7 source=n_9e9edb5f1da7 edge_type=supports target=n_9b2fffa58f9e
t=0054 ADD_EDGE edge_id=e_c9fd922a2b4e source=n_7340501630bf edge_type=refutes target=n_da8e5a7cadf0
t=0055 ADD_EDGE edge_id=e_09c30a143e12 source=n_5c70071788ae edge_type=refutes target=n_316c8a5a43de
t=0056 ADD_EDGE edge_id=e_a77f3cfad535 source=n_6f6063618284 edge_type=supports target=n_5a5457a814de
t=0057 ADD_EDGE edge_id=e_959188e6ba40 source=n_9621018b590c edge_type=refutes target=n_74b2625e2a5c
t=0058 ADD_EDGE edge_id=e_1f9a1406c208 source=n_7340501630bf edge_type=supports target=n_dcf0b5738955
t=0059 ADD_EDGE edge_id=e_97096b1a81eb source=n_852f6ba1a09a edge_type=refutes target=n_4f8dd1688028
t=0060 ADD_EDGE edge_id=e_2a047a306095 source=n_74b2625e2a5c edge_type=supports target=n_a6dff8918730
t=0061 ADD_EDGE edge_id=e_e4aed06e4222 source=n_1bd900302b7a edge_type=refutes target=n_9e9edb5f1da7
t=0062 ADD_EDGE edge_id=e_bfe3b01500ab source=n_7340501630bf edge_type=refutes target=n_26af70d7ef19
t=0063 ADD_EDGE edge_id=e_59c4b5f1a49b source=n_c481d2e6fc3f edge_type=supports target=n_6160cb0bf447
t=0064 ADD_EDGE edge_id=e_6edf224b6082 source=n_84b623862a84 edge_type=supports target=n_18554ba43250
t=0065 ADD_EDGE edge_id=e_423739a6dd2a source=n_7340501630bf edge_type=refutes target=n_8992552439a3
t=0066 ADD_EDGE edge_id=e_6d0ef9f8d184 source=n_6c1d67330791 edge_type=refutes target=n_7ad64524bbec
t=0067 ADD_EDGE edge_id=e_b69127c0b9a4 source=n_72ce04ca6c9e edge_type=refutes target=n_e4af36b84e0e
t=0068 ADD_EDGE edge_id=e_526d6844344b source=n_2c995b9a2763 edge_type=supports target=n_1bd900302b7a
t=0069 ADD_EDGE edge_id=e_e4dd8ab6755f source=n_316c8a5a43de edge_type=supports target=n_a254601491af
t=0070 ADD_EDGE edge_id=e_8b61af66fb48 source=n_e4af36b84e0e edge_type=refutes target=n_866f70111436
t=0071 ADD_EDGE edge_id=e_25c167c45e48 source=n_27d393fadc6b edge_type=supports target=n_5c70071788ae
t=0072 ADD_EDGE edge_id=e_899c49689424 source=n_74b2625e2a5c edge_type=supports target=n_1d58e7babe07
t=0073 ADD_EDGE edge_id=e_fc782c9f6eca source=n_9621018b590c edge_type=supports target=n_e776f082f4bd
t=0074 ADD_EDGE edge_id=e_68eed9e47f29 source=n_2c995b9a2763 edge_type=supports target=n_c03db0fc91b0
t=0075 ADD_EDGE edge_id=e_e41347230f6f source=n_9b9619d2248a edge_type=supports target=n_014e5845dd1b
t=0076 ADD_EDGE edge_id=e_f8af495a962b source=n_74b2625e2a5c edge_type=refutes target=n_2c995b9a2763
t=0077 ADD_EDGE edge_id=e_1965d8edf82b source=n_866f70111436 edge_type=refutes target=n_8eac581d829f
t=0078 ADD_EDGE edge_id=e_eb9139af08d1 source=n_27d393fadc6b edge_type=supports target=n_62ec80ccd45f
t=0079 ADD_EDGE edge_id=e_5dbfddc897c7 source=n_7ad64524bbec edge_type=refutes target=n_c33761c215c1
t=0080 ADD_EDGE edge_id=e_31c0ba6c3cda source=n_7ad64524bbec edge_type=supports target=n_094a9f868216
t=0081 ADD_EDGE edge_id=e_282e412f5ccc source=n_040dcb6afce7 edge_type=refutes target=n_72ce04ca6c9e
t=0082 ADD_EDGE edge_id=e_1b7ae47c8b0c source=n_1ffed6ab9dd9 edge_type=refutes target=n_4927059f60b2
t=0083 ADD_EDGE edge_id=e_109badda5c1c source=n_9621018b590c edge_type=supports target=n_6c1d67330791
t=0084 ADD_EDGE edge_id=e_39dea3eaeac4 source=n_4927059f60b2 edge_type=supports target=n_852f6ba1a09a
t=0085 ADD_EDGE edge_id=e_eb8b4e17ba22 source=n_014e5845dd1b edge_type=refutes target=n_1ffed6ab9dd9
t=0086 ADD_EDGE edge_id=e_c9f2fdcb953e source=n_316c8a5a43de edge_type=refutes target=n_c481d2e6fc3f
t=0087 ADD_EDGE edge_id=e_7400912520ba source=n_da8e5a7cadf0 edge_type=refutes target=n_fdd391d51b47
t=0088 ADD_EDGE edge_id=e_5cdda6eedc0e source=n_7340501630bf edge_type=refutes target=n_de44bffec203
t=0089 ADD_EDGE edge_id=e_b9eadce7c1b3 source=n_6160cb0bf447 edge_type=refutes target=n_80442be16bf2
t=0090 ADD_EDGE edge_id=e_01d843f5030d source=n_866f70111436 edge_type=supports target=n_cb56f30bf7ec
t=0091 QUERY source=n_040dcb6afce7 target=n_18554ba43250
[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_f6cba361c976 node_type=claim
t=0001 CREATE_NODE id=n_9ed043606d55 node_type=claim
t=0002 CREATE_NODE id=n_024bb81fcc60 node_type=claim
t=0003 CREATE_NODE id=n_f1689b538305 node_type=claim
t=0004 CREATE_NODE id=n_d7dd4ee407d4 node_type=claim
t=0005 CREATE_NODE id=n_306a93a54f94 node_type=claim
t=0006 CREATE_NODE id=n_773f935f51d4 node_type=claim
t=0007 CREATE_NODE id=n_423acc03734a node_type=claim
t=0008 CREATE_NODE id=n_11e715747325 node_type=claim
t=0009 CREATE_NODE id=n_42f5583ffd40 node_type=claim
t=0010 CREATE_NODE id=n_0a07c8a9b95f node_type=claim
t=0011 CREATE_NODE id=n_274e4c9a07c7 node_type=claim
t=0012 CREATE_NODE id=n_e30714721c95 node_type=claim
t=0013 CREATE_NODE id=n_3773bd22c436 node_type=claim
t=0014 CREATE_NODE id=n_5db1484d7b3b node_type=claim
t=0015 CREATE_NODE id=n_d1952fe93cbf node_type=claim
t=0016 CREATE_NODE id=n_d33d2d629c62 node_type=claim
t=0017 CREATE_NODE id=n_8bc226b0e3a4 node_type=claim
t=0018 CREATE_NODE id=n_bdb68bbcd88b node_type=claim
t=0019 CREATE_NODE id=n_b6eab4d4d402 node_type=claim
t=0020 CREATE_NODE id=n_3a48dafdbc70 node_type=claim
t=0021 CREATE_NODE id=n_32db286cc624 node_type=claim
t=0022 CREATE_NODE id=n_f8d6a6269885 node_type=claim
t=0023 CREATE_NODE id=n_61a87ab77806 node_type=claim
t=0024 CREATE_NODE id=n_9d2e3b66a33a node_type=claim
t=0025 CREATE_NODE id=n_403dbf07a080 node_type=claim
t=0026 CREATE_NODE id=n_36d00df672fe node_type=claim
t=0027 CREATE_NODE id=n_3bf51a5f1610 node_type=claim
t=0028 CREATE_NODE id=n_a4898396225f node_type=claim
t=0029 CREATE_NODE id=n_7be9d0dda13b node_type=claim
t=0030 CREATE_NODE id=n_d429e4c5b5b9 node_type=claim
t=0031 CREATE_NODE id=n_529e4722f483 node_type=claim
t=0032 CREATE_NODE id=n_a7b6993f4d40 node_type=claim
t=0033 CREATE_NODE id=n_753a1b1de0bb node_type=claim
t=0034 CREATE_NODE id=n_29442d97ec15 node_type=claim
t=0035 CREATE_NODE id=n_4c2c6a0e43ed node_type=claim
t=0036 CREATE_NODE id=n_ded4ce053dc7 node_type=claim
t=0037 CREATE_NODE id=n_6a9ee28796f0 node_type=claim
t=0038 CREATE_NODE id=n_8b6fbd6da729 node_type=claim
t=0039 CREATE_NODE id=n_eb4b38833739 node_type=claim
t=0040 CREATE_NODE id=n_d3991b748405 node_type=claim
t=0041 CREATE_NODE id=n_bd880308c4b2 node_type=claim
t=0042 CREATE_NODE id=n_e2ca731d0936 node_type=claim
t=0043 CREATE_NODE id=n_44d8657df966 node_type=claim
t=0044 CREATE_NODE id=n_a27d802e15d8 node_type=claim
t=0045 CREATE_NODE id=n_c0e2f114d85e node_type=claim
t=0046 ASSERT_ROOT node=n_36d00df672fe value=FALSE
t=0047 ADD_EDGE edge_id=e_395942e6b5e8 source=n_e30714721c95 edge_type=refutes target=n_306a93a54f94
t=0048 ADD_EDGE edge_id=e_8eb42bd62c14 source=n_9d2e3b66a33a edge_type=supports target=n_0a07c8a9b95f
t=0049 ADD_EDGE edge_id=e_5144245e152d source=n_11e715747325 edge_type=refutes target=n_d1952fe93cbf
t=0050 ADD_EDGE edge_id=e_1a1084b33197 source=n_bd880308c4b2 edge_type=supports target=n_a27d802e15d8
t=0051 ADD_EDGE edge_id=e_dbb856079f49 source=n_44d8657df966 edge_type=supports target=n_32db286cc624
t=0052 ADD_EDGE edge_id=e_10657f889ef4 source=n_8bc226b0e3a4 edge_type=supports target=n_a4898396225f
t=0053 ADD_EDGE edge_id=e_cbc564591ccf source=n_d3991b748405 edge_type=refutes target=n_f1689b538305
t=0054 ADD_EDGE edge_id=e_f4a4b5d738a1 source=n_8bc226b0e3a4 edge_type=refutes target=n_753a1b1de0bb
t=0055 ADD_EDGE edge_id=e_3cd750c4bb28 source=n_32db286cc624 edge_type=refutes target=n_6a9ee28796f0
t=0056 ADD_EDGE edge_id=e_65b8bab2e0c7 source=n_753a1b1de0bb edge_type=refutes target=n_ded4ce053dc7
t=0057 ADD_EDGE edge_id=e_270e6b872b1f source=n_403dbf07a080 edge_type=supports target=n_8b6fbd6da729
t=0058 ADD_EDGE edge_id=e_8974a30830a4 source=n_36d00df672fe edge_type=refutes target=n_bdb68bbcd88b
t=0059 ADD_EDGE edge_id=e_4c69f40fc86b source=n_773f935f51d4 edge_type=refutes target=n_3a48dafdbc70
t=0060 ADD_EDGE edge_id=e_00e9dcc513ac source=n_753a1b1de0bb edge_type=refutes target=n_d33d2d629c62
t=0061 ADD_EDGE edge_id=e_b6c036ffbb86 source=n_d7dd4ee407d4 edge_type=supports target=n_3773bd22c436
t=0062 ADD_EDGE edge_id=e_369e6bf66b29 source=n_11e715747325 edge_type=supports target=n_9d2e3b66a33a
t=0063 ADD_EDGE edge_id=e_372f4a750176 source=n_8bc226b0e3a4 edge_type=refutes target=n_403dbf07a080
t=0064 ADD_EDGE edge_id=e_9118aa93df8b source=n_9ed043606d55 edge_type=refutes target=n_4c2c6a0e43ed
t=0065 ADD_EDGE edge_id=e_4c485c756531 source=n_a4898396225f edge_type=refutes target=n_024bb81fcc60
t=0066 ADD_EDGE edge_id=e_be90a93385e6 source=n_e2ca731d0936 edge_type=refutes target=n_f6cba361c976
t=0067 ADD_EDGE edge_id=e_18ab2439915c source=n_5db1484d7b3b edge_type=supports target=n_3bf51a5f1610
t=0068 ADD_EDGE edge_id=e_697b705bfe14 source=n_d3991b748405 edge_type=refutes target=n_11e715747325
t=0069 ADD_EDGE edge_id=e_1b0a09338389 source=n_f8d6a6269885 edge_type=supports target=n_bd880308c4b2
t=0070 ADD_EDGE edge_id=e_32ef8f8c0c4c source=n_8bc226b0e3a4 edge_type=refutes target=n_d429e4c5b5b9
t=0071 ADD_EDGE edge_id=e_130490b4fcbd source=n_a4898396225f edge_type=supports target=n_773f935f51d4
t=0072 ADD_EDGE edge_id=e_ed0acbfe5646 source=n_0a07c8a9b95f edge_type=supports target=n_529e4722f483
t=0073 ADD_EDGE edge_id=e_a5d60d048b0f source=n_753a1b1de0bb edge_type=supports target=n_42f5583ffd40
t=0074 ADD_EDGE edge_id=e_8d1e82639dde source=n_8bc226b0e3a4 edge_type=supports target=n_e2ca731d0936
t=0075 ADD_EDGE edge_id=e_4cd559514273 source=n_c0e2f114d85e edge_type=supports target=n_a7b6993f4d40
t=0076 ADD_EDGE edge_id=e_383f7581fc4e source=n_a27d802e15d8 edge_type=refutes target=n_29442d97ec15
t=0077 ADD_EDGE edge_id=e_974560c383cd source=n_773f935f51d4 edge_type=refutes target=n_d7dd4ee407d4
t=0078 ADD_EDGE edge_id=e_b02e7ed06a7d source=n_36d00df672fe edge_type=supports target=n_b6eab4d4d402
t=0079 ADD_EDGE edge_id=e_a96e7d08c667 source=n_3bf51a5f1610 edge_type=refutes target=n_44d8657df966
t=0080 ADD_EDGE edge_id=e_9d1d6aa1fe33 source=n_b6eab4d4d402 edge_type=supports target=n_423acc03734a
t=0081 ADD_EDGE edge_id=e_8d52323fcb76 source=n_e30714721c95 edge_type=supports target=n_d3991b748405
t=0082 ADD_EDGE edge_id=e_4b3cbcfad2b9 source=n_6a9ee28796f0 edge_type=refutes target=n_e30714721c95
t=0083 ADD_EDGE edge_id=e_f66dc8a22278 source=n_423acc03734a edge_type=supports target=n_5db1484d7b3b
t=0084 ADD_EDGE edge_id=e_6d8bd528b7d7 source=n_8bc226b0e3a4 edge_type=supports target=n_274e4c9a07c7
t=0085 ADD_EDGE edge_id=e_4ff97a187f77 source=n_529e4722f483 edge_type=supports target=n_61a87ab77806
t=0086 ADD_EDGE edge_id=e_f4c64a2844e4 source=n_42f5583ffd40 edge_type=refutes target=n_9ed043606d55
t=0087 ADD_EDGE edge_id=e_9c12e5c41c70 source=n_773f935f51d4 edge_type=supports target=n_eb4b38833739
t=0088 ADD_EDGE edge_id=e_ccd55d2fc64d source=n_274e4c9a07c7 edge_type=refutes target=n_c0e2f114d85e
t=0089 ADD_EDGE edge_id=e_b32333628269 source=n_61a87ab77806 edge_type=supports target=n_f8d6a6269885
t=0090 ADD_EDGE edge_id=e_a84f98ebd5a5 source=n_3a48dafdbc70 edge_type=refutes target=n_7be9d0dda13b
t=0091 QUERY source=n_36d00df672fe target=n_29442d97ec15
[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_2a4801736cbd node_type=claim
t=0001 CREATE_NODE id=n_03fb4d4a23ba node_type=claim
t=0002 CREATE_NODE id=n_17264d689cb4 node_type=claim
t=0003 CREATE_NODE id=n_94fd8052abf5 node_type=claim
t=0004 CREATE_NODE id=n_d63629059bd5 node_type=claim
t=0005 CREATE_NODE id=n_4cd2c3882439 node_type=claim
t=0006 CREATE_NODE id=n_421cadd7bbd9 node_type=claim
t=0007 CREATE_NODE id=n_e9a98241913b node_type=claim
t=0008 CREATE_NODE id=n_1d94dbc27281 node_type=claim
t=0009 CREATE_NODE id=n_5f96a05ab4ef node_type=claim
t=0010 CREATE_NODE id=n_32e929c8d584 node_type=claim
t=0011 CREATE_NODE id=n_cfc526320f3a node_type=claim
t=0012 CREATE_NODE id=n_b5e610537b06 node_type=claim
t=0013 CREATE_NODE id=n_b6480ef79d83 node_type=claim
t=0014 CREATE_NODE id=n_ef525d4e5eca node_type=claim
t=0015 CREATE_NODE id=n_d27c4d8ea12e node_type=claim
t=0016 CREATE_NODE id=n_282340d97270 node_type=claim
t=0017 CREATE_NODE id=n_4845d7bcb411 node_type=claim
t=0018 CREATE_NODE id=n_2afda8a988f5 node_type=claim
t=0019 CREATE_NODE id=n_5bb015614da2 node_type=claim
t=0020 CREATE_NODE id=n_361d84556ab6 node_type=claim
t=0021 CREATE_NODE id=n_8d89b2f32cb4 node_type=claim
t=0022 CREATE_NODE id=n_44d0eebd4cc8 node_type=claim
t=0023 CREATE_NODE id=n_f0ddb20146ac node_type=claim
t=0024 CREATE_NODE id=n_c9a2e1b02007 node_type=claim
t=0025 CREATE_NODE id=n_7211e3ada75b node_type=claim
t=0026 CREATE_NODE id=n_0f10f5bb0886 node_type=claim
t=0027 CREATE_NODE id=n_7052b8a01ab2 node_type=claim
t=0028 CREATE_NODE id=n_6f3129aa4552 node_type=claim
t=0029 CREATE_NODE id=n_0e92ff8c66fc node_type=claim
t=0030 CREATE_NODE id=n_8bd802730220 node_type=claim
t=0031 CREATE_NODE id=n_341a02196fc6 node_type=claim
t=0032 CREATE_NODE id=n_1e8b0e44c7db node_type=claim
t=0033 CREATE_NODE id=n_39aabd4fccc5 node_type=claim
t=0034 CREATE_NODE id=n_d2449638f9e3 node_type=claim
t=0035 CREATE_NODE id=n_4fddf41bc0e7 node_type=claim
t=0036 CREATE_NODE id=n_8310e700f45d node_type=claim
t=0037 CREATE_NODE id=n_9779e98f3188 node_type=claim
t=0038 CREATE_NODE id=n_d963e977c929 node_type=claim
t=0039 CREATE_NODE id=n_2a6334aeaf77 node_type=claim
t=0040 CREATE_NODE id=n_bddde77e0777 node_type=claim
t=0041 CREATE_NODE id=n_501f903162f2 node_type=claim
t=0042 CREATE_NODE id=n_c22b5c013f13 node_type=claim
t=0043 CREATE_NODE id=n_adac0aa590bb node_type=claim
t=0044 CREATE_NODE id=n_f92a2ea7688c node_type=claim
t=0045 CREATE_NODE id=n_c2beafb0efd7 node_type=claim
t=0046 ASSERT_ROOT node=n_c2beafb0efd7 value=TRUE
t=0047 ADD_EDGE edge_id=e_420cd0df3f51 source=n_4cd2c3882439 edge_type=refutes target=n_4fddf41bc0e7
t=0048 ADD_EDGE edge_id=e_e33814d99bc0 source=n_8bd802730220 edge_type=refutes target=n_2a4801736cbd
t=0049 ADD_EDGE edge_id=e_dcc7832886d5 source=n_0e92ff8c66fc edge_type=supports target=n_cfc526320f3a
t=0050 ADD_EDGE edge_id=e_56dfe7110ec6 source=n_8bd802730220 edge_type=refutes target=n_17264d689cb4
t=0051 ADD_EDGE edge_id=e_ad63382562ab source=n_7211e3ada75b edge_type=refutes target=n_b6480ef79d83
t=0052 ADD_EDGE edge_id=e_23679c141d6a source=n_39aabd4fccc5 edge_type=supports target=n_f0ddb20146ac
t=0053 ADD_EDGE edge_id=e_1e6d9ac42b08 source=n_e9a98241913b edge_type=supports target=n_bddde77e0777
t=0054 ADD_EDGE edge_id=e_afe3cbafb6d9 source=n_8bd802730220 edge_type=refutes target=n_421cadd7bbd9
t=0055 ADD_EDGE edge_id=e_93389fc507f0 source=n_5f96a05ab4ef edge_type=refutes target=n_03fb4d4a23ba
t=0056 ADD_EDGE edge_id=e_a6f4eace41cb source=n_d963e977c929 edge_type=supports target=n_0e92ff8c66fc
t=0057 ADD_EDGE edge_id=e_191b1d6936e0 source=n_bddde77e0777 edge_type=supports target=n_9779e98f3188
t=0058 ADD_EDGE edge_id=e_30b3ced652ff source=n_bddde77e0777 edge_type=supports target=n_ef525d4e5eca
t=0059 ADD_EDGE edge_id=e_61588a65774b source=n_4845d7bcb411 edge_type=supports target=n_c9a2e1b02007
t=0060 ADD_EDGE edge_id=e_455f295c7a62 source=n_b6480ef79d83 edge_type=supports target=n_6f3129aa4552
t=0061 ADD_EDGE edge_id=e_2c26d170b569 source=n_0f10f5bb0886 edge_type=refutes target=n_d2449638f9e3
t=0062 ADD_EDGE edge_id=e_618ba9e1149b source=n_39aabd4fccc5 edge_type=refutes target=n_341a02196fc6
t=0063 ADD_EDGE edge_id=e_2daef7bff14a source=n_d27c4d8ea12e edge_type=refutes target=n_5bb015614da2
t=0064 ADD_EDGE edge_id=e_8d7f197adc87 source=n_6f3129aa4552 edge_type=supports target=n_5f96a05ab4ef
t=0065 ADD_EDGE edge_id=e_342b7fc5573c source=n_c22b5c013f13 edge_type=refutes target=n_7052b8a01ab2
t=0066 ADD_EDGE edge_id=e_d52078de8893 source=n_44d0eebd4cc8 edge_type=refutes target=n_94fd8052abf5
t=0067 ADD_EDGE edge_id=e_0c96b8cf10a6 source=n_c2beafb0efd7 edge_type=supports target=n_44d0eebd4cc8
t=0068 ADD_EDGE edge_id=e_815e2052d914 source=n_ef525d4e5eca edge_type=refutes target=n_d63629059bd5
t=0069 ADD_EDGE edge_id=e_278a0e657249 source=n_94fd8052abf5 edge_type=supports target=n_501f903162f2
t=0070 ADD_EDGE edge_id=e_216148bbac1d source=n_0f10f5bb0886 edge_type=refutes target=n_c22b5c013f13
t=0071 ADD_EDGE edge_id=e_55630e8a0a77 source=n_8d89b2f32cb4 edge_type=supports target=n_2afda8a988f5
t=0072 ADD_EDGE edge_id=e_74f181de455f source=n_d2449638f9e3 edge_type=supports target=n_8310e700f45d
t=0073 ADD_EDGE edge_id=e_f9a77e5f3509 source=n_2a4801736cbd edge_type=supports target=n_4cd2c3882439
t=0074 ADD_EDGE edge_id=e_308910153eed source=n_8bd802730220 edge_type=refutes target=n_d27c4d8ea12e
t=0075 ADD_EDGE edge_id=e_4190465c2665 source=n_501f903162f2 edge_type=refutes target=n_d963e977c929
t=0076 ADD_EDGE edge_id=e_e7b6e25e06cd source=n_03fb4d4a23ba edge_type=supports target=n_361d84556ab6
t=0077 ADD_EDGE edge_id=e_c25e7aabb4e3 source=n_361d84556ab6 edge_type=supports target=n_282340d97270
t=0078 ADD_EDGE edge_id=e_bf692ab10a45 source=n_f92a2ea7688c edge_type=refutes target=n_39aabd4fccc5
t=0079 ADD_EDGE edge_id=e_95c3be68cf1b source=n_361d84556ab6 edge_type=supports target=n_e9a98241913b
t=0080 ADD_EDGE edge_id=e_6d95bc09acbf source=n_ef525d4e5eca edge_type=refutes target=n_4845d7bcb411
t=0081 ADD_EDGE edge_id=e_25a3ea9b4c03 source=n_421cadd7bbd9 edge_type=supports target=n_0f10f5bb0886
t=0082 ADD_EDGE edge_id=e_4e0c4ede69c6 source=n_8bd802730220 edge_type=refutes target=n_f92a2ea7688c
t=0083 ADD_EDGE edge_id=e_d798ad034835 source=n_8bd802730220 edge_type=supports target=n_b5e610537b06
t=0084 ADD_EDGE edge_id=e_ebc3d04df61b source=n_32e929c8d584 edge_type=refutes target=n_7211e3ada75b
t=0085 ADD_EDGE edge_id=e_962d4e9a849e source=n_421cadd7bbd9 edge_type=refutes target=n_adac0aa590bb
t=0086 ADD_EDGE edge_id=e_f5f6d7579839 source=n_cfc526320f3a edge_type=supports target=n_32e929c8d584
t=0087 ADD_EDGE edge_id=e_7d8b2bd4e28c source=n_421cadd7bbd9 edge_type=refutes target=n_8d89b2f32cb4
t=0088 ADD_EDGE edge_id=e_7e80194c5781 source=n_39aabd4fccc5 edge_type=supports target=n_1e8b0e44c7db
t=0089 ADD_EDGE edge_id=e_778277ba3707 source=n_c9a2e1b02007 edge_type=refutes target=n_2a6334aeaf77
t=0090 ADD_EDGE edge_id=e_a60ac00b2d0c source=n_0f10f5bb0886 edge_type=supports target=n_1d94dbc27281
t=0091 QUERY source=n_c2beafb0efd7 target=n_c9a2e1b02007
[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_7a3694bf42fe node_type=claim
t=0001 CREATE_NODE id=n_d557ba20da9e node_type=claim
t=0002 CREATE_NODE id=n_d2971c28c6bf node_type=claim
t=0003 CREATE_NODE id=n_3d8d9df19058 node_type=claim
t=0004 CREATE_NODE id=n_8f9e82a436ce node_type=claim
t=0005 CREATE_NODE id=n_b5e1433cc854 node_type=claim
t=0006 CREATE_NODE id=n_a38d32f84041 node_type=claim
t=0007 CREATE_NODE id=n_d5d06d029ef4 node_type=claim
t=0008 CREATE_NODE id=n_6c07c8c75b10 node_type=claim
t=0009 CREATE_NODE id=n_b6e237ee718e node_type=claim
t=0010 CREATE_NODE id=n_e507e14514b8 node_type=claim
t=0011 CREATE_NODE id=n_d10998504a05 node_type=claim
t=0012 CREATE_NODE id=n_0b150dba6533 node_type=claim
t=0013 CREATE_NODE id=n_6bb20ff85559 node_type=claim
t=0014 CREATE_NODE id=n_abaaf4e334c1 node_type=claim
t=0015 CREATE_NODE id=n_2e5a7bcaec78 node_type=claim
t=0016 CREATE_NODE id=n_dc17f6562ea7 node_type=claim
t=0017 CREATE_NODE id=n_0bae5a89bd12 node_type=claim
t=0018 CREATE_NODE id=n_46daed98a700 node_type=claim
t=0019 CREATE_NODE id=n_5f6786500376 node_type=claim
t=0020 CREATE_NODE id=n_e60d6058437b node_type=claim
t=0021 CREATE_NODE id=n_8393a1e63e5a node_type=claim
t=0022 CREATE_NODE id=n_a9bed5dfd8a9 node_type=claim
t=0023 CREATE_NODE id=n_83bba4b8c9e5 node_type=claim
t=0024 CREATE_NODE id=n_3af4b960e040 node_type=claim
t=0025 CREATE_NODE id=n_2c8319e0d5c3 node_type=claim
t=0026 CREATE_NODE id=n_678d4ea23f01 node_type=claim
t=0027 CREATE_NODE id=n_67a5806bc8c9 node_type=claim
t=0028 CREATE_NODE id=n_96ab5abee248 node_type=claim
t=0029 CREATE_NODE id=n_422f514135d7 node_type=claim
t=0030 CREATE_NODE id=n_70dde3e8c792 node_type=claim
t=0031 CREATE_NODE id=n_2dba3308c134 node_type=claim
t=0032 CREATE_NODE id=n_cf36273b20ea node_type=claim
t=0033 CREATE_NODE id=n_21141c5967a9 node_type=claim
t=0034 CREATE_NODE id=n_84ee214fdc5f node_type=claim
t=0035 CREATE_NODE id=n_918a78bbd659 node_type=claim
t=0036 CREATE_NODE id=n_f5f2eb36a0ca node_type=claim
t=0037 CREATE_NODE id=n_baea5fa4914c node_type=claim
t=0038 CREATE_NODE id=n_c0c2295906ec node_type=claim
t=0039 CREATE_NODE id=n_db7a01bd071f node_type=claim
t=0040 CREATE_NODE id=n_1923be0b6637 node_type=claim
t=0041 CREATE_NODE id=n_bf54bd37d79a node_type=claim
t=0042 CREATE_NODE id=n_ebf036dcb97f node_type=claim
t=0043 CREATE_NODE id=n_c664ee4f3e85 node_type=claim
t=0044 CREATE_NODE id=n_12191a627c10 node_type=claim
t=0045 CREATE_NODE id=n_196d9a98c308 node_type=claim
t=0046 ASSERT_ROOT node=n_bf54bd37d79a value=TRUE
t=0047 ADD_EDGE edge_id=e_601c23281134 source=n_d10998504a05 edge_type=supports target=n_3af4b960e040
t=0048 ADD_EDGE edge_id=e_a310a270f091 source=n_8393a1e63e5a edge_type=refutes target=n_196d9a98c308
t=0049 ADD_EDGE edge_id=e_4f8e1e86605c source=n_1923be0b6637 edge_type=supports target=n_baea5fa4914c
t=0050 ADD_EDGE edge_id=e_e2abde025c10 source=n_12191a627c10 edge_type=supports target=n_3d8d9df19058
t=0051 ADD_EDGE edge_id=e_8d715c2cf1ca source=n_d10998504a05 edge_type=supports target=n_b5e1433cc854
t=0052 ADD_EDGE edge_id=e_76085cffb2d4 source=n_bf54bd37d79a edge_type=refutes target=n_918a78bbd659
t=0053 ADD_EDGE edge_id=e_fd6ba08da506 source=n_84ee214fdc5f edge_type=supports target=n_0b150dba6533
t=0054 ADD_EDGE edge_id=e_6b9f05353c0b source=n_cf36273b20ea edge_type=supports target=n_a38d32f84041
t=0055 ADD_EDGE edge_id=e_e25ec167a397 source=n_0bae5a89bd12 edge_type=refutes target=n_d10998504a05
t=0056 ADD_EDGE edge_id=e_34a3a916d591 source=n_0bae5a89bd12 edge_type=supports target=n_678d4ea23f01
t=0057 ADD_EDGE edge_id=e_4a7ca962ec2e source=n_d10998504a05 edge_type=refutes target=n_a9bed5dfd8a9
t=0058 ADD_EDGE edge_id=e_a98442261b0d source=n_dc17f6562ea7 edge_type=refutes target=n_cf36273b20ea
t=0059 ADD_EDGE edge_id=e_5b17e28fb41d source=n_e60d6058437b edge_type=refutes target=n_422f514135d7
t=0060 ADD_EDGE edge_id=e_abe5ddb3e647 source=n_7a3694bf42fe edge_type=refutes target=n_6c07c8c75b10
t=0061 ADD_EDGE edge_id=e_4172069c7746 source=n_abaaf4e334c1 edge_type=refutes target=n_21141c5967a9
t=0062 ADD_EDGE edge_id=e_59f230898c5f source=n_d2971c28c6bf edge_type=supports target=n_12191a627c10
t=0063 ADD_EDGE edge_id=e_1535d1e91d3d source=n_f5f2eb36a0ca edge_type=refutes target=n_2c8319e0d5c3
t=0064 ADD_EDGE edge_id=e_abab440e9469 source=n_6c07c8c75b10 edge_type=supports target=n_8f9e82a436ce
t=0065 ADD_EDGE edge_id=e_b1460f13f508 source=n_8f9e82a436ce edge_type=refutes target=n_ebf036dcb97f
t=0066 ADD_EDGE edge_id=e_f1ec93269ab8 source=n_c0c2295906ec edge_type=supports target=n_d5d06d029ef4
t=0067 ADD_EDGE edge_id=e_fd7a402522e1 source=n_f5f2eb36a0ca edge_type=supports target=n_83bba4b8c9e5
t=0068 ADD_EDGE edge_id=e_27d02eee5e8a source=n_918a78bbd659 edge_type=refutes target=n_7a3694bf42fe
t=0069 ADD_EDGE edge_id=e_2e0a5f678283 source=n_21141c5967a9 edge_type=supports target=n_e60d6058437b
t=0070 ADD_EDGE edge_id=e_b483ec5232b9 source=n_a9bed5dfd8a9 edge_type=supports target=n_6bb20ff85559
t=0071 ADD_EDGE edge_id=e_f825dc4644c5 source=n_67a5806bc8c9 edge_type=refutes target=n_8393a1e63e5a
t=0072 ADD_EDGE edge_id=e_21a34f8593a2 source=n_5f6786500376 edge_type=supports target=n_f5f2eb36a0ca
t=0073 ADD_EDGE edge_id=e_4a9bd3c788fc source=n_678d4ea23f01 edge_type=supports target=n_46daed98a700
t=0074 ADD_EDGE edge_id=e_e80116fdde00 source=n_1923be0b6637 edge_type=supports target=n_abaaf4e334c1
t=0075 ADD_EDGE edge_id=e_22e74dd8320b source=n_d5d06d029ef4 edge_type=refutes target=n_d557ba20da9e
t=0076 ADD_EDGE edge_id=e_bca06694b177 source=n_3af4b960e040 edge_type=refutes target=n_e507e14514b8
t=0077 ADD_EDGE edge_id=e_90c51abe1ef4 source=n_d10998504a05 edge_type=refutes target=n_b6e237ee718e
t=0078 ADD_EDGE edge_id=e_e2bc2a4085ac source=n_d10998504a05 edge_type=refutes target=n_c0c2295906ec
t=0079 ADD_EDGE edge_id=e_a09917e40af6 source=n_422f514135d7 edge_type=supports target=n_67a5806bc8c9
t=0080 ADD_EDGE edge_id=e_b2db6fca04b4 source=n_5f6786500376 edge_type=supports target=n_d2971c28c6bf
t=0081 ADD_EDGE edge_id=e_5b85f7d8c29d source=n_0b150dba6533 edge_type=refutes target=n_1923be0b6637
t=0082 ADD_EDGE edge_id=e_4816b59e98c2 source=n_8f9e82a436ce edge_type=supports target=n_84ee214fdc5f
t=0083 ADD_EDGE edge_id=e_7d81846c81d1 source=n_196d9a98c308 edge_type=refutes target=n_2e5a7bcaec78
t=0084 ADD_EDGE edge_id=e_69a1c30ea947 source=n_3af4b960e040 edge_type=refutes target=n_2dba3308c134
t=0085 ADD_EDGE edge_id=e_7b7b4b364650 source=n_5f6786500376 edge_type=supports target=n_96ab5abee248
t=0086 ADD_EDGE edge_id=e_95686c07eb7a source=n_d10998504a05 edge_type=supports target=n_c664ee4f3e85
t=0087 ADD_EDGE edge_id=e_5d5c6f0fe45c source=n_422f514135d7 edge_type=refutes target=n_db7a01bd071f
t=0088 ADD_EDGE edge_id=e_2d3703e647c7 source=n_5f6786500376 edge_type=supports target=n_0bae5a89bd12
t=0089 ADD_EDGE edge_id=e_67e56d58edc3 source=n_70dde3e8c792 edge_type=refutes target=n_dc17f6562ea7
t=0090 ADD_EDGE edge_id=e_b380d7d5bef2 source=n_196d9a98c308 edge_type=refutes target=n_70dde3e8c792
t=0091 QUERY source=n_bf54bd37d79a target=n_a38d32f84041
[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_4672e9988ed7 node_type=claim
t=0001 CREATE_NODE id=n_8adef17edcfb node_type=claim
t=0002 CREATE_NODE id=n_59a3280d3aa8 node_type=claim
t=0003 CREATE_NODE id=n_18b8dd64df88 node_type=claim
t=0004 CREATE_NODE id=n_b4d6c4537c32 node_type=claim
t=0005 CREATE_NODE id=n_c3c2f140f2df node_type=claim
t=0006 CREATE_NODE id=n_a25ea2b3afc9 node_type=claim
t=0007 CREATE_NODE id=n_8d706dd5981e node_type=claim
t=0008 CREATE_NODE id=n_884824e678dd node_type=claim
t=0009 CREATE_NODE id=n_9241444db9be node_type=claim
t=0010 CREATE_NODE id=n_cf200dfb0ae1 node_type=claim
t=0011 CREATE_NODE id=n_14f1fa214c68 node_type=claim
t=0012 CREATE_NODE id=n_ad111d28a1a4 node_type=claim
t=0013 CREATE_NODE id=n_9395ceb1e4a7 node_type=claim
t=0014 CREATE_NODE id=n_23a1b03e6048 node_type=claim
t=0015 CREATE_NODE id=n_b087088c8bb2 node_type=claim
t=0016 CREATE_NODE id=n_02d2e8d08969 node_type=claim
t=0017 CREATE_NODE id=n_dbb78d5dbfd4 node_type=claim
t=0018 CREATE_NODE id=n_fef8e28718b1 node_type=claim
t=0019 CREATE_NODE id=n_689809f82134 node_type=claim
t=0020 CREATE_NODE id=n_71f6b44032c0 node_type=claim
t=0021 CREATE_NODE id=n_33038038e2c9 node_type=claim
t=0022 CREATE_NODE id=n_b627d4f2f4e1 node_type=claim
t=0023 CREATE_NODE id=n_23ad62adf0ff node_type=claim
t=0024 CREATE_NODE id=n_34a2f2d53226 node_type=claim
t=0025 CREATE_NODE id=n_43eadae79235 node_type=claim
t=0026 CREATE_NODE id=n_45f2415fb37d node_type=claim
t=0027 CREATE_NODE id=n_8b773d3ad1bf node_type=claim
t=0028 CREATE_NODE id=n_0de6f45ad2ac node_type=claim
t=0029 CREATE_NODE id=n_b3ecbd91f373 node_type=claim
t=0030 CREATE_NODE id=n_16b461aa46a9 node_type=claim
t=0031 CREATE_NODE id=n_18779ca5bb65 node_type=claim
t=0032 CREATE_NODE id=n_e62037113664 node_type=claim
t=0033 CREATE_NODE id=n_74d88e1d6ff1 node_type=claim
t=0034 CREATE_NODE id=n_e2af0e35c9df node_type=claim
t=0035 CREATE_NODE id=n_35fa1c66a6a7 node_type=claim
t=0036 CREATE_NODE id=n_0d3bc2e15cb4 node_type=claim
t=0037 CREATE_NODE id=n_33ad2dca3250 node_type=claim
t=0038 CREATE_NODE id=n_fcfa794edb7c node_type=claim
t=0039 CREATE_NODE id=n_f6667e2f05b9 node_type=claim
t=0040 CREATE_NODE id=n_2c23e3b8166b node_type=claim
t=0041 CREATE_NODE id=n_eb961cdd4a2c node_type=claim
t=0042 CREATE_NODE id=n_e4b89e5a77c8 node_type=claim
t=0043 CREATE_NODE id=n_27530630c5e6 node_type=claim
t=0044 CREATE_NODE id=n_216657cffba3 node_type=claim
t=0045 CREATE_NODE id=n_02c18b193e05 node_type=claim
t=0046 ASSERT_ROOT node=n_e4b89e5a77c8 value=FALSE
t=0047 ADD_EDGE edge_id=e_3ab53f5d4bcb source=n_b627d4f2f4e1 edge_type=refutes target=n_e2af0e35c9df
t=0048 ADD_EDGE edge_id=e_f21d9e1bca1e source=n_fef8e28718b1 edge_type=supports target=n_14f1fa214c68
t=0049 ADD_EDGE edge_id=e_4c4be4af74b8 source=n_16b461aa46a9 edge_type=supports target=n_9395ceb1e4a7
t=0050 ADD_EDGE edge_id=e_92bd8a09e816 source=n_43eadae79235 edge_type=supports target=n_9241444db9be
t=0051 ADD_EDGE edge_id=e_136d325c88fc source=n_a25ea2b3afc9 edge_type=refutes target=n_27530630c5e6
t=0052 ADD_EDGE edge_id=e_762a891c9be1 source=n_b087088c8bb2 edge_type=refutes target=n_eb961cdd4a2c
t=0053 ADD_EDGE edge_id=e_5bdcb51e6b8d source=n_33038038e2c9 edge_type=supports target=n_8b773d3ad1bf
t=0054 ADD_EDGE edge_id=e_cb16cabe7422 source=n_b627d4f2f4e1 edge_type=refutes target=n_dbb78d5dbfd4
t=0055 ADD_EDGE edge_id=e_0dbe67a0b51a source=n_9395ceb1e4a7 edge_type=refutes target=n_18779ca5bb65
t=0056 ADD_EDGE edge_id=e_af66b418fe12 source=n_fef8e28718b1 edge_type=refutes target=n_ad111d28a1a4
t=0057 ADD_EDGE edge_id=e_aeaf0eea8fc5 source=n_b087088c8bb2 edge_type=refutes target=n_216657cffba3
t=0058 ADD_EDGE edge_id=e_7f2c8604f105 source=n_9241444db9be edge_type=supports target=n_f6667e2f05b9
t=0059 ADD_EDGE edge_id=e_66c3b59bedcb source=n_16b461aa46a9 edge_type=refutes target=n_b4d6c4537c32
t=0060 ADD_EDGE edge_id=e_bc179881d05d source=n_18b8dd64df88 edge_type=supports target=n_884824e678dd
t=0061 ADD_EDGE edge_id=e_08ebae9eef7f source=n_ad111d28a1a4 edge_type=supports target=n_8adef17edcfb
t=0062 ADD_EDGE edge_id=e_7f116dd392f9 source=n_23ad62adf0ff edge_type=supports target=n_43eadae79235
t=0063 ADD_EDGE edge_id=e_a1ca066710ec source=n_b627d4f2f4e1 edge_type=supports target=n_b087088c8bb2
t=0064 ADD_EDGE edge_id=e_f2ecfd287035 source=n_b627d4f2f4e1 edge_type=refutes target=n_02d2e8d08969
t=0065 ADD_EDGE edge_id=e_9b11c6b876b2 source=n_b627d4f2f4e1 edge_type=supports target=n_0de6f45ad2ac
t=0066 ADD_EDGE edge_id=e_590837c1fe25 source=n_59a3280d3aa8 edge_type=refutes target=n_fcfa794edb7c
t=0067 ADD_EDGE edge_id=e_646ff97544b9 source=n_e2af0e35c9df edge_type=refutes target=n_74d88e1d6ff1
t=0068 ADD_EDGE edge_id=e_c9c4483645f5 source=n_216657cffba3 edge_type=refutes target=n_23a1b03e6048
t=0069 ADD_EDGE edge_id=e_85fc075f3c37 source=n_f6667e2f05b9 edge_type=supports target=n_18b8dd64df88
t=0070 ADD_EDGE edge_id=e_53d4c0fdaaab source=n_0de6f45ad2ac edge_type=supports target=n_e62037113664
t=0071 ADD_EDGE edge_id=e_0c45fac1b46c source=n_e4b89e5a77c8 edge_type=supports target=n_33ad2dca3250
t=0072 ADD_EDGE edge_id=e_128c883e9601 source=n_e2af0e35c9df edge_type=refutes target=n_c3c2f140f2df
t=0073 ADD_EDGE edge_id=e_53b0c3c4d9ac source=n_b087088c8bb2 edge_type=refutes target=n_0d3bc2e15cb4
t=0074 ADD_EDGE edge_id=e_8b5c6757aa83 source=n_b627d4f2f4e1 edge_type=refutes target=n_a25ea2b3afc9
t=0075 ADD_EDGE edge_id=e_edde4c2aebef source=n_fcfa794edb7c edge_type=supports target=n_23ad62adf0ff
t=0076 ADD_EDGE edge_id=e_40d523ffea09 source=n_18779ca5bb65 edge_type=supports target=n_fef8e28718b1
t=0077 ADD_EDGE edge_id=e_463481938dff source=n_0d3bc2e15cb4 edge_type=refutes target=n_689809f82134
t=0078 ADD_EDGE edge_id=e_229af34864ba source=n_dbb78d5dbfd4 edge_type=supports target=n_33038038e2c9
t=0079 ADD_EDGE edge_id=e_7efdc59a0336 source=n_23a1b03e6048 edge_type=supports target=n_b3ecbd91f373
t=0080 ADD_EDGE edge_id=e_bd944d719f56 source=n_71f6b44032c0 edge_type=supports target=n_59a3280d3aa8
t=0081 ADD_EDGE edge_id=e_17eeff86308a source=n_33ad2dca3250 edge_type=refutes target=n_cf200dfb0ae1
t=0082 ADD_EDGE edge_id=e_d49059e684d9 source=n_4672e9988ed7 edge_type=refutes target=n_2c23e3b8166b
t=0083 ADD_EDGE edge_id=e_0cc8217b0fce source=n_884824e678dd edge_type=supports target=n_34a2f2d53226
t=0084 ADD_EDGE edge_id=e_bff13dbb48b6 source=n_b627d4f2f4e1 edge_type=refutes target=n_35fa1c66a6a7
t=0085 ADD_EDGE edge_id=e_0d8214dfd6ec source=n_c3c2f140f2df edge_type=refutes target=n_4672e9988ed7
t=0086 ADD_EDGE edge_id=e_918823cc1b9d source=n_cf200dfb0ae1 edge_type=supports target=n_16b461aa46a9
t=0087 ADD_EDGE edge_id=e_e9529db1eeb3 source=n_34a2f2d53226 edge_type=supports target=n_8d706dd5981e
t=0088 ADD_EDGE edge_id=e_10c37585644a source=n_8adef17edcfb edge_type=supports target=n_71f6b44032c0
t=0089 ADD_EDGE edge_id=e_d37fdef30b6d source=n_34a2f2d53226 edge_type=refutes target=n_02c18b193e05
t=0090 ADD_EDGE edge_id=e_33258fc6905d source=n_4672e9988ed7 edge_type=refutes target=n_45f2415fb37d
t=0091 QUERY source=n_e4b89e5a77c8 target=n_34a2f2d53226
[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_2371ea13b4b6 node_type=claim
t=0001 CREATE_NODE id=n_e6b615cafafa node_type=claim
t=0002 CREATE_NODE id=n_0322ceda8619 node_type=claim
t=0003 CREATE_NODE id=n_a7e05881f217 node_type=claim
t=0004 CREATE_NODE id=n_906e3ba3b348 node_type=claim
t=0005 CREATE_NODE id=n_a01bfea05289 node_type=claim
t=0006 CREATE_NODE id=n_5a96a2af4b8c node_type=claim
t=0007 CREATE_NODE id=n_623a9c9d4e37 node_type=claim
t=0008 CREATE_NODE id=n_9cc6b8fdbb5b node_type=claim
t=0009 CREATE_NODE id=n_12421db18dbd node_type=claim
t=0010 CREATE_NODE id=n_444f36f1d8b3 node_type=claim
t=0011 CREATE_NODE id=n_645fd32c2293 node_type=claim
t=0012 CREATE_NODE id=n_c91a8b7ff059 node_type=claim
t=0013 CREATE_NODE id=n_e9463f00a619 node_type=claim
t=0014 CREATE_NODE id=n_77172b2c7396 node_type=claim
t=0015 CREATE_NODE id=n_04c2c36953d1 node_type=claim
t=0016 CREATE_NODE id=n_6afd944df5d7 node_type=claim
t=0017 CREATE_NODE id=n_aa9d48062c61 node_type=claim
t=0018 CREATE_NODE id=n_ce3bbe21200d node_type=claim
t=0019 CREATE_NODE id=n_0f9b665ba0b5 node_type=claim
t=0020 CREATE_NODE id=n_dcab32585d4c node_type=claim
t=0021 CREATE_NODE id=n_f65b3b3f83bc node_type=claim
t=0022 CREATE_NODE id=n_c4e3ee66521d node_type=claim
t=0023 CREATE_NODE id=n_0b5f4a92aa0e node_type=claim
t=0024 CREATE_NODE id=n_af1c8023ac71 node_type=claim
t=0025 CREATE_NODE id=n_901637ac5880 node_type=claim
t=0026 CREATE_NODE id=n_fccfff8a5bac node_type=claim
t=0027 CREATE_NODE id=n_417bc25fa93b node_type=claim
t=0028 CREATE_NODE id=n_d9e950e2be8e node_type=claim
t=0029 CREATE_NODE id=n_8ee554cdeb24 node_type=claim
t=0030 CREATE_NODE id=n_ee8fbb8369dc node_type=claim
t=0031 CREATE_NODE id=n_5a6795615a89 node_type=claim
t=0032 CREATE_NODE id=n_cd14948c8a95 node_type=claim
t=0033 CREATE_NODE id=n_67a3abe27bd2 node_type=claim
t=0034 CREATE_NODE id=n_7fee9f8b88d9 node_type=claim
t=0035 CREATE_NODE id=n_7ee9fcd0d9cb node_type=claim
t=0036 CREATE_NODE id=n_88769c961eeb node_type=claim
t=0037 CREATE_NODE id=n_a3f7b1a2e25c node_type=claim
t=0038 CREATE_NODE id=n_ea205101b5b4 node_type=claim
t=0039 CREATE_NODE id=n_04af52638b23 node_type=claim
t=0040 CREATE_NODE id=n_e67663389362 node_type=claim
t=0041 CREATE_NODE id=n_837bf5fa6fef node_type=claim
t=0042 CREATE_NODE id=n_9f826d13d319 node_type=claim
t=0043 CREATE_NODE id=n_8c2048086166 node_type=claim
t=0044 CREATE_NODE id=n_a3613b99d993 node_type=claim
t=0045 CREATE_NODE id=n_8639ecee4cc4 node_type=claim
t=0046 ASSERT_ROOT node=n_2371ea13b4b6 value=TRUE
t=0047 ADD_EDGE edge_id=e_fa8e25898501 source=n_67a3abe27bd2 edge_type=refutes target=n_8c2048086166
t=0048 ADD_EDGE edge_id=e_c60bc547fdc8 source=n_c91a8b7ff059 edge_type=supports target=n_af1c8023ac71
t=0049 ADD_EDGE edge_id=e_9bf43372dfee source=n_e9463f00a619 edge_type=refutes target=n_fccfff8a5bac
t=0050 ADD_EDGE edge_id=e_ff74bdc62d47 source=n_8ee554cdeb24 edge_type=refutes target=n_ce3bbe21200d
t=0051 ADD_EDGE edge_id=e_9b570bbfa72b source=n_c4e3ee66521d edge_type=refutes target=n_12421db18dbd
t=0052 ADD_EDGE edge_id=e_d6dd8a9b8ae5 source=n_8c2048086166 edge_type=refutes target=n_5a6795615a89
t=0053 ADD_EDGE edge_id=e_d2aaae8568f1 source=n_e9463f00a619 edge_type=supports target=n_77172b2c7396
t=0054 ADD_EDGE edge_id=e_afb23f60a6a2 source=n_12421db18dbd edge_type=supports target=n_aa9d48062c61
t=0055 ADD_EDGE edge_id=e_4fffcd8ccc63 source=n_9f826d13d319 edge_type=supports target=n_d9e950e2be8e
t=0056 ADD_EDGE edge_id=e_1718681555ca source=n_0f9b665ba0b5 edge_type=supports target=n_e9463f00a619
t=0057 ADD_EDGE edge_id=e_c4e8742bd060 source=n_9cc6b8fdbb5b edge_type=supports target=n_88769c961eeb
t=0058 ADD_EDGE edge_id=e_81d40b4f1d09 source=n_7fee9f8b88d9 edge_type=refutes target=n_5a96a2af4b8c
t=0059 ADD_EDGE edge_id=e_173c67b41a0a source=n_8c2048086166 edge_type=supports target=n_a3f7b1a2e25c
t=0060 ADD_EDGE edge_id=e_c50dc90a718f source=n_906e3ba3b348 edge_type=refutes target=n_0b5f4a92aa0e
t=0061 ADD_EDGE edge_id=e_83024d35179e source=n_a7e05881f217 edge_type=supports target=n_8639ecee4cc4
t=0062 ADD_EDGE edge_id=e_f547bdabb4f9 source=n_a01bfea05289 edge_type=refutes target=n_906e3ba3b348
t=0063 ADD_EDGE edge_id=e_ed7b04b79518 source=n_7fee9f8b88d9 edge_type=supports target=n_04af52638b23
t=0064 ADD_EDGE edge_id=e_19a68ba73560 source=n_04af52638b23 edge_type=refutes target=n_c91a8b7ff059
t=0065 ADD_EDGE edge_id=e_ed75024a9c4a source=n_e9463f00a619 edge_type=supports target=n_dcab32585d4c
t=0066 ADD_EDGE edge_id=e_7b92812f4825 source=n_77172b2c7396 edge_type=refutes target=n_cd14948c8a95
t=0067 ADD_EDGE edge_id=e_599fd5d94744 source=n_04c2c36953d1 edge_type=refutes target=n_c4e3ee66521d
t=0068 ADD_EDGE edge_id=e_da07f07ae9e3 source=n_623a9c9d4e37 edge_type=supports target=n_67a3abe27bd2
t=0069 ADD_EDGE edge_id=e_c3a17ed58727 source=n_dcab32585d4c edge_type=refutes target=n_7ee9fcd0d9cb
t=0070 ADD_EDGE edge_id=e_a0847d6743fe source=n_6afd944df5d7 edge_type=supports target=n_7fee9f8b88d9
t=0071 ADD_EDGE edge_id=e_5f51a7746b49 source=n_dcab32585d4c edge_type=refutes target=n_417bc25fa93b
t=0072 ADD_EDGE edge_id=e_732da35ab1e3 source=n_f65b3b3f83bc edge_type=refutes target=n_a3613b99d993
t=0073 ADD_EDGE edge_id=e_d24a4f1ef1e7 source=n_f65b3b3f83bc edge_type=supports target=n_623a9c9d4e37
t=0074 ADD_EDGE edge_id=e_eb0dfc3be7de source=n_04c2c36953d1 edge_type=refutes target=n_837bf5fa6fef
t=0075 ADD_EDGE edge_id=e_f001d123a8d6 source=n_444f36f1d8b3 edge_type=supports target=n_ee8fbb8369dc
t=0076 ADD_EDGE edge_id=e_51e566f3b0db source=n_2371ea13b4b6 edge_type=refutes target=n_6afd944df5d7
t=0077 ADD_EDGE edge_id=e_c1f6841c3c2e source=n_88769c961eeb edge_type=supports target=n_8ee554cdeb24
t=0078 ADD_EDGE edge_id=e_d090e0cd38d8 source=n_af1c8023ac71 edge_type=supports target=n_e6b615cafafa
t=0079 ADD_EDGE edge_id=e_d1e5a9b15802 source=n_5a6795615a89 edge_type=supports target=n_9f826d13d319
t=0080 ADD_EDGE edge_id=e_c980437a0dbd source=n_c4e3ee66521d edge_type=supports target=n_901637ac5880
t=0081 ADD_EDGE edge_id=e_a4ea54501e13 source=n_a01bfea05289 edge_type=refutes target=n_04c2c36953d1
t=0082 ADD_EDGE edge_id=e_6f3f1612f3cc source=n_d9e950e2be8e edge_type=refutes target=n_9cc6b8fdbb5b
t=0083 ADD_EDGE edge_id=e_f3e506274482 source=n_ce3bbe21200d edge_type=supports target=n_444f36f1d8b3
t=0084 ADD_EDGE edge_id=e_ca6eb8fabd66 source=n_fccfff8a5bac edge_type=refutes target=n_a7e05881f217
t=0085 ADD_EDGE edge_id=e_5d43997f1ff0 source=n_c4e3ee66521d edge_type=supports target=n_645fd32c2293
t=0086 ADD_EDGE edge_id=e_9b802cba12fc source=n_af1c8023ac71 edge_type=refutes target=n_f65b3b3f83bc
t=0087 ADD_EDGE edge_id=e_ee90b50bedaa source=n_0f9b665ba0b5 edge_type=refutes target=n_e67663389362
t=0088 ADD_EDGE edge_id=e_b3232046affd source=n_e9463f00a619 edge_type=refutes target=n_ea205101b5b4
t=0089 ADD_EDGE edge_id=e_4778a0296aba source=n_645fd32c2293 edge_type=supports target=n_0322ceda8619
t=0090 ADD_EDGE edge_id=e_0bbaff924f47 source=n_dcab32585d4c edge_type=supports target=n_a01bfea05289
t=0091 QUERY source=n_2371ea13b4b6 target=n_ee8fbb8369dc
[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_8087d07ff8c7 node_type=claim
t=0001 CREATE_NODE id=n_a00f432e1491 node_type=claim
t=0002 CREATE_NODE id=n_832df3775732 node_type=claim
t=0003 CREATE_NODE id=n_ee1de3ef772b node_type=claim
t=0004 CREATE_NODE id=n_1c37b0551509 node_type=claim
t=0005 CREATE_NODE id=n_3250d49388c5 node_type=claim
t=0006 CREATE_NODE id=n_7b25b8417bdd node_type=claim
t=0007 CREATE_NODE id=n_4a1763ff1a0f node_type=claim
t=0008 CREATE_NODE id=n_6abdc5ccbb21 node_type=claim
t=0009 CREATE_NODE id=n_ddbbc7ee301b node_type=claim
t=0010 CREATE_NODE id=n_1044e2b6fe2e node_type=claim
t=0011 CREATE_NODE id=n_4921eca79469 node_type=claim
t=0012 CREATE_NODE id=n_39f4c222ff05 node_type=claim
t=0013 CREATE_NODE id=n_d56c0af8b962 node_type=claim
t=0014 CREATE_NODE id=n_59d8bf8c64de node_type=claim
t=0015 CREATE_NODE id=n_17c751168ede node_type=claim
t=0016 CREATE_NODE id=n_285f39172619 node_type=claim
t=0017 CREATE_NODE id=n_2df227835682 node_type=claim
t=0018 CREATE_NODE id=n_a073b347f2f9 node_type=claim
t=0019 CREATE_NODE id=n_6862b6fb2511 node_type=claim
t=0020 CREATE_NODE id=n_8e26c3d66448 node_type=claim
t=0021 CREATE_NODE id=n_233206f95fa3 node_type=claim
t=0022 CREATE_NODE id=n_3f316b54a885 node_type=claim
t=0023 CREATE_NODE id=n_94314adce930 node_type=claim
t=0024 CREATE_NODE id=n_0ec64b35af5f node_type=claim
t=0025 CREATE_NODE id=n_7a2947c00ab5 node_type=claim
t=0026 CREATE_NODE id=n_5248f65779fd node_type=claim
t=0027 CREATE_NODE id=n_275acbce8724 node_type=claim
t=0028 CREATE_NODE id=n_db4d5e58b5fd node_type=claim
t=0029 CREATE_NODE id=n_d23042b42a37 node_type=claim
t=0030 CREATE_NODE id=n_641aeca6f373 node_type=claim
t=0031 CREATE_NODE id=n_df9bebca2270 node_type=claim
t=0032 CREATE_NODE id=n_6a1587f853e9 node_type=claim
t=0033 CREATE_NODE id=n_4b196fdb0217 node_type=claim
t=0034 CREATE_NODE id=n_f8b8ef416805 node_type=claim
t=0035 CREATE_NODE id=n_113067de888a node_type=claim
t=0036 CREATE_NODE id=n_df886dc9db22 node_type=claim
t=0037 CREATE_NODE id=n_33d08a2c9c8f node_type=claim
t=0038 CREATE_NODE id=n_90014abd2e2c node_type=claim
t=0039 CREATE_NODE id=n_ffe64c273228 node_type=claim
t=0040 CREATE_NODE id=n_3d0d76b67fb0 node_type=claim
t=0041 CREATE_NODE id=n_1151b393ce99 node_type=claim
t=0042 CREATE_NODE id=n_02e9d707c98e node_type=claim
t=0043 CREATE_NODE id=n_ef72cf3b0067 node_type=claim
t=0044 CREATE_NODE id=n_ff4db793ee0b node_type=claim
t=0045 CREATE_NODE id=n_374aea746f95 node_type=claim
t=0046 ASSERT_ROOT node=n_94314adce930 value=FALSE
t=0047 ADD_EDGE edge_id=e_ef56a3a8b3d3 source=n_d56c0af8b962 edge_type=refutes target=n_db4d5e58b5fd
t=0048 ADD_EDGE edge_id=e_ab7d7c7ae906 source=n_94314adce930 edge_type=refutes target=n_3f316b54a885
t=0049 ADD_EDGE edge_id=e_d0f580452c9e source=n_a00f432e1491 edge_type=refutes target=n_ff4db793ee0b
t=0050 ADD_EDGE edge_id=e_febe79a20f1e source=n_d56c0af8b962 edge_type=supports target=n_ffe64c273228
t=0051 ADD_EDGE edge_id=e_1ddd860416f0 source=n_4b196fdb0217 edge_type=supports target=n_8e26c3d66448
t=0052 ADD_EDGE edge_id=e_8305d4d7846b source=n_2df227835682 edge_type=supports target=n_d23042b42a37
t=0053 ADD_EDGE edge_id=e_291f2e44af1c source=n_275acbce8724 edge_type=supports target=n_1044e2b6fe2e
t=0054 ADD_EDGE edge_id=e_8628b6d29bcd source=n_374aea746f95 edge_type=refutes target=n_641aeca6f373
t=0055 ADD_EDGE edge_id=e_8ad43718f064 source=n_f8b8ef416805 edge_type=supports target=n_3d0d76b67fb0
t=0056 ADD_EDGE edge_id=e_cd6ae304106d source=n_ddbbc7ee301b edge_type=supports target=n_4a1763ff1a0f
t=0057 ADD_EDGE edge_id=e_2952218af2fa source=n_ee1de3ef772b edge_type=supports target=n_39f4c222ff05
t=0058 ADD_EDGE edge_id=e_8e86322e7520 source=n_ff4db793ee0b edge_type=supports target=n_f8b8ef416805
t=0059 ADD_EDGE edge_id=e_02cc82b6aa5b source=n_02e9d707c98e edge_type=refutes target=n_374aea746f95
t=0060 ADD_EDGE edge_id=e_d82c6348d5ce source=n_1151b393ce99 edge_type=refutes target=n_33d08a2c9c8f
t=0061 ADD_EDGE edge_id=e_37542f814c0a source=n_4a1763ff1a0f edge_type=refutes target=n_df9bebca2270
t=0062 ADD_EDGE edge_id=e_2c2ef40cd1af source=n_ddbbc7ee301b edge_type=supports target=n_4921eca79469
t=0063 ADD_EDGE edge_id=e_8ccb49f50d1c source=n_2df227835682 edge_type=refutes target=n_6862b6fb2511
t=0064 ADD_EDGE edge_id=e_c7d28268cac4 source=n_ffe64c273228 edge_type=supports target=n_0ec64b35af5f
t=0065 ADD_EDGE edge_id=e_f5b75ef12441 source=n_275acbce8724 edge_type=refutes target=n_a073b347f2f9
t=0066 ADD_EDGE edge_id=e_22c87770a5cd source=n_ffe64c273228 edge_type=refutes target=n_1c37b0551509
t=0067 ADD_EDGE edge_id=e_f510a3b0ffba source=n_4921eca79469 edge_type=refutes target=n_113067de888a
t=0068 ADD_EDGE edge_id=e_c7e40d0cca71 source=n_3250d49388c5 edge_type=supports target=n_59d8bf8c64de
t=0069 ADD_EDGE edge_id=e_7eebb3bdcf25 source=n_6862b6fb2511 edge_type=supports target=n_8087d07ff8c7
t=0070 ADD_EDGE edge_id=e_771b1624a888 source=n_59d8bf8c64de edge_type=refutes target=n_6abdc5ccbb21
t=0071 ADD_EDGE edge_id=e_1a7da4ea70bf source=n_832df3775732 edge_type=supports target=n_a00f432e1491
t=0072 ADD_EDGE edge_id=e_5dd99335a14d source=n_ddbbc7ee301b edge_type=refutes target=n_d56c0af8b962
t=0073 ADD_EDGE edge_id=e_9d76dfa545b2 source=n_ffe64c273228 edge_type=refutes target=n_ef72cf3b0067
t=0074 ADD_EDGE edge_id=e_e94c27fb043e source=n_db4d5e58b5fd edge_type=refutes target=n_7b25b8417bdd
t=0075 ADD_EDGE edge_id=e_50af549718dd source=n_1c37b0551509 edge_type=supports target=n_3250d49388c5
t=0076 ADD_EDGE edge_id=e_57798edd0e76 source=n_f8b8ef416805 edge_type=supports target=n_275acbce8724
t=0077 ADD_EDGE edge_id=e_641317c47cd4 source=n_33d08a2c9c8f edge_type=supports target=n_832df3775732
t=0078 ADD_EDGE edge_id=e_997e64ae93e0 source=n_ddbbc7ee301b edge_type=supports target=n_233206f95fa3
t=0079 ADD_EDGE edge_id=e_3ca9c2784b41 source=n_17c751168ede edge_type=refutes target=n_4b196fdb0217
t=0080 ADD_EDGE edge_id=e_d5eb50da988d source=n_ef72cf3b0067 edge_type=refutes target=n_df886dc9db22
t=0081 ADD_EDGE edge_id=e_be0d8b8c7d8c source=n_275acbce8724 edge_type=refutes target=n_6a1587f853e9
t=0082 ADD_EDGE edge_id=e_9b50a67a4bed source=n_d56c0af8b962 edge_type=supports target=n_7a2947c00ab5
t=0083 ADD_EDGE edge_id=e_43c32598cdd0 source=n_4921eca79469 edge_type=refutes target=n_5248f65779fd
t=0084 ADD_EDGE edge_id=e_df70647848da source=n_233206f95fa3 edge_type=supports target=n_90014abd2e2c
t=0085 ADD_EDGE edge_id=e_959c4693e13a source=n_3f316b54a885 edge_type=refutes target=n_02e9d707c98e
t=0086 ADD_EDGE edge_id=e_8e6181dde5c5 source=n_285f39172619 edge_type=refutes target=n_ee1de3ef772b
t=0087 ADD_EDGE edge_id=e_b6c1380b1ebf source=n_8087d07ff8c7 edge_type=refutes target=n_1151b393ce99
t=0088 ADD_EDGE edge_id=e_de2fe21a82c0 source=n_4a1763ff1a0f edge_type=supports target=n_17c751168ede
t=0089 ADD_EDGE edge_id=e_ef0409067bf3 source=n_a073b347f2f9 edge_type=supports target=n_285f39172619
t=0090 ADD_EDGE edge_id=e_454f96307759 source=n_641aeca6f373 edge_type=supports target=n_2df227835682
t=0091 QUERY source=n_94314adce930 target=n_39f4c222ff05
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.