[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_32836454f4ab node_type=claim
t=0001 CREATE_NODE id=n_7b571a1f742a node_type=claim
t=0002 CREATE_NODE id=n_0ddd96542bb0 node_type=claim
t=0003 CREATE_NODE id=n_006319793212 node_type=claim
t=0004 CREATE_NODE id=n_804606fae7a1 node_type=claim
t=0005 CREATE_NODE id=n_a3f236847028 node_type=claim
t=0006 CREATE_NODE id=n_b8fef66d6ced node_type=claim
t=0007 CREATE_NODE id=n_3707e71ae2db node_type=claim
t=0008 CREATE_NODE id=n_0f7ea82115b3 node_type=claim
t=0009 CREATE_NODE id=n_1986a3d5f322 node_type=claim
t=0010 CREATE_NODE id=n_c1944732cec4 node_type=claim
t=0011 CREATE_NODE id=n_3fcef1578105 node_type=claim
t=0012 CREATE_NODE id=n_fe32d8eeec48 node_type=claim
t=0013 CREATE_NODE id=n_0486fbcf862f node_type=claim
t=0014 CREATE_NODE id=n_3f260bd3d415 node_type=claim
t=0015 CREATE_NODE id=n_b7621e525e1c node_type=claim
t=0016 CREATE_NODE id=n_548e4429e5cb node_type=claim
t=0017 CREATE_NODE id=n_55144b8f0f2f node_type=claim
t=0018 CREATE_NODE id=n_f709fb2241a4 node_type=claim
t=0019 CREATE_NODE id=n_397560bc4768 node_type=claim
t=0020 CREATE_NODE id=n_189c17eb12ae node_type=claim
t=0021 CREATE_NODE id=n_2cbf7a12ce8d node_type=claim
t=0022 CREATE_NODE id=n_61d558f59494 node_type=claim
t=0023 CREATE_NODE id=n_bd16177be601 node_type=claim
t=0024 CREATE_NODE id=n_fd722ce67d48 node_type=claim
t=0025 CREATE_NODE id=n_2fa06db5c394 node_type=claim
t=0026 CREATE_NODE id=n_5b9222222437 node_type=claim
t=0027 CREATE_NODE id=n_a7f1da3be59a node_type=claim
t=0028 CREATE_NODE id=n_a69a88c0bae3 node_type=claim
t=0029 CREATE_NODE id=n_5c3edf3877e1 node_type=claim
t=0030 CREATE_NODE id=n_75211cadb9b9 node_type=claim
t=0031 CREATE_NODE id=n_3a7b63fc2b1a node_type=claim
t=0032 CREATE_NODE id=n_4a87e5510a78 node_type=claim
t=0033 CREATE_NODE id=n_ffc1d856d787 node_type=claim
t=0034 CREATE_NODE id=n_ba71708601da node_type=claim
t=0035 CREATE_NODE id=n_e0d3b399ea21 node_type=claim
t=0036 CREATE_NODE id=n_f4ab908072e7 node_type=claim
t=0037 CREATE_NODE id=n_6fa39dcb71ee node_type=claim
t=0038 CREATE_NODE id=n_adfe707f64c1 node_type=claim
t=0039 CREATE_NODE id=n_e0e41ffeb47d node_type=claim
t=0040 CREATE_NODE id=n_6f022405ef0b node_type=claim
t=0041 CREATE_NODE id=n_cff430041764 node_type=claim
t=0042 CREATE_NODE id=n_0c77deed16b4 node_type=claim
t=0043 CREATE_NODE id=n_a4314a2f5a7c node_type=claim
t=0044 CREATE_NODE id=n_1d3289c9020e node_type=claim
t=0045 CREATE_NODE id=n_a72d8bb0c43d node_type=claim
t=0046 CREATE_NODE id=n_b275b62451c4 node_type=claim
t=0047 CREATE_NODE id=n_ad97e5726259 node_type=claim
t=0048 CREATE_NODE id=n_c1dfee3500b5 node_type=claim
t=0049 CREATE_NODE id=n_eab7f8ddf960 node_type=claim
t=0050 CREATE_NODE id=n_71e427bad845 node_type=claim
t=0051 CREATE_NODE id=n_5f396451b99b node_type=claim
t=0052 CREATE_NODE id=n_5ad715b35a3c node_type=claim
t=0053 CREATE_NODE id=n_27ce8ec21f70 node_type=claim
t=0054 CREATE_NODE id=n_19427372191a node_type=claim
t=0055 CREATE_NODE id=n_2cb1e28cadc8 node_type=claim
t=0056 CREATE_NODE id=n_62f0124f3665 node_type=claim
t=0057 CREATE_NODE id=n_01faa706f50f node_type=claim
t=0058 CREATE_NODE id=n_51c40bc8219a node_type=claim
t=0059 CREATE_NODE id=n_ad02aea888c8 node_type=claim
t=0060 CREATE_NODE id=n_c1cc5c320f8d node_type=claim
t=0061 CREATE_NODE id=n_679c4cb8f729 node_type=claim
t=0062 CREATE_NODE id=n_3abd66d3dc89 node_type=claim
t=0063 CREATE_NODE id=n_4e2a79146f56 node_type=claim
t=0064 CREATE_NODE id=n_6ec60c0cbb40 node_type=claim
t=0065 CREATE_NODE id=n_87b402ac8fbc node_type=claim
t=0066 ASSERT_ROOT node=n_4a87e5510a78 value=FALSE
t=0067 ADD_EDGE edge_id=e_901244d10b00 source=n_0486fbcf862f edge_type=supports target=n_61d558f59494
t=0068 ADD_EDGE edge_id=e_9bd05094dff4 source=n_b7621e525e1c edge_type=supports target=n_2fa06db5c394
t=0069 ADD_EDGE edge_id=e_f353c53224ce source=n_c1dfee3500b5 edge_type=supports target=n_3a7b63fc2b1a
t=0070 ADD_EDGE edge_id=e_df4a6a571a9d source=n_fd722ce67d48 edge_type=refutes target=n_c1cc5c320f8d
t=0071 ADD_EDGE edge_id=e_6fbd042dc261 source=n_ad02aea888c8 edge_type=refutes target=n_3fcef1578105
t=0072 ADD_EDGE edge_id=e_439d5804955f source=n_32836454f4ab edge_type=refutes target=n_01faa706f50f
t=0073 ADD_EDGE edge_id=e_53c3dd108de7 source=n_55144b8f0f2f edge_type=supports target=n_006319793212
t=0074 ADD_EDGE edge_id=e_578aa2cb1ff0 source=n_75211cadb9b9 edge_type=supports target=n_0ddd96542bb0
t=0075 ADD_EDGE edge_id=e_64a00a04e717 source=n_679c4cb8f729 edge_type=supports target=n_fe32d8eeec48
t=0076 ADD_EDGE edge_id=e_e886c9b1f053 source=n_a4314a2f5a7c edge_type=refutes target=n_b275b62451c4
t=0077 ADD_EDGE edge_id=e_5d9e48ff3b29 source=n_b275b62451c4 edge_type=refutes target=n_27ce8ec21f70
t=0078 ADD_EDGE edge_id=e_694bca358519 source=n_804606fae7a1 edge_type=supports target=n_1986a3d5f322
t=0079 ADD_EDGE edge_id=e_b39747c79778 source=n_1d3289c9020e edge_type=supports target=n_ba71708601da
t=0080 ADD_EDGE edge_id=e_b75825b6cb98 source=n_a3f236847028 edge_type=refutes target=n_55144b8f0f2f
t=0081 ADD_EDGE edge_id=e_b5df962f91f1 source=n_6fa39dcb71ee edge_type=supports target=n_eab7f8ddf960
t=0082 ADD_EDGE edge_id=e_992d2bd1c484 source=n_3abd66d3dc89 edge_type=refutes target=n_548e4429e5cb
t=0083 ADD_EDGE edge_id=e_d080e3d6989f source=n_b7621e525e1c edge_type=refutes target=n_804606fae7a1
t=0084 ADD_EDGE edge_id=e_b89ff621cbc6 source=n_0c77deed16b4 edge_type=refutes target=n_f4ab908072e7
t=0085 ADD_EDGE edge_id=e_7f09b4cce330 source=n_e0d3b399ea21 edge_type=supports target=n_5ad715b35a3c
t=0086 ADD_EDGE edge_id=e_087ac9b7d920 source=n_71e427bad845 edge_type=refutes target=n_b8fef66d6ced
t=0087 ADD_EDGE edge_id=e_f66c23a8cfeb source=n_62f0124f3665 edge_type=refutes target=n_0486fbcf862f
t=0088 ADD_EDGE edge_id=e_d2cf5443dfb8 source=n_0c77deed16b4 edge_type=supports target=n_fd722ce67d48
t=0089 ADD_EDGE edge_id=e_86d470389198 source=n_bd16177be601 edge_type=refutes target=n_6f022405ef0b
t=0090 ADD_EDGE edge_id=e_0b1a99573197 source=n_a72d8bb0c43d edge_type=supports target=n_3abd66d3dc89
t=0091 ADD_EDGE edge_id=e_35c48d01717c source=n_c1dfee3500b5 edge_type=refutes target=n_adfe707f64c1
t=0092 ADD_EDGE edge_id=e_6da0a329a148 source=n_0c77deed16b4 edge_type=refutes target=n_62f0124f3665
t=0093 ADD_EDGE edge_id=e_cc07bd50955a source=n_5f396451b99b edge_type=supports target=n_5b9222222437
t=0094 ADD_EDGE edge_id=e_def01357b043 source=n_a69a88c0bae3 edge_type=supports target=n_679c4cb8f729
t=0095 ADD_EDGE edge_id=e_3fcb5560d397 source=n_a3f236847028 edge_type=supports target=n_6ec60c0cbb40
t=0096 ADD_EDGE edge_id=e_ef56328c1030 source=n_eab7f8ddf960 edge_type=supports target=n_c1dfee3500b5
t=0097 ADD_EDGE edge_id=e_7cb48caa3bea source=n_a4314a2f5a7c edge_type=refutes target=n_3707e71ae2db
t=0098 ADD_EDGE edge_id=e_65133cdea74f source=n_4a87e5510a78 edge_type=supports target=n_ffc1d856d787
t=0099 ADD_EDGE edge_id=e_9190f44282ca source=n_5c3edf3877e1 edge_type=refutes target=n_a3f236847028
t=0100 ADD_EDGE edge_id=e_09492dd40fa8 source=n_804606fae7a1 edge_type=supports target=n_2cbf7a12ce8d
t=0101 ADD_EDGE edge_id=e_8d55195a3e2f source=n_804606fae7a1 edge_type=refutes target=n_87b402ac8fbc
t=0102 ADD_EDGE edge_id=e_45641a7407b0 source=n_0c77deed16b4 edge_type=refutes target=n_f709fb2241a4
t=0103 ADD_EDGE edge_id=e_19b5977b1ab8 source=n_b7621e525e1c edge_type=supports target=n_0c77deed16b4
t=0104 ADD_EDGE edge_id=e_04e0df7ea084 source=n_71e427bad845 edge_type=supports target=n_75211cadb9b9
t=0105 ADD_EDGE edge_id=e_3b68196dbea9 source=n_6ec60c0cbb40 edge_type=refutes target=n_51c40bc8219a
t=0106 ADD_EDGE edge_id=e_4be76b1bdbda source=n_0f7ea82115b3 edge_type=supports target=n_397560bc4768
t=0107 ADD_EDGE edge_id=e_35b459dca829 source=n_4a87e5510a78 edge_type=supports target=n_e0e41ffeb47d
t=0108 ADD_EDGE edge_id=e_10e546e9f345 source=n_ffc1d856d787 edge_type=refutes target=n_0f7ea82115b3
t=0109 ADD_EDGE edge_id=e_17f143af915c source=n_6f022405ef0b edge_type=supports target=n_a69a88c0bae3
t=0110 ADD_EDGE edge_id=e_e425fdeec174 source=n_b7621e525e1c edge_type=refutes target=n_5c3edf3877e1
t=0111 ADD_EDGE edge_id=e_ff90491f2e9e source=n_b7621e525e1c edge_type=supports target=n_7b571a1f742a
t=0112 ADD_EDGE edge_id=e_143ca12edc2f source=n_189c17eb12ae edge_type=supports target=n_19427372191a
t=0113 ADD_EDGE edge_id=e_9783fe43fde8 source=n_548e4429e5cb edge_type=supports target=n_e0d3b399ea21
t=0114 ADD_EDGE edge_id=e_e1dfdb990cc6 source=n_5f396451b99b edge_type=refutes target=n_c1944732cec4
t=0115 ADD_EDGE edge_id=e_027efd571147 source=n_0486fbcf862f edge_type=refutes target=n_1d3289c9020e
t=0116 ADD_EDGE edge_id=e_1db6d5980c6f source=n_397560bc4768 edge_type=supports target=n_a7f1da3be59a
t=0117 ADD_EDGE edge_id=e_bc75106cdba7 source=n_a4314a2f5a7c edge_type=refutes target=n_ad97e5726259
t=0118 ADD_EDGE edge_id=e_5d8365e8a6fa source=n_2cb1e28cadc8 edge_type=supports target=n_a72d8bb0c43d
t=0119 ADD_EDGE edge_id=e_36a2302c3e70 source=n_2fa06db5c394 edge_type=refutes target=n_cff430041764
t=0120 ADD_EDGE edge_id=e_f4a998d4939a source=n_0ddd96542bb0 edge_type=refutes target=n_6fa39dcb71ee
t=0121 ADD_EDGE edge_id=e_8241384a813a source=n_b7621e525e1c edge_type=supports target=n_5f396451b99b
t=0122 ADD_EDGE edge_id=e_3a294e88c47d source=n_adfe707f64c1 edge_type=refutes target=n_32836454f4ab
t=0123 ADD_EDGE edge_id=e_a142078d884b source=n_19427372191a edge_type=refutes target=n_71e427bad845
t=0124 ADD_EDGE edge_id=e_a1bc981b4677 source=n_5ad715b35a3c edge_type=refutes target=n_bd16177be601
t=0125 ADD_EDGE edge_id=e_2ea02a6ca237 source=n_a7f1da3be59a edge_type=supports target=n_3f260bd3d415
t=0126 ADD_EDGE edge_id=e_70232cd0cab7 source=n_0486fbcf862f edge_type=refutes target=n_4e2a79146f56
t=0127 ADD_EDGE edge_id=e_e7b9574e8bee source=n_01faa706f50f edge_type=refutes target=n_2cb1e28cadc8
t=0128 ADD_EDGE edge_id=e_afc7d821baf0 source=n_fe32d8eeec48 edge_type=refutes target=n_ad02aea888c8
t=0129 ADD_EDGE edge_id=e_c49fcd90664a source=n_a4314a2f5a7c edge_type=supports target=n_b7621e525e1c
t=0130 ADD_EDGE edge_id=e_5e6b1364718f source=n_3f260bd3d415 edge_type=supports target=n_189c17eb12ae
t=0131 QUERY source=n_4a87e5510a78 target=n_ad02aea888c8
[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_2fd8727b8201 node_type=claim
t=0001 CREATE_NODE id=n_4e5b3b244e49 node_type=claim
t=0002 CREATE_NODE id=n_4f761a984f7b node_type=claim
t=0003 CREATE_NODE id=n_0fcc429000b1 node_type=claim
t=0004 CREATE_NODE id=n_0bbf6203415e node_type=claim
t=0005 CREATE_NODE id=n_5eb0988606cd node_type=claim
t=0006 CREATE_NODE id=n_f2f0573fa054 node_type=claim
t=0007 CREATE_NODE id=n_b04a23217b64 node_type=claim
t=0008 CREATE_NODE id=n_b89434526ac2 node_type=claim
t=0009 CREATE_NODE id=n_de4bf5fa3542 node_type=claim
t=0010 CREATE_NODE id=n_f8225ede0569 node_type=claim
t=0011 CREATE_NODE id=n_8e7395b74dc4 node_type=claim
t=0012 CREATE_NODE id=n_3a54f5923fa0 node_type=claim
t=0013 CREATE_NODE id=n_eb5d4a5ee625 node_type=claim
t=0014 CREATE_NODE id=n_33f5d29dfbad node_type=claim
t=0015 CREATE_NODE id=n_443e234161a8 node_type=claim
t=0016 CREATE_NODE id=n_6b57ee23d5ad node_type=claim
t=0017 CREATE_NODE id=n_b405b63c51c8 node_type=claim
t=0018 CREATE_NODE id=n_8e15c2d5736f node_type=claim
t=0019 CREATE_NODE id=n_1f674e066a02 node_type=claim
t=0020 CREATE_NODE id=n_807daa783347 node_type=claim
t=0021 CREATE_NODE id=n_df2651476001 node_type=claim
t=0022 CREATE_NODE id=n_0ee123400b13 node_type=claim
t=0023 CREATE_NODE id=n_5bc1b929713b node_type=claim
t=0024 CREATE_NODE id=n_fa49e4ab0c97 node_type=claim
t=0025 CREATE_NODE id=n_2944aaebabc1 node_type=claim
t=0026 CREATE_NODE id=n_10ad0555ce73 node_type=claim
t=0027 CREATE_NODE id=n_af177eeca88c node_type=claim
t=0028 CREATE_NODE id=n_1be14214ccc2 node_type=claim
t=0029 CREATE_NODE id=n_f8d91d887230 node_type=claim
t=0030 CREATE_NODE id=n_8f7d074aa6e3 node_type=claim
t=0031 CREATE_NODE id=n_3c6cbcc5cebb node_type=claim
t=0032 CREATE_NODE id=n_a370cd15f23d node_type=claim
t=0033 CREATE_NODE id=n_f96f56cc75dc node_type=claim
t=0034 CREATE_NODE id=n_e240f3fed037 node_type=claim
t=0035 CREATE_NODE id=n_76f59b01cebb node_type=claim
t=0036 CREATE_NODE id=n_2afc69b2caf6 node_type=claim
t=0037 CREATE_NODE id=n_a312e2754a90 node_type=claim
t=0038 CREATE_NODE id=n_c90fe2c09dd8 node_type=claim
t=0039 CREATE_NODE id=n_74fbe2e022ed node_type=claim
t=0040 CREATE_NODE id=n_72cf4c6e55a2 node_type=claim
t=0041 CREATE_NODE id=n_7640cc1140f7 node_type=claim
t=0042 CREATE_NODE id=n_7f4527c33fdb node_type=claim
t=0043 CREATE_NODE id=n_ade536c37a1d node_type=claim
t=0044 CREATE_NODE id=n_52c3ad87e7e2 node_type=claim
t=0045 CREATE_NODE id=n_5436673ecfe6 node_type=claim
t=0046 CREATE_NODE id=n_6f1d2c686391 node_type=claim
t=0047 CREATE_NODE id=n_93574ad4dfa0 node_type=claim
t=0048 CREATE_NODE id=n_d92cfe43d3ff node_type=claim
t=0049 CREATE_NODE id=n_035c46e54d73 node_type=claim
t=0050 CREATE_NODE id=n_f889d1be8845 node_type=claim
t=0051 CREATE_NODE id=n_3fd2a4a0e8c2 node_type=claim
t=0052 CREATE_NODE id=n_dee21b5f39e0 node_type=claim
t=0053 CREATE_NODE id=n_47d0d93156c6 node_type=claim
t=0054 CREATE_NODE id=n_d53a67d393f1 node_type=claim
t=0055 CREATE_NODE id=n_ba81e7598a53 node_type=claim
t=0056 CREATE_NODE id=n_49d3d1880949 node_type=claim
t=0057 CREATE_NODE id=n_9a7d79ba148d node_type=claim
t=0058 CREATE_NODE id=n_6a969749eb53 node_type=claim
t=0059 CREATE_NODE id=n_4ace0d2b67a0 node_type=claim
t=0060 CREATE_NODE id=n_737d00449b80 node_type=claim
t=0061 CREATE_NODE id=n_7cf52283e649 node_type=claim
t=0062 CREATE_NODE id=n_87d57e910003 node_type=claim
t=0063 CREATE_NODE id=n_0457bdb4f812 node_type=claim
t=0064 CREATE_NODE id=n_19f976ab3f50 node_type=claim
t=0065 CREATE_NODE id=n_fc9986ed8a47 node_type=claim
t=0066 ASSERT_ROOT node=n_2afc69b2caf6 value=TRUE
t=0067 ADD_EDGE edge_id=e_0deda4be52b3 source=n_f8d91d887230 edge_type=refutes target=n_2fd8727b8201
t=0068 ADD_EDGE edge_id=e_603ebabb81d8 source=n_0ee123400b13 edge_type=refutes target=n_a312e2754a90
t=0069 ADD_EDGE edge_id=e_c6f516b99562 source=n_2fd8727b8201 edge_type=supports target=n_0bbf6203415e
t=0070 ADD_EDGE edge_id=e_8d76e7447e0e source=n_737d00449b80 edge_type=refutes target=n_6a969749eb53
t=0071 ADD_EDGE edge_id=e_f1dea6575dc4 source=n_72cf4c6e55a2 edge_type=refutes target=n_8e15c2d5736f
t=0072 ADD_EDGE edge_id=e_f9a61abff9f5 source=n_f889d1be8845 edge_type=refutes target=n_4f761a984f7b
t=0073 ADD_EDGE edge_id=e_01ec3345498f source=n_035c46e54d73 edge_type=supports target=n_f889d1be8845
t=0074 ADD_EDGE edge_id=e_5f11ca1c2b6e source=n_b405b63c51c8 edge_type=supports target=n_807daa783347
t=0075 ADD_EDGE edge_id=e_ba467afe612a source=n_0bbf6203415e edge_type=refutes target=n_b405b63c51c8
t=0076 ADD_EDGE edge_id=e_10e8fec14838 source=n_a312e2754a90 edge_type=supports target=n_eb5d4a5ee625
t=0077 ADD_EDGE edge_id=e_c9f3a98f6b60 source=n_737d00449b80 edge_type=supports target=n_2944aaebabc1
t=0078 ADD_EDGE edge_id=e_4c999d39260d source=n_52c3ad87e7e2 edge_type=refutes target=n_ba81e7598a53
t=0079 ADD_EDGE edge_id=e_3ba9a77e5dfb source=n_f2f0573fa054 edge_type=supports target=n_72cf4c6e55a2
t=0080 ADD_EDGE edge_id=e_cff97bf43fe9 source=n_b04a23217b64 edge_type=refutes target=n_df2651476001
t=0081 ADD_EDGE edge_id=e_e6095582f65c source=n_3fd2a4a0e8c2 edge_type=refutes target=n_ade536c37a1d
t=0082 ADD_EDGE edge_id=e_6e7979398618 source=n_3a54f5923fa0 edge_type=supports target=n_4ace0d2b67a0
t=0083 ADD_EDGE edge_id=e_6515f065c085 source=n_52c3ad87e7e2 edge_type=refutes target=n_0ee123400b13
t=0084 ADD_EDGE edge_id=e_27ca0481a366 source=n_f8d91d887230 edge_type=supports target=n_f8225ede0569
t=0085 ADD_EDGE edge_id=e_9f61a36b5d32 source=n_5bc1b929713b edge_type=supports target=n_b89434526ac2
t=0086 ADD_EDGE edge_id=e_15db2c6e8434 source=n_eb5d4a5ee625 edge_type=supports target=n_e240f3fed037
t=0087 ADD_EDGE edge_id=e_7f28f6774bf8 source=n_93574ad4dfa0 edge_type=supports target=n_d92cfe43d3ff
t=0088 ADD_EDGE edge_id=e_eb390c06bf3c source=n_93574ad4dfa0 edge_type=refutes target=n_8f7d074aa6e3
t=0089 ADD_EDGE edge_id=e_d7eaf4923353 source=n_4ace0d2b67a0 edge_type=refutes target=n_1be14214ccc2
t=0090 ADD_EDGE edge_id=e_a13f06aec02b source=n_a312e2754a90 edge_type=supports target=n_af177eeca88c
t=0091 ADD_EDGE edge_id=e_09ce5734059a source=n_10ad0555ce73 edge_type=refutes target=n_4e5b3b244e49
t=0092 ADD_EDGE edge_id=e_0b31471b0ac3 source=n_f889d1be8845 edge_type=supports target=n_3a54f5923fa0
t=0093 ADD_EDGE edge_id=e_ff24618ab867 source=n_ade536c37a1d edge_type=supports target=n_76f59b01cebb
t=0094 ADD_EDGE edge_id=e_e64bb918bd20 source=n_0fcc429000b1 edge_type=refutes target=n_9a7d79ba148d
t=0095 ADD_EDGE edge_id=e_56eca15b6fd7 source=n_8e7395b74dc4 edge_type=supports target=n_f96f56cc75dc
t=0096 ADD_EDGE edge_id=e_cf0367992b37 source=n_5bc1b929713b edge_type=refutes target=n_c90fe2c09dd8
t=0097 ADD_EDGE edge_id=e_ecd9a75151d2 source=n_dee21b5f39e0 edge_type=supports target=n_6b57ee23d5ad
t=0098 ADD_EDGE edge_id=e_6e930b15486f source=n_87d57e910003 edge_type=supports target=n_19f976ab3f50
t=0099 ADD_EDGE edge_id=e_f6d85c21495c source=n_eb5d4a5ee625 edge_type=refutes target=n_737d00449b80
t=0100 ADD_EDGE edge_id=e_f7d3d29a58c8 source=n_e240f3fed037 edge_type=supports target=n_33f5d29dfbad
t=0101 ADD_EDGE edge_id=e_d88e92966661 source=n_1f674e066a02 edge_type=refutes target=n_8e7395b74dc4
t=0102 ADD_EDGE edge_id=e_3ddc09fba7a0 source=n_0fcc429000b1 edge_type=refutes target=n_5eb0988606cd
t=0103 ADD_EDGE edge_id=e_10b462816168 source=n_7640cc1140f7 edge_type=refutes target=n_6f1d2c686391
t=0104 ADD_EDGE edge_id=e_7810e10133c1 source=n_ba81e7598a53 edge_type=supports target=n_443e234161a8
t=0105 ADD_EDGE edge_id=e_18e0d082f912 source=n_fc9986ed8a47 edge_type=supports target=n_d53a67d393f1
t=0106 ADD_EDGE edge_id=e_aa9529e9e6ab source=n_fa49e4ab0c97 edge_type=refutes target=n_3c6cbcc5cebb
t=0107 ADD_EDGE edge_id=e_cca507615766 source=n_7f4527c33fdb edge_type=supports target=n_f8d91d887230
t=0108 ADD_EDGE edge_id=e_61dc1521816f source=n_93574ad4dfa0 edge_type=refutes target=n_5436673ecfe6
t=0109 ADD_EDGE edge_id=e_e0683dcf188a source=n_9a7d79ba148d edge_type=refutes target=n_87d57e910003
t=0110 ADD_EDGE edge_id=e_bba64c8b5704 source=n_fa49e4ab0c97 edge_type=refutes target=n_7640cc1140f7
t=0111 ADD_EDGE edge_id=e_2034cb144620 source=n_7cf52283e649 edge_type=refutes target=n_0fcc429000b1
t=0112 ADD_EDGE edge_id=e_dc2ca01e0878 source=n_1be14214ccc2 edge_type=supports target=n_fa49e4ab0c97
t=0113 ADD_EDGE edge_id=e_3503a798ae38 source=n_5bc1b929713b edge_type=refutes target=n_b04a23217b64
t=0114 ADD_EDGE edge_id=e_78c3bd4b8b31 source=n_2afc69b2caf6 edge_type=refutes target=n_3fd2a4a0e8c2
t=0115 ADD_EDGE edge_id=e_6c1d0fe74047 source=n_19f976ab3f50 edge_type=refutes target=n_1f674e066a02
t=0116 ADD_EDGE edge_id=e_9b53a3d9979d source=n_e240f3fed037 edge_type=supports target=n_74fbe2e022ed
t=0117 ADD_EDGE edge_id=e_ccbb174d069c source=n_6b57ee23d5ad edge_type=supports target=n_7cf52283e649
t=0118 ADD_EDGE edge_id=e_8f969d090169 source=n_b89434526ac2 edge_type=supports target=n_fc9986ed8a47
t=0119 ADD_EDGE edge_id=e_f67b238ea33e source=n_e240f3fed037 edge_type=supports target=n_93574ad4dfa0
t=0120 ADD_EDGE edge_id=e_0ac51e933f4f source=n_eb5d4a5ee625 edge_type=refutes target=n_10ad0555ce73
t=0121 ADD_EDGE edge_id=e_6365d65c6f53 source=n_52c3ad87e7e2 edge_type=refutes target=n_5bc1b929713b
t=0122 ADD_EDGE edge_id=e_828e574fc9bb source=n_76f59b01cebb edge_type=supports target=n_7f4527c33fdb
t=0123 ADD_EDGE edge_id=e_38fe0eeff674 source=n_a312e2754a90 edge_type=supports target=n_47d0d93156c6
t=0124 ADD_EDGE edge_id=e_9da1e748ca50 source=n_8f7d074aa6e3 edge_type=supports target=n_0457bdb4f812
t=0125 ADD_EDGE edge_id=e_ea8bd14cf2fe source=n_f96f56cc75dc edge_type=supports target=n_de4bf5fa3542
t=0126 ADD_EDGE edge_id=e_b64a286233ae source=n_93574ad4dfa0 edge_type=refutes target=n_a370cd15f23d
t=0127 ADD_EDGE edge_id=e_dbb3f9fd46be source=n_5bc1b929713b edge_type=supports target=n_f2f0573fa054
t=0128 ADD_EDGE edge_id=e_b1d87b2b328e source=n_807daa783347 edge_type=refutes target=n_035c46e54d73
t=0129 ADD_EDGE edge_id=e_abd6c499e033 source=n_737d00449b80 edge_type=supports target=n_49d3d1880949
t=0130 ADD_EDGE edge_id=e_59019360bc83 source=n_6f1d2c686391 edge_type=refutes target=n_dee21b5f39e0
t=0131 QUERY source=n_2afc69b2caf6 target=n_de4bf5fa3542
[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_53b3ce15cfc5 node_type=claim
t=0001 CREATE_NODE id=n_e7b0c5aef2b2 node_type=claim
t=0002 CREATE_NODE id=n_212e16099436 node_type=claim
t=0003 CREATE_NODE id=n_9c27919acb62 node_type=claim
t=0004 CREATE_NODE id=n_1d2420cfe209 node_type=claim
t=0005 CREATE_NODE id=n_e36836eccac4 node_type=claim
t=0006 CREATE_NODE id=n_c0b89912e1f9 node_type=claim
t=0007 CREATE_NODE id=n_8aefcddb92c4 node_type=claim
t=0008 CREATE_NODE id=n_987eed74e99f node_type=claim
t=0009 CREATE_NODE id=n_b96f49836886 node_type=claim
t=0010 CREATE_NODE id=n_8115fb8832e0 node_type=claim
t=0011 CREATE_NODE id=n_9f7c05179636 node_type=claim
t=0012 CREATE_NODE id=n_417d93d8f80d node_type=claim
t=0013 CREATE_NODE id=n_96fce535a1cf node_type=claim
t=0014 CREATE_NODE id=n_b4825e268a8e node_type=claim
t=0015 CREATE_NODE id=n_aa11c96f612f node_type=claim
t=0016 CREATE_NODE id=n_57db2fa0b212 node_type=claim
t=0017 CREATE_NODE id=n_49223fbda26f node_type=claim
t=0018 CREATE_NODE id=n_76001eb78d23 node_type=claim
t=0019 CREATE_NODE id=n_501314c49be2 node_type=claim
t=0020 CREATE_NODE id=n_b93ca44faf2c node_type=claim
t=0021 CREATE_NODE id=n_e7b419cbb0c6 node_type=claim
t=0022 CREATE_NODE id=n_2386bf22eb74 node_type=claim
t=0023 CREATE_NODE id=n_129513c94557 node_type=claim
t=0024 CREATE_NODE id=n_6c1cf10f7ac3 node_type=claim
t=0025 CREATE_NODE id=n_d5b091079abe node_type=claim
t=0026 CREATE_NODE id=n_ca891686e6f2 node_type=claim
t=0027 CREATE_NODE id=n_d179877e3a73 node_type=claim
t=0028 CREATE_NODE id=n_ebb8fab36600 node_type=claim
t=0029 CREATE_NODE id=n_27165446e1e8 node_type=claim
t=0030 CREATE_NODE id=n_7deceacd3707 node_type=claim
t=0031 CREATE_NODE id=n_5b2900d08488 node_type=claim
t=0032 CREATE_NODE id=n_2e8b2fdb7639 node_type=claim
t=0033 CREATE_NODE id=n_14380a91a27a node_type=claim
t=0034 CREATE_NODE id=n_24897dad9c88 node_type=claim
t=0035 CREATE_NODE id=n_8fc1e8448895 node_type=claim
t=0036 CREATE_NODE id=n_53060c226485 node_type=claim
t=0037 CREATE_NODE id=n_b866632cfe95 node_type=claim
t=0038 CREATE_NODE id=n_523c40ebed7c node_type=claim
t=0039 CREATE_NODE id=n_8f1638e9fdc5 node_type=claim
t=0040 CREATE_NODE id=n_14cf8089c9c2 node_type=claim
t=0041 CREATE_NODE id=n_eb084bd0910e node_type=claim
t=0042 CREATE_NODE id=n_08f3e6484ed4 node_type=claim
t=0043 CREATE_NODE id=n_175d25f4039f node_type=claim
t=0044 CREATE_NODE id=n_7933270e7b42 node_type=claim
t=0045 CREATE_NODE id=n_414f54f08208 node_type=claim
t=0046 CREATE_NODE id=n_db20a048a9f8 node_type=claim
t=0047 CREATE_NODE id=n_bf0d94e1c3f7 node_type=claim
t=0048 CREATE_NODE id=n_59d14c457fb3 node_type=claim
t=0049 CREATE_NODE id=n_8ebe694afded node_type=claim
t=0050 CREATE_NODE id=n_f76e3d25fbcd node_type=claim
t=0051 CREATE_NODE id=n_033e0b2d661c node_type=claim
t=0052 CREATE_NODE id=n_7c246645dabe node_type=claim
t=0053 CREATE_NODE id=n_edd86e3eb043 node_type=claim
t=0054 CREATE_NODE id=n_cc485b1dcf15 node_type=claim
t=0055 CREATE_NODE id=n_edac70260c89 node_type=claim
t=0056 CREATE_NODE id=n_8d87ca6a14a0 node_type=claim
t=0057 CREATE_NODE id=n_63959b7f50e5 node_type=claim
t=0058 CREATE_NODE id=n_ec93b3b41543 node_type=claim
t=0059 CREATE_NODE id=n_a90f5c452da7 node_type=claim
t=0060 CREATE_NODE id=n_4e6922b3bd5d node_type=claim
t=0061 CREATE_NODE id=n_c6479ded9ca6 node_type=claim
t=0062 CREATE_NODE id=n_938fc8ca55af node_type=claim
t=0063 CREATE_NODE id=n_5779af2e43c7 node_type=claim
t=0064 CREATE_NODE id=n_40014ce38d2d node_type=claim
t=0065 CREATE_NODE id=n_6eb1573a1b3b node_type=claim
t=0066 ASSERT_ROOT node=n_d179877e3a73 value=TRUE
t=0067 ADD_EDGE edge_id=e_fa8aa0265b16 source=n_27165446e1e8 edge_type=refutes target=n_14cf8089c9c2
t=0068 ADD_EDGE edge_id=e_ef7acfc4a04a source=n_938fc8ca55af edge_type=supports target=n_2e8b2fdb7639
t=0069 ADD_EDGE edge_id=e_85dc6eb4fcb2 source=n_175d25f4039f edge_type=supports target=n_edd86e3eb043
t=0070 ADD_EDGE edge_id=e_103fbe395a85 source=n_4e6922b3bd5d edge_type=supports target=n_63959b7f50e5
t=0071 ADD_EDGE edge_id=e_634f8ab9efec source=n_7933270e7b42 edge_type=supports target=n_7c246645dabe
t=0072 ADD_EDGE edge_id=e_26537fd4d896 source=n_ec93b3b41543 edge_type=refutes target=n_49223fbda26f
t=0073 ADD_EDGE edge_id=e_619f9c06656d source=n_8f1638e9fdc5 edge_type=supports target=n_ebb8fab36600
t=0074 ADD_EDGE edge_id=e_f8f4937b4d47 source=n_2386bf22eb74 edge_type=refutes target=n_8115fb8832e0
t=0075 ADD_EDGE edge_id=e_4cb57199b25c source=n_7deceacd3707 edge_type=refutes target=n_6c1cf10f7ac3
t=0076 ADD_EDGE edge_id=e_a33b25138255 source=n_8ebe694afded edge_type=supports target=n_b96f49836886
t=0077 ADD_EDGE edge_id=e_0093d4b658bc source=n_523c40ebed7c edge_type=refutes target=n_501314c49be2
t=0078 ADD_EDGE edge_id=e_8b1cf6efe926 source=n_db20a048a9f8 edge_type=supports target=n_8aefcddb92c4
t=0079 ADD_EDGE edge_id=e_0d7687af2905 source=n_ebb8fab36600 edge_type=supports target=n_7deceacd3707
t=0080 ADD_EDGE edge_id=e_012e1e4dd297 source=n_76001eb78d23 edge_type=supports target=n_f76e3d25fbcd
t=0081 ADD_EDGE edge_id=e_90fbcf82b822 source=n_b4825e268a8e edge_type=refutes target=n_14380a91a27a
t=0082 ADD_EDGE edge_id=e_c09b3933d360 source=n_e36836eccac4 edge_type=refutes target=n_edac70260c89
t=0083 ADD_EDGE edge_id=e_8e76a6646056 source=n_27165446e1e8 edge_type=refutes target=n_9c27919acb62
t=0084 ADD_EDGE edge_id=e_d7d6a928b218 source=n_08f3e6484ed4 edge_type=refutes target=n_8d87ca6a14a0
t=0085 ADD_EDGE edge_id=e_c30526393de4 source=n_b93ca44faf2c edge_type=supports target=n_b4825e268a8e
t=0086 ADD_EDGE edge_id=e_a46a30972f68 source=n_40014ce38d2d edge_type=refutes target=n_96fce535a1cf
t=0087 ADD_EDGE edge_id=e_fa2af06f2a03 source=n_14380a91a27a edge_type=supports target=n_175d25f4039f
t=0088 ADD_EDGE edge_id=e_9064f5cd443c source=n_2e8b2fdb7639 edge_type=supports target=n_417d93d8f80d
t=0089 ADD_EDGE edge_id=e_5719396993ed source=n_7c246645dabe edge_type=supports target=n_ec93b3b41543
t=0090 ADD_EDGE edge_id=e_0bd9049cb490 source=n_b866632cfe95 edge_type=refutes target=n_a90f5c452da7
t=0091 ADD_EDGE edge_id=e_5790b1525159 source=n_53b3ce15cfc5 edge_type=refutes target=n_e7b419cbb0c6
t=0092 ADD_EDGE edge_id=e_e79c27aecf8b source=n_7deceacd3707 edge_type=refutes target=n_2386bf22eb74
t=0093 ADD_EDGE edge_id=e_2d9e4ec978b9 source=n_523c40ebed7c edge_type=refutes target=n_6eb1573a1b3b
t=0094 ADD_EDGE edge_id=e_672bed80f19e source=n_ec93b3b41543 edge_type=refutes target=n_e7b0c5aef2b2
t=0095 ADD_EDGE edge_id=e_6aef5ae8825d source=n_175d25f4039f edge_type=refutes target=n_5779af2e43c7
t=0096 ADD_EDGE edge_id=e_83d172e61826 source=n_033e0b2d661c edge_type=refutes target=n_bf0d94e1c3f7
t=0097 ADD_EDGE edge_id=e_2726c0889aac source=n_27165446e1e8 edge_type=refutes target=n_e36836eccac4
t=0098 ADD_EDGE edge_id=e_a5a2acb5f8cb source=n_aa11c96f612f edge_type=refutes target=n_53b3ce15cfc5
t=0099 ADD_EDGE edge_id=e_90fd00b1dbe1 source=n_cc485b1dcf15 edge_type=refutes target=n_938fc8ca55af
t=0100 ADD_EDGE edge_id=e_d066dd3f6a28 source=n_1d2420cfe209 edge_type=supports target=n_b93ca44faf2c
t=0101 ADD_EDGE edge_id=e_136e6b31d15a source=n_53b3ce15cfc5 edge_type=supports target=n_5b2900d08488
t=0102 ADD_EDGE edge_id=e_2d93de5dd5bb source=n_96fce535a1cf edge_type=refutes target=n_212e16099436
t=0103 ADD_EDGE edge_id=e_c679b1232317 source=n_c6479ded9ca6 edge_type=supports target=n_ca891686e6f2
t=0104 ADD_EDGE edge_id=e_60ec9c8b4585 source=n_bf0d94e1c3f7 edge_type=refutes target=n_8ebe694afded
t=0105 ADD_EDGE edge_id=e_4f5e24e13025 source=n_6eb1573a1b3b edge_type=refutes target=n_40014ce38d2d
t=0106 ADD_EDGE edge_id=e_51a5966bb98f source=n_ca891686e6f2 edge_type=supports target=n_aa11c96f612f
t=0107 ADD_EDGE edge_id=e_3a419fcc139e source=n_987eed74e99f edge_type=supports target=n_76001eb78d23
t=0108 ADD_EDGE edge_id=e_8da1345fd8f6 source=n_eb084bd0910e edge_type=refutes target=n_523c40ebed7c
t=0109 ADD_EDGE edge_id=e_d3174aba4235 source=n_ebb8fab36600 edge_type=supports target=n_b866632cfe95
t=0110 ADD_EDGE edge_id=e_b4c8daf0dc58 source=n_c0b89912e1f9 edge_type=supports target=n_db20a048a9f8
t=0111 ADD_EDGE edge_id=e_f5e6306d9586 source=n_24897dad9c88 edge_type=refutes target=n_08f3e6484ed4
t=0112 ADD_EDGE edge_id=e_cb41e9c5daf1 source=n_63959b7f50e5 edge_type=refutes target=n_7933270e7b42
t=0113 ADD_EDGE edge_id=e_2ac3ffcff64b source=n_27165446e1e8 edge_type=refutes target=n_9f7c05179636
t=0114 ADD_EDGE edge_id=e_5993bfd93d21 source=n_8f1638e9fdc5 edge_type=refutes target=n_27165446e1e8
t=0115 ADD_EDGE edge_id=e_8bf8388f2a32 source=n_414f54f08208 edge_type=supports target=n_cc485b1dcf15
t=0116 ADD_EDGE edge_id=e_e2a897541bfa source=n_987eed74e99f edge_type=supports target=n_c6479ded9ca6
t=0117 ADD_EDGE edge_id=e_e21f0ad83a89 source=n_c6479ded9ca6 edge_type=refutes target=n_eb084bd0910e
t=0118 ADD_EDGE edge_id=e_04118c21d725 source=n_8aefcddb92c4 edge_type=refutes target=n_1d2420cfe209
t=0119 ADD_EDGE edge_id=e_3f6082ac434d source=n_b96f49836886 edge_type=supports target=n_129513c94557
t=0120 ADD_EDGE edge_id=e_c5e2785d8441 source=n_2e8b2fdb7639 edge_type=supports target=n_033e0b2d661c
t=0121 ADD_EDGE edge_id=e_a50e60c3fb71 source=n_b96f49836886 edge_type=supports target=n_8fc1e8448895
t=0122 ADD_EDGE edge_id=e_5a2c49af1ab2 source=n_501314c49be2 edge_type=supports target=n_53060c226485
t=0123 ADD_EDGE edge_id=e_09ed406b10a3 source=n_5779af2e43c7 edge_type=supports target=n_24897dad9c88
t=0124 ADD_EDGE edge_id=e_4c5be33aaa7c source=n_8d87ca6a14a0 edge_type=refutes target=n_4e6922b3bd5d
t=0125 ADD_EDGE edge_id=e_ae344deeaed6 source=n_ca891686e6f2 edge_type=supports target=n_d5b091079abe
t=0126 ADD_EDGE edge_id=e_25f7ad183e0f source=n_d179877e3a73 edge_type=supports target=n_c0b89912e1f9
t=0127 ADD_EDGE edge_id=e_ee2dd007c068 source=n_eb084bd0910e edge_type=refutes target=n_8f1638e9fdc5
t=0128 ADD_EDGE edge_id=e_82fbd1fd785f source=n_8fc1e8448895 edge_type=supports target=n_59d14c457fb3
t=0129 ADD_EDGE edge_id=e_47b801032416 source=n_e7b0c5aef2b2 edge_type=supports target=n_414f54f08208
t=0130 ADD_EDGE edge_id=e_ab0b63d310e8 source=n_27165446e1e8 edge_type=supports target=n_57db2fa0b212
t=0131 QUERY source=n_d179877e3a73 target=n_59d14c457fb3
[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_fb2ce1c26fbf node_type=claim
t=0001 CREATE_NODE id=n_7b328e13d832 node_type=claim
t=0002 CREATE_NODE id=n_4b6418252b72 node_type=claim
t=0003 CREATE_NODE id=n_7645722c2a5a node_type=claim
t=0004 CREATE_NODE id=n_51ce1a2d16c3 node_type=claim
t=0005 CREATE_NODE id=n_8854c4cf0e11 node_type=claim
t=0006 CREATE_NODE id=n_50c4e7366c6c node_type=claim
t=0007 CREATE_NODE id=n_5f441ea05812 node_type=claim
t=0008 CREATE_NODE id=n_4dfd130b4219 node_type=claim
t=0009 CREATE_NODE id=n_0acef8a3acf5 node_type=claim
t=0010 CREATE_NODE id=n_4df92ffa2fc6 node_type=claim
t=0011 CREATE_NODE id=n_91f5d885eee1 node_type=claim
t=0012 CREATE_NODE id=n_00dd3515108b node_type=claim
t=0013 CREATE_NODE id=n_e784223a9227 node_type=claim
t=0014 CREATE_NODE id=n_6b6b959ca9a6 node_type=claim
t=0015 CREATE_NODE id=n_7ad42360f86c node_type=claim
t=0016 CREATE_NODE id=n_7a9c62857cdc node_type=claim
t=0017 CREATE_NODE id=n_fee0548fb0de node_type=claim
t=0018 CREATE_NODE id=n_906057ad3176 node_type=claim
t=0019 CREATE_NODE id=n_db5a825d0b50 node_type=claim
t=0020 CREATE_NODE id=n_e910e9b7180e node_type=claim
t=0021 CREATE_NODE id=n_84e74c18d50e node_type=claim
t=0022 CREATE_NODE id=n_dc968aa3c2f7 node_type=claim
t=0023 CREATE_NODE id=n_1e18e8261333 node_type=claim
t=0024 CREATE_NODE id=n_1b6894385862 node_type=claim
t=0025 CREATE_NODE id=n_34af582ea36a node_type=claim
t=0026 CREATE_NODE id=n_6c34fbaa0f6a node_type=claim
t=0027 CREATE_NODE id=n_1b47d83597e8 node_type=claim
t=0028 CREATE_NODE id=n_44a2b0962bed node_type=claim
t=0029 CREATE_NODE id=n_1ac795118d47 node_type=claim
t=0030 CREATE_NODE id=n_aebbd3bab076 node_type=claim
t=0031 CREATE_NODE id=n_4c722749b702 node_type=claim
t=0032 CREATE_NODE id=n_c53c17278ad5 node_type=claim
t=0033 CREATE_NODE id=n_95eb9a726344 node_type=claim
t=0034 CREATE_NODE id=n_e788c5aac3e1 node_type=claim
t=0035 CREATE_NODE id=n_5f7c091ab69f node_type=claim
t=0036 CREATE_NODE id=n_097daad0395a node_type=claim
t=0037 CREATE_NODE id=n_07f375b957b9 node_type=claim
t=0038 CREATE_NODE id=n_da8181f9611c node_type=claim
t=0039 CREATE_NODE id=n_1ffee936f321 node_type=claim
t=0040 CREATE_NODE id=n_b0f78117debe node_type=claim
t=0041 CREATE_NODE id=n_a0041ed09d65 node_type=claim
t=0042 CREATE_NODE id=n_9e206106e017 node_type=claim
t=0043 CREATE_NODE id=n_e3397035caf8 node_type=claim
t=0044 CREATE_NODE id=n_1596b9a7a212 node_type=claim
t=0045 CREATE_NODE id=n_435a2c62eaa3 node_type=claim
t=0046 CREATE_NODE id=n_1a3778e955bf node_type=claim
t=0047 CREATE_NODE id=n_2b7a9883c10a node_type=claim
t=0048 CREATE_NODE id=n_0e3dea743bcf node_type=claim
t=0049 CREATE_NODE id=n_50d77706d9e7 node_type=claim
t=0050 CREATE_NODE id=n_e3293ecc4b61 node_type=claim
t=0051 CREATE_NODE id=n_3cc5b598db40 node_type=claim
t=0052 CREATE_NODE id=n_5912550ba2d9 node_type=claim
t=0053 CREATE_NODE id=n_86a5783ad456 node_type=claim
t=0054 CREATE_NODE id=n_c5db1671310f node_type=claim
t=0055 CREATE_NODE id=n_6ddf38f8f789 node_type=claim
t=0056 CREATE_NODE id=n_17d4ca09f4f8 node_type=claim
t=0057 CREATE_NODE id=n_328b71e2833d node_type=claim
t=0058 CREATE_NODE id=n_7dfe24fb476a node_type=claim
t=0059 CREATE_NODE id=n_4862e71ec337 node_type=claim
t=0060 CREATE_NODE id=n_edf624869d19 node_type=claim
t=0061 CREATE_NODE id=n_836c8f3ec3e2 node_type=claim
t=0062 CREATE_NODE id=n_5b82e1bfa70e node_type=claim
t=0063 CREATE_NODE id=n_fb0c3039f70b node_type=claim
t=0064 CREATE_NODE id=n_81e82598ab45 node_type=claim
t=0065 CREATE_NODE id=n_f739d87c556b node_type=claim
t=0066 ASSERT_ROOT node=n_6b6b959ca9a6 value=FALSE
t=0067 ADD_EDGE edge_id=e_8d228efabb7c source=n_3cc5b598db40 edge_type=refutes target=n_1b47d83597e8
t=0068 ADD_EDGE edge_id=e_618476a91113 source=n_4df92ffa2fc6 edge_type=supports target=n_81e82598ab45
t=0069 ADD_EDGE edge_id=e_d1b77928a8be source=n_aebbd3bab076 edge_type=refutes target=n_f739d87c556b
t=0070 ADD_EDGE edge_id=e_cc55474191bc source=n_c5db1671310f edge_type=supports target=n_7a9c62857cdc
t=0071 ADD_EDGE edge_id=e_d7e82c39b15d source=n_8854c4cf0e11 edge_type=supports target=n_86a5783ad456
t=0072 ADD_EDGE edge_id=e_8d8ff4784223 source=n_4dfd130b4219 edge_type=refutes target=n_4c722749b702
t=0073 ADD_EDGE edge_id=e_831d1671b857 source=n_fb0c3039f70b edge_type=supports target=n_1ac795118d47
t=0074 ADD_EDGE edge_id=e_c4cb32761807 source=n_1ffee936f321 edge_type=refutes target=n_1b6894385862
t=0075 ADD_EDGE edge_id=e_8ee7b06bc360 source=n_e784223a9227 edge_type=refutes target=n_b0f78117debe
t=0076 ADD_EDGE edge_id=e_b89b60fef8b0 source=n_3cc5b598db40 edge_type=refutes target=n_7645722c2a5a
t=0077 ADD_EDGE edge_id=e_305bab53dbcb source=n_e788c5aac3e1 edge_type=refutes target=n_1e18e8261333
t=0078 ADD_EDGE edge_id=e_1563ab43f5a1 source=n_4df92ffa2fc6 edge_type=supports target=n_db5a825d0b50
t=0079 ADD_EDGE edge_id=e_b5e0d7054223 source=n_4862e71ec337 edge_type=refutes target=n_836c8f3ec3e2
t=0080 ADD_EDGE edge_id=e_b56a22d544c0 source=n_8854c4cf0e11 edge_type=supports target=n_328b71e2833d
t=0081 ADD_EDGE edge_id=e_331a71af2970 source=n_00dd3515108b edge_type=refutes target=n_8854c4cf0e11
t=0082 ADD_EDGE edge_id=e_412f0b0786ba source=n_5b82e1bfa70e edge_type=supports target=n_e3293ecc4b61
t=0083 ADD_EDGE edge_id=e_5df6248dff5f source=n_f739d87c556b edge_type=supports target=n_1a3778e955bf
t=0084 ADD_EDGE edge_id=e_961d687ff227 source=n_edf624869d19 edge_type=supports target=n_51ce1a2d16c3
t=0085 ADD_EDGE edge_id=e_d6e488c3a4ff source=n_34af582ea36a edge_type=supports target=n_e910e9b7180e
t=0086 ADD_EDGE edge_id=e_041f04280a6a source=n_1ac795118d47 edge_type=supports target=n_5f441ea05812
t=0087 ADD_EDGE edge_id=e_14da3f88622a source=n_db5a825d0b50 edge_type=refutes target=n_5b82e1bfa70e
t=0088 ADD_EDGE edge_id=e_d4ca679e1f46 source=n_6b6b959ca9a6 edge_type=supports target=n_fb0c3039f70b
t=0089 ADD_EDGE edge_id=e_1932db02314b source=n_c53c17278ad5 edge_type=supports target=n_e784223a9227
t=0090 ADD_EDGE edge_id=e_ca9c53276b7c source=n_00dd3515108b edge_type=refutes target=n_7b328e13d832
t=0091 ADD_EDGE edge_id=e_973b4e9c2268 source=n_7b328e13d832 edge_type=supports target=n_0acef8a3acf5
t=0092 ADD_EDGE edge_id=e_4202cbec4091 source=n_50d77706d9e7 edge_type=supports target=n_9e206106e017
t=0093 ADD_EDGE edge_id=e_008f2aba9a17 source=n_da8181f9611c edge_type=supports target=n_91f5d885eee1
t=0094 ADD_EDGE edge_id=e_1cd52631a1f4 source=n_906057ad3176 edge_type=refutes target=n_435a2c62eaa3
t=0095 ADD_EDGE edge_id=e_22243759dc98 source=n_e788c5aac3e1 edge_type=refutes target=n_07f375b957b9
t=0096 ADD_EDGE edge_id=e_c3a52187725f source=n_836c8f3ec3e2 edge_type=refutes target=n_7dfe24fb476a
t=0097 ADD_EDGE edge_id=e_012d68a2385d source=n_e910e9b7180e edge_type=supports target=n_84e74c18d50e
t=0098 ADD_EDGE edge_id=e_a2112b86295f source=n_5912550ba2d9 edge_type=refutes target=n_dc968aa3c2f7
t=0099 ADD_EDGE edge_id=e_20cbd8f09e3c source=n_4b6418252b72 edge_type=refutes target=n_906057ad3176
t=0100 ADD_EDGE edge_id=e_5117ca0a645e source=n_c5db1671310f edge_type=supports target=n_7ad42360f86c
t=0101 ADD_EDGE edge_id=e_37145f4bd2db source=n_51ce1a2d16c3 edge_type=supports target=n_1ffee936f321
t=0102 ADD_EDGE edge_id=e_c5c2a87163dd source=n_5f441ea05812 edge_type=supports target=n_3cc5b598db40
t=0103 ADD_EDGE edge_id=e_fa777738e8dd source=n_da8181f9611c edge_type=supports target=n_0e3dea743bcf
t=0104 ADD_EDGE edge_id=e_bab393a00210 source=n_84e74c18d50e edge_type=refutes target=n_1596b9a7a212
t=0105 ADD_EDGE edge_id=e_37dc6bb9a0e5 source=n_0acef8a3acf5 edge_type=refutes target=n_5912550ba2d9
t=0106 ADD_EDGE edge_id=e_b4a876470dee source=n_4dfd130b4219 edge_type=supports target=n_34af582ea36a
t=0107 ADD_EDGE edge_id=e_0b40e1aa9b62 source=n_fb2ce1c26fbf edge_type=supports target=n_6c34fbaa0f6a
t=0108 ADD_EDGE edge_id=e_7f4e6e094812 source=n_c53c17278ad5 edge_type=supports target=n_c5db1671310f
t=0109 ADD_EDGE edge_id=e_843539514d0a source=n_4b6418252b72 edge_type=refutes target=n_aebbd3bab076
t=0110 ADD_EDGE edge_id=e_05dea7ab3682 source=n_4df92ffa2fc6 edge_type=refutes target=n_4b6418252b72
t=0111 ADD_EDGE edge_id=e_7a150c00901f source=n_db5a825d0b50 edge_type=refutes target=n_e788c5aac3e1
t=0112 ADD_EDGE edge_id=e_255236b37177 source=n_9e206106e017 edge_type=refutes target=n_17d4ca09f4f8
t=0113 ADD_EDGE edge_id=e_3a0ce7900fd8 source=n_5f7c091ab69f edge_type=refutes target=n_edf624869d19
t=0114 ADD_EDGE edge_id=e_fca4033c4da5 source=n_328b71e2833d edge_type=supports target=n_6ddf38f8f789
t=0115 ADD_EDGE edge_id=e_dec8b5ef53b0 source=n_1b47d83597e8 edge_type=supports target=n_5f7c091ab69f
t=0116 ADD_EDGE edge_id=e_cdff2560a8cd source=n_2b7a9883c10a edge_type=supports target=n_e3397035caf8
t=0117 ADD_EDGE edge_id=e_b1dbd21a8e8e source=n_7ad42360f86c edge_type=refutes target=n_097daad0395a
t=0118 ADD_EDGE edge_id=e_d2489c45b4e3 source=n_e3397035caf8 edge_type=refutes target=n_fb2ce1c26fbf
t=0119 ADD_EDGE edge_id=e_b493d14c8f8b source=n_1596b9a7a212 edge_type=refutes target=n_44a2b0962bed
t=0120 ADD_EDGE edge_id=e_4ea7377ac589 source=n_db5a825d0b50 edge_type=supports target=n_95eb9a726344
t=0121 ADD_EDGE edge_id=e_a75a42ee7ea9 source=n_1b6894385862 edge_type=supports target=n_4862e71ec337
t=0122 ADD_EDGE edge_id=e_b80c32248b0b source=n_4df92ffa2fc6 edge_type=refutes target=n_fee0548fb0de
t=0123 ADD_EDGE edge_id=e_a2593e1b6e9b source=n_6c34fbaa0f6a edge_type=refutes target=n_4dfd130b4219
t=0124 ADD_EDGE edge_id=e_05b4e6660589 source=n_4df92ffa2fc6 edge_type=refutes target=n_00dd3515108b
t=0125 ADD_EDGE edge_id=e_aad25d86baff source=n_17d4ca09f4f8 edge_type=supports target=n_2b7a9883c10a
t=0126 ADD_EDGE edge_id=e_d4599f14a3ab source=n_7dfe24fb476a edge_type=refutes target=n_50d77706d9e7
t=0127 ADD_EDGE edge_id=e_1f6d791106bf source=n_4b6418252b72 edge_type=refutes target=n_c53c17278ad5
t=0128 ADD_EDGE edge_id=e_16829b759d1d source=n_6b6b959ca9a6 edge_type=supports target=n_50c4e7366c6c
t=0129 ADD_EDGE edge_id=e_c40fffde9e62 source=n_db5a825d0b50 edge_type=supports target=n_a0041ed09d65
t=0130 ADD_EDGE edge_id=e_39e395bd228d source=n_44a2b0962bed edge_type=refutes target=n_da8181f9611c
t=0131 QUERY source=n_6b6b959ca9a6 target=n_91f5d885eee1
[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_50b84fd65a45 node_type=claim
t=0001 CREATE_NODE id=n_fed61ff450f3 node_type=claim
t=0002 CREATE_NODE id=n_d1d42b87f784 node_type=claim
t=0003 CREATE_NODE id=n_c734026ca525 node_type=claim
t=0004 CREATE_NODE id=n_b1d4fcec73ff node_type=claim
t=0005 CREATE_NODE id=n_41c92874ea62 node_type=claim
t=0006 CREATE_NODE id=n_540806d1db13 node_type=claim
t=0007 CREATE_NODE id=n_5634a62b5a59 node_type=claim
t=0008 CREATE_NODE id=n_77fd23b5d99d node_type=claim
t=0009 CREATE_NODE id=n_02d8f79e4b1d node_type=claim
t=0010 CREATE_NODE id=n_7ada67e45799 node_type=claim
t=0011 CREATE_NODE id=n_9e7808968058 node_type=claim
t=0012 CREATE_NODE id=n_3e01431e1cd2 node_type=claim
t=0013 CREATE_NODE id=n_03693a50216b node_type=claim
t=0014 CREATE_NODE id=n_0821fb6a4661 node_type=claim
t=0015 CREATE_NODE id=n_a03fd04cc064 node_type=claim
t=0016 CREATE_NODE id=n_ae7bfba9b013 node_type=claim
t=0017 CREATE_NODE id=n_6f01f43e242c node_type=claim
t=0018 CREATE_NODE id=n_f2aa9a878038 node_type=claim
t=0019 CREATE_NODE id=n_d0b0bb718d69 node_type=claim
t=0020 CREATE_NODE id=n_3cf9463ef6ee node_type=claim
t=0021 CREATE_NODE id=n_b185c173d9b6 node_type=claim
t=0022 CREATE_NODE id=n_7e0c8d029339 node_type=claim
t=0023 CREATE_NODE id=n_540b8e54ea2a node_type=claim
t=0024 CREATE_NODE id=n_374ca319864d node_type=claim
t=0025 CREATE_NODE id=n_d5e4bf3c96f0 node_type=claim
t=0026 CREATE_NODE id=n_44f66424acdb node_type=claim
t=0027 CREATE_NODE id=n_e059536d4e57 node_type=claim
t=0028 CREATE_NODE id=n_612b3f7eed2d node_type=claim
t=0029 CREATE_NODE id=n_d6c0ca66b9c6 node_type=claim
t=0030 CREATE_NODE id=n_b96e2db5f0b0 node_type=claim
t=0031 CREATE_NODE id=n_2e985b6f2560 node_type=claim
t=0032 CREATE_NODE id=n_273c25943935 node_type=claim
t=0033 CREATE_NODE id=n_6f72d269a77e node_type=claim
t=0034 CREATE_NODE id=n_0777ef41828c node_type=claim
t=0035 CREATE_NODE id=n_c55280fb0958 node_type=claim
t=0036 CREATE_NODE id=n_f0bfce5dbbc3 node_type=claim
t=0037 CREATE_NODE id=n_ea5948ab3716 node_type=claim
t=0038 CREATE_NODE id=n_d1cea5b6065b node_type=claim
t=0039 CREATE_NODE id=n_12040952f72b node_type=claim
t=0040 CREATE_NODE id=n_86342452cfbb node_type=claim
t=0041 CREATE_NODE id=n_1bb25119726c node_type=claim
t=0042 CREATE_NODE id=n_5f8df5cd2887 node_type=claim
t=0043 CREATE_NODE id=n_3cedb12e7bb0 node_type=claim
t=0044 CREATE_NODE id=n_e17223cdc172 node_type=claim
t=0045 CREATE_NODE id=n_b84af1d77e49 node_type=claim
t=0046 CREATE_NODE id=n_426ca3c0cd53 node_type=claim
t=0047 CREATE_NODE id=n_f8557a02be10 node_type=claim
t=0048 CREATE_NODE id=n_0b8065f7063e node_type=claim
t=0049 CREATE_NODE id=n_ac67b01bf075 node_type=claim
t=0050 CREATE_NODE id=n_cf6f06738094 node_type=claim
t=0051 CREATE_NODE id=n_720ff6d7057d node_type=claim
t=0052 CREATE_NODE id=n_737e515a5827 node_type=claim
t=0053 CREATE_NODE id=n_393e91d073b5 node_type=claim
t=0054 CREATE_NODE id=n_2b27fb0222ae node_type=claim
t=0055 CREATE_NODE id=n_86a0460730cd node_type=claim
t=0056 CREATE_NODE id=n_61497df17d49 node_type=claim
t=0057 CREATE_NODE id=n_2d6cbac5a0c7 node_type=claim
t=0058 CREATE_NODE id=n_c3d5df144fac node_type=claim
t=0059 CREATE_NODE id=n_541a24a362bb node_type=claim
t=0060 CREATE_NODE id=n_9fd85b2adaef node_type=claim
t=0061 CREATE_NODE id=n_8428f4fdb686 node_type=claim
t=0062 CREATE_NODE id=n_41657bb784c7 node_type=claim
t=0063 CREATE_NODE id=n_d77e24dc0249 node_type=claim
t=0064 CREATE_NODE id=n_9e1b97672f7b node_type=claim
t=0065 CREATE_NODE id=n_276ca2f03b17 node_type=claim
t=0066 ASSERT_ROOT node=n_86342452cfbb value=TRUE
t=0067 ADD_EDGE edge_id=e_e1252df2504f source=n_3cedb12e7bb0 edge_type=refutes target=n_374ca319864d
t=0068 ADD_EDGE edge_id=e_e71e273c80df source=n_f8557a02be10 edge_type=refutes target=n_b84af1d77e49
t=0069 ADD_EDGE edge_id=e_ccb4339c5b7a source=n_9e1b97672f7b edge_type=refutes target=n_2d6cbac5a0c7
t=0070 ADD_EDGE edge_id=e_3f10f46013eb source=n_44f66424acdb edge_type=supports target=n_0b8065f7063e
t=0071 ADD_EDGE edge_id=e_74e3fc8a6331 source=n_737e515a5827 edge_type=refutes target=n_2b27fb0222ae
t=0072 ADD_EDGE edge_id=e_e88cfa59c489 source=n_9e1b97672f7b edge_type=refutes target=n_0777ef41828c
t=0073 ADD_EDGE edge_id=e_84aa0e6dd6c2 source=n_737e515a5827 edge_type=supports target=n_f0bfce5dbbc3
t=0074 ADD_EDGE edge_id=e_c84fc0edf19b source=n_f2aa9a878038 edge_type=refutes target=n_b185c173d9b6
t=0075 ADD_EDGE edge_id=e_d40871604d94 source=n_41657bb784c7 edge_type=supports target=n_77fd23b5d99d
t=0076 ADD_EDGE edge_id=e_a49764b6c3cd source=n_77fd23b5d99d edge_type=supports target=n_9fd85b2adaef
t=0077 ADD_EDGE edge_id=e_acb87a36f33d source=n_0b8065f7063e edge_type=refutes target=n_5f8df5cd2887
t=0078 ADD_EDGE edge_id=e_8b853838e102 source=n_7ada67e45799 edge_type=refutes target=n_9e1b97672f7b
t=0079 ADD_EDGE edge_id=e_8939f3ab3ce0 source=n_c734026ca525 edge_type=supports target=n_273c25943935
t=0080 ADD_EDGE edge_id=e_61508aabb76e source=n_2e985b6f2560 edge_type=refutes target=n_ae7bfba9b013
t=0081 ADD_EDGE edge_id=e_314dd58e5c17 source=n_c55280fb0958 edge_type=refutes target=n_540b8e54ea2a
t=0082 ADD_EDGE edge_id=e_ee1c6db64714 source=n_737e515a5827 edge_type=refutes target=n_1bb25119726c
t=0083 ADD_EDGE edge_id=e_c207de09a918 source=n_50b84fd65a45 edge_type=supports target=n_3cf9463ef6ee
t=0084 ADD_EDGE edge_id=e_fe06c4385a31 source=n_540806d1db13 edge_type=supports target=n_7e0c8d029339
t=0085 ADD_EDGE edge_id=e_aee2742c5cb1 source=n_540b8e54ea2a edge_type=refutes target=n_c3d5df144fac
t=0086 ADD_EDGE edge_id=e_19aa0b534e59 source=n_2d6cbac5a0c7 edge_type=supports target=n_41c92874ea62
t=0087 ADD_EDGE edge_id=e_897e2cf9537d source=n_9fd85b2adaef edge_type=refutes target=n_9e7808968058
t=0088 ADD_EDGE edge_id=e_58d513368fd5 source=n_86a0460730cd edge_type=supports target=n_cf6f06738094
t=0089 ADD_EDGE edge_id=e_59ca35471163 source=n_41c92874ea62 edge_type=refutes target=n_e059536d4e57
t=0090 ADD_EDGE edge_id=e_c22f18652c11 source=n_7e0c8d029339 edge_type=supports target=n_d5e4bf3c96f0
t=0091 ADD_EDGE edge_id=e_b7574ffbb4f9 source=n_2d6cbac5a0c7 edge_type=supports target=n_c734026ca525
t=0092 ADD_EDGE edge_id=e_8c08ba5f58bf source=n_d77e24dc0249 edge_type=supports target=n_6f01f43e242c
t=0093 ADD_EDGE edge_id=e_9c6a95ac0dea source=n_7ada67e45799 edge_type=refutes target=n_d6c0ca66b9c6
t=0094 ADD_EDGE edge_id=e_b4a1ca0ee06d source=n_ae7bfba9b013 edge_type=refutes target=n_61497df17d49
t=0095 ADD_EDGE edge_id=e_78b9b9da97c8 source=n_9e7808968058 edge_type=supports target=n_12040952f72b
t=0096 ADD_EDGE edge_id=e_6f99332eb4c6 source=n_d77e24dc0249 edge_type=supports target=n_86a0460730cd
t=0097 ADD_EDGE edge_id=e_09c3243f6d4b source=n_61497df17d49 edge_type=supports target=n_d1cea5b6065b
t=0098 ADD_EDGE edge_id=e_21f7150bffde source=n_41c92874ea62 edge_type=supports target=n_6f72d269a77e
t=0099 ADD_EDGE edge_id=e_8bbe20670c1c source=n_612b3f7eed2d edge_type=supports target=n_8428f4fdb686
t=0100 ADD_EDGE edge_id=e_a22a02ff2e17 source=n_8428f4fdb686 edge_type=supports target=n_f8557a02be10
t=0101 ADD_EDGE edge_id=e_dfc898666b4e source=n_3cf9463ef6ee edge_type=supports target=n_44f66424acdb
t=0102 ADD_EDGE edge_id=e_e00b9d725038 source=n_d5e4bf3c96f0 edge_type=supports target=n_e17223cdc172
t=0103 ADD_EDGE edge_id=e_fa010d036d3f source=n_7ada67e45799 edge_type=refutes target=n_737e515a5827
t=0104 ADD_EDGE edge_id=e_e7c517952df8 source=n_2d6cbac5a0c7 edge_type=supports target=n_fed61ff450f3
t=0105 ADD_EDGE edge_id=e_8747e6a59c13 source=n_b84af1d77e49 edge_type=refutes target=n_41657bb784c7
t=0106 ADD_EDGE edge_id=e_535944ffbf6f source=n_86a0460730cd edge_type=refutes target=n_5634a62b5a59
t=0107 ADD_EDGE edge_id=e_29061ba64f78 source=n_2d6cbac5a0c7 edge_type=supports target=n_ac67b01bf075
t=0108 ADD_EDGE edge_id=e_51980cb4c06e source=n_86342452cfbb edge_type=refutes target=n_d77e24dc0249
t=0109 ADD_EDGE edge_id=e_4907ad0f5ef2 source=n_b185c173d9b6 edge_type=refutes target=n_50b84fd65a45
t=0110 ADD_EDGE edge_id=e_682cbb19cb1d source=n_737e515a5827 edge_type=refutes target=n_a03fd04cc064
t=0111 ADD_EDGE edge_id=e_78f6d008c225 source=n_d6c0ca66b9c6 edge_type=supports target=n_276ca2f03b17
t=0112 ADD_EDGE edge_id=e_6e9e48c83c3d source=n_737e515a5827 edge_type=refutes target=n_393e91d073b5
t=0113 ADD_EDGE edge_id=e_4c5a3a186b7d source=n_c55280fb0958 edge_type=supports target=n_03693a50216b
t=0114 ADD_EDGE edge_id=e_821838678e98 source=n_0777ef41828c edge_type=supports target=n_720ff6d7057d
t=0115 ADD_EDGE edge_id=e_8acd1c050d78 source=n_3cedb12e7bb0 edge_type=supports target=n_02d8f79e4b1d
t=0116 ADD_EDGE edge_id=e_4f314f6d90cd source=n_41c92874ea62 edge_type=supports target=n_3cedb12e7bb0
t=0117 ADD_EDGE edge_id=e_f7a84b74b6d1 source=n_9e1b97672f7b edge_type=refutes target=n_c55280fb0958
t=0118 ADD_EDGE edge_id=e_413d0c45266d source=n_b96e2db5f0b0 edge_type=supports target=n_612b3f7eed2d
t=0119 ADD_EDGE edge_id=e_c158a4df0a15 source=n_d1cea5b6065b edge_type=supports target=n_b96e2db5f0b0
t=0120 ADD_EDGE edge_id=e_b9592f4ed65e source=n_86342452cfbb edge_type=refutes target=n_3e01431e1cd2
t=0121 ADD_EDGE edge_id=e_fa7108d5fc3d source=n_12040952f72b edge_type=refutes target=n_f2aa9a878038
t=0122 ADD_EDGE edge_id=e_0f9bb3c4c7bc source=n_720ff6d7057d edge_type=refutes target=n_b1d4fcec73ff
t=0123 ADD_EDGE edge_id=e_d291595466c9 source=n_cf6f06738094 edge_type=refutes target=n_2e985b6f2560
t=0124 ADD_EDGE edge_id=e_3f961b3aaa9f source=n_737e515a5827 edge_type=refutes target=n_d0b0bb718d69
t=0125 ADD_EDGE edge_id=e_21ea107473f4 source=n_7e0c8d029339 edge_type=refutes target=n_0821fb6a4661
t=0126 ADD_EDGE edge_id=e_26269a0c384a source=n_d6c0ca66b9c6 edge_type=refutes target=n_ea5948ab3716
t=0127 ADD_EDGE edge_id=e_5b2e8f8dd3db source=n_7ada67e45799 edge_type=supports target=n_426ca3c0cd53
t=0128 ADD_EDGE edge_id=e_f2c39fe5afe6 source=n_5f8df5cd2887 edge_type=supports target=n_540806d1db13
t=0129 ADD_EDGE edge_id=e_6133179b8402 source=n_426ca3c0cd53 edge_type=supports target=n_d1d42b87f784
t=0130 ADD_EDGE edge_id=e_5e3d6b1bd1a3 source=n_d0b0bb718d69 edge_type=refutes target=n_541a24a362bb
t=0131 QUERY source=n_86342452cfbb target=n_e17223cdc172
[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_3edfa3ca2aa9 node_type=claim
t=0001 CREATE_NODE id=n_3aaf37d4c621 node_type=claim
t=0002 CREATE_NODE id=n_b69c5f9d800c node_type=claim
t=0003 CREATE_NODE id=n_e67ef7dce838 node_type=claim
t=0004 CREATE_NODE id=n_2187fa6a2fae node_type=claim
t=0005 CREATE_NODE id=n_d195ff648e30 node_type=claim
t=0006 CREATE_NODE id=n_eb33bd878d89 node_type=claim
t=0007 CREATE_NODE id=n_4321ed117e5f node_type=claim
t=0008 CREATE_NODE id=n_3452455d4685 node_type=claim
t=0009 CREATE_NODE id=n_026750d59e58 node_type=claim
t=0010 CREATE_NODE id=n_a935ddcb233d node_type=claim
t=0011 CREATE_NODE id=n_8dc778ca656a node_type=claim
t=0012 CREATE_NODE id=n_efe75c7f96bd node_type=claim
t=0013 CREATE_NODE id=n_41157a7e89e9 node_type=claim
t=0014 CREATE_NODE id=n_c06be9a95220 node_type=claim
t=0015 CREATE_NODE id=n_5e603c92fa8b node_type=claim
t=0016 CREATE_NODE id=n_4b467849386f node_type=claim
t=0017 CREATE_NODE id=n_97de8cf81af9 node_type=claim
t=0018 CREATE_NODE id=n_83b5efbd4464 node_type=claim
t=0019 CREATE_NODE id=n_2249c28b7461 node_type=claim
t=0020 CREATE_NODE id=n_961aac64db9a node_type=claim
t=0021 CREATE_NODE id=n_5cb4fbd9ad27 node_type=claim
t=0022 CREATE_NODE id=n_59056bfd14d0 node_type=claim
t=0023 CREATE_NODE id=n_d3bafa0a7329 node_type=claim
t=0024 CREATE_NODE id=n_4d9219119fb9 node_type=claim
t=0025 CREATE_NODE id=n_2f28d3309256 node_type=claim
t=0026 CREATE_NODE id=n_7da106ed4d66 node_type=claim
t=0027 CREATE_NODE id=n_53d0ec6a9ed8 node_type=claim
t=0028 CREATE_NODE id=n_0cb92722002f node_type=claim
t=0029 CREATE_NODE id=n_0b73bc00253e node_type=claim
t=0030 CREATE_NODE id=n_d4e67d6b16a6 node_type=claim
t=0031 CREATE_NODE id=n_b487b177e604 node_type=claim
t=0032 CREATE_NODE id=n_5591ce131cf4 node_type=claim
t=0033 CREATE_NODE id=n_690a48e17d86 node_type=claim
t=0034 CREATE_NODE id=n_8f7e9c897797 node_type=claim
t=0035 CREATE_NODE id=n_0425b38a4e72 node_type=claim
t=0036 CREATE_NODE id=n_fe58aed06217 node_type=claim
t=0037 CREATE_NODE id=n_3fedfa66b10d node_type=claim
t=0038 CREATE_NODE id=n_854e8a73f37d node_type=claim
t=0039 CREATE_NODE id=n_34a2a3c986e8 node_type=claim
t=0040 CREATE_NODE id=n_8f70076784f1 node_type=claim
t=0041 CREATE_NODE id=n_c3093d933cb2 node_type=claim
t=0042 CREATE_NODE id=n_e05ee4a34e3d node_type=claim
t=0043 CREATE_NODE id=n_88745c4f5603 node_type=claim
t=0044 CREATE_NODE id=n_ce4c8cd024f8 node_type=claim
t=0045 CREATE_NODE id=n_58e872aa2f40 node_type=claim
t=0046 CREATE_NODE id=n_465df1048c0f node_type=claim
t=0047 CREATE_NODE id=n_c0cb6fc876d4 node_type=claim
t=0048 CREATE_NODE id=n_5c64e850d67c node_type=claim
t=0049 CREATE_NODE id=n_90dc41ad9b7d node_type=claim
t=0050 CREATE_NODE id=n_05c6e64e7c76 node_type=claim
t=0051 CREATE_NODE id=n_e108b3892850 node_type=claim
t=0052 CREATE_NODE id=n_6553f02ae3da node_type=claim
t=0053 CREATE_NODE id=n_12c6db47e623 node_type=claim
t=0054 CREATE_NODE id=n_856a02bd67cb node_type=claim
t=0055 CREATE_NODE id=n_5123de0118dc node_type=claim
t=0056 CREATE_NODE id=n_d6da20dea57e node_type=claim
t=0057 CREATE_NODE id=n_4884c28c014d node_type=claim
t=0058 CREATE_NODE id=n_39793a98199f node_type=claim
t=0059 CREATE_NODE id=n_433a7681ed27 node_type=claim
t=0060 CREATE_NODE id=n_a60d686291b2 node_type=claim
t=0061 CREATE_NODE id=n_dad74637886b node_type=claim
t=0062 CREATE_NODE id=n_ecca327fdeb9 node_type=claim
t=0063 CREATE_NODE id=n_99cf163dc64b node_type=claim
t=0064 CREATE_NODE id=n_3800f469657a node_type=claim
t=0065 CREATE_NODE id=n_a97c91fa727e node_type=claim
t=0066 ASSERT_ROOT node=n_d195ff648e30 value=FALSE
t=0067 ADD_EDGE edge_id=e_f3fa827e6cac source=n_0cb92722002f edge_type=refutes target=n_34a2a3c986e8
t=0068 ADD_EDGE edge_id=e_e561be04e1be source=n_c3093d933cb2 edge_type=refutes target=n_5123de0118dc
t=0069 ADD_EDGE edge_id=e_ef4c8554141e source=n_c0cb6fc876d4 edge_type=supports target=n_026750d59e58
t=0070 ADD_EDGE edge_id=e_8685a25ea16a source=n_d6da20dea57e edge_type=refutes target=n_b487b177e604
t=0071 ADD_EDGE edge_id=e_cec452e5186a source=n_3452455d4685 edge_type=refutes target=n_12c6db47e623
t=0072 ADD_EDGE edge_id=e_b8c42a32423b source=n_d6da20dea57e edge_type=refutes target=n_0cb92722002f
t=0073 ADD_EDGE edge_id=e_38e96416494b source=n_efe75c7f96bd edge_type=supports target=n_dad74637886b
t=0074 ADD_EDGE edge_id=e_4734160565e6 source=n_eb33bd878d89 edge_type=supports target=n_465df1048c0f
t=0075 ADD_EDGE edge_id=e_eed4b4a7f8c1 source=n_97de8cf81af9 edge_type=refutes target=n_3800f469657a
t=0076 ADD_EDGE edge_id=e_a19a261d7865 source=n_c06be9a95220 edge_type=supports target=n_e67ef7dce838
t=0077 ADD_EDGE edge_id=e_1fd62b71c5c0 source=n_0b73bc00253e edge_type=supports target=n_d3bafa0a7329
t=0078 ADD_EDGE edge_id=e_2d03850cc929 source=n_7da106ed4d66 edge_type=supports target=n_ecca327fdeb9
t=0079 ADD_EDGE edge_id=e_133c1d645666 source=n_3452455d4685 edge_type=refutes target=n_fe58aed06217
t=0080 ADD_EDGE edge_id=e_41146bb6cea5 source=n_026750d59e58 edge_type=refutes target=n_3edfa3ca2aa9
t=0081 ADD_EDGE edge_id=e_600778eb91d2 source=n_fe58aed06217 edge_type=supports target=n_854e8a73f37d
t=0082 ADD_EDGE edge_id=e_3acf3819d64b source=n_a935ddcb233d edge_type=supports target=n_5591ce131cf4
t=0083 ADD_EDGE edge_id=e_530ed419b829 source=n_fe58aed06217 edge_type=refutes target=n_8f70076784f1
t=0084 ADD_EDGE edge_id=e_5df82d5e9bd6 source=n_ecca327fdeb9 edge_type=supports target=n_b69c5f9d800c
t=0085 ADD_EDGE edge_id=e_d3352ea1f375 source=n_5c64e850d67c edge_type=refutes target=n_c06be9a95220
t=0086 ADD_EDGE edge_id=e_48a06e056b82 source=n_6553f02ae3da edge_type=refutes target=n_4d9219119fb9
t=0087 ADD_EDGE edge_id=e_edbcbdcd71dc source=n_e67ef7dce838 edge_type=supports target=n_41157a7e89e9
t=0088 ADD_EDGE edge_id=e_47c96a99810c source=n_a60d686291b2 edge_type=supports target=n_4b467849386f
t=0089 ADD_EDGE edge_id=e_75a62c1e6919 source=n_a97c91fa727e edge_type=refutes target=n_5c64e850d67c
t=0090 ADD_EDGE edge_id=e_1e4bf5f09f10 source=n_5591ce131cf4 edge_type=refutes target=n_2249c28b7461
t=0091 ADD_EDGE edge_id=e_e93d717a62db source=n_ce4c8cd024f8 edge_type=refutes target=n_59056bfd14d0
t=0092 ADD_EDGE edge_id=e_2e3115f205b9 source=n_2249c28b7461 edge_type=supports target=n_0b73bc00253e
t=0093 ADD_EDGE edge_id=e_8ae928b906ed source=n_026750d59e58 edge_type=supports target=n_97de8cf81af9
t=0094 ADD_EDGE edge_id=e_e422be6b4975 source=n_8f7e9c897797 edge_type=refutes target=n_d4e67d6b16a6
t=0095 ADD_EDGE edge_id=e_ca4093cb4a17 source=n_0425b38a4e72 edge_type=supports target=n_05c6e64e7c76
t=0096 ADD_EDGE edge_id=e_b32fd751f73b source=n_961aac64db9a edge_type=supports target=n_433a7681ed27
t=0097 ADD_EDGE edge_id=e_360b20453508 source=n_026750d59e58 edge_type=refutes target=n_2f28d3309256
t=0098 ADD_EDGE edge_id=e_006e4c809b5c source=n_856a02bd67cb edge_type=supports target=n_8f7e9c897797
t=0099 ADD_EDGE edge_id=e_ddebaa923851 source=n_8dc778ca656a edge_type=refutes target=n_a97c91fa727e
t=0100 ADD_EDGE edge_id=e_5c834ef7e3ff source=n_2187fa6a2fae edge_type=supports target=n_6553f02ae3da
t=0101 ADD_EDGE edge_id=e_abc1c052a463 source=n_465df1048c0f edge_type=refutes target=n_e108b3892850
t=0102 ADD_EDGE edge_id=e_cfd8f656dc1c source=n_05c6e64e7c76 edge_type=refutes target=n_eb33bd878d89
t=0103 ADD_EDGE edge_id=e_5e03d6f71fd4 source=n_e108b3892850 edge_type=refutes target=n_efe75c7f96bd
t=0104 ADD_EDGE edge_id=e_a588c156bf30 source=n_4d9219119fb9 edge_type=supports target=n_961aac64db9a
t=0105 ADD_EDGE edge_id=e_963721bd2300 source=n_8f7e9c897797 edge_type=supports target=n_83b5efbd4464
t=0106 ADD_EDGE edge_id=e_5b9b4e927803 source=n_5123de0118dc edge_type=refutes target=n_4884c28c014d
t=0107 ADD_EDGE edge_id=e_5dde78051770 source=n_59056bfd14d0 edge_type=refutes target=n_690a48e17d86
t=0108 ADD_EDGE edge_id=e_a8e08cab9b79 source=n_12c6db47e623 edge_type=refutes target=n_ce4c8cd024f8
t=0109 ADD_EDGE edge_id=e_7d042ed3e704 source=n_433a7681ed27 edge_type=supports target=n_53d0ec6a9ed8
t=0110 ADD_EDGE edge_id=e_53ead3204ede source=n_d195ff648e30 edge_type=supports target=n_3fedfa66b10d
t=0111 ADD_EDGE edge_id=e_79bc2ba1597f source=n_3edfa3ca2aa9 edge_type=refutes target=n_99cf163dc64b
t=0112 ADD_EDGE edge_id=e_146d685e810c source=n_3fedfa66b10d edge_type=supports target=n_a60d686291b2
t=0113 ADD_EDGE edge_id=e_fc9bb7b8197e source=n_ecca327fdeb9 edge_type=supports target=n_d6da20dea57e
t=0114 ADD_EDGE edge_id=e_7bbd0735893e source=n_53d0ec6a9ed8 edge_type=supports target=n_0425b38a4e72
t=0115 ADD_EDGE edge_id=e_1a8e8ebfcad9 source=n_efe75c7f96bd edge_type=supports target=n_5cb4fbd9ad27
t=0116 ADD_EDGE edge_id=e_caec5e788d6a source=n_a60d686291b2 edge_type=supports target=n_8dc778ca656a
t=0117 ADD_EDGE edge_id=e_277a48ad849f source=n_c3093d933cb2 edge_type=refutes target=n_3aaf37d4c621
t=0118 ADD_EDGE edge_id=e_90f2ed751f6a source=n_fe58aed06217 edge_type=refutes target=n_39793a98199f
t=0119 ADD_EDGE edge_id=e_e6c8fbb2fb2f source=n_3800f469657a edge_type=supports target=n_4321ed117e5f
t=0120 ADD_EDGE edge_id=e_9373c73a0f07 source=n_c06be9a95220 edge_type=refutes target=n_5e603c92fa8b
t=0121 ADD_EDGE edge_id=e_4cfa89bb6380 source=n_e05ee4a34e3d edge_type=refutes target=n_88745c4f5603
t=0122 ADD_EDGE edge_id=e_b68fba2182f5 source=n_3452455d4685 edge_type=refutes target=n_c0cb6fc876d4
t=0123 ADD_EDGE edge_id=e_a23596177d1b source=n_5123de0118dc edge_type=supports target=n_7da106ed4d66
t=0124 ADD_EDGE edge_id=e_8eaef1b28129 source=n_41157a7e89e9 edge_type=refutes target=n_a935ddcb233d
t=0125 ADD_EDGE edge_id=e_afcd061b3fde source=n_d3bafa0a7329 edge_type=supports target=n_e05ee4a34e3d
t=0126 ADD_EDGE edge_id=e_930662d56bbe source=n_5123de0118dc edge_type=supports target=n_3452455d4685
t=0127 ADD_EDGE edge_id=e_741af10c3c14 source=n_4d9219119fb9 edge_type=refutes target=n_58e872aa2f40
t=0128 ADD_EDGE edge_id=e_3dcb2e623a8d source=n_c3093d933cb2 edge_type=refutes target=n_856a02bd67cb
t=0129 ADD_EDGE edge_id=e_c18da2b57087 source=n_88745c4f5603 edge_type=supports target=n_2187fa6a2fae
t=0130 ADD_EDGE edge_id=e_54fbd4d0f34f source=n_fe58aed06217 edge_type=supports target=n_90dc41ad9b7d
t=0131 QUERY source=n_d195ff648e30 target=n_dad74637886b
[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_21c8104f0d8e node_type=claim
t=0001 CREATE_NODE id=n_f4310f43c44f node_type=claim
t=0002 CREATE_NODE id=n_29eeeeb8bc5c node_type=claim
t=0003 CREATE_NODE id=n_ce8ed857de37 node_type=claim
t=0004 CREATE_NODE id=n_86454e94ab96 node_type=claim
t=0005 CREATE_NODE id=n_eb14de000ab4 node_type=claim
t=0006 CREATE_NODE id=n_50ccdfd473bf node_type=claim
t=0007 CREATE_NODE id=n_06c4aacf6134 node_type=claim
t=0008 CREATE_NODE id=n_2f101e8df41d node_type=claim
t=0009 CREATE_NODE id=n_ec2f14e85074 node_type=claim
t=0010 CREATE_NODE id=n_884b68c66007 node_type=claim
t=0011 CREATE_NODE id=n_aa1fb2959840 node_type=claim
t=0012 CREATE_NODE id=n_74a472893813 node_type=claim
t=0013 CREATE_NODE id=n_87d59cdf39db node_type=claim
t=0014 CREATE_NODE id=n_6912f9a409b2 node_type=claim
t=0015 CREATE_NODE id=n_60576adc50c2 node_type=claim
t=0016 CREATE_NODE id=n_573f675cee3b node_type=claim
t=0017 CREATE_NODE id=n_66b282e3f080 node_type=claim
t=0018 CREATE_NODE id=n_c31cc6e1b86c node_type=claim
t=0019 CREATE_NODE id=n_1c65d515d040 node_type=claim
t=0020 CREATE_NODE id=n_f8bab7d0b510 node_type=claim
t=0021 CREATE_NODE id=n_7c739ec36f4e node_type=claim
t=0022 CREATE_NODE id=n_6f3213b9f2f5 node_type=claim
t=0023 CREATE_NODE id=n_ed401d81b64e node_type=claim
t=0024 CREATE_NODE id=n_89accde291e0 node_type=claim
t=0025 CREATE_NODE id=n_9a3f2f011694 node_type=claim
t=0026 CREATE_NODE id=n_c95248e903b2 node_type=claim
t=0027 CREATE_NODE id=n_9ab9604ff66e node_type=claim
t=0028 CREATE_NODE id=n_cc8b821948af node_type=claim
t=0029 CREATE_NODE id=n_417946a62041 node_type=claim
t=0030 CREATE_NODE id=n_79f2550ef4d5 node_type=claim
t=0031 CREATE_NODE id=n_d4fb86b9e667 node_type=claim
t=0032 CREATE_NODE id=n_5a53407b6968 node_type=claim
t=0033 CREATE_NODE id=n_a488dccf0da8 node_type=claim
t=0034 CREATE_NODE id=n_5ebaff7bc0e5 node_type=claim
t=0035 CREATE_NODE id=n_985f42b32876 node_type=claim
t=0036 CREATE_NODE id=n_35cc4e7c60bb node_type=claim
t=0037 CREATE_NODE id=n_6f2f3729cbbd node_type=claim
t=0038 CREATE_NODE id=n_ffc17ed5f1f3 node_type=claim
t=0039 CREATE_NODE id=n_33af8053375a node_type=claim
t=0040 CREATE_NODE id=n_08480c03f355 node_type=claim
t=0041 CREATE_NODE id=n_34bd92287e31 node_type=claim
t=0042 CREATE_NODE id=n_d4973c6b07d7 node_type=claim
t=0043 CREATE_NODE id=n_3e876aaf2c09 node_type=claim
t=0044 CREATE_NODE id=n_3f0f22c72ee5 node_type=claim
t=0045 CREATE_NODE id=n_595e2d00790a node_type=claim
t=0046 CREATE_NODE id=n_30465045a528 node_type=claim
t=0047 CREATE_NODE id=n_f0dc35a254da node_type=claim
t=0048 CREATE_NODE id=n_0c4e9ae0e1a3 node_type=claim
t=0049 CREATE_NODE id=n_7251b35c324a node_type=claim
t=0050 CREATE_NODE id=n_70943a011d0f node_type=claim
t=0051 CREATE_NODE id=n_3b7b354bcbc2 node_type=claim
t=0052 CREATE_NODE id=n_cfd12b175c51 node_type=claim
t=0053 CREATE_NODE id=n_99191bb14e3d node_type=claim
t=0054 CREATE_NODE id=n_d72484b1692b node_type=claim
t=0055 CREATE_NODE id=n_ec48b27042af node_type=claim
t=0056 CREATE_NODE id=n_117834f831f3 node_type=claim
t=0057 CREATE_NODE id=n_cfabc75ca2e0 node_type=claim
t=0058 CREATE_NODE id=n_c21a6a3214b4 node_type=claim
t=0059 CREATE_NODE id=n_d4a4c5e32384 node_type=claim
t=0060 CREATE_NODE id=n_4fac8b09f28d node_type=claim
t=0061 CREATE_NODE id=n_d557c8e28ca1 node_type=claim
t=0062 CREATE_NODE id=n_a7b09f7fec77 node_type=claim
t=0063 CREATE_NODE id=n_3943291550c5 node_type=claim
t=0064 CREATE_NODE id=n_673d8e994f16 node_type=claim
t=0065 CREATE_NODE id=n_b1212d572200 node_type=claim
t=0066 ASSERT_ROOT node=n_29eeeeb8bc5c value=TRUE
t=0067 ADD_EDGE edge_id=e_d369eeba0fe0 source=n_4fac8b09f28d edge_type=supports target=n_86454e94ab96
t=0068 ADD_EDGE edge_id=e_41a34e3547b1 source=n_ed401d81b64e edge_type=refutes target=n_9a3f2f011694
t=0069 ADD_EDGE edge_id=e_8f990b719313 source=n_ed401d81b64e edge_type=refutes target=n_33af8053375a
t=0070 ADD_EDGE edge_id=e_3ec558546c41 source=n_6912f9a409b2 edge_type=refutes target=n_c31cc6e1b86c
t=0071 ADD_EDGE edge_id=e_08a5eb94e173 source=n_7c739ec36f4e edge_type=supports target=n_673d8e994f16
t=0072 ADD_EDGE edge_id=e_4e31e4a638fe source=n_c21a6a3214b4 edge_type=supports target=n_d72484b1692b
t=0073 ADD_EDGE edge_id=e_7c4c31324ec3 source=n_ed401d81b64e edge_type=refutes target=n_1c65d515d040
t=0074 ADD_EDGE edge_id=e_7b75df9dda04 source=n_9a3f2f011694 edge_type=supports target=n_a488dccf0da8
t=0075 ADD_EDGE edge_id=e_6ff494f0532b source=n_6f3213b9f2f5 edge_type=refutes target=n_3e876aaf2c09
t=0076 ADD_EDGE edge_id=e_7968fcfa5361 source=n_33af8053375a edge_type=supports target=n_b1212d572200
t=0077 ADD_EDGE edge_id=e_a320d3772edd source=n_74a472893813 edge_type=supports target=n_cc8b821948af
t=0078 ADD_EDGE edge_id=e_949f147e45eb source=n_d4a4c5e32384 edge_type=supports target=n_79f2550ef4d5
t=0079 ADD_EDGE edge_id=e_655d19a27ad8 source=n_9a3f2f011694 edge_type=supports target=n_5a53407b6968
t=0080 ADD_EDGE edge_id=e_031c9d96196f source=n_9ab9604ff66e edge_type=supports target=n_c95248e903b2
t=0081 ADD_EDGE edge_id=e_5185873c4e35 source=n_d4fb86b9e667 edge_type=supports target=n_5ebaff7bc0e5
t=0082 ADD_EDGE edge_id=e_1270854fd1bb source=n_ffc17ed5f1f3 edge_type=refutes target=n_cfabc75ca2e0
t=0083 ADD_EDGE edge_id=e_97b30de35a44 source=n_f0dc35a254da edge_type=refutes target=n_3943291550c5
t=0084 ADD_EDGE edge_id=e_4ba85b45187a source=n_b1212d572200 edge_type=refutes target=n_eb14de000ab4
t=0085 ADD_EDGE edge_id=e_eb5c102f1133 source=n_06c4aacf6134 edge_type=refutes target=n_6912f9a409b2
t=0086 ADD_EDGE edge_id=e_3d6e27cedff2 source=n_86454e94ab96 edge_type=refutes target=n_35cc4e7c60bb
t=0087 ADD_EDGE edge_id=e_ed00bfc13e2d source=n_34bd92287e31 edge_type=supports target=n_4fac8b09f28d
t=0088 ADD_EDGE edge_id=e_aeba94fc22e6 source=n_21c8104f0d8e edge_type=refutes target=n_f4310f43c44f
t=0089 ADD_EDGE edge_id=e_e7a2d8bcb6fc source=n_99191bb14e3d edge_type=refutes target=n_66b282e3f080
t=0090 ADD_EDGE edge_id=e_677a196ffe39 source=n_f0dc35a254da edge_type=supports target=n_7251b35c324a
t=0091 ADD_EDGE edge_id=e_770030b0a3e2 source=n_6f2f3729cbbd edge_type=refutes target=n_2f101e8df41d
t=0092 ADD_EDGE edge_id=e_00d3a96341d0 source=n_f0dc35a254da edge_type=supports target=n_ed401d81b64e
t=0093 ADD_EDGE edge_id=e_f37b9c9e1e34 source=n_9a3f2f011694 edge_type=supports target=n_c21a6a3214b4
t=0094 ADD_EDGE edge_id=e_15b8393e7470 source=n_ec48b27042af edge_type=refutes target=n_21c8104f0d8e
t=0095 ADD_EDGE edge_id=e_e9d6d6e2e759 source=n_ed401d81b64e edge_type=supports target=n_ec2f14e85074
t=0096 ADD_EDGE edge_id=e_f9a7379ec93a source=n_f8bab7d0b510 edge_type=refutes target=n_595e2d00790a
t=0097 ADD_EDGE edge_id=e_e0498b52f0e7 source=n_4fac8b09f28d edge_type=refutes target=n_3b7b354bcbc2
t=0098 ADD_EDGE edge_id=e_65eb59a319d0 source=n_9a3f2f011694 edge_type=supports target=n_cfd12b175c51
t=0099 ADD_EDGE edge_id=e_64a8a5c79c35 source=n_a488dccf0da8 edge_type=refutes target=n_985f42b32876
t=0100 ADD_EDGE edge_id=e_a1d22803e384 source=n_673d8e994f16 edge_type=supports target=n_70943a011d0f
t=0101 ADD_EDGE edge_id=e_efcc20442ea5 source=n_985f42b32876 edge_type=refutes target=n_417946a62041
t=0102 ADD_EDGE edge_id=e_ca800255d090 source=n_70943a011d0f edge_type=supports target=n_34bd92287e31
t=0103 ADD_EDGE edge_id=e_4ce6445fe894 source=n_2f101e8df41d edge_type=refutes target=n_87d59cdf39db
t=0104 ADD_EDGE edge_id=e_ae62cad0e8d8 source=n_d4973c6b07d7 edge_type=supports target=n_0c4e9ae0e1a3
t=0105 ADD_EDGE edge_id=e_df59ac1902d0 source=n_c31cc6e1b86c edge_type=supports target=n_d4973c6b07d7
t=0106 ADD_EDGE edge_id=e_09c04613fb8d source=n_ec2f14e85074 edge_type=supports target=n_60576adc50c2
t=0107 ADD_EDGE edge_id=e_00b1458a8128 source=n_aa1fb2959840 edge_type=supports target=n_ffc17ed5f1f3
t=0108 ADD_EDGE edge_id=e_22b672424fea source=n_cfd12b175c51 edge_type=supports target=n_ce8ed857de37
t=0109 ADD_EDGE edge_id=e_286fd9d522a9 source=n_d4a4c5e32384 edge_type=refutes target=n_573f675cee3b
t=0110 ADD_EDGE edge_id=e_849b466e61e8 source=n_29eeeeb8bc5c edge_type=refutes target=n_7c739ec36f4e
t=0111 ADD_EDGE edge_id=e_2fe1b28f960c source=n_5a53407b6968 edge_type=supports target=n_6f2f3729cbbd
t=0112 ADD_EDGE edge_id=e_117d5b2cba3d source=n_117834f831f3 edge_type=refutes target=n_d4a4c5e32384
t=0113 ADD_EDGE edge_id=e_d16400117117 source=n_30465045a528 edge_type=refutes target=n_ec48b27042af
t=0114 ADD_EDGE edge_id=e_78bc2501443f source=n_1c65d515d040 edge_type=refutes target=n_9ab9604ff66e
t=0115 ADD_EDGE edge_id=e_e3f35b121119 source=n_66b282e3f080 edge_type=supports target=n_a7b09f7fec77
t=0116 ADD_EDGE edge_id=e_8fd9ae78707c source=n_d4fb86b9e667 edge_type=refutes target=n_f8bab7d0b510
t=0117 ADD_EDGE edge_id=e_228e0b0767a8 source=n_a488dccf0da8 edge_type=supports target=n_884b68c66007
t=0118 ADD_EDGE edge_id=e_9b95c092365d source=n_33af8053375a edge_type=refutes target=n_89accde291e0
t=0119 ADD_EDGE edge_id=e_5229fff6c463 source=n_a488dccf0da8 edge_type=supports target=n_50ccdfd473bf
t=0120 ADD_EDGE edge_id=e_461bf62099e0 source=n_35cc4e7c60bb edge_type=refutes target=n_117834f831f3
t=0121 ADD_EDGE edge_id=e_4c640feb5ea0 source=n_f4310f43c44f edge_type=supports target=n_6f3213b9f2f5
t=0122 ADD_EDGE edge_id=e_5640e7a83cc9 source=n_f0dc35a254da edge_type=supports target=n_08480c03f355
t=0123 ADD_EDGE edge_id=e_cdd8746ec521 source=n_9a3f2f011694 edge_type=refutes target=n_3f0f22c72ee5
t=0124 ADD_EDGE edge_id=e_766d20cac4cf source=n_0c4e9ae0e1a3 edge_type=refutes target=n_aa1fb2959840
t=0125 ADD_EDGE edge_id=e_cd0364f16a56 source=n_cc8b821948af edge_type=refutes target=n_30465045a528
t=0126 ADD_EDGE edge_id=e_fa845cb4dd14 source=n_cfabc75ca2e0 edge_type=supports target=n_d4fb86b9e667
t=0127 ADD_EDGE edge_id=e_f85362b0116b source=n_ed401d81b64e edge_type=refutes target=n_d557c8e28ca1
t=0128 ADD_EDGE edge_id=e_e67f4c2d8bf0 source=n_f8bab7d0b510 edge_type=refutes target=n_74a472893813
t=0129 ADD_EDGE edge_id=e_4cfb397512a2 source=n_79f2550ef4d5 edge_type=supports target=n_06c4aacf6134
t=0130 ADD_EDGE edge_id=e_1cb56c85a293 source=n_1c65d515d040 edge_type=supports target=n_99191bb14e3d
t=0131 QUERY source=n_29eeeeb8bc5c target=n_3e876aaf2c09
[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_59c58a6529d1 node_type=claim
t=0001 CREATE_NODE id=n_21717637710a node_type=claim
t=0002 CREATE_NODE id=n_0a5e85e2c188 node_type=claim
t=0003 CREATE_NODE id=n_3e8dc894648e node_type=claim
t=0004 CREATE_NODE id=n_1f4ed2b8d2b8 node_type=claim
t=0005 CREATE_NODE id=n_0cc583f7adfa node_type=claim
t=0006 CREATE_NODE id=n_8511484ba09c node_type=claim
t=0007 CREATE_NODE id=n_e5ed9c1e6c8c node_type=claim
t=0008 CREATE_NODE id=n_bfbc6aef0ea1 node_type=claim
t=0009 CREATE_NODE id=n_67dde85d9265 node_type=claim
t=0010 CREATE_NODE id=n_415eb425c396 node_type=claim
t=0011 CREATE_NODE id=n_05b172a27fbc node_type=claim
t=0012 CREATE_NODE id=n_5909674a0033 node_type=claim
t=0013 CREATE_NODE id=n_4e73add55ca9 node_type=claim
t=0014 CREATE_NODE id=n_d47adcb9520f node_type=claim
t=0015 CREATE_NODE id=n_bd757903501d node_type=claim
t=0016 CREATE_NODE id=n_f292edbc23cf node_type=claim
t=0017 CREATE_NODE id=n_3feea95a3020 node_type=claim
t=0018 CREATE_NODE id=n_f1139da00c2c node_type=claim
t=0019 CREATE_NODE id=n_9c1aa7e9eaac node_type=claim
t=0020 CREATE_NODE id=n_ecc22326cd59 node_type=claim
t=0021 CREATE_NODE id=n_cf29e34c6b5e node_type=claim
t=0022 CREATE_NODE id=n_60fc3ea5beea node_type=claim
t=0023 CREATE_NODE id=n_471611677f15 node_type=claim
t=0024 CREATE_NODE id=n_4a33b1801062 node_type=claim
t=0025 CREATE_NODE id=n_a24d23bb65e1 node_type=claim
t=0026 CREATE_NODE id=n_9f7de0fbb640 node_type=claim
t=0027 CREATE_NODE id=n_88fa843a0644 node_type=claim
t=0028 CREATE_NODE id=n_7a14190fabf4 node_type=claim
t=0029 CREATE_NODE id=n_6a8e138223ed node_type=claim
t=0030 CREATE_NODE id=n_15ed7a37a2f1 node_type=claim
t=0031 CREATE_NODE id=n_a3c5da467ff0 node_type=claim
t=0032 CREATE_NODE id=n_50c54e82826d node_type=claim
t=0033 CREATE_NODE id=n_af39c27a1329 node_type=claim
t=0034 CREATE_NODE id=n_dba6148bc632 node_type=claim
t=0035 CREATE_NODE id=n_a60bc641757e node_type=claim
t=0036 CREATE_NODE id=n_7947bf037c89 node_type=claim
t=0037 CREATE_NODE id=n_dfd6f27f9eb8 node_type=claim
t=0038 CREATE_NODE id=n_62aa59e7fc08 node_type=claim
t=0039 CREATE_NODE id=n_f3f0737a31c8 node_type=claim
t=0040 CREATE_NODE id=n_7aa86313f81b node_type=claim
t=0041 CREATE_NODE id=n_3c383d435087 node_type=claim
t=0042 CREATE_NODE id=n_07de68745589 node_type=claim
t=0043 CREATE_NODE id=n_c9d0cfa02975 node_type=claim
t=0044 CREATE_NODE id=n_6223468a63b1 node_type=claim
t=0045 CREATE_NODE id=n_db4c73447764 node_type=claim
t=0046 CREATE_NODE id=n_96cb3ce23f1f node_type=claim
t=0047 CREATE_NODE id=n_17051887af28 node_type=claim
t=0048 CREATE_NODE id=n_e312e0f77a1f node_type=claim
t=0049 CREATE_NODE id=n_d03ae2e6eb43 node_type=claim
t=0050 CREATE_NODE id=n_b54664d2369b node_type=claim
t=0051 CREATE_NODE id=n_214794ff31ed node_type=claim
t=0052 CREATE_NODE id=n_ae6921905f86 node_type=claim
t=0053 CREATE_NODE id=n_90d4b008c0b2 node_type=claim
t=0054 CREATE_NODE id=n_4f3f49972991 node_type=claim
t=0055 CREATE_NODE id=n_7d2b258b82e6 node_type=claim
t=0056 CREATE_NODE id=n_19f794187724 node_type=claim
t=0057 CREATE_NODE id=n_6340a7d5aed3 node_type=claim
t=0058 CREATE_NODE id=n_ce865713e4cc node_type=claim
t=0059 CREATE_NODE id=n_848f14760107 node_type=claim
t=0060 CREATE_NODE id=n_04ad8408fc97 node_type=claim
t=0061 CREATE_NODE id=n_ebf20c0dbed1 node_type=claim
t=0062 CREATE_NODE id=n_bebc024cf361 node_type=claim
t=0063 CREATE_NODE id=n_72212f156a11 node_type=claim
t=0064 CREATE_NODE id=n_5242c6b40e59 node_type=claim
t=0065 CREATE_NODE id=n_bf5a1632605b node_type=claim
t=0066 CREATE_NODE id=n_e1540ebaf2f1 node_type=claim
t=0067 CREATE_NODE id=n_28ec381c1fcb node_type=claim
t=0068 ASSERT_ROOT node=n_6340a7d5aed3 value=TRUE
t=0069 ADD_EDGE edge_id=e_af7a1356d211 source=n_67dde85d9265 edge_type=refutes target=n_e1540ebaf2f1
t=0070 ADD_EDGE edge_id=e_4ab8fc964d12 source=n_4f3f49972991 edge_type=refutes target=n_96cb3ce23f1f
t=0071 ADD_EDGE edge_id=e_dc1ddfc90ed8 source=n_96cb3ce23f1f edge_type=supports target=n_5242c6b40e59
t=0072 ADD_EDGE edge_id=e_bbfd5061491f source=n_04ad8408fc97 edge_type=supports target=n_7947bf037c89
t=0073 ADD_EDGE edge_id=e_3e7c9e8751e2 source=n_7aa86313f81b edge_type=refutes target=n_3c383d435087
t=0074 ADD_EDGE edge_id=e_074f5954bcdd source=n_a3c5da467ff0 edge_type=supports target=n_af39c27a1329
t=0075 ADD_EDGE edge_id=e_ef9baf012544 source=n_7d2b258b82e6 edge_type=refutes target=n_15ed7a37a2f1
t=0076 ADD_EDGE edge_id=e_d297a4d1e942 source=n_50c54e82826d edge_type=refutes target=n_9f7de0fbb640
t=0077 ADD_EDGE edge_id=e_55d41b3be749 source=n_90d4b008c0b2 edge_type=refutes target=n_7d2b258b82e6
t=0078 ADD_EDGE edge_id=e_790f0887b350 source=n_7947bf037c89 edge_type=supports target=n_bfbc6aef0ea1
t=0079 ADD_EDGE edge_id=e_45dbc5470c23 source=n_4a33b1801062 edge_type=refutes target=n_e312e0f77a1f
t=0080 ADD_EDGE edge_id=e_2643cec766db source=n_0a5e85e2c188 edge_type=supports target=n_7a14190fabf4
t=0081 ADD_EDGE edge_id=e_362b04f6956d source=n_59c58a6529d1 edge_type=supports target=n_ce865713e4cc
t=0082 ADD_EDGE edge_id=e_94202df63b0a source=n_6223468a63b1 edge_type=refutes target=n_bf5a1632605b
t=0083 ADD_EDGE edge_id=e_2c47e5a88443 source=n_a60bc641757e edge_type=supports target=n_04ad8408fc97
t=0084 ADD_EDGE edge_id=e_706052d70b34 source=n_a24d23bb65e1 edge_type=refutes target=n_3feea95a3020
t=0085 ADD_EDGE edge_id=e_e41e3a511838 source=n_0a5e85e2c188 edge_type=refutes target=n_7aa86313f81b
t=0086 ADD_EDGE edge_id=e_2e5c5ef9623f source=n_f3f0737a31c8 edge_type=supports target=n_4f3f49972991
t=0087 ADD_EDGE edge_id=e_9819c5c402e8 source=n_dfd6f27f9eb8 edge_type=supports target=n_4a33b1801062
t=0088 ADD_EDGE edge_id=e_7dbefca0eedc source=n_72212f156a11 edge_type=refutes target=n_214794ff31ed
t=0089 ADD_EDGE edge_id=e_100bd4fa7224 source=n_e312e0f77a1f edge_type=supports target=n_bd757903501d
t=0090 ADD_EDGE edge_id=e_3f128f6d36c3 source=n_7a14190fabf4 edge_type=supports target=n_28ec381c1fcb
t=0091 ADD_EDGE edge_id=e_37803713306c source=n_7947bf037c89 edge_type=refutes target=n_17051887af28
t=0092 ADD_EDGE edge_id=e_d365da174673 source=n_3e8dc894648e edge_type=supports target=n_b54664d2369b
t=0093 ADD_EDGE edge_id=e_d9f329aece6e source=n_62aa59e7fc08 edge_type=supports target=n_dfd6f27f9eb8
t=0094 ADD_EDGE edge_id=e_4d0deacf0a98 source=n_ebf20c0dbed1 edge_type=supports target=n_67dde85d9265
t=0095 ADD_EDGE edge_id=e_7c39ba06f1e5 source=n_214794ff31ed edge_type=supports target=n_ae6921905f86
t=0096 ADD_EDGE edge_id=e_b5071fe30165 source=n_04ad8408fc97 edge_type=refutes target=n_6a8e138223ed
t=0097 ADD_EDGE edge_id=e_2e690b77372d source=n_7aa86313f81b edge_type=supports target=n_a24d23bb65e1
t=0098 ADD_EDGE edge_id=e_7375fb841eb0 source=n_04ad8408fc97 edge_type=refutes target=n_0a5e85e2c188
t=0099 ADD_EDGE edge_id=e_07025b9fbf74 source=n_db4c73447764 edge_type=supports target=n_88fa843a0644
t=0100 ADD_EDGE edge_id=e_2e545eb4f6c1 source=n_6340a7d5aed3 edge_type=refutes target=n_60fc3ea5beea
t=0101 ADD_EDGE edge_id=e_a40d7ea3e137 source=n_72212f156a11 edge_type=supports target=n_21717637710a
t=0102 ADD_EDGE edge_id=e_145a9931d83e source=n_415eb425c396 edge_type=supports target=n_bebc024cf361
t=0103 ADD_EDGE edge_id=e_fe5867d70313 source=n_a24d23bb65e1 edge_type=supports target=n_07de68745589
t=0104 ADD_EDGE edge_id=e_3edcc70cedbc source=n_ecc22326cd59 edge_type=supports target=n_9c1aa7e9eaac
t=0105 ADD_EDGE edge_id=e_f6cd06b134b6 source=n_a24d23bb65e1 edge_type=refutes target=n_50c54e82826d
t=0106 ADD_EDGE edge_id=e_27ee53d4fb2a source=n_bd757903501d edge_type=refutes target=n_ecc22326cd59
t=0107 ADD_EDGE edge_id=e_5e1258e9cb44 source=n_88fa843a0644 edge_type=refutes target=n_90d4b008c0b2
t=0108 ADD_EDGE edge_id=e_23f4101904cb source=n_8511484ba09c edge_type=refutes target=n_f3f0737a31c8
t=0109 ADD_EDGE edge_id=e_93bbdc765cc6 source=n_bebc024cf361 edge_type=supports target=n_ebf20c0dbed1
t=0110 ADD_EDGE edge_id=e_3681886adf19 source=n_50c54e82826d edge_type=refutes target=n_d47adcb9520f
t=0111 ADD_EDGE edge_id=e_5c9f7a4e352f source=n_72212f156a11 edge_type=refutes target=n_3e8dc894648e
t=0112 ADD_EDGE edge_id=e_4e182f61f073 source=n_bebc024cf361 edge_type=refutes target=n_f292edbc23cf
t=0113 ADD_EDGE edge_id=e_d154d1329324 source=n_7a14190fabf4 edge_type=refutes target=n_848f14760107
t=0114 ADD_EDGE edge_id=e_c7ed72b023a3 source=n_cf29e34c6b5e edge_type=refutes target=n_05b172a27fbc
t=0115 ADD_EDGE edge_id=e_0a5ade51ed5e source=n_ce865713e4cc edge_type=supports target=n_415eb425c396
t=0116 ADD_EDGE edge_id=e_39887126804c source=n_e312e0f77a1f edge_type=supports target=n_0cc583f7adfa
t=0117 ADD_EDGE edge_id=e_52c65c749b5b source=n_0a5e85e2c188 edge_type=supports target=n_e5ed9c1e6c8c
t=0118 ADD_EDGE edge_id=e_c50f9158ac5e source=n_5242c6b40e59 edge_type=supports target=n_471611677f15
t=0119 ADD_EDGE edge_id=e_fdd386a36b1c source=n_6a8e138223ed edge_type=refutes target=n_1f4ed2b8d2b8
t=0120 ADD_EDGE edge_id=e_9d8753d0fbb6 source=n_c9d0cfa02975 edge_type=refutes target=n_d03ae2e6eb43
t=0121 ADD_EDGE edge_id=e_3317c0f4a6f2 source=n_72212f156a11 edge_type=supports target=n_5909674a0033
t=0122 ADD_EDGE edge_id=e_73f075bd9e13 source=n_0a5e85e2c188 edge_type=refutes target=n_cf29e34c6b5e
t=0123 ADD_EDGE edge_id=e_2a40d52cd469 source=n_a3c5da467ff0 edge_type=refutes target=n_8511484ba09c
t=0124 ADD_EDGE edge_id=e_ab7ac7e64f63 source=n_7a14190fabf4 edge_type=supports target=n_72212f156a11
t=0125 ADD_EDGE edge_id=e_55bf4a4a5191 source=n_471611677f15 edge_type=supports target=n_6223468a63b1
t=0126 ADD_EDGE edge_id=e_a8b59cc4ccf5 source=n_60fc3ea5beea edge_type=refutes target=n_62aa59e7fc08
t=0127 ADD_EDGE edge_id=e_59e71e34cb14 source=n_a60bc641757e edge_type=refutes target=n_f1139da00c2c
t=0128 ADD_EDGE edge_id=e_c4e4b256317b source=n_ecc22326cd59 edge_type=refutes target=n_db4c73447764
t=0129 ADD_EDGE edge_id=e_e6dae692ab75 source=n_50c54e82826d edge_type=supports target=n_19f794187724
t=0130 ADD_EDGE edge_id=e_f3367076e9af source=n_d47adcb9520f edge_type=refutes target=n_c9d0cfa02975
t=0131 ADD_EDGE edge_id=e_008604ef0f91 source=n_e1540ebaf2f1 edge_type=refutes target=n_a3c5da467ff0
t=0132 ADD_EDGE edge_id=e_0fad6871f59a source=n_15ed7a37a2f1 edge_type=supports target=n_59c58a6529d1
t=0133 ADD_EDGE edge_id=e_4e355a5f0c02 source=n_bf5a1632605b edge_type=supports target=n_4e73add55ca9
t=0134 ADD_EDGE edge_id=e_235bcfb38c93 source=n_7a14190fabf4 edge_type=supports target=n_dba6148bc632
t=0135 QUERY source=n_6340a7d5aed3 target=n_4e73add55ca9
[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_deb968f522d0 node_type=claim
t=0001 CREATE_NODE id=n_cc706bcc8c74 node_type=claim
t=0002 CREATE_NODE id=n_8a9aeb92fe53 node_type=claim
t=0003 CREATE_NODE id=n_b177691b2692 node_type=claim
t=0004 CREATE_NODE id=n_4be2a78afbe4 node_type=claim
t=0005 CREATE_NODE id=n_003c2c92c540 node_type=claim
t=0006 CREATE_NODE id=n_1c9e648fdf7d node_type=claim
t=0007 CREATE_NODE id=n_d2a67156a419 node_type=claim
t=0008 CREATE_NODE id=n_3370e2f95c33 node_type=claim
t=0009 CREATE_NODE id=n_6ba0863c2f35 node_type=claim
t=0010 CREATE_NODE id=n_afad6a746efa node_type=claim
t=0011 CREATE_NODE id=n_9fee1f08a820 node_type=claim
t=0012 CREATE_NODE id=n_6a19e77c1bcd node_type=claim
t=0013 CREATE_NODE id=n_6a1ab3c03bc9 node_type=claim
t=0014 CREATE_NODE id=n_61f6a46e07b5 node_type=claim
t=0015 CREATE_NODE id=n_5f77eb76e665 node_type=claim
t=0016 CREATE_NODE id=n_f020564ac623 node_type=claim
t=0017 CREATE_NODE id=n_0446be18bae7 node_type=claim
t=0018 CREATE_NODE id=n_e4c360aa9fe4 node_type=claim
t=0019 CREATE_NODE id=n_7830c7244f9f node_type=claim
t=0020 CREATE_NODE id=n_24980d7fd760 node_type=claim
t=0021 CREATE_NODE id=n_46ea185c1c21 node_type=claim
t=0022 CREATE_NODE id=n_f424a27bab92 node_type=claim
t=0023 CREATE_NODE id=n_b151ef1e430b node_type=claim
t=0024 CREATE_NODE id=n_1b06a24e69f4 node_type=claim
t=0025 CREATE_NODE id=n_32ea61db019f node_type=claim
t=0026 CREATE_NODE id=n_ec9a5fce428d node_type=claim
t=0027 CREATE_NODE id=n_c64dbfe97ab1 node_type=claim
t=0028 CREATE_NODE id=n_8be18861143e node_type=claim
t=0029 CREATE_NODE id=n_9fd599030f0f node_type=claim
t=0030 CREATE_NODE id=n_655d0408f5df node_type=claim
t=0031 CREATE_NODE id=n_9a49e1ca3338 node_type=claim
t=0032 CREATE_NODE id=n_842173da0695 node_type=claim
t=0033 CREATE_NODE id=n_ed190421c53e node_type=claim
t=0034 CREATE_NODE id=n_b0394ac66787 node_type=claim
t=0035 CREATE_NODE id=n_29297f17f97f node_type=claim
t=0036 CREATE_NODE id=n_e24aeff31ca4 node_type=claim
t=0037 CREATE_NODE id=n_9153ded04d02 node_type=claim
t=0038 CREATE_NODE id=n_fcb0d83208e9 node_type=claim
t=0039 CREATE_NODE id=n_fadd19dd08b0 node_type=claim
t=0040 CREATE_NODE id=n_0e2d1279c15c node_type=claim
t=0041 CREATE_NODE id=n_77f0eb013cfd node_type=claim
t=0042 CREATE_NODE id=n_a89535fd8387 node_type=claim
t=0043 CREATE_NODE id=n_174128e14586 node_type=claim
t=0044 CREATE_NODE id=n_d9b8e1e1fa93 node_type=claim
t=0045 CREATE_NODE id=n_4b40ffb64f5f node_type=claim
t=0046 CREATE_NODE id=n_2f7da84ebe43 node_type=claim
t=0047 CREATE_NODE id=n_7981d4a7badb node_type=claim
t=0048 CREATE_NODE id=n_ee535bb07bb2 node_type=claim
t=0049 CREATE_NODE id=n_e4101c60d3f6 node_type=claim
t=0050 CREATE_NODE id=n_e8a94f55a115 node_type=claim
t=0051 CREATE_NODE id=n_66868d010d7d node_type=claim
t=0052 CREATE_NODE id=n_ad8f0c73bcca node_type=claim
t=0053 CREATE_NODE id=n_324123434275 node_type=claim
t=0054 CREATE_NODE id=n_59a8112d0273 node_type=claim
t=0055 CREATE_NODE id=n_082347df40f2 node_type=claim
t=0056 CREATE_NODE id=n_c2f3a590a3d4 node_type=claim
t=0057 CREATE_NODE id=n_3e1225c4ee9d node_type=claim
t=0058 CREATE_NODE id=n_237869391792 node_type=claim
t=0059 CREATE_NODE id=n_96dce1eb1e99 node_type=claim
t=0060 CREATE_NODE id=n_0a8f2e77f0a4 node_type=claim
t=0061 CREATE_NODE id=n_be4dfbc66766 node_type=claim
t=0062 CREATE_NODE id=n_1d8ae572c519 node_type=claim
t=0063 CREATE_NODE id=n_f97516726bd1 node_type=claim
t=0064 CREATE_NODE id=n_f0cf6a73c887 node_type=claim
t=0065 CREATE_NODE id=n_da30df444154 node_type=claim
t=0066 CREATE_NODE id=n_c1c388156b00 node_type=claim
t=0067 CREATE_NODE id=n_998d0100fc7b node_type=claim
t=0068 ASSERT_ROOT node=n_5f77eb76e665 value=FALSE
t=0069 ADD_EDGE edge_id=e_cb680fb6c45d source=n_b177691b2692 edge_type=supports target=n_e4c360aa9fe4
t=0070 ADD_EDGE edge_id=e_29c9cafc58f6 source=n_6ba0863c2f35 edge_type=supports target=n_3e1225c4ee9d
t=0071 ADD_EDGE edge_id=e_fecda47355d8 source=n_b0394ac66787 edge_type=refutes target=n_3370e2f95c33
t=0072 ADD_EDGE edge_id=e_42ed1d4809a6 source=n_96dce1eb1e99 edge_type=supports target=n_842173da0695
t=0073 ADD_EDGE edge_id=e_9b19f2e3a465 source=n_e4101c60d3f6 edge_type=refutes target=n_f424a27bab92
t=0074 ADD_EDGE edge_id=e_610cc2b9838d source=n_c1c388156b00 edge_type=refutes target=n_9fee1f08a820
t=0075 ADD_EDGE edge_id=e_1097d7ca8694 source=n_32ea61db019f edge_type=refutes target=n_59a8112d0273
t=0076 ADD_EDGE edge_id=e_2bfaf9f0098b source=n_d9b8e1e1fa93 edge_type=refutes target=n_655d0408f5df
t=0077 ADD_EDGE edge_id=e_6d72b095c659 source=n_6ba0863c2f35 edge_type=refutes target=n_b151ef1e430b
t=0078 ADD_EDGE edge_id=e_899b46acf969 source=n_8a9aeb92fe53 edge_type=refutes target=n_f0cf6a73c887
t=0079 ADD_EDGE edge_id=e_ffa7b404b702 source=n_237869391792 edge_type=supports target=n_ec9a5fce428d
t=0080 ADD_EDGE edge_id=e_cdb87814085f source=n_f020564ac623 edge_type=refutes target=n_6a1ab3c03bc9
t=0081 ADD_EDGE edge_id=e_44e2ab741d34 source=n_77f0eb013cfd edge_type=refutes target=n_2f7da84ebe43
t=0082 ADD_EDGE edge_id=e_8948e9839be3 source=n_deb968f522d0 edge_type=supports target=n_c2f3a590a3d4
t=0083 ADD_EDGE edge_id=e_6687727a0f8d source=n_e4101c60d3f6 edge_type=refutes target=n_66868d010d7d
t=0084 ADD_EDGE edge_id=e_d84ae08cd398 source=n_24980d7fd760 edge_type=refutes target=n_0a8f2e77f0a4
t=0085 ADD_EDGE edge_id=e_d39a9fb4df99 source=n_29297f17f97f edge_type=refutes target=n_f020564ac623
t=0086 ADD_EDGE edge_id=e_59c5fe3a3943 source=n_0a8f2e77f0a4 edge_type=supports target=n_f97516726bd1
t=0087 ADD_EDGE edge_id=e_02328b356f94 source=n_c1c388156b00 edge_type=supports target=n_1b06a24e69f4
t=0088 ADD_EDGE edge_id=e_c37ec4aecaa5 source=n_1b06a24e69f4 edge_type=supports target=n_cc706bcc8c74
t=0089 ADD_EDGE edge_id=e_efd69ff3da76 source=n_59a8112d0273 edge_type=refutes target=n_998d0100fc7b
t=0090 ADD_EDGE edge_id=e_e70dd608e6fa source=n_deb968f522d0 edge_type=refutes target=n_fadd19dd08b0
t=0091 ADD_EDGE edge_id=e_8349307f2278 source=n_afad6a746efa edge_type=refutes target=n_ee535bb07bb2
t=0092 ADD_EDGE edge_id=e_933d9bdad830 source=n_e4101c60d3f6 edge_type=supports target=n_deb968f522d0
t=0093 ADD_EDGE edge_id=e_998333ac0703 source=n_b177691b2692 edge_type=supports target=n_6a19e77c1bcd
t=0094 ADD_EDGE edge_id=e_dd4a2a7d3964 source=n_be4dfbc66766 edge_type=supports target=n_9a49e1ca3338
t=0095 ADD_EDGE edge_id=e_7ce06449e24a source=n_deb968f522d0 edge_type=refutes target=n_4b40ffb64f5f
t=0096 ADD_EDGE edge_id=e_ef23afd52967 source=n_8be18861143e edge_type=supports target=n_96dce1eb1e99
t=0097 ADD_EDGE edge_id=e_89435113d7ae source=n_1d8ae572c519 edge_type=refutes target=n_61f6a46e07b5
t=0098 ADD_EDGE edge_id=e_d50fe9dff4cd source=n_0e2d1279c15c edge_type=refutes target=n_082347df40f2
t=0099 ADD_EDGE edge_id=e_522e7393140f source=n_842173da0695 edge_type=supports target=n_29297f17f97f
t=0100 ADD_EDGE edge_id=e_d3809b287089 source=n_f0cf6a73c887 edge_type=supports target=n_1c9e648fdf7d
t=0101 ADD_EDGE edge_id=e_7c987e0b878e source=n_4b40ffb64f5f edge_type=supports target=n_32ea61db019f
t=0102 ADD_EDGE edge_id=e_5391132ec735 source=n_f97516726bd1 edge_type=supports target=n_afad6a746efa
t=0103 ADD_EDGE edge_id=e_a5cda255c794 source=n_4b40ffb64f5f edge_type=supports target=n_0e2d1279c15c
t=0104 ADD_EDGE edge_id=e_de54bbe2600b source=n_5f77eb76e665 edge_type=supports target=n_1d8ae572c519
t=0105 ADD_EDGE edge_id=e_6d5dacf7502c source=n_ec9a5fce428d edge_type=supports target=n_7981d4a7badb
t=0106 ADD_EDGE edge_id=e_70858ac59245 source=n_174128e14586 edge_type=refutes target=n_ed190421c53e
t=0107 ADD_EDGE edge_id=e_282c428f4088 source=n_e4101c60d3f6 edge_type=refutes target=n_b177691b2692
t=0108 ADD_EDGE edge_id=e_3b289a6966d0 source=n_6a1ab3c03bc9 edge_type=refutes target=n_237869391792
t=0109 ADD_EDGE edge_id=e_e7655cff2e96 source=n_7981d4a7badb edge_type=supports target=n_4be2a78afbe4
t=0110 ADD_EDGE edge_id=e_f5ee5ca67ebf source=n_324123434275 edge_type=supports target=n_be4dfbc66766
t=0111 ADD_EDGE edge_id=e_5c24b1d9adab source=n_8a9aeb92fe53 edge_type=refutes target=n_c64dbfe97ab1
t=0112 ADD_EDGE edge_id=e_b3f7d9e07197 source=n_0e2d1279c15c edge_type=refutes target=n_e8a94f55a115
t=0113 ADD_EDGE edge_id=e_ec9564c59817 source=n_32ea61db019f edge_type=refutes target=n_174128e14586
t=0114 ADD_EDGE edge_id=e_086012b61d68 source=n_e4c360aa9fe4 edge_type=supports target=n_8a9aeb92fe53
t=0115 ADD_EDGE edge_id=e_a98041f4427c source=n_2f7da84ebe43 edge_type=supports target=n_324123434275
t=0116 ADD_EDGE edge_id=e_64ba4ff3d533 source=n_61f6a46e07b5 edge_type=supports target=n_da30df444154
t=0117 ADD_EDGE edge_id=e_e8f05869393a source=n_f0cf6a73c887 edge_type=supports target=n_fcb0d83208e9
t=0118 ADD_EDGE edge_id=e_25134ef9a1de source=n_46ea185c1c21 edge_type=supports target=n_6ba0863c2f35
t=0119 ADD_EDGE edge_id=e_ac0d3a8a4429 source=n_ee535bb07bb2 edge_type=refutes target=n_46ea185c1c21
t=0120 ADD_EDGE edge_id=e_96d34aa46f5e source=n_8a9aeb92fe53 edge_type=refutes target=n_7830c7244f9f
t=0121 ADD_EDGE edge_id=e_6dae21e92e10 source=n_b151ef1e430b edge_type=refutes target=n_0446be18bae7
t=0122 ADD_EDGE edge_id=e_8021a7011ad4 source=n_b0394ac66787 edge_type=supports target=n_d9b8e1e1fa93
t=0123 ADD_EDGE edge_id=e_87f69239fb28 source=n_32ea61db019f edge_type=supports target=n_ad8f0c73bcca
t=0124 ADD_EDGE edge_id=e_9457783245ff source=n_7981d4a7badb edge_type=refutes target=n_24980d7fd760
t=0125 ADD_EDGE edge_id=e_b7466acc6dcb source=n_b151ef1e430b edge_type=supports target=n_77f0eb013cfd
t=0126 ADD_EDGE edge_id=e_dd0aec8917e4 source=n_cc706bcc8c74 edge_type=refutes target=n_9fd599030f0f
t=0127 ADD_EDGE edge_id=e_519a9d264058 source=n_998d0100fc7b edge_type=refutes target=n_e24aeff31ca4
t=0128 ADD_EDGE edge_id=e_5799ecf9586c source=n_b0394ac66787 edge_type=supports target=n_e4101c60d3f6
t=0129 ADD_EDGE edge_id=e_8349704cb128 source=n_6a19e77c1bcd edge_type=supports target=n_a89535fd8387
t=0130 ADD_EDGE edge_id=e_30daeaccbb83 source=n_32ea61db019f edge_type=refutes target=n_d2a67156a419
t=0131 ADD_EDGE edge_id=e_694261b536e4 source=n_da30df444154 edge_type=supports target=n_c1c388156b00
t=0132 ADD_EDGE edge_id=e_664406104fbb source=n_9fd599030f0f edge_type=supports target=n_8be18861143e
t=0133 ADD_EDGE edge_id=e_0cd070bf5da9 source=n_3370e2f95c33 edge_type=refutes target=n_9153ded04d02
t=0134 ADD_EDGE edge_id=e_6ed24d0850d7 source=n_c2f3a590a3d4 edge_type=refutes target=n_003c2c92c540
t=0135 QUERY source=n_5f77eb76e665 target=n_9a49e1ca3338
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.