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

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


[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_63e89e760e81 node_type=claim
t=0001 CREATE_NODE id=n_5aaf6652175a node_type=claim
t=0002 CREATE_NODE id=n_3ca578955251 node_type=claim
t=0003 CREATE_NODE id=n_c1fe41c338e1 node_type=claim
t=0004 CREATE_NODE id=n_a3586bdb8d37 node_type=claim
t=0005 CREATE_NODE id=n_7c6fbd04fb41 node_type=claim
t=0006 CREATE_NODE id=n_0caa8fdf4619 node_type=claim
t=0007 CREATE_NODE id=n_8e8fccd3e760 node_type=claim
t=0008 CREATE_NODE id=n_34b72552aea6 node_type=claim
t=0009 CREATE_NODE id=n_74e8c21765c3 node_type=claim
t=0010 CREATE_NODE id=n_3dc02a489113 node_type=claim
t=0011 CREATE_NODE id=n_681680b5f7b9 node_type=claim
t=0012 CREATE_NODE id=n_c38991b7eb0c node_type=claim
t=0013 CREATE_NODE id=n_b95705a5ebf8 node_type=claim
t=0014 CREATE_NODE id=n_462ee1f0dfc1 node_type=claim
t=0015 CREATE_NODE id=n_7290f630ea39 node_type=claim
t=0016 CREATE_NODE id=n_488b61b5a973 node_type=claim
t=0017 CREATE_NODE id=n_28185504ffee node_type=claim
t=0018 CREATE_NODE id=n_f82f9b844859 node_type=claim
t=0019 CREATE_NODE id=n_020a9fed96ed node_type=claim
t=0020 CREATE_NODE id=n_7613ffd1906a node_type=claim
t=0021 CREATE_NODE id=n_f4363a5a483e node_type=claim
t=0022 CREATE_NODE id=n_bfc98dda22e6 node_type=claim
t=0023 CREATE_NODE id=n_b6185442c3af node_type=claim
t=0024 CREATE_NODE id=n_c756d2369ff6 node_type=claim
t=0025 CREATE_NODE id=n_ca77b65562f1 node_type=claim
t=0026 CREATE_NODE id=n_4161b9abff10 node_type=claim
t=0027 CREATE_NODE id=n_b943c04ae01d node_type=claim
t=0028 CREATE_NODE id=n_c04601f86998 node_type=claim
t=0029 CREATE_NODE id=n_04b91b5f72b5 node_type=claim
t=0030 CREATE_NODE id=n_60cd35e800fb node_type=claim
t=0031 CREATE_NODE id=n_abc4f6341dc6 node_type=claim
t=0032 CREATE_NODE id=n_4f328ccb60f9 node_type=claim
t=0033 CREATE_NODE id=n_e106da5d51be node_type=claim
t=0034 CREATE_NODE id=n_6b051be22975 node_type=claim
t=0035 CREATE_NODE id=n_87578dc8635f node_type=claim
t=0036 CREATE_NODE id=n_f7b44612248c node_type=claim
t=0037 CREATE_NODE id=n_bb6b4aaf3cfb node_type=claim
t=0038 CREATE_NODE id=n_b6348f41c5ba node_type=claim
t=0039 CREATE_NODE id=n_8c58827a20e8 node_type=claim
t=0040 CREATE_NODE id=n_6de687c8cb8c node_type=claim
t=0041 CREATE_NODE id=n_ef3a6074ae1f node_type=claim
t=0042 CREATE_NODE id=n_54edd5651fc1 node_type=claim
t=0043 CREATE_NODE id=n_fbd3902ab67b node_type=claim
t=0044 CREATE_NODE id=n_9bfbf2b48f0b node_type=claim
t=0045 CREATE_NODE id=n_9481375b20b2 node_type=claim
t=0046 CREATE_NODE id=n_14dea5f071ed node_type=claim
t=0047 CREATE_NODE id=n_8cb8acfc2f88 node_type=claim
t=0048 CREATE_NODE id=n_a4544ab13f52 node_type=claim
t=0049 CREATE_NODE id=n_e3968c263aa9 node_type=claim
t=0050 ASSERT_ROOT node=n_9481375b20b2 value=TRUE
t=0051 ADD_EDGE edge_id=e_e53fcb9b4baa source=n_ca77b65562f1 edge_type=refutes target=n_c38991b7eb0c
t=0052 ADD_EDGE edge_id=e_ccd701641d41 source=n_60cd35e800fb edge_type=supports target=n_14dea5f071ed
t=0053 ADD_EDGE edge_id=e_2e562a3c7440 source=n_020a9fed96ed edge_type=refutes target=n_34b72552aea6
t=0054 ADD_EDGE edge_id=e_4292a2e52d6e source=n_63e89e760e81 edge_type=supports target=n_a4544ab13f52
t=0055 ADD_EDGE edge_id=e_4a1bf2648c24 source=n_6de687c8cb8c edge_type=supports target=n_87578dc8635f
t=0056 ADD_EDGE edge_id=e_55c87f01b5d6 source=n_8c58827a20e8 edge_type=supports target=n_7c6fbd04fb41
t=0057 ADD_EDGE edge_id=e_203f67a223ae source=n_abc4f6341dc6 edge_type=supports target=n_4161b9abff10
t=0058 ADD_EDGE edge_id=e_86fb471e8aee source=n_ef3a6074ae1f edge_type=refutes target=n_54edd5651fc1
t=0059 ADD_EDGE edge_id=e_ea799b85a131 source=n_34b72552aea6 edge_type=refutes target=n_a3586bdb8d37
t=0060 ADD_EDGE edge_id=e_602def29ed39 source=n_b6348f41c5ba edge_type=supports target=n_5aaf6652175a
t=0061 ADD_EDGE edge_id=e_77c6bd9d1508 source=n_34b72552aea6 edge_type=supports target=n_abc4f6341dc6
t=0062 ADD_EDGE edge_id=e_2bd370c076a6 source=n_4161b9abff10 edge_type=refutes target=n_f4363a5a483e
t=0063 ADD_EDGE edge_id=e_3de9550006c1 source=n_14dea5f071ed edge_type=refutes target=n_63e89e760e81
t=0064 ADD_EDGE edge_id=e_9396127fffaf source=n_f4363a5a483e edge_type=supports target=n_681680b5f7b9
t=0065 ADD_EDGE edge_id=e_756c4419f5e4 source=n_28185504ffee edge_type=refutes target=n_c04601f86998
t=0066 ADD_EDGE edge_id=e_9b4a84f97c23 source=n_c04601f86998 edge_type=refutes target=n_8e8fccd3e760
t=0067 ADD_EDGE edge_id=e_c59acc3938f8 source=n_5aaf6652175a edge_type=refutes target=n_e106da5d51be
t=0068 ADD_EDGE edge_id=e_c85640addb85 source=n_5aaf6652175a edge_type=refutes target=n_fbd3902ab67b
t=0069 ADD_EDGE edge_id=e_a9bd64f3c480 source=n_5aaf6652175a edge_type=refutes target=n_6b051be22975
t=0070 ADD_EDGE edge_id=e_d92dc3b19050 source=n_fbd3902ab67b edge_type=supports target=n_7613ffd1906a
t=0071 ADD_EDGE edge_id=e_8644eb8f7bbc source=n_b6348f41c5ba edge_type=refutes target=n_8c58827a20e8
t=0072 ADD_EDGE edge_id=e_063422ddc5a5 source=n_04b91b5f72b5 edge_type=supports target=n_f7b44612248c
t=0073 ADD_EDGE edge_id=e_66f3a37a68ce source=n_ca77b65562f1 edge_type=supports target=n_04b91b5f72b5
t=0074 ADD_EDGE edge_id=e_d15776d98e0e source=n_c38991b7eb0c edge_type=supports target=n_c1fe41c338e1
t=0075 ADD_EDGE edge_id=e_36c4b06d559a source=n_14dea5f071ed edge_type=supports target=n_7290f630ea39
t=0076 ADD_EDGE edge_id=e_d513908cbfe6 source=n_b6185442c3af edge_type=supports target=n_b95705a5ebf8
t=0077 ADD_EDGE edge_id=e_7396799c15f8 source=n_c38991b7eb0c edge_type=refutes target=n_b943c04ae01d
t=0078 ADD_EDGE edge_id=e_9b4313e272bc source=n_bb6b4aaf3cfb edge_type=supports target=n_ca77b65562f1
t=0079 ADD_EDGE edge_id=e_ac0a04f738b2 source=n_b6348f41c5ba edge_type=refutes target=n_0caa8fdf4619
t=0080 ADD_EDGE edge_id=e_9a8c4a98b24a source=n_e3968c263aa9 edge_type=refutes target=n_3ca578955251
t=0081 ADD_EDGE edge_id=e_0243c4f46c2a source=n_a4544ab13f52 edge_type=supports target=n_28185504ffee
t=0082 ADD_EDGE edge_id=e_31aaa3c6770e source=n_e106da5d51be edge_type=refutes target=n_8cb8acfc2f88
t=0083 ADD_EDGE edge_id=e_8a8982299d5f source=n_7613ffd1906a edge_type=supports target=n_3dc02a489113
t=0084 ADD_EDGE edge_id=e_a7483e3004d8 source=n_4f328ccb60f9 edge_type=supports target=n_c756d2369ff6
t=0085 ADD_EDGE edge_id=e_8c8438d87404 source=n_9481375b20b2 edge_type=refutes target=n_b6185442c3af
t=0086 ADD_EDGE edge_id=e_1c3178cb1675 source=n_3ca578955251 edge_type=supports target=n_bfc98dda22e6
t=0087 ADD_EDGE edge_id=e_67a75d52897c source=n_b6348f41c5ba edge_type=refutes target=n_4f328ccb60f9
t=0088 ADD_EDGE edge_id=e_b6a252f3e8fe source=n_e106da5d51be edge_type=supports target=n_bb6b4aaf3cfb
t=0089 ADD_EDGE edge_id=e_ccedd554ff91 source=n_7c6fbd04fb41 edge_type=supports target=n_9bfbf2b48f0b
t=0090 ADD_EDGE edge_id=e_71bf10ad5093 source=n_54edd5651fc1 edge_type=refutes target=n_020a9fed96ed
t=0091 ADD_EDGE edge_id=e_348c238f8b1f source=n_04b91b5f72b5 edge_type=supports target=n_74e8c21765c3
t=0092 ADD_EDGE edge_id=e_f92146f110bf source=n_f82f9b844859 edge_type=refutes target=n_60cd35e800fb
t=0093 ADD_EDGE edge_id=e_eea92b26567b source=n_bfc98dda22e6 edge_type=refutes target=n_f82f9b844859
t=0094 ADD_EDGE edge_id=e_fea5e6e06f4c source=n_681680b5f7b9 edge_type=supports target=n_e3968c263aa9
t=0095 ADD_EDGE edge_id=e_1dc880b0fde8 source=n_a4544ab13f52 edge_type=refutes target=n_462ee1f0dfc1
t=0096 ADD_EDGE edge_id=e_16f12474ce07 source=n_8c58827a20e8 edge_type=refutes target=n_488b61b5a973
t=0097 ADD_EDGE edge_id=e_f940ef094de0 source=n_04b91b5f72b5 edge_type=supports target=n_6de687c8cb8c
t=0098 ADD_EDGE edge_id=e_85b0a80c8eae source=n_b95705a5ebf8 edge_type=refutes target=n_ef3a6074ae1f
t=0099 QUERY source=n_9481375b20b2 target=n_c04601f86998
[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_5106a99a6887 node_type=claim
t=0001 CREATE_NODE id=n_8d48c250503a node_type=claim
t=0002 CREATE_NODE id=n_e35249a679a3 node_type=claim
t=0003 CREATE_NODE id=n_d170e1c0cda5 node_type=claim
t=0004 CREATE_NODE id=n_f2336b8b30ed node_type=claim
t=0005 CREATE_NODE id=n_1b1d5869eb28 node_type=claim
t=0006 CREATE_NODE id=n_c8708c9ae141 node_type=claim
t=0007 CREATE_NODE id=n_245a265033c6 node_type=claim
t=0008 CREATE_NODE id=n_d5a22ed7e1be node_type=claim
t=0009 CREATE_NODE id=n_ba402972a2d6 node_type=claim
t=0010 CREATE_NODE id=n_2d1680578c11 node_type=claim
t=0011 CREATE_NODE id=n_af18cc4b3477 node_type=claim
t=0012 CREATE_NODE id=n_8d77d0251c21 node_type=claim
t=0013 CREATE_NODE id=n_204f84bf49ae node_type=claim
t=0014 CREATE_NODE id=n_f3e88909f643 node_type=claim
t=0015 CREATE_NODE id=n_5f684d7fbe3d node_type=claim
t=0016 CREATE_NODE id=n_cb62c01391b9 node_type=claim
t=0017 CREATE_NODE id=n_ef6731f6b0de node_type=claim
t=0018 CREATE_NODE id=n_07f6f01a623a node_type=claim
t=0019 CREATE_NODE id=n_7a19e63fe9cc node_type=claim
t=0020 CREATE_NODE id=n_d1f16869ea01 node_type=claim
t=0021 CREATE_NODE id=n_ce524311017d node_type=claim
t=0022 CREATE_NODE id=n_f8ef6cfec542 node_type=claim
t=0023 CREATE_NODE id=n_ce248fe14574 node_type=claim
t=0024 CREATE_NODE id=n_c35e2e23bda6 node_type=claim
t=0025 CREATE_NODE id=n_4412edb3b29c node_type=claim
t=0026 CREATE_NODE id=n_3813ddacc428 node_type=claim
t=0027 CREATE_NODE id=n_94e07d8e81ca node_type=claim
t=0028 CREATE_NODE id=n_21960f7915a9 node_type=claim
t=0029 CREATE_NODE id=n_36e7b004284e node_type=claim
t=0030 CREATE_NODE id=n_00ba906d3723 node_type=claim
t=0031 CREATE_NODE id=n_bfe030155d13 node_type=claim
t=0032 CREATE_NODE id=n_df066be2b061 node_type=claim
t=0033 CREATE_NODE id=n_7a4365ffedeb node_type=claim
t=0034 CREATE_NODE id=n_57365c782548 node_type=claim
t=0035 CREATE_NODE id=n_110b1551d874 node_type=claim
t=0036 CREATE_NODE id=n_d95ee59f63ab node_type=claim
t=0037 CREATE_NODE id=n_1886752e3d3c node_type=claim
t=0038 CREATE_NODE id=n_3d3813aa6141 node_type=claim
t=0039 CREATE_NODE id=n_7a7221ad8293 node_type=claim
t=0040 CREATE_NODE id=n_b0c28930ed35 node_type=claim
t=0041 CREATE_NODE id=n_1e81f98186b1 node_type=claim
t=0042 CREATE_NODE id=n_688c1e88f65d node_type=claim
t=0043 CREATE_NODE id=n_a8b896fca4e7 node_type=claim
t=0044 CREATE_NODE id=n_5d37e81a16b2 node_type=claim
t=0045 CREATE_NODE id=n_01f4bbc87bb7 node_type=claim
t=0046 CREATE_NODE id=n_1d8e74bcd4b5 node_type=claim
t=0047 CREATE_NODE id=n_c102c781748c node_type=claim
t=0048 CREATE_NODE id=n_40262c043d0d node_type=claim
t=0049 CREATE_NODE id=n_bec5c6a816ea node_type=claim
t=0050 CREATE_NODE id=n_71cca5621094 node_type=claim
t=0051 CREATE_NODE id=n_3a4928813885 node_type=claim
t=0052 ASSERT_ROOT node=n_5d37e81a16b2 value=TRUE
t=0053 ADD_EDGE edge_id=e_7fd291bd68fc source=n_7a7221ad8293 edge_type=supports target=n_df066be2b061
t=0054 ADD_EDGE edge_id=e_b2ad7e847cf1 source=n_d170e1c0cda5 edge_type=refutes target=n_ce248fe14574
t=0055 ADD_EDGE edge_id=e_dce82199ffd0 source=n_c102c781748c edge_type=refutes target=n_2d1680578c11
t=0056 ADD_EDGE edge_id=e_75fd532daed0 source=n_1d8e74bcd4b5 edge_type=refutes target=n_1e81f98186b1
t=0057 ADD_EDGE edge_id=e_ce2a195b680c source=n_cb62c01391b9 edge_type=refutes target=n_c8708c9ae141
t=0058 ADD_EDGE edge_id=e_ff8ba5449dc2 source=n_4412edb3b29c edge_type=supports target=n_b0c28930ed35
t=0059 ADD_EDGE edge_id=e_d693bd45e7b7 source=n_7a19e63fe9cc edge_type=refutes target=n_1b1d5869eb28
t=0060 ADD_EDGE edge_id=e_baf1e4f0eac7 source=n_df066be2b061 edge_type=refutes target=n_4412edb3b29c
t=0061 ADD_EDGE edge_id=e_5bf679194414 source=n_bfe030155d13 edge_type=supports target=n_f8ef6cfec542
t=0062 ADD_EDGE edge_id=e_1d8385ad3ed0 source=n_5d37e81a16b2 edge_type=refutes target=n_57365c782548
t=0063 ADD_EDGE edge_id=e_fd48f1499d80 source=n_07f6f01a623a edge_type=supports target=n_7a19e63fe9cc
t=0064 ADD_EDGE edge_id=e_2418f4da22ec source=n_5106a99a6887 edge_type=supports target=n_c102c781748c
t=0065 ADD_EDGE edge_id=e_c62c3d8e3356 source=n_3813ddacc428 edge_type=refutes target=n_bfe030155d13
t=0066 ADD_EDGE edge_id=e_60e2b52d967d source=n_7a4365ffedeb edge_type=supports target=n_00ba906d3723
t=0067 ADD_EDGE edge_id=e_3eb22c557586 source=n_94e07d8e81ca edge_type=supports target=n_8d48c250503a
t=0068 ADD_EDGE edge_id=e_015b23917774 source=n_d1f16869ea01 edge_type=refutes target=n_ce524311017d
t=0069 ADD_EDGE edge_id=e_afc2ed88663c source=n_01f4bbc87bb7 edge_type=supports target=n_cb62c01391b9
t=0070 ADD_EDGE edge_id=e_d4742cdc5762 source=n_ba402972a2d6 edge_type=supports target=n_8d77d0251c21
t=0071 ADD_EDGE edge_id=e_4036f604228f source=n_2d1680578c11 edge_type=supports target=n_1d8e74bcd4b5
t=0072 ADD_EDGE edge_id=e_815e13b44187 source=n_7a4365ffedeb edge_type=supports target=n_21960f7915a9
t=0073 ADD_EDGE edge_id=e_9f8307eaf27a source=n_2d1680578c11 edge_type=supports target=n_40262c043d0d
t=0074 ADD_EDGE edge_id=e_831c87428210 source=n_7a19e63fe9cc edge_type=refutes target=n_71cca5621094
t=0075 ADD_EDGE edge_id=e_aab524371379 source=n_36e7b004284e edge_type=supports target=n_bec5c6a816ea
t=0076 ADD_EDGE edge_id=e_15b4cfc70887 source=n_5d37e81a16b2 edge_type=supports target=n_110b1551d874
t=0077 ADD_EDGE edge_id=e_258ad0facdda source=n_00ba906d3723 edge_type=refutes target=n_94e07d8e81ca
t=0078 ADD_EDGE edge_id=e_b6239a24f12f source=n_7a4365ffedeb edge_type=refutes target=n_f3e88909f643
t=0079 ADD_EDGE edge_id=e_a0d67b06122c source=n_f3e88909f643 edge_type=refutes target=n_c35e2e23bda6
t=0080 ADD_EDGE edge_id=e_36e61ae24931 source=n_bec5c6a816ea edge_type=supports target=n_f2336b8b30ed
t=0081 ADD_EDGE edge_id=e_5ff3ebe60bc2 source=n_ba402972a2d6 edge_type=refutes target=n_1886752e3d3c
t=0082 ADD_EDGE edge_id=e_e5f3597c71cf source=n_07f6f01a623a edge_type=supports target=n_688c1e88f65d
t=0083 ADD_EDGE edge_id=e_02efe7a92e6c source=n_7a4365ffedeb edge_type=refutes target=n_07f6f01a623a
t=0084 ADD_EDGE edge_id=e_67ab5bae40ca source=n_2d1680578c11 edge_type=supports target=n_ef6731f6b0de
t=0085 ADD_EDGE edge_id=e_e4989c14eac9 source=n_d170e1c0cda5 edge_type=supports target=n_e35249a679a3
t=0086 ADD_EDGE edge_id=e_070233e0ed0c source=n_7a7221ad8293 edge_type=refutes target=n_245a265033c6
t=0087 ADD_EDGE edge_id=e_10ae1926cc24 source=n_f2336b8b30ed edge_type=supports target=n_01f4bbc87bb7
t=0088 ADD_EDGE edge_id=e_ce329d915af4 source=n_2d1680578c11 edge_type=supports target=n_d170e1c0cda5
t=0089 ADD_EDGE edge_id=e_67982dbd0d83 source=n_c102c781748c edge_type=refutes target=n_d1f16869ea01
t=0090 ADD_EDGE edge_id=e_20b0480694b0 source=n_00ba906d3723 edge_type=refutes target=n_5106a99a6887
t=0091 ADD_EDGE edge_id=e_8138a1c8d472 source=n_204f84bf49ae edge_type=refutes target=n_ba402972a2d6
t=0092 ADD_EDGE edge_id=e_3bad818a4f4a source=n_b0c28930ed35 edge_type=refutes target=n_5f684d7fbe3d
t=0093 ADD_EDGE edge_id=e_31bb4f332c44 source=n_f8ef6cfec542 edge_type=refutes target=n_36e7b004284e
t=0094 ADD_EDGE edge_id=e_013b4988168c source=n_d5a22ed7e1be edge_type=refutes target=n_d95ee59f63ab
t=0095 ADD_EDGE edge_id=e_a7b169f94233 source=n_c8708c9ae141 edge_type=supports target=n_204f84bf49ae
t=0096 ADD_EDGE edge_id=e_3a7b6087f66a source=n_57365c782548 edge_type=supports target=n_3d3813aa6141
t=0097 ADD_EDGE edge_id=e_090e108909e0 source=n_c102c781748c edge_type=refutes target=n_d5a22ed7e1be
t=0098 ADD_EDGE edge_id=e_5c5a4b413bf6 source=n_af18cc4b3477 edge_type=refutes target=n_a8b896fca4e7
t=0099 ADD_EDGE edge_id=e_52294027cbaf source=n_36e7b004284e edge_type=supports target=n_3a4928813885
t=0100 ADD_EDGE edge_id=e_29033252f151 source=n_5f684d7fbe3d edge_type=supports target=n_af18cc4b3477
t=0101 ADD_EDGE edge_id=e_c99c83e58528 source=n_a8b896fca4e7 edge_type=supports target=n_3813ddacc428
t=0102 ADD_EDGE edge_id=e_af5a4b05c778 source=n_3d3813aa6141 edge_type=refutes target=n_7a7221ad8293
t=0103 QUERY source=n_5d37e81a16b2 target=n_1886752e3d3c
[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_cf8f36517fe0 node_type=claim
t=0001 CREATE_NODE id=n_73e633cd553d node_type=claim
t=0002 CREATE_NODE id=n_496d518dd6d6 node_type=claim
t=0003 CREATE_NODE id=n_9a9b2193507f node_type=claim
t=0004 CREATE_NODE id=n_3927d72b6dcf node_type=claim
t=0005 CREATE_NODE id=n_1ec988315517 node_type=claim
t=0006 CREATE_NODE id=n_81de1bfd1ec3 node_type=claim
t=0007 CREATE_NODE id=n_a4f84dfe8530 node_type=claim
t=0008 CREATE_NODE id=n_b60bd189f35a node_type=claim
t=0009 CREATE_NODE id=n_540263cab5ec node_type=claim
t=0010 CREATE_NODE id=n_bfdc95daeca5 node_type=claim
t=0011 CREATE_NODE id=n_ace2f5689b74 node_type=claim
t=0012 CREATE_NODE id=n_65319a11a6b2 node_type=claim
t=0013 CREATE_NODE id=n_cfa56df84c49 node_type=claim
t=0014 CREATE_NODE id=n_10bcfc3384d0 node_type=claim
t=0015 CREATE_NODE id=n_51a02f9ae52c node_type=claim
t=0016 CREATE_NODE id=n_7b81741b104f node_type=claim
t=0017 CREATE_NODE id=n_d001f646c5da node_type=claim
t=0018 CREATE_NODE id=n_9ee43baa7fcd node_type=claim
t=0019 CREATE_NODE id=n_b2aa9b0cdfa8 node_type=claim
t=0020 CREATE_NODE id=n_a01b75047772 node_type=claim
t=0021 CREATE_NODE id=n_5ca8ebc2f3b8 node_type=claim
t=0022 CREATE_NODE id=n_eac2cd51a300 node_type=claim
t=0023 CREATE_NODE id=n_ce591a050389 node_type=claim
t=0024 CREATE_NODE id=n_43c6f28c930b node_type=claim
t=0025 CREATE_NODE id=n_b5e6c0b8e95b node_type=claim
t=0026 CREATE_NODE id=n_349c8fa55aa2 node_type=claim
t=0027 CREATE_NODE id=n_3aa9a7491113 node_type=claim
t=0028 CREATE_NODE id=n_d3ae6ba3e676 node_type=claim
t=0029 CREATE_NODE id=n_a6a98b5c2f7f node_type=claim
t=0030 CREATE_NODE id=n_a90bc3e059f4 node_type=claim
t=0031 CREATE_NODE id=n_0a1c66570c41 node_type=claim
t=0032 CREATE_NODE id=n_7a4483faf09f node_type=claim
t=0033 CREATE_NODE id=n_7d3040ba441f node_type=claim
t=0034 CREATE_NODE id=n_7d48a58ffd1b node_type=claim
t=0035 CREATE_NODE id=n_68015564fc24 node_type=claim
t=0036 CREATE_NODE id=n_c2dda8c03b6c node_type=claim
t=0037 CREATE_NODE id=n_77b24e4d8557 node_type=claim
t=0038 CREATE_NODE id=n_dabf9d9fb4fe node_type=claim
t=0039 CREATE_NODE id=n_304a0fc6aac6 node_type=claim
t=0040 CREATE_NODE id=n_aa1941e9e275 node_type=claim
t=0041 CREATE_NODE id=n_dd76e1151811 node_type=claim
t=0042 CREATE_NODE id=n_e3226a31f360 node_type=claim
t=0043 CREATE_NODE id=n_56ef6d234aad node_type=claim
t=0044 CREATE_NODE id=n_9accb4ca3cfe node_type=claim
t=0045 CREATE_NODE id=n_dfef7fcb77bf node_type=claim
t=0046 CREATE_NODE id=n_7cbb6a1e51a6 node_type=claim
t=0047 CREATE_NODE id=n_0b0092d40e44 node_type=claim
t=0048 CREATE_NODE id=n_8084105c7352 node_type=claim
t=0049 CREATE_NODE id=n_d146193cfe5b node_type=claim
t=0050 CREATE_NODE id=n_fb2eb0518e23 node_type=claim
t=0051 CREATE_NODE id=n_85bf96c5f5d5 node_type=claim
t=0052 ASSERT_ROOT node=n_9ee43baa7fcd value=TRUE
t=0053 ADD_EDGE edge_id=e_edbc4e78af48 source=n_9ee43baa7fcd edge_type=refutes target=n_349c8fa55aa2
t=0054 ADD_EDGE edge_id=e_cc22557b3474 source=n_7b81741b104f edge_type=refutes target=n_3927d72b6dcf
t=0055 ADD_EDGE edge_id=e_edce56401c27 source=n_0a1c66570c41 edge_type=refutes target=n_c2dda8c03b6c
t=0056 ADD_EDGE edge_id=e_559a568dcdbe source=n_43c6f28c930b edge_type=supports target=n_9a9b2193507f
t=0057 ADD_EDGE edge_id=e_6b3db38cd758 source=n_a4f84dfe8530 edge_type=supports target=n_dabf9d9fb4fe
t=0058 ADD_EDGE edge_id=e_29855cfec919 source=n_a01b75047772 edge_type=supports target=n_fb2eb0518e23
t=0059 ADD_EDGE edge_id=e_320a5d237694 source=n_0b0092d40e44 edge_type=supports target=n_d001f646c5da
t=0060 ADD_EDGE edge_id=e_b6ae3c8ac8b1 source=n_43c6f28c930b edge_type=supports target=n_73e633cd553d
t=0061 ADD_EDGE edge_id=e_a584bdf7a2fd source=n_5ca8ebc2f3b8 edge_type=refutes target=n_0b0092d40e44
t=0062 ADD_EDGE edge_id=e_0228762b0c25 source=n_8084105c7352 edge_type=refutes target=n_e3226a31f360
t=0063 ADD_EDGE edge_id=e_a5d1a0087ea3 source=n_dabf9d9fb4fe edge_type=supports target=n_7d48a58ffd1b
t=0064 ADD_EDGE edge_id=e_5dcea31530bb source=n_a90bc3e059f4 edge_type=supports target=n_7b81741b104f
t=0065 ADD_EDGE edge_id=e_a1a52537067a source=n_cf8f36517fe0 edge_type=supports target=n_dfef7fcb77bf
t=0066 ADD_EDGE edge_id=e_b15b0b43bdd7 source=n_b5e6c0b8e95b edge_type=supports target=n_10bcfc3384d0
t=0067 ADD_EDGE edge_id=e_ec4b250652d8 source=n_9a9b2193507f edge_type=refutes target=n_cfa56df84c49
t=0068 ADD_EDGE edge_id=e_79dd38bcc643 source=n_dfef7fcb77bf edge_type=refutes target=n_d146193cfe5b
t=0069 ADD_EDGE edge_id=e_bf69f67a539b source=n_d146193cfe5b edge_type=refutes target=n_1ec988315517
t=0070 ADD_EDGE edge_id=e_3286f002a853 source=n_cf8f36517fe0 edge_type=refutes target=n_540263cab5ec
t=0071 ADD_EDGE edge_id=e_5b9135e37826 source=n_fb2eb0518e23 edge_type=supports target=n_3aa9a7491113
t=0072 ADD_EDGE edge_id=e_a217d0968727 source=n_85bf96c5f5d5 edge_type=supports target=n_7d3040ba441f
t=0073 ADD_EDGE edge_id=e_099a21b99f97 source=n_304a0fc6aac6 edge_type=refutes target=n_a4f84dfe8530
t=0074 ADD_EDGE edge_id=e_c2da82f5002d source=n_0a1c66570c41 edge_type=supports target=n_bfdc95daeca5
t=0075 ADD_EDGE edge_id=e_2fe1d9c29518 source=n_65319a11a6b2 edge_type=refutes target=n_aa1941e9e275
t=0076 ADD_EDGE edge_id=e_74682a86ba39 source=n_c2dda8c03b6c edge_type=refutes target=n_9accb4ca3cfe
t=0077 ADD_EDGE edge_id=e_f89435316992 source=n_e3226a31f360 edge_type=supports target=n_496d518dd6d6
t=0078 ADD_EDGE edge_id=e_496457f8fb95 source=n_73e633cd553d edge_type=supports target=n_b2aa9b0cdfa8
t=0079 ADD_EDGE edge_id=e_15216405bbe0 source=n_43c6f28c930b edge_type=supports target=n_56ef6d234aad
t=0080 ADD_EDGE edge_id=e_8fa05863880d source=n_85bf96c5f5d5 edge_type=refutes target=n_77b24e4d8557
t=0081 ADD_EDGE edge_id=e_1fc76646cdb0 source=n_81de1bfd1ec3 edge_type=supports target=n_65319a11a6b2
t=0082 ADD_EDGE edge_id=e_6f08f9bca445 source=n_56ef6d234aad edge_type=refutes target=n_7a4483faf09f
t=0083 ADD_EDGE edge_id=e_aea079c5a97c source=n_7b81741b104f edge_type=supports target=n_5ca8ebc2f3b8
t=0084 ADD_EDGE edge_id=e_3fcb30951f3d source=n_8084105c7352 edge_type=supports target=n_ace2f5689b74
t=0085 ADD_EDGE edge_id=e_efaba3ead3a1 source=n_68015564fc24 edge_type=refutes target=n_a90bc3e059f4
t=0086 ADD_EDGE edge_id=e_3159756c9117 source=n_7d48a58ffd1b edge_type=refutes target=n_a01b75047772
t=0087 ADD_EDGE edge_id=e_a3079c3239b4 source=n_56ef6d234aad edge_type=supports target=n_a6a98b5c2f7f
t=0088 ADD_EDGE edge_id=e_1cedfeb1db74 source=n_d3ae6ba3e676 edge_type=refutes target=n_8084105c7352
t=0089 ADD_EDGE edge_id=e_149e189a42fa source=n_51a02f9ae52c edge_type=refutes target=n_0a1c66570c41
t=0090 ADD_EDGE edge_id=e_6a0cb76dc38b source=n_7cbb6a1e51a6 edge_type=refutes target=n_68015564fc24
t=0091 ADD_EDGE edge_id=e_0ef9bff50d9c source=n_56ef6d234aad edge_type=refutes target=n_b60bd189f35a
t=0092 ADD_EDGE edge_id=e_e6b9b2e1398d source=n_cf8f36517fe0 edge_type=supports target=n_dd76e1151811
t=0093 ADD_EDGE edge_id=e_81134db5d52d source=n_ce591a050389 edge_type=supports target=n_81de1bfd1ec3
t=0094 ADD_EDGE edge_id=e_44eb2611768d source=n_b60bd189f35a edge_type=refutes target=n_eac2cd51a300
t=0095 ADD_EDGE edge_id=e_c2dbd819690a source=n_e3226a31f360 edge_type=supports target=n_ce591a050389
t=0096 ADD_EDGE edge_id=e_f16385b07e5b source=n_43c6f28c930b edge_type=refutes target=n_b5e6c0b8e95b
t=0097 ADD_EDGE edge_id=e_d1d144a4c39a source=n_56ef6d234aad edge_type=supports target=n_cf8f36517fe0
t=0098 ADD_EDGE edge_id=e_0a117379148d source=n_56ef6d234aad edge_type=refutes target=n_51a02f9ae52c
t=0099 ADD_EDGE edge_id=e_f704a90a7857 source=n_349c8fa55aa2 edge_type=supports target=n_7cbb6a1e51a6
t=0100 ADD_EDGE edge_id=e_883d65f9a541 source=n_0b0092d40e44 edge_type=refutes target=n_304a0fc6aac6
t=0101 ADD_EDGE edge_id=e_b1a2b8e87ac7 source=n_43c6f28c930b edge_type=supports target=n_85bf96c5f5d5
t=0102 ADD_EDGE edge_id=e_435f225719ae source=n_3aa9a7491113 edge_type=refutes target=n_d3ae6ba3e676
t=0103 QUERY source=n_9ee43baa7fcd target=n_aa1941e9e275
[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_0d304c61b376 node_type=claim
t=0001 CREATE_NODE id=n_b9a42f09e11f node_type=claim
t=0002 CREATE_NODE id=n_bcfe4c5a9561 node_type=claim
t=0003 CREATE_NODE id=n_df88381d9436 node_type=claim
t=0004 CREATE_NODE id=n_9f04b8f65f5e node_type=claim
t=0005 CREATE_NODE id=n_2397a42ed47f node_type=claim
t=0006 CREATE_NODE id=n_5744a82b745f node_type=claim
t=0007 CREATE_NODE id=n_6880d43ff08f node_type=claim
t=0008 CREATE_NODE id=n_5f7db80c8e5b node_type=claim
t=0009 CREATE_NODE id=n_648bc783e8f6 node_type=claim
t=0010 CREATE_NODE id=n_08ca8fda8259 node_type=claim
t=0011 CREATE_NODE id=n_b86b5b746568 node_type=claim
t=0012 CREATE_NODE id=n_9713480fa1c5 node_type=claim
t=0013 CREATE_NODE id=n_e3fbe6d3db0d node_type=claim
t=0014 CREATE_NODE id=n_4ff73831da62 node_type=claim
t=0015 CREATE_NODE id=n_8b94ec0f48e8 node_type=claim
t=0016 CREATE_NODE id=n_d3e7e2389991 node_type=claim
t=0017 CREATE_NODE id=n_c7c9f3067735 node_type=claim
t=0018 CREATE_NODE id=n_b543831b3d67 node_type=claim
t=0019 CREATE_NODE id=n_3a1902dd7f95 node_type=claim
t=0020 CREATE_NODE id=n_132b4788c945 node_type=claim
t=0021 CREATE_NODE id=n_d43113fb467b node_type=claim
t=0022 CREATE_NODE id=n_5435a207c2cf node_type=claim
t=0023 CREATE_NODE id=n_91c68b276d60 node_type=claim
t=0024 CREATE_NODE id=n_c155a199c665 node_type=claim
t=0025 CREATE_NODE id=n_e807dd39c9b0 node_type=claim
t=0026 CREATE_NODE id=n_e371e3cc1f02 node_type=claim
t=0027 CREATE_NODE id=n_0466ce727474 node_type=claim
t=0028 CREATE_NODE id=n_7c605fdd668f node_type=claim
t=0029 CREATE_NODE id=n_268ac2637f8a node_type=claim
t=0030 CREATE_NODE id=n_8e5d94fc2545 node_type=claim
t=0031 CREATE_NODE id=n_b7a4e90329f6 node_type=claim
t=0032 CREATE_NODE id=n_0f45ce18d607 node_type=claim
t=0033 CREATE_NODE id=n_da53582840ba node_type=claim
t=0034 CREATE_NODE id=n_4367c7510219 node_type=claim
t=0035 CREATE_NODE id=n_15d888d89bf4 node_type=claim
t=0036 CREATE_NODE id=n_a8b20442c4e3 node_type=claim
t=0037 CREATE_NODE id=n_5859e96a4fe5 node_type=claim
t=0038 CREATE_NODE id=n_03878720d457 node_type=claim
t=0039 CREATE_NODE id=n_073159895669 node_type=claim
t=0040 CREATE_NODE id=n_f1c035677573 node_type=claim
t=0041 CREATE_NODE id=n_564196a3081d node_type=claim
t=0042 CREATE_NODE id=n_30779bc160e4 node_type=claim
t=0043 CREATE_NODE id=n_d9d1e86b9b25 node_type=claim
t=0044 CREATE_NODE id=n_ace7b1c8190c node_type=claim
t=0045 CREATE_NODE id=n_474c0d6df840 node_type=claim
t=0046 CREATE_NODE id=n_825dbed23aee node_type=claim
t=0047 CREATE_NODE id=n_b179fe3d2adb node_type=claim
t=0048 CREATE_NODE id=n_a2fe742f1be2 node_type=claim
t=0049 CREATE_NODE id=n_dc1dc1a3505c node_type=claim
t=0050 CREATE_NODE id=n_a4d0541de121 node_type=claim
t=0051 CREATE_NODE id=n_0c78b8b464b8 node_type=claim
t=0052 CREATE_NODE id=n_e308c7156c27 node_type=claim
t=0053 CREATE_NODE id=n_7d1e2dc048ea node_type=claim
t=0054 ASSERT_ROOT node=n_474c0d6df840 value=TRUE
t=0055 ADD_EDGE edge_id=e_3951be43a6b5 source=n_b86b5b746568 edge_type=supports target=n_e308c7156c27
t=0056 ADD_EDGE edge_id=e_b3f9b20fa066 source=n_6880d43ff08f edge_type=supports target=n_0f45ce18d607
t=0057 ADD_EDGE edge_id=e_e99ff29440ca source=n_0c78b8b464b8 edge_type=refutes target=n_08ca8fda8259
t=0058 ADD_EDGE edge_id=e_ccb84b4237a8 source=n_bcfe4c5a9561 edge_type=refutes target=n_e371e3cc1f02
t=0059 ADD_EDGE edge_id=e_adb76210cde2 source=n_df88381d9436 edge_type=refutes target=n_b543831b3d67
t=0060 ADD_EDGE edge_id=e_f8421aeb73e4 source=n_d9d1e86b9b25 edge_type=refutes target=n_8b94ec0f48e8
t=0061 ADD_EDGE edge_id=e_25829ea72ce6 source=n_6880d43ff08f edge_type=refutes target=n_9713480fa1c5
t=0062 ADD_EDGE edge_id=e_d6ea674d08db source=n_c7c9f3067735 edge_type=refutes target=n_b9a42f09e11f
t=0063 ADD_EDGE edge_id=e_bc9bb7f17a6c source=n_0d304c61b376 edge_type=refutes target=n_b179fe3d2adb
t=0064 ADD_EDGE edge_id=e_6e4f0ec2e074 source=n_9f04b8f65f5e edge_type=supports target=n_4367c7510219
t=0065 ADD_EDGE edge_id=e_8c540224b1c5 source=n_ace7b1c8190c edge_type=refutes target=n_b86b5b746568
t=0066 ADD_EDGE edge_id=e_94a5ffd01729 source=n_a8b20442c4e3 edge_type=supports target=n_5f7db80c8e5b
t=0067 ADD_EDGE edge_id=e_7ce97b35d33a source=n_0466ce727474 edge_type=supports target=n_b7a4e90329f6
t=0068 ADD_EDGE edge_id=e_0e4eecbbbb70 source=n_3a1902dd7f95 edge_type=refutes target=n_d9d1e86b9b25
t=0069 ADD_EDGE edge_id=e_430125740c35 source=n_a2fe742f1be2 edge_type=supports target=n_0466ce727474
t=0070 ADD_EDGE edge_id=e_608141cd931a source=n_d3e7e2389991 edge_type=refutes target=n_15d888d89bf4
t=0071 ADD_EDGE edge_id=e_1b1f4ecb61d5 source=n_8e5d94fc2545 edge_type=refutes target=n_91c68b276d60
t=0072 ADD_EDGE edge_id=e_1a8475dadd1a source=n_e371e3cc1f02 edge_type=supports target=n_825dbed23aee
t=0073 ADD_EDGE edge_id=e_984e772909a2 source=n_f1c035677573 edge_type=refutes target=n_dc1dc1a3505c
t=0074 ADD_EDGE edge_id=e_1477a46124eb source=n_5435a207c2cf edge_type=supports target=n_268ac2637f8a
t=0075 ADD_EDGE edge_id=e_b814bf58e7b8 source=n_e807dd39c9b0 edge_type=refutes target=n_8e5d94fc2545
t=0076 ADD_EDGE edge_id=e_b35302602667 source=n_e371e3cc1f02 edge_type=refutes target=n_a4d0541de121
t=0077 ADD_EDGE edge_id=e_ed78724b8540 source=n_4ff73831da62 edge_type=supports target=n_bcfe4c5a9561
t=0078 ADD_EDGE edge_id=e_ec4fd3a9f7b9 source=n_7c605fdd668f edge_type=refutes target=n_5744a82b745f
t=0079 ADD_EDGE edge_id=e_43600d58ca41 source=n_9f04b8f65f5e edge_type=supports target=n_7d1e2dc048ea
t=0080 ADD_EDGE edge_id=e_87a8be6600b9 source=n_c7c9f3067735 edge_type=supports target=n_9f04b8f65f5e
t=0081 ADD_EDGE edge_id=e_c8b3d534273e source=n_564196a3081d edge_type=supports target=n_c155a199c665
t=0082 ADD_EDGE edge_id=e_9f8198c82b6e source=n_0c78b8b464b8 edge_type=supports target=n_da53582840ba
t=0083 ADD_EDGE edge_id=e_d241263768cc source=n_6880d43ff08f edge_type=refutes target=n_a8b20442c4e3
t=0084 ADD_EDGE edge_id=e_ae16b6d54c50 source=n_b179fe3d2adb edge_type=refutes target=n_a2fe742f1be2
t=0085 ADD_EDGE edge_id=e_0080e0773c3c source=n_c7c9f3067735 edge_type=refutes target=n_03878720d457
t=0086 ADD_EDGE edge_id=e_2f2150599993 source=n_c7c9f3067735 edge_type=supports target=n_132b4788c945
t=0087 ADD_EDGE edge_id=e_09c15f32312d source=n_91c68b276d60 edge_type=refutes target=n_7c605fdd668f
t=0088 ADD_EDGE edge_id=e_0d8b2f291820 source=n_8b94ec0f48e8 edge_type=supports target=n_30779bc160e4
t=0089 ADD_EDGE edge_id=e_268c8fc11a3e source=n_0c78b8b464b8 edge_type=refutes target=n_f1c035677573
t=0090 ADD_EDGE edge_id=e_62dd65811f7c source=n_d43113fb467b edge_type=supports target=n_ace7b1c8190c
t=0091 ADD_EDGE edge_id=e_d49d209439fd source=n_b86b5b746568 edge_type=supports target=n_073159895669
t=0092 ADD_EDGE edge_id=e_2e4965aec760 source=n_c7c9f3067735 edge_type=supports target=n_564196a3081d
t=0093 ADD_EDGE edge_id=e_96f2b951519b source=n_c7c9f3067735 edge_type=supports target=n_0c78b8b464b8
t=0094 ADD_EDGE edge_id=e_1e6576354ec0 source=n_648bc783e8f6 edge_type=refutes target=n_e3fbe6d3db0d
t=0095 ADD_EDGE edge_id=e_ede561a4e668 source=n_474c0d6df840 edge_type=refutes target=n_df88381d9436
t=0096 ADD_EDGE edge_id=e_8aaa30896d18 source=n_2397a42ed47f edge_type=refutes target=n_e807dd39c9b0
t=0097 ADD_EDGE edge_id=e_5c6131b0043f source=n_c7c9f3067735 edge_type=refutes target=n_6880d43ff08f
t=0098 ADD_EDGE edge_id=e_319639e71e12 source=n_825dbed23aee edge_type=supports target=n_0d304c61b376
t=0099 ADD_EDGE edge_id=e_bf65d695c4d4 source=n_073159895669 edge_type=supports target=n_5435a207c2cf
t=0100 ADD_EDGE edge_id=e_69da55b914a3 source=n_0d304c61b376 edge_type=supports target=n_5859e96a4fe5
t=0101 ADD_EDGE edge_id=e_9b23642100c3 source=n_dc1dc1a3505c edge_type=supports target=n_648bc783e8f6
t=0102 ADD_EDGE edge_id=e_2846a7413348 source=n_6880d43ff08f edge_type=refutes target=n_3a1902dd7f95
t=0103 ADD_EDGE edge_id=e_72300c870805 source=n_b7a4e90329f6 edge_type=supports target=n_2397a42ed47f
t=0104 ADD_EDGE edge_id=e_5f1437b6a48f source=n_9f04b8f65f5e edge_type=refutes target=n_d3e7e2389991
t=0105 ADD_EDGE edge_id=e_dacba1f1164a source=n_5744a82b745f edge_type=supports target=n_d43113fb467b
t=0106 ADD_EDGE edge_id=e_549081d5b0c4 source=n_df88381d9436 edge_type=supports target=n_4ff73831da62
t=0107 QUERY source=n_474c0d6df840 target=n_268ac2637f8a
[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_560fa0021a80 node_type=claim
t=0001 CREATE_NODE id=n_10d4856d7b28 node_type=claim
t=0002 CREATE_NODE id=n_a60105d103fa node_type=claim
t=0003 CREATE_NODE id=n_02ce6232742c node_type=claim
t=0004 CREATE_NODE id=n_48a85d61325e node_type=claim
t=0005 CREATE_NODE id=n_41f5cc82018c node_type=claim
t=0006 CREATE_NODE id=n_eb5d9e516b75 node_type=claim
t=0007 CREATE_NODE id=n_0bbc94b17665 node_type=claim
t=0008 CREATE_NODE id=n_f48f2b65dc33 node_type=claim
t=0009 CREATE_NODE id=n_74d6d61f0dd5 node_type=claim
t=0010 CREATE_NODE id=n_e79827e52efc node_type=claim
t=0011 CREATE_NODE id=n_db015ffa39f0 node_type=claim
t=0012 CREATE_NODE id=n_2a78df459ed4 node_type=claim
t=0013 CREATE_NODE id=n_f979037ea696 node_type=claim
t=0014 CREATE_NODE id=n_11f1fbac14a1 node_type=claim
t=0015 CREATE_NODE id=n_e4d644661326 node_type=claim
t=0016 CREATE_NODE id=n_d700251fc5ce node_type=claim
t=0017 CREATE_NODE id=n_98d7cd0ef396 node_type=claim
t=0018 CREATE_NODE id=n_7792d2cd45fb node_type=claim
t=0019 CREATE_NODE id=n_d6a66abef5b4 node_type=claim
t=0020 CREATE_NODE id=n_c919a62d7337 node_type=claim
t=0021 CREATE_NODE id=n_4adc726e2f7c node_type=claim
t=0022 CREATE_NODE id=n_a6de5c1a2a0b node_type=claim
t=0023 CREATE_NODE id=n_7422a357b98a node_type=claim
t=0024 CREATE_NODE id=n_4fbc2b504cea node_type=claim
t=0025 CREATE_NODE id=n_23990f0aa23d node_type=claim
t=0026 CREATE_NODE id=n_54760bf92f7d node_type=claim
t=0027 CREATE_NODE id=n_220b281263e4 node_type=claim
t=0028 CREATE_NODE id=n_b14ed301cc13 node_type=claim
t=0029 CREATE_NODE id=n_3a5db7540bf6 node_type=claim
t=0030 CREATE_NODE id=n_ee03195f481a node_type=claim
t=0031 CREATE_NODE id=n_e1eb345bc019 node_type=claim
t=0032 CREATE_NODE id=n_a4c9d6c276f0 node_type=claim
t=0033 CREATE_NODE id=n_62c472aedd20 node_type=claim
t=0034 CREATE_NODE id=n_35d2ac70119c node_type=claim
t=0035 CREATE_NODE id=n_364c101471ad node_type=claim
t=0036 CREATE_NODE id=n_5e650db53ef9 node_type=claim
t=0037 CREATE_NODE id=n_04d0b86cfaee node_type=claim
t=0038 CREATE_NODE id=n_8362b8d9bd63 node_type=claim
t=0039 CREATE_NODE id=n_e54664ba071c node_type=claim
t=0040 CREATE_NODE id=n_ff927eab667d node_type=claim
t=0041 CREATE_NODE id=n_0323c15d6277 node_type=claim
t=0042 CREATE_NODE id=n_54fb0732ccdd node_type=claim
t=0043 CREATE_NODE id=n_e60fb645db54 node_type=claim
t=0044 CREATE_NODE id=n_f5dc9deb1a0b node_type=claim
t=0045 CREATE_NODE id=n_68e02b7832e0 node_type=claim
t=0046 CREATE_NODE id=n_455c5ce21c74 node_type=claim
t=0047 CREATE_NODE id=n_3dd7b496b35d node_type=claim
t=0048 CREATE_NODE id=n_7616887933b7 node_type=claim
t=0049 CREATE_NODE id=n_c710de780afd node_type=claim
t=0050 CREATE_NODE id=n_5b228faf68bf node_type=claim
t=0051 CREATE_NODE id=n_d3522299dc23 node_type=claim
t=0052 CREATE_NODE id=n_36c30b2f7642 node_type=claim
t=0053 CREATE_NODE id=n_2c84540afbaa node_type=claim
t=0054 ASSERT_ROOT node=n_02ce6232742c value=TRUE
t=0055 ADD_EDGE edge_id=e_5196dce7773d source=n_db015ffa39f0 edge_type=supports target=n_68e02b7832e0
t=0056 ADD_EDGE edge_id=e_02678c327948 source=n_2a78df459ed4 edge_type=supports target=n_2c84540afbaa
t=0057 ADD_EDGE edge_id=e_69439d9490cb source=n_36c30b2f7642 edge_type=refutes target=n_2a78df459ed4
t=0058 ADD_EDGE edge_id=e_07d72ec5025c source=n_7792d2cd45fb edge_type=refutes target=n_e54664ba071c
t=0059 ADD_EDGE edge_id=e_b434579da004 source=n_e60fb645db54 edge_type=refutes target=n_3dd7b496b35d
t=0060 ADD_EDGE edge_id=e_4b138e4992e3 source=n_560fa0021a80 edge_type=refutes target=n_a60105d103fa
t=0061 ADD_EDGE edge_id=e_2c696a4dd855 source=n_a6de5c1a2a0b edge_type=refutes target=n_ff927eab667d
t=0062 ADD_EDGE edge_id=e_3b05c2fba367 source=n_54fb0732ccdd edge_type=supports target=n_f5dc9deb1a0b
t=0063 ADD_EDGE edge_id=e_a280fc8c1aca source=n_b14ed301cc13 edge_type=refutes target=n_a6de5c1a2a0b
t=0064 ADD_EDGE edge_id=e_8bed25683962 source=n_3dd7b496b35d edge_type=supports target=n_4adc726e2f7c
t=0065 ADD_EDGE edge_id=e_87ea9f7d3690 source=n_36c30b2f7642 edge_type=supports target=n_0323c15d6277
t=0066 ADD_EDGE edge_id=e_e08031d261e1 source=n_98d7cd0ef396 edge_type=refutes target=n_11f1fbac14a1
t=0067 ADD_EDGE edge_id=e_cfba412f49e1 source=n_74d6d61f0dd5 edge_type=refutes target=n_e60fb645db54
t=0068 ADD_EDGE edge_id=e_34b4fbe7907e source=n_98d7cd0ef396 edge_type=supports target=n_364c101471ad
t=0069 ADD_EDGE edge_id=e_647fa9061dae source=n_f979037ea696 edge_type=supports target=n_23990f0aa23d
t=0070 ADD_EDGE edge_id=e_459aea4feb50 source=n_f979037ea696 edge_type=supports target=n_db015ffa39f0
t=0071 ADD_EDGE edge_id=e_dcea75463936 source=n_35d2ac70119c edge_type=supports target=n_10d4856d7b28
t=0072 ADD_EDGE edge_id=e_7b3c3b8fd02e source=n_d700251fc5ce edge_type=supports target=n_b14ed301cc13
t=0073 ADD_EDGE edge_id=e_e80dc9060aa4 source=n_ff927eab667d edge_type=refutes target=n_74d6d61f0dd5
t=0074 ADD_EDGE edge_id=e_cbc077bdef22 source=n_ee03195f481a edge_type=refutes target=n_41f5cc82018c
t=0075 ADD_EDGE edge_id=e_baafb9810d9b source=n_f5dc9deb1a0b edge_type=supports target=n_e79827e52efc
t=0076 ADD_EDGE edge_id=e_fb5d2211852f source=n_c919a62d7337 edge_type=supports target=n_220b281263e4
t=0077 ADD_EDGE edge_id=e_ed1b915608d7 source=n_8362b8d9bd63 edge_type=refutes target=n_3a5db7540bf6
t=0078 ADD_EDGE edge_id=e_54aa052831fe source=n_d3522299dc23 edge_type=supports target=n_f48f2b65dc33
t=0079 ADD_EDGE edge_id=e_1af8e86c060e source=n_2a78df459ed4 edge_type=refutes target=n_98d7cd0ef396
t=0080 ADD_EDGE edge_id=e_92218b333f4b source=n_364c101471ad edge_type=supports target=n_7422a357b98a
t=0081 ADD_EDGE edge_id=e_1f3f4516b735 source=n_ee03195f481a edge_type=supports target=n_5e650db53ef9
t=0082 ADD_EDGE edge_id=e_ca7cf5d8f08f source=n_eb5d9e516b75 edge_type=refutes target=n_c710de780afd
t=0083 ADD_EDGE edge_id=e_202d0ac33138 source=n_e4d644661326 edge_type=supports target=n_a4c9d6c276f0
t=0084 ADD_EDGE edge_id=e_5de1cdb8e354 source=n_d3522299dc23 edge_type=supports target=n_4fbc2b504cea
t=0085 ADD_EDGE edge_id=e_a665a76a152b source=n_02ce6232742c edge_type=refutes target=n_eb5d9e516b75
t=0086 ADD_EDGE edge_id=e_af2447f55c9e source=n_7422a357b98a edge_type=refutes target=n_f979037ea696
t=0087 ADD_EDGE edge_id=e_1a6312cf08a7 source=n_a60105d103fa edge_type=refutes target=n_48a85d61325e
t=0088 ADD_EDGE edge_id=e_fe1972e484f8 source=n_455c5ce21c74 edge_type=supports target=n_d3522299dc23
t=0089 ADD_EDGE edge_id=e_ee6e0bf10605 source=n_f5dc9deb1a0b edge_type=refutes target=n_04d0b86cfaee
t=0090 ADD_EDGE edge_id=e_2bae0e6527a9 source=n_11f1fbac14a1 edge_type=supports target=n_0bbc94b17665
t=0091 ADD_EDGE edge_id=e_955ad18eb55a source=n_3a5db7540bf6 edge_type=refutes target=n_560fa0021a80
t=0092 ADD_EDGE edge_id=e_19a8cec11b4b source=n_41f5cc82018c edge_type=supports target=n_455c5ce21c74
t=0093 ADD_EDGE edge_id=e_a0a2c4511d37 source=n_e1eb345bc019 edge_type=refutes target=n_5b228faf68bf
t=0094 ADD_EDGE edge_id=e_eb8f34c2a5be source=n_e54664ba071c edge_type=supports target=n_ee03195f481a
t=0095 ADD_EDGE edge_id=e_2eb2d3945962 source=n_f979037ea696 edge_type=refutes target=n_e4d644661326
t=0096 ADD_EDGE edge_id=e_7140b9dec2da source=n_54fb0732ccdd edge_type=supports target=n_36c30b2f7642
t=0097 ADD_EDGE edge_id=e_6806e1db648e source=n_11f1fbac14a1 edge_type=refutes target=n_35d2ac70119c
t=0098 ADD_EDGE edge_id=e_c7de4c207fcf source=n_5b228faf68bf edge_type=refutes target=n_d700251fc5ce
t=0099 ADD_EDGE edge_id=e_dfab975ea1c1 source=n_3dd7b496b35d edge_type=supports target=n_7792d2cd45fb
t=0100 ADD_EDGE edge_id=e_2bd64162bcae source=n_10d4856d7b28 edge_type=supports target=n_7616887933b7
t=0101 ADD_EDGE edge_id=e_d3297682fd68 source=n_c710de780afd edge_type=refutes target=n_e1eb345bc019
t=0102 ADD_EDGE edge_id=e_471df211a444 source=n_98d7cd0ef396 edge_type=supports target=n_62c472aedd20
t=0103 ADD_EDGE edge_id=e_28914f3febd5 source=n_11f1fbac14a1 edge_type=refutes target=n_54760bf92f7d
t=0104 ADD_EDGE edge_id=e_8003b770fc62 source=n_d3522299dc23 edge_type=refutes target=n_8362b8d9bd63
t=0105 ADD_EDGE edge_id=e_ee629cc859e1 source=n_54fb0732ccdd edge_type=supports target=n_c919a62d7337
t=0106 ADD_EDGE edge_id=e_d428f8cad9d5 source=n_54760bf92f7d edge_type=refutes target=n_d6a66abef5b4
t=0107 QUERY source=n_02ce6232742c target=n_48a85d61325e
[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_743680401072 node_type=claim
t=0001 CREATE_NODE id=n_aff2dab88331 node_type=claim
t=0002 CREATE_NODE id=n_12c93b446d2a node_type=claim
t=0003 CREATE_NODE id=n_fdbd5f9cac61 node_type=claim
t=0004 CREATE_NODE id=n_05fbefa07d10 node_type=claim
t=0005 CREATE_NODE id=n_9808f8e380c8 node_type=claim
t=0006 CREATE_NODE id=n_37f406d14740 node_type=claim
t=0007 CREATE_NODE id=n_ed627d014230 node_type=claim
t=0008 CREATE_NODE id=n_07694c01d36e node_type=claim
t=0009 CREATE_NODE id=n_54e6e918c8bd node_type=claim
t=0010 CREATE_NODE id=n_d6af2bc6ec5f node_type=claim
t=0011 CREATE_NODE id=n_b41ec6b0a2f1 node_type=claim
t=0012 CREATE_NODE id=n_3ecc9e1b9aad node_type=claim
t=0013 CREATE_NODE id=n_fe6fb39f7c82 node_type=claim
t=0014 CREATE_NODE id=n_6b6cc981500d node_type=claim
t=0015 CREATE_NODE id=n_1e7df5f7d77c node_type=claim
t=0016 CREATE_NODE id=n_fedfdaf36c3a node_type=claim
t=0017 CREATE_NODE id=n_08baac9ead2b node_type=claim
t=0018 CREATE_NODE id=n_f38100fb20d9 node_type=claim
t=0019 CREATE_NODE id=n_41dc621ed3ec node_type=claim
t=0020 CREATE_NODE id=n_d68fdd8d3673 node_type=claim
t=0021 CREATE_NODE id=n_e3543d06babd node_type=claim
t=0022 CREATE_NODE id=n_21d53697c8a5 node_type=claim
t=0023 CREATE_NODE id=n_d82284263937 node_type=claim
t=0024 CREATE_NODE id=n_4563a26a6231 node_type=claim
t=0025 CREATE_NODE id=n_152b3724cdd7 node_type=claim
t=0026 CREATE_NODE id=n_aa5afa3ee88e node_type=claim
t=0027 CREATE_NODE id=n_bf32cb5c09fc node_type=claim
t=0028 CREATE_NODE id=n_6920506ee74a node_type=claim
t=0029 CREATE_NODE id=n_8213929b1c54 node_type=claim
t=0030 CREATE_NODE id=n_5621bce552e4 node_type=claim
t=0031 CREATE_NODE id=n_c22ac60c8f92 node_type=claim
t=0032 CREATE_NODE id=n_724e1a2e417e node_type=claim
t=0033 CREATE_NODE id=n_f9ac77ac17b7 node_type=claim
t=0034 CREATE_NODE id=n_207c6b1b0229 node_type=claim
t=0035 CREATE_NODE id=n_c31c73965b2b node_type=claim
t=0036 CREATE_NODE id=n_146657a6a3e6 node_type=claim
t=0037 CREATE_NODE id=n_81c02e54367b node_type=claim
t=0038 CREATE_NODE id=n_070b679ac1c1 node_type=claim
t=0039 CREATE_NODE id=n_b7c7abec490a node_type=claim
t=0040 CREATE_NODE id=n_00a487943592 node_type=claim
t=0041 CREATE_NODE id=n_11cc12021b40 node_type=claim
t=0042 CREATE_NODE id=n_acaa30e75a48 node_type=claim
t=0043 CREATE_NODE id=n_1bf9daa4a144 node_type=claim
t=0044 CREATE_NODE id=n_4d65cb97adc9 node_type=claim
t=0045 CREATE_NODE id=n_b39055b41bed node_type=claim
t=0046 CREATE_NODE id=n_f0b9e495c2ed node_type=claim
t=0047 CREATE_NODE id=n_e766c4c0a8c4 node_type=claim
t=0048 CREATE_NODE id=n_44d878317e53 node_type=claim
t=0049 CREATE_NODE id=n_f6c53738fb34 node_type=claim
t=0050 CREATE_NODE id=n_26ad67b8b633 node_type=claim
t=0051 CREATE_NODE id=n_fc877b009cac node_type=claim
t=0052 CREATE_NODE id=n_dc5a2c8a71ae node_type=claim
t=0053 CREATE_NODE id=n_5f99ad500ade node_type=claim
t=0054 CREATE_NODE id=n_be8367d04f0f node_type=claim
t=0055 CREATE_NODE id=n_4ee75c732e4f node_type=claim
t=0056 ASSERT_ROOT node=n_54e6e918c8bd value=TRUE
t=0057 ADD_EDGE edge_id=e_e29c8a001364 source=n_8213929b1c54 edge_type=supports target=n_f38100fb20d9
t=0058 ADD_EDGE edge_id=e_cd164d79e778 source=n_07694c01d36e edge_type=supports target=n_070b679ac1c1
t=0059 ADD_EDGE edge_id=e_e1ba4382bf17 source=n_d6af2bc6ec5f edge_type=refutes target=n_e766c4c0a8c4
t=0060 ADD_EDGE edge_id=e_e95c8601111e source=n_05fbefa07d10 edge_type=refutes target=n_b7c7abec490a
t=0061 ADD_EDGE edge_id=e_3319eb982814 source=n_152b3724cdd7 edge_type=supports target=n_08baac9ead2b
t=0062 ADD_EDGE edge_id=e_0ac47457605b source=n_37f406d14740 edge_type=refutes target=n_05fbefa07d10
t=0063 ADD_EDGE edge_id=e_c567893759b4 source=n_08baac9ead2b edge_type=supports target=n_d6af2bc6ec5f
t=0064 ADD_EDGE edge_id=e_220f2a0b2289 source=n_37f406d14740 edge_type=refutes target=n_b41ec6b0a2f1
t=0065 ADD_EDGE edge_id=e_b5aa6d5e1e9d source=n_81c02e54367b edge_type=supports target=n_5621bce552e4
t=0066 ADD_EDGE edge_id=e_d4ee6f555ed3 source=n_9808f8e380c8 edge_type=supports target=n_4d65cb97adc9
t=0067 ADD_EDGE edge_id=e_d793a9253ab6 source=n_1bf9daa4a144 edge_type=supports target=n_fdbd5f9cac61
t=0068 ADD_EDGE edge_id=e_a2b78a0038b7 source=n_d68fdd8d3673 edge_type=supports target=n_6920506ee74a
t=0069 ADD_EDGE edge_id=e_e51d96740469 source=n_44d878317e53 edge_type=refutes target=n_00a487943592
t=0070 ADD_EDGE edge_id=e_15be54aa48b4 source=n_146657a6a3e6 edge_type=refutes target=n_aa5afa3ee88e
t=0071 ADD_EDGE edge_id=e_b5767d2ea7e9 source=n_6b6cc981500d edge_type=refutes target=n_5f99ad500ade
t=0072 ADD_EDGE edge_id=e_4431846032c5 source=n_11cc12021b40 edge_type=supports target=n_ed627d014230
t=0073 ADD_EDGE edge_id=e_8958468c2981 source=n_207c6b1b0229 edge_type=supports target=n_11cc12021b40
t=0074 ADD_EDGE edge_id=e_af8d71b9099d source=n_54e6e918c8bd edge_type=refutes target=n_dc5a2c8a71ae
t=0075 ADD_EDGE edge_id=e_e88c6772e6f3 source=n_e766c4c0a8c4 edge_type=refutes target=n_12c93b446d2a
t=0076 ADD_EDGE edge_id=e_6889e03fc725 source=n_f38100fb20d9 edge_type=supports target=n_c22ac60c8f92
t=0077 ADD_EDGE edge_id=e_b8aeeb6edcfe source=n_26ad67b8b633 edge_type=supports target=n_be8367d04f0f
t=0078 ADD_EDGE edge_id=e_26699438fe00 source=n_c22ac60c8f92 edge_type=refutes target=n_fedfdaf36c3a
t=0079 ADD_EDGE edge_id=e_474be7066daf source=n_3ecc9e1b9aad edge_type=refutes target=n_aff2dab88331
t=0080 ADD_EDGE edge_id=e_48c0e3adf387 source=n_37f406d14740 edge_type=supports target=n_b39055b41bed
t=0081 ADD_EDGE edge_id=e_dc13be656e33 source=n_c31c73965b2b edge_type=refutes target=n_81c02e54367b
t=0082 ADD_EDGE edge_id=e_9251e1952cbd source=n_8213929b1c54 edge_type=refutes target=n_4ee75c732e4f
t=0083 ADD_EDGE edge_id=e_7a52ba33c42e source=n_5f99ad500ade edge_type=refutes target=n_c31c73965b2b
t=0084 ADD_EDGE edge_id=e_85b49ef6c52b source=n_07694c01d36e edge_type=supports target=n_d68fdd8d3673
t=0085 ADD_EDGE edge_id=e_9d6a44e99e75 source=n_b41ec6b0a2f1 edge_type=supports target=n_f6c53738fb34
t=0086 ADD_EDGE edge_id=e_40fe8c15ad60 source=n_37f406d14740 edge_type=supports target=n_1bf9daa4a144
t=0087 ADD_EDGE edge_id=e_3ab882dd6350 source=n_4d65cb97adc9 edge_type=supports target=n_3ecc9e1b9aad
t=0088 ADD_EDGE edge_id=e_600faad93b06 source=n_d68fdd8d3673 edge_type=supports target=n_41dc621ed3ec
t=0089 ADD_EDGE edge_id=e_76ba2cf0ae6b source=n_aa5afa3ee88e edge_type=refutes target=n_44d878317e53
t=0090 ADD_EDGE edge_id=e_6bc55438ca9c source=n_d68fdd8d3673 edge_type=supports target=n_d82284263937
t=0091 ADD_EDGE edge_id=e_0a81b845c3c0 source=n_743680401072 edge_type=refutes target=n_fe6fb39f7c82
t=0092 ADD_EDGE edge_id=e_94c8a75b0520 source=n_21d53697c8a5 edge_type=refutes target=n_fc877b009cac
t=0093 ADD_EDGE edge_id=e_0d59a283893a source=n_acaa30e75a48 edge_type=refutes target=n_724e1a2e417e
t=0094 ADD_EDGE edge_id=e_25705292f6f7 source=n_fedfdaf36c3a edge_type=refutes target=n_743680401072
t=0095 ADD_EDGE edge_id=e_a9c1cbd98bad source=n_b39055b41bed edge_type=supports target=n_f9ac77ac17b7
t=0096 ADD_EDGE edge_id=e_88a0dca08d1d source=n_37f406d14740 edge_type=supports target=n_9808f8e380c8
t=0097 ADD_EDGE edge_id=e_cf7b5998bd79 source=n_12c93b446d2a edge_type=supports target=n_6b6cc981500d
t=0098 ADD_EDGE edge_id=e_ff2c5d351da1 source=n_dc5a2c8a71ae edge_type=supports target=n_8213929b1c54
t=0099 ADD_EDGE edge_id=e_42a2a33f4744 source=n_fe6fb39f7c82 edge_type=refutes target=n_f0b9e495c2ed
t=0100 ADD_EDGE edge_id=e_3de249a57a22 source=n_00a487943592 edge_type=supports target=n_152b3724cdd7
t=0101 ADD_EDGE edge_id=e_5231c7f99e37 source=n_fc877b009cac edge_type=supports target=n_26ad67b8b633
t=0102 ADD_EDGE edge_id=e_3564a74cc378 source=n_11cc12021b40 edge_type=refutes target=n_146657a6a3e6
t=0103 ADD_EDGE edge_id=e_08d7fd18c291 source=n_21d53697c8a5 edge_type=supports target=n_07694c01d36e
t=0104 ADD_EDGE edge_id=e_2971db4f034a source=n_05fbefa07d10 edge_type=refutes target=n_e3543d06babd
t=0105 ADD_EDGE edge_id=e_bc0629f98794 source=n_44d878317e53 edge_type=supports target=n_1e7df5f7d77c
t=0106 ADD_EDGE edge_id=e_4596eafa6d81 source=n_fe6fb39f7c82 edge_type=refutes target=n_207c6b1b0229
t=0107 ADD_EDGE edge_id=e_e93151212dae source=n_37f406d14740 edge_type=refutes target=n_21d53697c8a5
t=0108 ADD_EDGE edge_id=e_d0311dc81d71 source=n_d68fdd8d3673 edge_type=refutes target=n_bf32cb5c09fc
t=0109 ADD_EDGE edge_id=e_5ebcd22f86d2 source=n_e3543d06babd edge_type=refutes target=n_4563a26a6231
t=0110 ADD_EDGE edge_id=e_ef7b61182bb1 source=n_26ad67b8b633 edge_type=refutes target=n_acaa30e75a48
t=0111 QUERY source=n_54e6e918c8bd target=n_5621bce552e4
[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_7e3299cd3d09 node_type=claim
t=0001 CREATE_NODE id=n_1289c8298a95 node_type=claim
t=0002 CREATE_NODE id=n_d4f24c1e005b node_type=claim
t=0003 CREATE_NODE id=n_dd4c83afa8df node_type=claim
t=0004 CREATE_NODE id=n_2e152563f3b6 node_type=claim
t=0005 CREATE_NODE id=n_6feea5f87613 node_type=claim
t=0006 CREATE_NODE id=n_d7e963d7d4d8 node_type=claim
t=0007 CREATE_NODE id=n_6126dbb3e0b8 node_type=claim
t=0008 CREATE_NODE id=n_073f9b783f4a node_type=claim
t=0009 CREATE_NODE id=n_c80252443077 node_type=claim
t=0010 CREATE_NODE id=n_0e2ef05d8486 node_type=claim
t=0011 CREATE_NODE id=n_782e8f7c1d06 node_type=claim
t=0012 CREATE_NODE id=n_0a218b400667 node_type=claim
t=0013 CREATE_NODE id=n_fe9f29fe1d98 node_type=claim
t=0014 CREATE_NODE id=n_90e3b4de247c node_type=claim
t=0015 CREATE_NODE id=n_890c498c271a node_type=claim
t=0016 CREATE_NODE id=n_44b3e3cbd87a node_type=claim
t=0017 CREATE_NODE id=n_9d2c59a83db7 node_type=claim
t=0018 CREATE_NODE id=n_655e696742b5 node_type=claim
t=0019 CREATE_NODE id=n_caca31be611d node_type=claim
t=0020 CREATE_NODE id=n_05d46ad0f661 node_type=claim
t=0021 CREATE_NODE id=n_dc2e482ff391 node_type=claim
t=0022 CREATE_NODE id=n_89bcca6e0045 node_type=claim
t=0023 CREATE_NODE id=n_ea310a902f41 node_type=claim
t=0024 CREATE_NODE id=n_e2a58b8833ce node_type=claim
t=0025 CREATE_NODE id=n_c7cfb87247f9 node_type=claim
t=0026 CREATE_NODE id=n_a389d9ad84ce node_type=claim
t=0027 CREATE_NODE id=n_eba48eb1c334 node_type=claim
t=0028 CREATE_NODE id=n_7db252d6c4b4 node_type=claim
t=0029 CREATE_NODE id=n_1e78a00183df node_type=claim
t=0030 CREATE_NODE id=n_f0da66823dee node_type=claim
t=0031 CREATE_NODE id=n_d9a27506bfe5 node_type=claim
t=0032 CREATE_NODE id=n_b79c7003a84d node_type=claim
t=0033 CREATE_NODE id=n_4cc974ec14d4 node_type=claim
t=0034 CREATE_NODE id=n_0c95b9916df3 node_type=claim
t=0035 CREATE_NODE id=n_9f2f5b99ba90 node_type=claim
t=0036 CREATE_NODE id=n_43f2ceea735c node_type=claim
t=0037 CREATE_NODE id=n_26a81d87d3d1 node_type=claim
t=0038 CREATE_NODE id=n_df994df29cc8 node_type=claim
t=0039 CREATE_NODE id=n_e2a22c53d789 node_type=claim
t=0040 CREATE_NODE id=n_f1daab3fad64 node_type=claim
t=0041 CREATE_NODE id=n_cfa52f3da968 node_type=claim
t=0042 CREATE_NODE id=n_e8a5f9dfa745 node_type=claim
t=0043 CREATE_NODE id=n_f6f0a967c552 node_type=claim
t=0044 CREATE_NODE id=n_57f6f9774f72 node_type=claim
t=0045 CREATE_NODE id=n_f359f74d207c node_type=claim
t=0046 CREATE_NODE id=n_af681475c305 node_type=claim
t=0047 CREATE_NODE id=n_ff3c0fb4ea62 node_type=claim
t=0048 CREATE_NODE id=n_8c9425a0cb94 node_type=claim
t=0049 CREATE_NODE id=n_6a702299a1ff node_type=claim
t=0050 CREATE_NODE id=n_adfc00d275e7 node_type=claim
t=0051 CREATE_NODE id=n_d7d05d8dd079 node_type=claim
t=0052 CREATE_NODE id=n_8cdc76534593 node_type=claim
t=0053 CREATE_NODE id=n_06edeee01aff node_type=claim
t=0054 CREATE_NODE id=n_73abaa2c16c6 node_type=claim
t=0055 CREATE_NODE id=n_c0d0d90fe5dc node_type=claim
t=0056 ASSERT_ROOT node=n_1289c8298a95 value=TRUE
t=0057 ADD_EDGE edge_id=e_bc514c4f7594 source=n_f6f0a967c552 edge_type=refutes target=n_9f2f5b99ba90
t=0058 ADD_EDGE edge_id=e_dc30f55a5699 source=n_d7d05d8dd079 edge_type=refutes target=n_6a702299a1ff
t=0059 ADD_EDGE edge_id=e_9cb40bc56796 source=n_73abaa2c16c6 edge_type=refutes target=n_adfc00d275e7
t=0060 ADD_EDGE edge_id=e_6b272baf76d8 source=n_26a81d87d3d1 edge_type=refutes target=n_655e696742b5
t=0061 ADD_EDGE edge_id=e_d71b36d48a46 source=n_df994df29cc8 edge_type=supports target=n_4cc974ec14d4
t=0062 ADD_EDGE edge_id=e_498050b0cd3f source=n_0a218b400667 edge_type=refutes target=n_89bcca6e0045
t=0063 ADD_EDGE edge_id=e_afd1ea605d75 source=n_0c95b9916df3 edge_type=supports target=n_6126dbb3e0b8
t=0064 ADD_EDGE edge_id=e_d003a9b121df source=n_f359f74d207c edge_type=supports target=n_d7e963d7d4d8
t=0065 ADD_EDGE edge_id=e_d077ac0c6c63 source=n_890c498c271a edge_type=supports target=n_a389d9ad84ce
t=0066 ADD_EDGE edge_id=e_73d8fdae8d6d source=n_d7e963d7d4d8 edge_type=refutes target=n_d4f24c1e005b
t=0067 ADD_EDGE edge_id=e_928a922b928e source=n_c80252443077 edge_type=refutes target=n_f6f0a967c552
t=0068 ADD_EDGE edge_id=e_4fd358f3b295 source=n_f0da66823dee edge_type=refutes target=n_8cdc76534593
t=0069 ADD_EDGE edge_id=e_c4a1f0cd9c38 source=n_caca31be611d edge_type=refutes target=n_73abaa2c16c6
t=0070 ADD_EDGE edge_id=e_98aa60d9d1b1 source=n_89bcca6e0045 edge_type=refutes target=n_7e3299cd3d09
t=0071 ADD_EDGE edge_id=e_39a8f9744d41 source=n_f1daab3fad64 edge_type=supports target=n_90e3b4de247c
t=0072 ADD_EDGE edge_id=e_fadae841cf4a source=n_89bcca6e0045 edge_type=supports target=n_1e78a00183df
t=0073 ADD_EDGE edge_id=e_aa5f708af971 source=n_43f2ceea735c edge_type=refutes target=n_caca31be611d
t=0074 ADD_EDGE edge_id=e_937e5847a8ea source=n_073f9b783f4a edge_type=supports target=n_890c498c271a
t=0075 ADD_EDGE edge_id=e_8433977f6208 source=n_dc2e482ff391 edge_type=supports target=n_073f9b783f4a
t=0076 ADD_EDGE edge_id=e_d6e491d530b3 source=n_2e152563f3b6 edge_type=supports target=n_c7cfb87247f9
t=0077 ADD_EDGE edge_id=e_35cd59661a78 source=n_1289c8298a95 edge_type=supports target=n_b79c7003a84d
t=0078 ADD_EDGE edge_id=e_80dc30db3362 source=n_e2a58b8833ce edge_type=refutes target=n_ea310a902f41
t=0079 ADD_EDGE edge_id=e_0902b23e7690 source=n_ea310a902f41 edge_type=supports target=n_ff3c0fb4ea62
t=0080 ADD_EDGE edge_id=e_d29a8dd22b34 source=n_7e3299cd3d09 edge_type=supports target=n_f359f74d207c
t=0081 ADD_EDGE edge_id=e_a82dd582e0d8 source=n_fe9f29fe1d98 edge_type=supports target=n_0c95b9916df3
t=0082 ADD_EDGE edge_id=e_782c4e2cd3e5 source=n_e2a22c53d789 edge_type=refutes target=n_9d2c59a83db7
t=0083 ADD_EDGE edge_id=e_b7906ad786d1 source=n_43f2ceea735c edge_type=refutes target=n_05d46ad0f661
t=0084 ADD_EDGE edge_id=e_b6218827820d source=n_0a218b400667 edge_type=refutes target=n_43f2ceea735c
t=0085 ADD_EDGE edge_id=e_81c11113e22f source=n_57f6f9774f72 edge_type=refutes target=n_f0da66823dee
t=0086 ADD_EDGE edge_id=e_a33a923df117 source=n_073f9b783f4a edge_type=refutes target=n_d9a27506bfe5
t=0087 ADD_EDGE edge_id=e_618b24a4004d source=n_57f6f9774f72 edge_type=refutes target=n_06edeee01aff
t=0088 ADD_EDGE edge_id=e_bb5afcac9274 source=n_c7cfb87247f9 edge_type=refutes target=n_dd4c83afa8df
t=0089 ADD_EDGE edge_id=e_3987fa6c48f5 source=n_05d46ad0f661 edge_type=refutes target=n_d7d05d8dd079
t=0090 ADD_EDGE edge_id=e_9f8b79a0eb05 source=n_f0da66823dee edge_type=supports target=n_7db252d6c4b4
t=0091 ADD_EDGE edge_id=e_3f15944cb4af source=n_a389d9ad84ce edge_type=supports target=n_44b3e3cbd87a
t=0092 ADD_EDGE edge_id=e_70de889f4e0b source=n_0e2ef05d8486 edge_type=supports target=n_26a81d87d3d1
t=0093 ADD_EDGE edge_id=e_7cffad035241 source=n_05d46ad0f661 edge_type=supports target=n_c80252443077
t=0094 ADD_EDGE edge_id=e_9b9896665d92 source=n_eba48eb1c334 edge_type=refutes target=n_6feea5f87613
t=0095 ADD_EDGE edge_id=e_fbc94d9a11e7 source=n_d7d05d8dd079 edge_type=supports target=n_fe9f29fe1d98
t=0096 ADD_EDGE edge_id=e_eea694727d5c source=n_a389d9ad84ce edge_type=refutes target=n_c0d0d90fe5dc
t=0097 ADD_EDGE edge_id=e_603afb6c35d8 source=n_f359f74d207c edge_type=refutes target=n_2e152563f3b6
t=0098 ADD_EDGE edge_id=e_a6c5ae91dee0 source=n_b79c7003a84d edge_type=supports target=n_0e2ef05d8486
t=0099 ADD_EDGE edge_id=e_e6f105030f40 source=n_a389d9ad84ce edge_type=supports target=n_782e8f7c1d06
t=0100 ADD_EDGE edge_id=e_2bf62ad4e5eb source=n_cfa52f3da968 edge_type=supports target=n_f1daab3fad64
t=0101 ADD_EDGE edge_id=e_322c7dd30c4f source=n_4cc974ec14d4 edge_type=supports target=n_e8a5f9dfa745
t=0102 ADD_EDGE edge_id=e_9b31066251ca source=n_af681475c305 edge_type=supports target=n_df994df29cc8
t=0103 ADD_EDGE edge_id=e_0abdeccc735f source=n_26a81d87d3d1 edge_type=refutes target=n_cfa52f3da968
t=0104 ADD_EDGE edge_id=e_6ddb06707c6c source=n_9d2c59a83db7 edge_type=supports target=n_dc2e482ff391
t=0105 ADD_EDGE edge_id=e_f7d595d40bd8 source=n_90e3b4de247c edge_type=refutes target=n_8c9425a0cb94
t=0106 ADD_EDGE edge_id=e_036be7b713a1 source=n_8c9425a0cb94 edge_type=supports target=n_eba48eb1c334
t=0107 ADD_EDGE edge_id=e_58218b601c3d source=n_ff3c0fb4ea62 edge_type=refutes target=n_e2a22c53d789
t=0108 ADD_EDGE edge_id=e_2dcbeabb8065 source=n_caca31be611d edge_type=supports target=n_57f6f9774f72
t=0109 ADD_EDGE edge_id=e_3daa436f08f9 source=n_6feea5f87613 edge_type=refutes target=n_af681475c305
t=0110 ADD_EDGE edge_id=e_8006ce1ce451 source=n_e8a5f9dfa745 edge_type=supports target=n_e2a58b8833ce
t=0111 QUERY source=n_1289c8298a95 target=n_782e8f7c1d06
[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_bf8e8c3b6433 node_type=claim
t=0001 CREATE_NODE id=n_614dc9397466 node_type=claim
t=0002 CREATE_NODE id=n_261b1cae1ded node_type=claim
t=0003 CREATE_NODE id=n_f11b13c8ac43 node_type=claim
t=0004 CREATE_NODE id=n_c016cd53bf76 node_type=claim
t=0005 CREATE_NODE id=n_05376da1d428 node_type=claim
t=0006 CREATE_NODE id=n_bd77bd07320d node_type=claim
t=0007 CREATE_NODE id=n_3298e55a658f node_type=claim
t=0008 CREATE_NODE id=n_38eb508024a1 node_type=claim
t=0009 CREATE_NODE id=n_2c1e1854e92d node_type=claim
t=0010 CREATE_NODE id=n_e39d8dc14c64 node_type=claim
t=0011 CREATE_NODE id=n_853e3ddd48e2 node_type=claim
t=0012 CREATE_NODE id=n_342ef774a6d1 node_type=claim
t=0013 CREATE_NODE id=n_9443e04a991a node_type=claim
t=0014 CREATE_NODE id=n_9021c4652229 node_type=claim
t=0015 CREATE_NODE id=n_d862f11d928a node_type=claim
t=0016 CREATE_NODE id=n_117f6cf29a72 node_type=claim
t=0017 CREATE_NODE id=n_7eda62b62085 node_type=claim
t=0018 CREATE_NODE id=n_4277b4f8c030 node_type=claim
t=0019 CREATE_NODE id=n_a99b8b970e43 node_type=claim
t=0020 CREATE_NODE id=n_992195429aed node_type=claim
t=0021 CREATE_NODE id=n_fe33f6e5a92f node_type=claim
t=0022 CREATE_NODE id=n_ffda2340ba3f node_type=claim
t=0023 CREATE_NODE id=n_5405b7be70e1 node_type=claim
t=0024 CREATE_NODE id=n_c3fdddedad5e node_type=claim
t=0025 CREATE_NODE id=n_7c5d855f8360 node_type=claim
t=0026 CREATE_NODE id=n_b76c60b8b289 node_type=claim
t=0027 CREATE_NODE id=n_ef6e8bf191b1 node_type=claim
t=0028 CREATE_NODE id=n_3c7c3426ef89 node_type=claim
t=0029 CREATE_NODE id=n_cd789eb2c5b9 node_type=claim
t=0030 CREATE_NODE id=n_b323a17e8caa node_type=claim
t=0031 CREATE_NODE id=n_a260337fddc6 node_type=claim
t=0032 CREATE_NODE id=n_41eb84099e3b node_type=claim
t=0033 CREATE_NODE id=n_99b17cc4d28a node_type=claim
t=0034 CREATE_NODE id=n_68a434898c3c node_type=claim
t=0035 CREATE_NODE id=n_4772d227da2e node_type=claim
t=0036 CREATE_NODE id=n_ead6871faaaa node_type=claim
t=0037 CREATE_NODE id=n_356e8de6a352 node_type=claim
t=0038 CREATE_NODE id=n_f8f5b5cb4a5f node_type=claim
t=0039 CREATE_NODE id=n_0a143891e8bd node_type=claim
t=0040 CREATE_NODE id=n_8220ce514c3f node_type=claim
t=0041 CREATE_NODE id=n_905e832ed34f node_type=claim
t=0042 CREATE_NODE id=n_22275f1d7f60 node_type=claim
t=0043 CREATE_NODE id=n_2777fdd9f183 node_type=claim
t=0044 CREATE_NODE id=n_e05bdc261de2 node_type=claim
t=0045 CREATE_NODE id=n_c729e44d46e7 node_type=claim
t=0046 CREATE_NODE id=n_ee4523e3017e node_type=claim
t=0047 CREATE_NODE id=n_d2d3aabc5b3b node_type=claim
t=0048 CREATE_NODE id=n_47492f42970d node_type=claim
t=0049 CREATE_NODE id=n_f8073eb0357c node_type=claim
t=0050 CREATE_NODE id=n_ebebbc550ebf node_type=claim
t=0051 CREATE_NODE id=n_7ed204adfdbb node_type=claim
t=0052 CREATE_NODE id=n_1ec4536e2aa7 node_type=claim
t=0053 CREATE_NODE id=n_44bc39939bbc node_type=claim
t=0054 CREATE_NODE id=n_4c6c85fd3f7c node_type=claim
t=0055 CREATE_NODE id=n_73c28b956e2a node_type=claim
t=0056 CREATE_NODE id=n_ae0c7b9028cf node_type=claim
t=0057 CREATE_NODE id=n_c0c6dd7495ba node_type=claim
t=0058 ASSERT_ROOT node=n_b323a17e8caa value=TRUE
t=0059 ADD_EDGE edge_id=e_49be3e0e9a88 source=n_fe33f6e5a92f edge_type=supports target=n_05376da1d428
t=0060 ADD_EDGE edge_id=e_26a0b8b665b3 source=n_ead6871faaaa edge_type=supports target=n_b76c60b8b289
t=0061 ADD_EDGE edge_id=e_592f71db3c20 source=n_0a143891e8bd edge_type=refutes target=n_e39d8dc14c64
t=0062 ADD_EDGE edge_id=e_3b721010fb2a source=n_7eda62b62085 edge_type=refutes target=n_f11b13c8ac43
t=0063 ADD_EDGE edge_id=e_cad8714b5fca source=n_ebebbc550ebf edge_type=supports target=n_356e8de6a352
t=0064 ADD_EDGE edge_id=e_8d41dc3c556a source=n_992195429aed edge_type=refutes target=n_7ed204adfdbb
t=0065 ADD_EDGE edge_id=e_c0e57ddb0ad6 source=n_2777fdd9f183 edge_type=supports target=n_c016cd53bf76
t=0066 ADD_EDGE edge_id=e_560cc1a8aac2 source=n_c729e44d46e7 edge_type=refutes target=n_2c1e1854e92d
t=0067 ADD_EDGE edge_id=e_0f2703ae03b7 source=n_99b17cc4d28a edge_type=refutes target=n_4c6c85fd3f7c
t=0068 ADD_EDGE edge_id=e_d9f6cf07db93 source=n_f8073eb0357c edge_type=refutes target=n_ebebbc550ebf
t=0069 ADD_EDGE edge_id=e_66d038823a70 source=n_c729e44d46e7 edge_type=supports target=n_342ef774a6d1
t=0070 ADD_EDGE edge_id=e_a0c4a66e824f source=n_bd77bd07320d edge_type=supports target=n_4277b4f8c030
t=0071 ADD_EDGE edge_id=e_13c68f356581 source=n_bf8e8c3b6433 edge_type=refutes target=n_f8073eb0357c
t=0072 ADD_EDGE edge_id=e_b4ad5a6d5536 source=n_7ed204adfdbb edge_type=supports target=n_41eb84099e3b
t=0073 ADD_EDGE edge_id=e_8dd7991255fd source=n_ffda2340ba3f edge_type=refutes target=n_5405b7be70e1
t=0074 ADD_EDGE edge_id=e_f976c937bd24 source=n_c0c6dd7495ba edge_type=supports target=n_614dc9397466
t=0075 ADD_EDGE edge_id=e_8c30ca8e4f5f source=n_117f6cf29a72 edge_type=supports target=n_73c28b956e2a
t=0076 ADD_EDGE edge_id=e_4aab848e8c1a source=n_ee4523e3017e edge_type=refutes target=n_ead6871faaaa
t=0077 ADD_EDGE edge_id=e_3e419567cb76 source=n_0a143891e8bd edge_type=refutes target=n_992195429aed
t=0078 ADD_EDGE edge_id=e_1668393746df source=n_bd77bd07320d edge_type=refutes target=n_d2d3aabc5b3b
t=0079 ADD_EDGE edge_id=e_c4283ef870af source=n_a99b8b970e43 edge_type=refutes target=n_c0c6dd7495ba
t=0080 ADD_EDGE edge_id=e_4b42dcebb5a3 source=n_41eb84099e3b edge_type=supports target=n_905e832ed34f
t=0081 ADD_EDGE edge_id=e_8b7c58b17682 source=n_c016cd53bf76 edge_type=supports target=n_3298e55a658f
t=0082 ADD_EDGE edge_id=e_9f47adeb78af source=n_73c28b956e2a edge_type=supports target=n_ef6e8bf191b1
t=0083 ADD_EDGE edge_id=e_c18f67665ade source=n_cd789eb2c5b9 edge_type=refutes target=n_bf8e8c3b6433
t=0084 ADD_EDGE edge_id=e_d323f3df83da source=n_a99b8b970e43 edge_type=refutes target=n_1ec4536e2aa7
t=0085 ADD_EDGE edge_id=e_715ce75f059d source=n_4772d227da2e edge_type=supports target=n_68a434898c3c
t=0086 ADD_EDGE edge_id=e_6d7da78783b2 source=n_c016cd53bf76 edge_type=supports target=n_38eb508024a1
t=0087 ADD_EDGE edge_id=e_5e1d842c1456 source=n_5405b7be70e1 edge_type=supports target=n_cd789eb2c5b9
t=0088 ADD_EDGE edge_id=e_7703e6a844a8 source=n_3c7c3426ef89 edge_type=supports target=n_4772d227da2e
t=0089 ADD_EDGE edge_id=e_6752249a1e25 source=n_c3fdddedad5e edge_type=refutes target=n_ae0c7b9028cf
t=0090 ADD_EDGE edge_id=e_715f1de048fe source=n_68a434898c3c edge_type=refutes target=n_d862f11d928a
t=0091 ADD_EDGE edge_id=e_8891b3b63a86 source=n_05376da1d428 edge_type=supports target=n_99b17cc4d28a
t=0092 ADD_EDGE edge_id=e_fd48342fed32 source=n_41eb84099e3b edge_type=supports target=n_7c5d855f8360
t=0093 ADD_EDGE edge_id=e_0332c271c05f source=n_41eb84099e3b edge_type=supports target=n_8220ce514c3f
t=0094 ADD_EDGE edge_id=e_78ecce59adc8 source=n_3298e55a658f edge_type=refutes target=n_e05bdc261de2
t=0095 ADD_EDGE edge_id=e_1fb2c1e16d8b source=n_356e8de6a352 edge_type=refutes target=n_2777fdd9f183
t=0096 ADD_EDGE edge_id=e_3dff2253d5e5 source=n_4277b4f8c030 edge_type=supports target=n_c3fdddedad5e
t=0097 ADD_EDGE edge_id=e_5e879b9671b6 source=n_992195429aed edge_type=refutes target=n_9443e04a991a
t=0098 ADD_EDGE edge_id=e_bb5f3c9ab72f source=n_9443e04a991a edge_type=refutes target=n_fe33f6e5a92f
t=0099 ADD_EDGE edge_id=e_3e5e2c79a924 source=n_9021c4652229 edge_type=supports target=n_3c7c3426ef89
t=0100 ADD_EDGE edge_id=e_1e32cd718924 source=n_b76c60b8b289 edge_type=refutes target=n_bd77bd07320d
t=0101 ADD_EDGE edge_id=e_5c494da5db3b source=n_2c1e1854e92d edge_type=refutes target=n_ffda2340ba3f
t=0102 ADD_EDGE edge_id=e_8373b44a85fc source=n_a99b8b970e43 edge_type=refutes target=n_f8f5b5cb4a5f
t=0103 ADD_EDGE edge_id=e_2f9c54b26aed source=n_3c7c3426ef89 edge_type=refutes target=n_0a143891e8bd
t=0104 ADD_EDGE edge_id=e_ae71dcbcc0f6 source=n_b323a17e8caa edge_type=refutes target=n_ee4523e3017e
t=0105 ADD_EDGE edge_id=e_969023a4c418 source=n_47492f42970d edge_type=supports target=n_c729e44d46e7
t=0106 ADD_EDGE edge_id=e_c7f009b2216e source=n_73c28b956e2a edge_type=supports target=n_47492f42970d
t=0107 ADD_EDGE edge_id=e_01d258b28c8b source=n_68a434898c3c edge_type=supports target=n_7eda62b62085
t=0108 ADD_EDGE edge_id=e_6409a52e3f15 source=n_4772d227da2e edge_type=supports target=n_22275f1d7f60
t=0109 ADD_EDGE edge_id=e_b1cc5a60a5ce source=n_ae0c7b9028cf edge_type=refutes target=n_261b1cae1ded
t=0110 ADD_EDGE edge_id=e_7a94b944dad4 source=n_d862f11d928a edge_type=supports target=n_a260337fddc6
t=0111 ADD_EDGE edge_id=e_f76775e79942 source=n_261b1cae1ded edge_type=refutes target=n_117f6cf29a72
t=0112 ADD_EDGE edge_id=e_1c012b81ca79 source=n_05376da1d428 edge_type=supports target=n_853e3ddd48e2
t=0113 ADD_EDGE edge_id=e_bcc77b9f862a source=n_4772d227da2e edge_type=refutes target=n_a99b8b970e43
t=0114 ADD_EDGE edge_id=e_410f236e6d04 source=n_fe33f6e5a92f edge_type=supports target=n_44bc39939bbc
t=0115 QUERY source=n_b323a17e8caa target=n_e05bdc261de2
[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_5d67587f3d6f node_type=claim
t=0001 CREATE_NODE id=n_004fa2ef9ec9 node_type=claim
t=0002 CREATE_NODE id=n_ee5781c23ebc node_type=claim
t=0003 CREATE_NODE id=n_e717a7d17311 node_type=claim
t=0004 CREATE_NODE id=n_d3d0f4be1a99 node_type=claim
t=0005 CREATE_NODE id=n_a3b0fd58e764 node_type=claim
t=0006 CREATE_NODE id=n_3d42f773f775 node_type=claim
t=0007 CREATE_NODE id=n_b75bf3c191f6 node_type=claim
t=0008 CREATE_NODE id=n_9ae07b28964b node_type=claim
t=0009 CREATE_NODE id=n_c53bd09eaa60 node_type=claim
t=0010 CREATE_NODE id=n_cb147796cc38 node_type=claim
t=0011 CREATE_NODE id=n_71f0afbf80cf node_type=claim
t=0012 CREATE_NODE id=n_df272bf4da5b node_type=claim
t=0013 CREATE_NODE id=n_dc92d4831928 node_type=claim
t=0014 CREATE_NODE id=n_cc74c679eaa0 node_type=claim
t=0015 CREATE_NODE id=n_899317ac07c5 node_type=claim
t=0016 CREATE_NODE id=n_4b5a70e458ac node_type=claim
t=0017 CREATE_NODE id=n_a3c2f39c1608 node_type=claim
t=0018 CREATE_NODE id=n_ea380c685a55 node_type=claim
t=0019 CREATE_NODE id=n_6cc4e4e92fd9 node_type=claim
t=0020 CREATE_NODE id=n_bce7e8bf4587 node_type=claim
t=0021 CREATE_NODE id=n_3317ec2a57a1 node_type=claim
t=0022 CREATE_NODE id=n_a3bacb0be5f3 node_type=claim
t=0023 CREATE_NODE id=n_23d3b65d4934 node_type=claim
t=0024 CREATE_NODE id=n_0f1278889573 node_type=claim
t=0025 CREATE_NODE id=n_6376e0379fbb node_type=claim
t=0026 CREATE_NODE id=n_b92d8cce3c49 node_type=claim
t=0027 CREATE_NODE id=n_50538d091dc9 node_type=claim
t=0028 CREATE_NODE id=n_1c5817a3813f node_type=claim
t=0029 CREATE_NODE id=n_edda6b33cfcf node_type=claim
t=0030 CREATE_NODE id=n_97578cc24920 node_type=claim
t=0031 CREATE_NODE id=n_9902c1687b8e node_type=claim
t=0032 CREATE_NODE id=n_d1f65c5acccb node_type=claim
t=0033 CREATE_NODE id=n_0784916f0bcb node_type=claim
t=0034 CREATE_NODE id=n_f3ffcf03397b node_type=claim
t=0035 CREATE_NODE id=n_a82fcf2546a2 node_type=claim
t=0036 CREATE_NODE id=n_fc908f9148b8 node_type=claim
t=0037 CREATE_NODE id=n_62c2a199372c node_type=claim
t=0038 CREATE_NODE id=n_fc01d6e6a54a node_type=claim
t=0039 CREATE_NODE id=n_8eecc69f025e node_type=claim
t=0040 CREATE_NODE id=n_3ab6d0b46fd1 node_type=claim
t=0041 CREATE_NODE id=n_b715f056ca79 node_type=claim
t=0042 CREATE_NODE id=n_be34ab414b9b node_type=claim
t=0043 CREATE_NODE id=n_c70204e58e38 node_type=claim
t=0044 CREATE_NODE id=n_3e4ddd267adb node_type=claim
t=0045 CREATE_NODE id=n_8c4e5b28b23f node_type=claim
t=0046 CREATE_NODE id=n_1a5293b2459a node_type=claim
t=0047 CREATE_NODE id=n_64f22165fb42 node_type=claim
t=0048 CREATE_NODE id=n_333433d1819a node_type=claim
t=0049 CREATE_NODE id=n_206b3800902b node_type=claim
t=0050 CREATE_NODE id=n_96ab4695424b node_type=claim
t=0051 CREATE_NODE id=n_bb82cfe63c95 node_type=claim
t=0052 CREATE_NODE id=n_a130be36868a node_type=claim
t=0053 CREATE_NODE id=n_a79a357bd2af node_type=claim
t=0054 CREATE_NODE id=n_95fe4ea3dad2 node_type=claim
t=0055 CREATE_NODE id=n_8c07ce01f807 node_type=claim
t=0056 CREATE_NODE id=n_ab38c6e02e18 node_type=claim
t=0057 CREATE_NODE id=n_784c7ada7327 node_type=claim
t=0058 ASSERT_ROOT node=n_ab38c6e02e18 value=TRUE
t=0059 ADD_EDGE edge_id=e_45f8655077cd source=n_3e4ddd267adb edge_type=refutes target=n_fc01d6e6a54a
t=0060 ADD_EDGE edge_id=e_df50920db437 source=n_a3b0fd58e764 edge_type=supports target=n_dc92d4831928
t=0061 ADD_EDGE edge_id=e_f288afd5eceb source=n_a79a357bd2af edge_type=refutes target=n_be34ab414b9b
t=0062 ADD_EDGE edge_id=e_31b26194e052 source=n_206b3800902b edge_type=supports target=n_96ab4695424b
t=0063 ADD_EDGE edge_id=e_6a532417dd23 source=n_8eecc69f025e edge_type=supports target=n_899317ac07c5
t=0064 ADD_EDGE edge_id=e_4ba449799102 source=n_62c2a199372c edge_type=supports target=n_a82fcf2546a2
t=0065 ADD_EDGE edge_id=e_c9a1864b76c3 source=n_62c2a199372c edge_type=supports target=n_23d3b65d4934
t=0066 ADD_EDGE edge_id=e_f8703ce632e3 source=n_a3b0fd58e764 edge_type=supports target=n_6376e0379fbb
t=0067 ADD_EDGE edge_id=e_a5a6d437d863 source=n_fc01d6e6a54a edge_type=refutes target=n_1a5293b2459a
t=0068 ADD_EDGE edge_id=e_8f46983f4122 source=n_5d67587f3d6f edge_type=refutes target=n_b92d8cce3c49
t=0069 ADD_EDGE edge_id=e_127cddf8ec96 source=n_a79a357bd2af edge_type=supports target=n_0f1278889573
t=0070 ADD_EDGE edge_id=e_fc6edaac550f source=n_dc92d4831928 edge_type=refutes target=n_9ae07b28964b
t=0071 ADD_EDGE edge_id=e_f4f2a947925b source=n_3e4ddd267adb edge_type=supports target=n_4b5a70e458ac
t=0072 ADD_EDGE edge_id=e_ca2658895a9a source=n_3ab6d0b46fd1 edge_type=supports target=n_ee5781c23ebc
t=0073 ADD_EDGE edge_id=e_371ecc96d536 source=n_a3c2f39c1608 edge_type=refutes target=n_b715f056ca79
t=0074 ADD_EDGE edge_id=e_de27968c3637 source=n_b92d8cce3c49 edge_type=supports target=n_a3bacb0be5f3
t=0075 ADD_EDGE edge_id=e_7ee45414ff63 source=n_71f0afbf80cf edge_type=refutes target=n_95fe4ea3dad2
t=0076 ADD_EDGE edge_id=e_bbff0fa73f35 source=n_9ae07b28964b edge_type=refutes target=n_784c7ada7327
t=0077 ADD_EDGE edge_id=e_485bd6a82635 source=n_b75bf3c191f6 edge_type=refutes target=n_f3ffcf03397b
t=0078 ADD_EDGE edge_id=e_f41726b55864 source=n_edda6b33cfcf edge_type=refutes target=n_1c5817a3813f
t=0079 ADD_EDGE edge_id=e_eac900119e85 source=n_cb147796cc38 edge_type=refutes target=n_004fa2ef9ec9
t=0080 ADD_EDGE edge_id=e_47d61548d036 source=n_64f22165fb42 edge_type=supports target=n_df272bf4da5b
t=0081 ADD_EDGE edge_id=e_b0d1f2a6c992 source=n_cc74c679eaa0 edge_type=refutes target=n_64f22165fb42
t=0082 ADD_EDGE edge_id=e_b8c2041dc03a source=n_b75bf3c191f6 edge_type=supports target=n_3317ec2a57a1
t=0083 ADD_EDGE edge_id=e_ca83df9428ef source=n_fc01d6e6a54a edge_type=supports target=n_333433d1819a
t=0084 ADD_EDGE edge_id=e_381c56b30a6c source=n_a82fcf2546a2 edge_type=supports target=n_bce7e8bf4587
t=0085 ADD_EDGE edge_id=e_06f063d5c1f4 source=n_fc01d6e6a54a edge_type=supports target=n_a3c2f39c1608
t=0086 ADD_EDGE edge_id=e_75397f6cb375 source=n_fc01d6e6a54a edge_type=supports target=n_8c4e5b28b23f
t=0087 ADD_EDGE edge_id=e_72de7fa0b3ea source=n_ab38c6e02e18 edge_type=refutes target=n_3d42f773f775
t=0088 ADD_EDGE edge_id=e_638843f3f030 source=n_0f1278889573 edge_type=refutes target=n_8eecc69f025e
t=0089 ADD_EDGE edge_id=e_18f20324deaf source=n_1c5817a3813f edge_type=refutes target=n_cc74c679eaa0
t=0090 ADD_EDGE edge_id=e_31be077e481e source=n_3d42f773f775 edge_type=refutes target=n_e717a7d17311
t=0091 ADD_EDGE edge_id=e_f1655e129bd9 source=n_784c7ada7327 edge_type=refutes target=n_8c07ce01f807
t=0092 ADD_EDGE edge_id=e_f7adcd861ddc source=n_d1f65c5acccb edge_type=refutes target=n_50538d091dc9
t=0093 ADD_EDGE edge_id=e_df19218c6187 source=n_96ab4695424b edge_type=supports target=n_c70204e58e38
t=0094 ADD_EDGE edge_id=e_dc2a2ed6a14a source=n_bb82cfe63c95 edge_type=supports target=n_d3d0f4be1a99
t=0095 ADD_EDGE edge_id=e_9730e91aea48 source=n_333433d1819a edge_type=supports target=n_d1f65c5acccb
t=0096 ADD_EDGE edge_id=e_3b95d206d472 source=n_a79a357bd2af edge_type=refutes target=n_71f0afbf80cf
t=0097 ADD_EDGE edge_id=e_3501b0d84505 source=n_a130be36868a edge_type=refutes target=n_a3b0fd58e764
t=0098 ADD_EDGE edge_id=e_2c9eeddd2863 source=n_64f22165fb42 edge_type=supports target=n_62c2a199372c
t=0099 ADD_EDGE edge_id=e_028bb26557c6 source=n_f3ffcf03397b edge_type=supports target=n_97578cc24920
t=0100 ADD_EDGE edge_id=e_594372de2a2e source=n_a3bacb0be5f3 edge_type=supports target=n_edda6b33cfcf
t=0101 ADD_EDGE edge_id=e_cc40a6779c70 source=n_c70204e58e38 edge_type=refutes target=n_3ab6d0b46fd1
t=0102 ADD_EDGE edge_id=e_114a070b2a7e source=n_4b5a70e458ac edge_type=supports target=n_b75bf3c191f6
t=0103 ADD_EDGE edge_id=e_cf84f7bbacb9 source=n_be34ab414b9b edge_type=supports target=n_ea380c685a55
t=0104 ADD_EDGE edge_id=e_bb2e38f5e65b source=n_a79a357bd2af edge_type=refutes target=n_cb147796cc38
t=0105 ADD_EDGE edge_id=e_340ec5952eb7 source=n_e717a7d17311 edge_type=refutes target=n_0784916f0bcb
t=0106 ADD_EDGE edge_id=e_994efe1103b3 source=n_0784916f0bcb edge_type=refutes target=n_5d67587f3d6f
t=0107 ADD_EDGE edge_id=e_9379532e7445 source=n_3317ec2a57a1 edge_type=refutes target=n_fc908f9148b8
t=0108 ADD_EDGE edge_id=e_fd79e551f6ed source=n_8eecc69f025e edge_type=refutes target=n_bb82cfe63c95
t=0109 ADD_EDGE edge_id=e_ff2b6208dae7 source=n_8eecc69f025e edge_type=supports target=n_6cc4e4e92fd9
t=0110 ADD_EDGE edge_id=e_ad8a272a98ac source=n_ee5781c23ebc edge_type=supports target=n_a130be36868a
t=0111 ADD_EDGE edge_id=e_9f246e3d7cbe source=n_bce7e8bf4587 edge_type=supports target=n_206b3800902b
t=0112 ADD_EDGE edge_id=e_e80bbecbdfa7 source=n_d1f65c5acccb edge_type=refutes target=n_a79a357bd2af
t=0113 ADD_EDGE edge_id=e_ca3cfcf3806a source=n_e717a7d17311 edge_type=supports target=n_c53bd09eaa60
t=0114 ADD_EDGE edge_id=e_f198908e59f0 source=n_9902c1687b8e edge_type=refutes target=n_3e4ddd267adb
t=0115 QUERY source=n_ab38c6e02e18 target=n_8c07ce01f807
[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_73653421bcea node_type=claim
t=0001 CREATE_NODE id=n_b659550b8b71 node_type=claim
t=0002 CREATE_NODE id=n_9c3bdbf360c3 node_type=claim
t=0003 CREATE_NODE id=n_23a80a5addf6 node_type=claim
t=0004 CREATE_NODE id=n_1b019cfcbab9 node_type=claim
t=0005 CREATE_NODE id=n_5a142f7b3285 node_type=claim
t=0006 CREATE_NODE id=n_1a5439755542 node_type=claim
t=0007 CREATE_NODE id=n_d9c45dfc94c2 node_type=claim
t=0008 CREATE_NODE id=n_a9a162f60f99 node_type=claim
t=0009 CREATE_NODE id=n_e1aa9980ebd2 node_type=claim
t=0010 CREATE_NODE id=n_070674f6eb99 node_type=claim
t=0011 CREATE_NODE id=n_df431360651d node_type=claim
t=0012 CREATE_NODE id=n_6193fe911f11 node_type=claim
t=0013 CREATE_NODE id=n_1b16c2301d19 node_type=claim
t=0014 CREATE_NODE id=n_03456851c4ab node_type=claim
t=0015 CREATE_NODE id=n_6f5d2d6ffd27 node_type=claim
t=0016 CREATE_NODE id=n_f050393e8f58 node_type=claim
t=0017 CREATE_NODE id=n_e25a66007f89 node_type=claim
t=0018 CREATE_NODE id=n_08fb85530b62 node_type=claim
t=0019 CREATE_NODE id=n_a024af210f5b node_type=claim
t=0020 CREATE_NODE id=n_15f771c712e5 node_type=claim
t=0021 CREATE_NODE id=n_7c336021452a node_type=claim
t=0022 CREATE_NODE id=n_67575100b865 node_type=claim
t=0023 CREATE_NODE id=n_64cc60351c30 node_type=claim
t=0024 CREATE_NODE id=n_6154ce8f8039 node_type=claim
t=0025 CREATE_NODE id=n_a8f89caa67b6 node_type=claim
t=0026 CREATE_NODE id=n_cf81994381e1 node_type=claim
t=0027 CREATE_NODE id=n_ee6f9db50894 node_type=claim
t=0028 CREATE_NODE id=n_1f64b4e952ac node_type=claim
t=0029 CREATE_NODE id=n_bd13d367a89b node_type=claim
t=0030 CREATE_NODE id=n_a523a66909ed node_type=claim
t=0031 CREATE_NODE id=n_0bdf840f9e2c node_type=claim
t=0032 CREATE_NODE id=n_1676ce83c0fc node_type=claim
t=0033 CREATE_NODE id=n_b0d232019b81 node_type=claim
t=0034 CREATE_NODE id=n_20781742a073 node_type=claim
t=0035 CREATE_NODE id=n_2259add3dc8d node_type=claim
t=0036 CREATE_NODE id=n_1e5263dedaf4 node_type=claim
t=0037 CREATE_NODE id=n_68e95ff068f2 node_type=claim
t=0038 CREATE_NODE id=n_4c335fd38c88 node_type=claim
t=0039 CREATE_NODE id=n_66e9fd0fdfb2 node_type=claim
t=0040 CREATE_NODE id=n_bb7becb9f1bf node_type=claim
t=0041 CREATE_NODE id=n_687c0775247a node_type=claim
t=0042 CREATE_NODE id=n_9223555363c2 node_type=claim
t=0043 CREATE_NODE id=n_d59276f765b1 node_type=claim
t=0044 CREATE_NODE id=n_fedcfbfb9fe1 node_type=claim
t=0045 CREATE_NODE id=n_daafb274e0f7 node_type=claim
t=0046 CREATE_NODE id=n_4439511acb34 node_type=claim
t=0047 CREATE_NODE id=n_46d917cffdb2 node_type=claim
t=0048 CREATE_NODE id=n_62ef42c3af1b node_type=claim
t=0049 CREATE_NODE id=n_eaa530b0387f node_type=claim
t=0050 CREATE_NODE id=n_ac87f029124f node_type=claim
t=0051 CREATE_NODE id=n_0166a8873ebf node_type=claim
t=0052 CREATE_NODE id=n_a2a3472221da node_type=claim
t=0053 CREATE_NODE id=n_e591702b8bb7 node_type=claim
t=0054 CREATE_NODE id=n_0e9fee39856b node_type=claim
t=0055 CREATE_NODE id=n_0dc11be208bc node_type=claim
t=0056 CREATE_NODE id=n_7d8f0f734fc5 node_type=claim
t=0057 CREATE_NODE id=n_550a40ba593c node_type=claim
t=0058 CREATE_NODE id=n_facac3dcb8f0 node_type=claim
t=0059 CREATE_NODE id=n_eddfdc3eae58 node_type=claim
t=0060 ASSERT_ROOT node=n_64cc60351c30 value=TRUE
t=0061 ADD_EDGE edge_id=e_4f42c636eb13 source=n_1a5439755542 edge_type=refutes target=n_ac87f029124f
t=0062 ADD_EDGE edge_id=e_65343bae3ad6 source=n_0e9fee39856b edge_type=refutes target=n_a024af210f5b
t=0063 ADD_EDGE edge_id=e_fdf7a138a7eb source=n_550a40ba593c edge_type=supports target=n_4439511acb34
t=0064 ADD_EDGE edge_id=e_98aa3708a5eb source=n_1676ce83c0fc edge_type=refutes target=n_e1aa9980ebd2
t=0065 ADD_EDGE edge_id=e_514162fae723 source=n_6f5d2d6ffd27 edge_type=supports target=n_2259add3dc8d
t=0066 ADD_EDGE edge_id=e_18da28844ebd source=n_e1aa9980ebd2 edge_type=supports target=n_687c0775247a
t=0067 ADD_EDGE edge_id=e_9882030f0644 source=n_62ef42c3af1b edge_type=supports target=n_7c336021452a
t=0068 ADD_EDGE edge_id=e_bb7cb58a5eb6 source=n_7c336021452a edge_type=supports target=n_15f771c712e5
t=0069 ADD_EDGE edge_id=e_0ecdd32f7af5 source=n_67575100b865 edge_type=refutes target=n_73653421bcea
t=0070 ADD_EDGE edge_id=e_09d987124994 source=n_5a142f7b3285 edge_type=refutes target=n_9223555363c2
t=0071 ADD_EDGE edge_id=e_f2303ba00ff6 source=n_0bdf840f9e2c edge_type=refutes target=n_0166a8873ebf
t=0072 ADD_EDGE edge_id=e_ab5f97b52585 source=n_bd13d367a89b edge_type=refutes target=n_b659550b8b71
t=0073 ADD_EDGE edge_id=e_aa7f41e62290 source=n_0166a8873ebf edge_type=supports target=n_5a142f7b3285
t=0074 ADD_EDGE edge_id=e_874ba4ac5769 source=n_9c3bdbf360c3 edge_type=refutes target=n_6f5d2d6ffd27
t=0075 ADD_EDGE edge_id=e_57abd2e170d1 source=n_a8f89caa67b6 edge_type=refutes target=n_eddfdc3eae58
t=0076 ADD_EDGE edge_id=e_404cd188631f source=n_6193fe911f11 edge_type=supports target=n_0e9fee39856b
t=0077 ADD_EDGE edge_id=e_2db036eb225a source=n_68e95ff068f2 edge_type=refutes target=n_46d917cffdb2
t=0078 ADD_EDGE edge_id=e_c3fc907a6351 source=n_eaa530b0387f edge_type=supports target=n_facac3dcb8f0
t=0079 ADD_EDGE edge_id=e_3138e56ab038 source=n_ac87f029124f edge_type=supports target=n_0dc11be208bc
t=0080 ADD_EDGE edge_id=e_d34597b9773f source=n_2259add3dc8d edge_type=refutes target=n_f050393e8f58
t=0081 ADD_EDGE edge_id=e_bfe075ea117d source=n_daafb274e0f7 edge_type=supports target=n_df431360651d
t=0082 ADD_EDGE edge_id=e_a24da94383d2 source=n_64cc60351c30 edge_type=supports target=n_03456851c4ab
t=0083 ADD_EDGE edge_id=e_66f9bde7a58d source=n_fedcfbfb9fe1 edge_type=refutes target=n_68e95ff068f2
t=0084 ADD_EDGE edge_id=e_7808447eb829 source=n_7d8f0f734fc5 edge_type=refutes target=n_20781742a073
t=0085 ADD_EDGE edge_id=e_be6fc8ebfcdd source=n_20781742a073 edge_type=refutes target=n_67575100b865
t=0086 ADD_EDGE edge_id=e_59eeed1b36ee source=n_66e9fd0fdfb2 edge_type=supports target=n_ee6f9db50894
t=0087 ADD_EDGE edge_id=e_49845b4540e4 source=n_4439511acb34 edge_type=refutes target=n_a523a66909ed
t=0088 ADD_EDGE edge_id=e_4ccdc58ae52d source=n_46d917cffdb2 edge_type=supports target=n_1a5439755542
t=0089 ADD_EDGE edge_id=e_746b4d061df6 source=n_20781742a073 edge_type=refutes target=n_550a40ba593c
t=0090 ADD_EDGE edge_id=e_d3f809d1f903 source=n_e25a66007f89 edge_type=refutes target=n_bb7becb9f1bf
t=0091 ADD_EDGE edge_id=e_2830450e5d91 source=n_550a40ba593c edge_type=supports target=n_1e5263dedaf4
t=0092 ADD_EDGE edge_id=e_f4d3a84839d8 source=n_2259add3dc8d edge_type=supports target=n_bd13d367a89b
t=0093 ADD_EDGE edge_id=e_b67992db1f1f source=n_facac3dcb8f0 edge_type=supports target=n_fedcfbfb9fe1
t=0094 ADD_EDGE edge_id=e_9032953437d6 source=n_4439511acb34 edge_type=supports target=n_a8f89caa67b6
t=0095 ADD_EDGE edge_id=e_fa100fa8245f source=n_e25a66007f89 edge_type=refutes target=n_08fb85530b62
t=0096 ADD_EDGE edge_id=e_9e9fd03c55a8 source=n_d9c45dfc94c2 edge_type=supports target=n_6154ce8f8039
t=0097 ADD_EDGE edge_id=e_91a7dc9389db source=n_0e9fee39856b edge_type=refutes target=n_a9a162f60f99
t=0098 ADD_EDGE edge_id=e_c20d3f86fc96 source=n_9c3bdbf360c3 edge_type=refutes target=n_daafb274e0f7
t=0099 ADD_EDGE edge_id=e_606438f08742 source=n_03456851c4ab edge_type=refutes target=n_23a80a5addf6
t=0100 ADD_EDGE edge_id=e_01402dbc8b04 source=n_20781742a073 edge_type=refutes target=n_e25a66007f89
t=0101 ADD_EDGE edge_id=e_755d34caac65 source=n_0dc11be208bc edge_type=refutes target=n_0bdf840f9e2c
t=0102 ADD_EDGE edge_id=e_2e8543a8acfc source=n_e591702b8bb7 edge_type=supports target=n_a2a3472221da
t=0103 ADD_EDGE edge_id=e_b81a3016520a source=n_a024af210f5b edge_type=refutes target=n_d9c45dfc94c2
t=0104 ADD_EDGE edge_id=e_3050127805e5 source=n_62ef42c3af1b edge_type=supports target=n_b0d232019b81
t=0105 ADD_EDGE edge_id=e_d338cbf20ee8 source=n_9223555363c2 edge_type=refutes target=n_66e9fd0fdfb2
t=0106 ADD_EDGE edge_id=e_f04b3dee588f source=n_62ef42c3af1b edge_type=supports target=n_1b019cfcbab9
t=0107 ADD_EDGE edge_id=e_f5f9aa04297c source=n_23a80a5addf6 edge_type=supports target=n_070674f6eb99
t=0108 ADD_EDGE edge_id=e_f909144f97d6 source=n_20781742a073 edge_type=supports target=n_9c3bdbf360c3
t=0109 ADD_EDGE edge_id=e_8a33280a1298 source=n_cf81994381e1 edge_type=supports target=n_6193fe911f11
t=0110 ADD_EDGE edge_id=e_bb12483f38f1 source=n_bd13d367a89b edge_type=supports target=n_1b16c2301d19
t=0111 ADD_EDGE edge_id=e_e4c090430009 source=n_03456851c4ab edge_type=refutes target=n_1f64b4e952ac
t=0112 ADD_EDGE edge_id=e_d60c3a2d528d source=n_070674f6eb99 edge_type=refutes target=n_1676ce83c0fc
t=0113 ADD_EDGE edge_id=e_a56033e7c7d1 source=n_a2a3472221da edge_type=refutes target=n_d59276f765b1
t=0114 ADD_EDGE edge_id=e_2492066d3c65 source=n_b0d232019b81 edge_type=supports target=n_7d8f0f734fc5
t=0115 ADD_EDGE edge_id=e_a049ebf531f5 source=n_f050393e8f58 edge_type=refutes target=n_e591702b8bb7
t=0116 ADD_EDGE edge_id=e_16d8f9024f9a source=n_687c0775247a edge_type=supports target=n_cf81994381e1
t=0117 ADD_EDGE edge_id=e_7601423be267 source=n_1676ce83c0fc edge_type=supports target=n_4c335fd38c88
t=0118 ADD_EDGE edge_id=e_be6016758825 source=n_6154ce8f8039 edge_type=supports target=n_eaa530b0387f
t=0119 QUERY source=n_64cc60351c30 target=n_66e9fd0fdfb2
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.