[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_a6fd7f60d6c2 node_type=claim
t=0001 CREATE_NODE id=n_d1ff2846ca98 node_type=claim
t=0002 CREATE_NODE id=n_5b3d84fc477f node_type=claim
t=0003 CREATE_NODE id=n_80bbd86163a6 node_type=claim
t=0004 CREATE_NODE id=n_db6886855edf node_type=claim
t=0005 CREATE_NODE id=n_e0242893bf36 node_type=claim
t=0006 CREATE_NODE id=n_5f2699d3170b node_type=claim
t=0007 CREATE_NODE id=n_b5ab1c1db0d6 node_type=claim
t=0008 CREATE_NODE id=n_d71edb708103 node_type=claim
t=0009 CREATE_NODE id=n_922f81399287 node_type=claim
t=0010 CREATE_NODE id=n_20277dcf9e14 node_type=claim
t=0011 CREATE_NODE id=n_9d098866b8b4 node_type=claim
t=0012 CREATE_NODE id=n_8d8f62719b2c node_type=claim
t=0013 CREATE_NODE id=n_d8b51d697a0a node_type=claim
t=0014 CREATE_NODE id=n_101728115594 node_type=claim
t=0015 CREATE_NODE id=n_adbd6b0bc3ee node_type=claim
t=0016 CREATE_NODE id=n_5523a5e4cf8c node_type=claim
t=0017 CREATE_NODE id=n_fcc311a45b1a node_type=claim
t=0018 CREATE_NODE id=n_0d7730513319 node_type=claim
t=0019 CREATE_NODE id=n_4703e0bf31c3 node_type=claim
t=0020 CREATE_NODE id=n_7bc1d82fbce2 node_type=claim
t=0021 CREATE_NODE id=n_e4ec6fd3f212 node_type=claim
t=0022 CREATE_NODE id=n_36f81ac23d72 node_type=claim
t=0023 CREATE_NODE id=n_35ebc25b21f6 node_type=claim
t=0024 CREATE_NODE id=n_5e7483e77209 node_type=claim
t=0025 CREATE_NODE id=n_d8600de350fe node_type=claim
t=0026 CREATE_NODE id=n_c37b42307fb7 node_type=claim
t=0027 CREATE_NODE id=n_42e865eeb577 node_type=claim
t=0028 CREATE_NODE id=n_31b5ece1b474 node_type=claim
t=0029 CREATE_NODE id=n_9148ca7f4f21 node_type=claim
t=0030 CREATE_NODE id=n_26138c835b2f node_type=claim
t=0031 CREATE_NODE id=n_b3eed7dedcac node_type=claim
t=0032 CREATE_NODE id=n_8aadc52124a0 node_type=claim
t=0033 CREATE_NODE id=n_b86c4f8134af node_type=claim
t=0034 CREATE_NODE id=n_dd6cd3b90700 node_type=claim
t=0035 CREATE_NODE id=n_24912b3f3917 node_type=claim
t=0036 CREATE_NODE id=n_0fd80913cafc node_type=claim
t=0037 CREATE_NODE id=n_09c65228b9f3 node_type=claim
t=0038 CREATE_NODE id=n_cb5addaac35a node_type=claim
t=0039 CREATE_NODE id=n_fec6145594e9 node_type=claim
t=0040 CREATE_NODE id=n_e7dede0bd5be node_type=claim
t=0041 CREATE_NODE id=n_73e78730c405 node_type=claim
t=0042 CREATE_NODE id=n_9e6ed502a24a node_type=claim
t=0043 CREATE_NODE id=n_486ae16a6b3e node_type=claim
t=0044 CREATE_NODE id=n_ab42193e3f20 node_type=claim
t=0045 CREATE_NODE id=n_0f64bce23f57 node_type=claim
t=0046 CREATE_NODE id=n_4caad8aef4db node_type=claim
t=0047 CREATE_NODE id=n_81ecf6d8e942 node_type=claim
t=0048 CREATE_NODE id=n_db7bff88277c node_type=claim
t=0049 CREATE_NODE id=n_5d772e5a65fd node_type=claim
t=0050 CREATE_NODE id=n_e3d9a0c2efea node_type=claim
t=0051 CREATE_NODE id=n_754026fbb4d4 node_type=claim
t=0052 CREATE_NODE id=n_f87f1f2546c3 node_type=claim
t=0053 CREATE_NODE id=n_16d23735fd5d node_type=claim
t=0054 ASSERT_ROOT node=n_e7dede0bd5be value=TRUE
t=0055 ADD_EDGE edge_id=e_0b31d9325e45 source=n_5523a5e4cf8c edge_type=refutes target=n_d8b51d697a0a
t=0056 ADD_EDGE edge_id=e_d4c22b60be58 source=n_73e78730c405 edge_type=refutes target=n_4703e0bf31c3
t=0057 ADD_EDGE edge_id=e_11fef00db89c source=n_a6fd7f60d6c2 edge_type=refutes target=n_754026fbb4d4
t=0058 ADD_EDGE edge_id=e_9812f011a8cc source=n_7bc1d82fbce2 edge_type=refutes target=n_d8600de350fe
t=0059 ADD_EDGE edge_id=e_3bf2a8b525fb source=n_0f64bce23f57 edge_type=refutes target=n_20277dcf9e14
t=0060 ADD_EDGE edge_id=e_753b0c8a1b6e source=n_c37b42307fb7 edge_type=supports target=n_31b5ece1b474
t=0061 ADD_EDGE edge_id=e_157daf5be711 source=n_d8b51d697a0a edge_type=refutes target=n_486ae16a6b3e
t=0062 ADD_EDGE edge_id=e_c17b3d68de4d source=n_9148ca7f4f21 edge_type=supports target=n_0f64bce23f57
t=0063 ADD_EDGE edge_id=e_50711c8c543c source=n_0fd80913cafc edge_type=refutes target=n_0d7730513319
t=0064 ADD_EDGE edge_id=e_ab2cd394573e source=n_36f81ac23d72 edge_type=refutes target=n_fcc311a45b1a
t=0065 ADD_EDGE edge_id=e_48461297b653 source=n_fcc311a45b1a edge_type=supports target=n_d71edb708103
t=0066 ADD_EDGE edge_id=e_a1cb1477d5c4 source=n_0fd80913cafc edge_type=refutes target=n_db7bff88277c
t=0067 ADD_EDGE edge_id=e_f1ce0983f086 source=n_e3d9a0c2efea edge_type=refutes target=n_d1ff2846ca98
t=0068 ADD_EDGE edge_id=e_c031dd806bd6 source=n_73e78730c405 edge_type=supports target=n_5523a5e4cf8c
t=0069 ADD_EDGE edge_id=e_fc7754dffcf9 source=n_81ecf6d8e942 edge_type=refutes target=n_e4ec6fd3f212
t=0070 ADD_EDGE edge_id=e_f75a1646ae60 source=n_f87f1f2546c3 edge_type=supports target=n_5f2699d3170b
t=0071 ADD_EDGE edge_id=e_b632c110c4cc source=n_5b3d84fc477f edge_type=supports target=n_b86c4f8134af
t=0072 ADD_EDGE edge_id=e_b9124b7b7d0c source=n_80bbd86163a6 edge_type=refutes target=n_f87f1f2546c3
t=0073 ADD_EDGE edge_id=e_50a8f2eda4da source=n_a6fd7f60d6c2 edge_type=refutes target=n_8d8f62719b2c
t=0074 ADD_EDGE edge_id=e_565d04ee1559 source=n_b5ab1c1db0d6 edge_type=refutes target=n_81ecf6d8e942
t=0075 ADD_EDGE edge_id=e_a42394554bd4 source=n_35ebc25b21f6 edge_type=refutes target=n_0fd80913cafc
t=0076 ADD_EDGE edge_id=e_ecdba152b24d source=n_d1ff2846ca98 edge_type=supports target=n_c37b42307fb7
t=0077 ADD_EDGE edge_id=e_5e7cc45938e6 source=n_4caad8aef4db edge_type=supports target=n_73e78730c405
t=0078 ADD_EDGE edge_id=e_e6c2f4db6abf source=n_4703e0bf31c3 edge_type=refutes target=n_42e865eeb577
t=0079 ADD_EDGE edge_id=e_9089b3b9cbb8 source=n_d8b51d697a0a edge_type=refutes target=n_5e7483e77209
t=0080 ADD_EDGE edge_id=e_01198c87115c source=n_754026fbb4d4 edge_type=supports target=n_adbd6b0bc3ee
t=0081 ADD_EDGE edge_id=e_6fd0f4168be2 source=n_4703e0bf31c3 edge_type=refutes target=n_9e6ed502a24a
t=0082 ADD_EDGE edge_id=e_5e623ae5c80b source=n_8aadc52124a0 edge_type=supports target=n_5b3d84fc477f
t=0083 ADD_EDGE edge_id=e_602ed0b64d2a source=n_16d23735fd5d edge_type=refutes target=n_ab42193e3f20
t=0084 ADD_EDGE edge_id=e_d03dbc62b70f source=n_4703e0bf31c3 edge_type=supports target=n_9d098866b8b4
t=0085 ADD_EDGE edge_id=e_5f165a0a57c4 source=n_26138c835b2f edge_type=refutes target=n_9148ca7f4f21
t=0086 ADD_EDGE edge_id=e_e8b8133ecad6 source=n_dd6cd3b90700 edge_type=supports target=n_e0242893bf36
t=0087 ADD_EDGE edge_id=e_37cd96bef78f source=n_e4ec6fd3f212 edge_type=supports target=n_e3d9a0c2efea
t=0088 ADD_EDGE edge_id=e_3888aa33aabb source=n_c37b42307fb7 edge_type=supports target=n_5d772e5a65fd
t=0089 ADD_EDGE edge_id=e_369d698e14d8 source=n_e7dede0bd5be edge_type=refutes target=n_fec6145594e9
t=0090 ADD_EDGE edge_id=e_9d7fb26fe577 source=n_20277dcf9e14 edge_type=supports target=n_36f81ac23d72
t=0091 ADD_EDGE edge_id=e_6546716d15f4 source=n_5f2699d3170b edge_type=refutes target=n_b5ab1c1db0d6
t=0092 ADD_EDGE edge_id=e_5b98c82b20e3 source=n_42e865eeb577 edge_type=supports target=n_16d23735fd5d
t=0093 ADD_EDGE edge_id=e_550672f63e3a source=n_922f81399287 edge_type=supports target=n_cb5addaac35a
t=0094 ADD_EDGE edge_id=e_78518b206a7b source=n_db7bff88277c edge_type=supports target=n_80bbd86163a6
t=0095 ADD_EDGE edge_id=e_f63126dbc379 source=n_73e78730c405 edge_type=refutes target=n_7bc1d82fbce2
t=0096 ADD_EDGE edge_id=e_08bf66ffcb1d source=n_486ae16a6b3e edge_type=supports target=n_101728115594
t=0097 ADD_EDGE edge_id=e_4b25c6f49059 source=n_5d772e5a65fd edge_type=supports target=n_26138c835b2f
t=0098 ADD_EDGE edge_id=e_911bbb0f8374 source=n_4caad8aef4db edge_type=supports target=n_8aadc52124a0
t=0099 ADD_EDGE edge_id=e_bdeb18696883 source=n_d71edb708103 edge_type=supports target=n_db6886855edf
t=0100 ADD_EDGE edge_id=e_d3aec06e8d33 source=n_16d23735fd5d edge_type=supports target=n_a6fd7f60d6c2
t=0101 ADD_EDGE edge_id=e_8563c146f14f source=n_5523a5e4cf8c edge_type=refutes target=n_b3eed7dedcac
t=0102 ADD_EDGE edge_id=e_b6418a6ac757 source=n_adbd6b0bc3ee edge_type=refutes target=n_922f81399287
t=0103 ADD_EDGE edge_id=e_f84e7b08d5ed source=n_dd6cd3b90700 edge_type=supports target=n_35ebc25b21f6
t=0104 ADD_EDGE edge_id=e_8424541525bd source=n_8aadc52124a0 edge_type=refutes target=n_24912b3f3917
t=0105 ADD_EDGE edge_id=e_5a5210bda340 source=n_754026fbb4d4 edge_type=supports target=n_09c65228b9f3
t=0106 ADD_EDGE edge_id=e_05fa8a960980 source=n_e7dede0bd5be edge_type=supports target=n_dd6cd3b90700
t=0107 QUERY source=n_e7dede0bd5be target=n_db6886855edf
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_560fa0021a80 node_type=claim
t=0001 CREATE_NODE id=n_10d4856d7b28 node_type=claim
t=0002 CREATE_NODE id=n_a60105d103fa node_type=claim
t=0003 CREATE_NODE id=n_02ce6232742c node_type=claim
t=0004 CREATE_NODE id=n_48a85d61325e node_type=claim
t=0005 CREATE_NODE id=n_41f5cc82018c node_type=claim
t=0006 CREATE_NODE id=n_eb5d9e516b75 node_type=claim
t=0007 CREATE_NODE id=n_0bbc94b17665 node_type=claim
t=0008 CREATE_NODE id=n_f48f2b65dc33 node_type=claim
t=0009 CREATE_NODE id=n_74d6d61f0dd5 node_type=claim
t=0010 CREATE_NODE id=n_e79827e52efc node_type=claim
t=0011 CREATE_NODE id=n_db015ffa39f0 node_type=claim
t=0012 CREATE_NODE id=n_2a78df459ed4 node_type=claim
t=0013 CREATE_NODE id=n_f979037ea696 node_type=claim
t=0014 CREATE_NODE id=n_11f1fbac14a1 node_type=claim
t=0015 CREATE_NODE id=n_e4d644661326 node_type=claim
t=0016 CREATE_NODE id=n_d700251fc5ce node_type=claim
t=0017 CREATE_NODE id=n_98d7cd0ef396 node_type=claim
t=0018 CREATE_NODE id=n_7792d2cd45fb node_type=claim
t=0019 CREATE_NODE id=n_d6a66abef5b4 node_type=claim
t=0020 CREATE_NODE id=n_c919a62d7337 node_type=claim
t=0021 CREATE_NODE id=n_4adc726e2f7c node_type=claim
t=0022 CREATE_NODE id=n_a6de5c1a2a0b node_type=claim
t=0023 CREATE_NODE id=n_7422a357b98a node_type=claim
t=0024 CREATE_NODE id=n_4fbc2b504cea node_type=claim
t=0025 CREATE_NODE id=n_23990f0aa23d node_type=claim
t=0026 CREATE_NODE id=n_54760bf92f7d node_type=claim
t=0027 CREATE_NODE id=n_220b281263e4 node_type=claim
t=0028 CREATE_NODE id=n_b14ed301cc13 node_type=claim
t=0029 CREATE_NODE id=n_3a5db7540bf6 node_type=claim
t=0030 CREATE_NODE id=n_ee03195f481a node_type=claim
t=0031 CREATE_NODE id=n_e1eb345bc019 node_type=claim
t=0032 CREATE_NODE id=n_a4c9d6c276f0 node_type=claim
t=0033 CREATE_NODE id=n_62c472aedd20 node_type=claim
t=0034 CREATE_NODE id=n_35d2ac70119c node_type=claim
t=0035 CREATE_NODE id=n_364c101471ad node_type=claim
t=0036 CREATE_NODE id=n_5e650db53ef9 node_type=claim
t=0037 CREATE_NODE id=n_04d0b86cfaee node_type=claim
t=0038 CREATE_NODE id=n_8362b8d9bd63 node_type=claim
t=0039 CREATE_NODE id=n_e54664ba071c node_type=claim
t=0040 CREATE_NODE id=n_ff927eab667d node_type=claim
t=0041 CREATE_NODE id=n_0323c15d6277 node_type=claim
t=0042 CREATE_NODE id=n_54fb0732ccdd node_type=claim
t=0043 CREATE_NODE id=n_e60fb645db54 node_type=claim
t=0044 CREATE_NODE id=n_f5dc9deb1a0b node_type=claim
t=0045 CREATE_NODE id=n_68e02b7832e0 node_type=claim
t=0046 CREATE_NODE id=n_455c5ce21c74 node_type=claim
t=0047 CREATE_NODE id=n_3dd7b496b35d node_type=claim
t=0048 CREATE_NODE id=n_7616887933b7 node_type=claim
t=0049 CREATE_NODE id=n_c710de780afd node_type=claim
t=0050 CREATE_NODE id=n_5b228faf68bf node_type=claim
t=0051 CREATE_NODE id=n_d3522299dc23 node_type=claim
t=0052 CREATE_NODE id=n_36c30b2f7642 node_type=claim
t=0053 CREATE_NODE id=n_2c84540afbaa node_type=claim
t=0054 ASSERT_ROOT node=n_02ce6232742c value=TRUE
t=0055 ADD_EDGE edge_id=e_5196dce7773d source=n_db015ffa39f0 edge_type=supports target=n_68e02b7832e0
t=0056 ADD_EDGE edge_id=e_02678c327948 source=n_2a78df459ed4 edge_type=supports target=n_2c84540afbaa
t=0057 ADD_EDGE edge_id=e_69439d9490cb source=n_36c30b2f7642 edge_type=refutes target=n_2a78df459ed4
t=0058 ADD_EDGE edge_id=e_07d72ec5025c source=n_7792d2cd45fb edge_type=refutes target=n_e54664ba071c
t=0059 ADD_EDGE edge_id=e_b434579da004 source=n_e60fb645db54 edge_type=refutes target=n_3dd7b496b35d
t=0060 ADD_EDGE edge_id=e_4b138e4992e3 source=n_560fa0021a80 edge_type=refutes target=n_a60105d103fa
t=0061 ADD_EDGE edge_id=e_2c696a4dd855 source=n_a6de5c1a2a0b edge_type=refutes target=n_ff927eab667d
t=0062 ADD_EDGE edge_id=e_3b05c2fba367 source=n_54fb0732ccdd edge_type=supports target=n_f5dc9deb1a0b
t=0063 ADD_EDGE edge_id=e_a280fc8c1aca source=n_b14ed301cc13 edge_type=refutes target=n_a6de5c1a2a0b
t=0064 ADD_EDGE edge_id=e_8bed25683962 source=n_3dd7b496b35d edge_type=supports target=n_4adc726e2f7c
t=0065 ADD_EDGE edge_id=e_87ea9f7d3690 source=n_36c30b2f7642 edge_type=supports target=n_0323c15d6277
t=0066 ADD_EDGE edge_id=e_e08031d261e1 source=n_98d7cd0ef396 edge_type=refutes target=n_11f1fbac14a1
t=0067 ADD_EDGE edge_id=e_cfba412f49e1 source=n_74d6d61f0dd5 edge_type=refutes target=n_e60fb645db54
t=0068 ADD_EDGE edge_id=e_34b4fbe7907e source=n_98d7cd0ef396 edge_type=supports target=n_364c101471ad
t=0069 ADD_EDGE edge_id=e_647fa9061dae source=n_f979037ea696 edge_type=supports target=n_23990f0aa23d
t=0070 ADD_EDGE edge_id=e_459aea4feb50 source=n_f979037ea696 edge_type=supports target=n_db015ffa39f0
t=0071 ADD_EDGE edge_id=e_dcea75463936 source=n_35d2ac70119c edge_type=supports target=n_10d4856d7b28
t=0072 ADD_EDGE edge_id=e_7b3c3b8fd02e source=n_d700251fc5ce edge_type=supports target=n_b14ed301cc13
t=0073 ADD_EDGE edge_id=e_e80dc9060aa4 source=n_ff927eab667d edge_type=refutes target=n_74d6d61f0dd5
t=0074 ADD_EDGE edge_id=e_cbc077bdef22 source=n_ee03195f481a edge_type=refutes target=n_41f5cc82018c
t=0075 ADD_EDGE edge_id=e_baafb9810d9b source=n_f5dc9deb1a0b edge_type=supports target=n_e79827e52efc
t=0076 ADD_EDGE edge_id=e_fb5d2211852f source=n_c919a62d7337 edge_type=supports target=n_220b281263e4
t=0077 ADD_EDGE edge_id=e_ed1b915608d7 source=n_8362b8d9bd63 edge_type=refutes target=n_3a5db7540bf6
t=0078 ADD_EDGE edge_id=e_54aa052831fe source=n_d3522299dc23 edge_type=supports target=n_f48f2b65dc33
t=0079 ADD_EDGE edge_id=e_1af8e86c060e source=n_2a78df459ed4 edge_type=refutes target=n_98d7cd0ef396
t=0080 ADD_EDGE edge_id=e_92218b333f4b source=n_364c101471ad edge_type=supports target=n_7422a357b98a
t=0081 ADD_EDGE edge_id=e_1f3f4516b735 source=n_ee03195f481a edge_type=supports target=n_5e650db53ef9
t=0082 ADD_EDGE edge_id=e_ca7cf5d8f08f source=n_eb5d9e516b75 edge_type=refutes target=n_c710de780afd
t=0083 ADD_EDGE edge_id=e_202d0ac33138 source=n_e4d644661326 edge_type=supports target=n_a4c9d6c276f0
t=0084 ADD_EDGE edge_id=e_5de1cdb8e354 source=n_d3522299dc23 edge_type=supports target=n_4fbc2b504cea
t=0085 ADD_EDGE edge_id=e_a665a76a152b source=n_02ce6232742c edge_type=refutes target=n_eb5d9e516b75
t=0086 ADD_EDGE edge_id=e_af2447f55c9e source=n_7422a357b98a edge_type=refutes target=n_f979037ea696
t=0087 ADD_EDGE edge_id=e_1a6312cf08a7 source=n_a60105d103fa edge_type=refutes target=n_48a85d61325e
t=0088 ADD_EDGE edge_id=e_fe1972e484f8 source=n_455c5ce21c74 edge_type=supports target=n_d3522299dc23
t=0089 ADD_EDGE edge_id=e_ee6e0bf10605 source=n_f5dc9deb1a0b edge_type=refutes target=n_04d0b86cfaee
t=0090 ADD_EDGE edge_id=e_2bae0e6527a9 source=n_11f1fbac14a1 edge_type=supports target=n_0bbc94b17665
t=0091 ADD_EDGE edge_id=e_955ad18eb55a source=n_3a5db7540bf6 edge_type=refutes target=n_560fa0021a80
t=0092 ADD_EDGE edge_id=e_19a8cec11b4b source=n_41f5cc82018c edge_type=supports target=n_455c5ce21c74
t=0093 ADD_EDGE edge_id=e_a0a2c4511d37 source=n_e1eb345bc019 edge_type=refutes target=n_5b228faf68bf
t=0094 ADD_EDGE edge_id=e_eb8f34c2a5be source=n_e54664ba071c edge_type=supports target=n_ee03195f481a
t=0095 ADD_EDGE edge_id=e_2eb2d3945962 source=n_f979037ea696 edge_type=refutes target=n_e4d644661326
t=0096 ADD_EDGE edge_id=e_7140b9dec2da source=n_54fb0732ccdd edge_type=supports target=n_36c30b2f7642
t=0097 ADD_EDGE edge_id=e_6806e1db648e source=n_11f1fbac14a1 edge_type=refutes target=n_35d2ac70119c
t=0098 ADD_EDGE edge_id=e_c7de4c207fcf source=n_5b228faf68bf edge_type=refutes target=n_d700251fc5ce
t=0099 ADD_EDGE edge_id=e_dfab975ea1c1 source=n_3dd7b496b35d edge_type=supports target=n_7792d2cd45fb
t=0100 ADD_EDGE edge_id=e_2bd64162bcae source=n_10d4856d7b28 edge_type=supports target=n_7616887933b7
t=0101 ADD_EDGE edge_id=e_d3297682fd68 source=n_c710de780afd edge_type=refutes target=n_e1eb345bc019
t=0102 ADD_EDGE edge_id=e_471df211a444 source=n_98d7cd0ef396 edge_type=supports target=n_62c472aedd20
t=0103 ADD_EDGE edge_id=e_28914f3febd5 source=n_11f1fbac14a1 edge_type=refutes target=n_54760bf92f7d
t=0104 ADD_EDGE edge_id=e_8003b770fc62 source=n_d3522299dc23 edge_type=refutes target=n_8362b8d9bd63
t=0105 ADD_EDGE edge_id=e_ee629cc859e1 source=n_54fb0732ccdd edge_type=supports target=n_c919a62d7337
t=0106 ADD_EDGE edge_id=e_d428f8cad9d5 source=n_54760bf92f7d edge_type=refutes target=n_d6a66abef5b4
t=0107 QUERY source=n_02ce6232742c target=n_48a85d61325e
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_1c8d2b6c0f84 node_type=claim
t=0001 CREATE_NODE id=n_da44ca63e19c node_type=claim
t=0002 CREATE_NODE id=n_2bc8823267a2 node_type=claim
t=0003 CREATE_NODE id=n_a91c377d586a node_type=claim
t=0004 CREATE_NODE id=n_e1fbfd792aa4 node_type=claim
t=0005 CREATE_NODE id=n_86c497c62b24 node_type=claim
t=0006 CREATE_NODE id=n_5f46f936d10c node_type=claim
t=0007 CREATE_NODE id=n_98196227a5dd node_type=claim
t=0008 CREATE_NODE id=n_083fe2fb4b0c node_type=claim
t=0009 CREATE_NODE id=n_ce0bee6432de node_type=claim
t=0010 CREATE_NODE id=n_311c75f89d35 node_type=claim
t=0011 CREATE_NODE id=n_8c5b9fcaa5d5 node_type=claim
t=0012 CREATE_NODE id=n_6a6da6c0a726 node_type=claim
t=0013 CREATE_NODE id=n_f6997c199e7f node_type=claim
t=0014 CREATE_NODE id=n_3b002c6610bb node_type=claim
t=0015 CREATE_NODE id=n_98d8c7414011 node_type=claim
t=0016 CREATE_NODE id=n_b8de8a780648 node_type=claim
t=0017 CREATE_NODE id=n_ef8793631741 node_type=claim
t=0018 CREATE_NODE id=n_66c9255b544a node_type=claim
t=0019 CREATE_NODE id=n_555165d473fa node_type=claim
t=0020 CREATE_NODE id=n_8176398c63cf node_type=claim
t=0021 CREATE_NODE id=n_31fd4c89c082 node_type=claim
t=0022 CREATE_NODE id=n_161326da664e node_type=claim
t=0023 CREATE_NODE id=n_83a26f8f4c88 node_type=claim
t=0024 CREATE_NODE id=n_35cf733e29f9 node_type=claim
t=0025 CREATE_NODE id=n_5d03aa4e84cc node_type=claim
t=0026 CREATE_NODE id=n_c17d8372da9d node_type=claim
t=0027 CREATE_NODE id=n_0b29c5001223 node_type=claim
t=0028 CREATE_NODE id=n_84f873c1448c node_type=claim
t=0029 CREATE_NODE id=n_99e6dd0df2c2 node_type=claim
t=0030 CREATE_NODE id=n_966e54f98370 node_type=claim
t=0031 CREATE_NODE id=n_829152142955 node_type=claim
t=0032 CREATE_NODE id=n_9220d1fcc43f node_type=claim
t=0033 CREATE_NODE id=n_216970370a67 node_type=claim
t=0034 CREATE_NODE id=n_cb5af1c682c6 node_type=claim
t=0035 CREATE_NODE id=n_87f6ea4205a6 node_type=claim
t=0036 CREATE_NODE id=n_f888c9b203b1 node_type=claim
t=0037 CREATE_NODE id=n_9da142077763 node_type=claim
t=0038 CREATE_NODE id=n_26f67da13bca node_type=claim
t=0039 CREATE_NODE id=n_f040ef891ab9 node_type=claim
t=0040 CREATE_NODE id=n_f189839d044e node_type=claim
t=0041 CREATE_NODE id=n_47b8b9ac2579 node_type=claim
t=0042 CREATE_NODE id=n_49ee2c9ab014 node_type=claim
t=0043 CREATE_NODE id=n_df6aacf801a9 node_type=claim
t=0044 CREATE_NODE id=n_507645ffad03 node_type=claim
t=0045 CREATE_NODE id=n_3c3265e52298 node_type=claim
t=0046 CREATE_NODE id=n_47eb910afec6 node_type=claim
t=0047 CREATE_NODE id=n_5144318efdb2 node_type=claim
t=0048 CREATE_NODE id=n_20aa3b3ac0c0 node_type=claim
t=0049 CREATE_NODE id=n_208bda8478f9 node_type=claim
t=0050 CREATE_NODE id=n_e9dc9926e3a2 node_type=claim
t=0051 CREATE_NODE id=n_2f622d7cbca6 node_type=claim
t=0052 CREATE_NODE id=n_3f6701654d0f node_type=claim
t=0053 CREATE_NODE id=n_67b38ba6f34f node_type=claim
t=0054 ASSERT_ROOT node=n_555165d473fa value=FALSE
t=0055 ADD_EDGE edge_id=e_345781134bee source=n_3c3265e52298 edge_type=supports target=n_83a26f8f4c88
t=0056 ADD_EDGE edge_id=e_b626d9801901 source=n_f040ef891ab9 edge_type=supports target=n_829152142955
t=0057 ADD_EDGE edge_id=e_1d6191d2dc2a source=n_555165d473fa edge_type=refutes target=n_5144318efdb2
t=0058 ADD_EDGE edge_id=e_00496d0bc0c6 source=n_966e54f98370 edge_type=supports target=n_2f622d7cbca6
t=0059 ADD_EDGE edge_id=e_d1162f061228 source=n_47eb910afec6 edge_type=supports target=n_35cf733e29f9
t=0060 ADD_EDGE edge_id=e_fcbb3a6d4b7b source=n_98196227a5dd edge_type=refutes target=n_e1fbfd792aa4
t=0061 ADD_EDGE edge_id=e_c0aa47255266 source=n_df6aacf801a9 edge_type=supports target=n_b8de8a780648
t=0062 ADD_EDGE edge_id=e_20d258abcf9e source=n_66c9255b544a edge_type=refutes target=n_9220d1fcc43f
t=0063 ADD_EDGE edge_id=e_b193df2f2ee1 source=n_ce0bee6432de edge_type=refutes target=n_f888c9b203b1
t=0064 ADD_EDGE edge_id=e_c42f69df2f01 source=n_66c9255b544a edge_type=supports target=n_6a6da6c0a726
t=0065 ADD_EDGE edge_id=e_7c7d23d7124f source=n_47b8b9ac2579 edge_type=refutes target=n_311c75f89d35
t=0066 ADD_EDGE edge_id=e_0fc44ff8c408 source=n_da44ca63e19c edge_type=supports target=n_c17d8372da9d
t=0067 ADD_EDGE edge_id=e_8558e2dca5af source=n_66c9255b544a edge_type=supports target=n_98d8c7414011
t=0068 ADD_EDGE edge_id=e_29748d7c4b60 source=n_5f46f936d10c edge_type=supports target=n_2bc8823267a2
t=0069 ADD_EDGE edge_id=e_fe32abe74529 source=n_b8de8a780648 edge_type=refutes target=n_98196227a5dd
t=0070 ADD_EDGE edge_id=e_c708a48d2144 source=n_507645ffad03 edge_type=supports target=n_216970370a67
t=0071 ADD_EDGE edge_id=e_08126d060fe4 source=n_5144318efdb2 edge_type=supports target=n_47b8b9ac2579
t=0072 ADD_EDGE edge_id=e_5aea4d693ad7 source=n_311c75f89d35 edge_type=supports target=n_966e54f98370
t=0073 ADD_EDGE edge_id=e_a0b98cf5d543 source=n_47eb910afec6 edge_type=supports target=n_20aa3b3ac0c0
t=0074 ADD_EDGE edge_id=e_463f9126a369 source=n_3c3265e52298 edge_type=supports target=n_47eb910afec6
t=0075 ADD_EDGE edge_id=e_047d6cf21b9d source=n_f040ef891ab9 edge_type=supports target=n_87f6ea4205a6
t=0076 ADD_EDGE edge_id=e_1b9a3c2b6e22 source=n_829152142955 edge_type=refutes target=n_161326da664e
t=0077 ADD_EDGE edge_id=e_f74d844455a7 source=n_c17d8372da9d edge_type=supports target=n_67b38ba6f34f
t=0078 ADD_EDGE edge_id=e_438d68b102a8 source=n_e1fbfd792aa4 edge_type=refutes target=n_f6997c199e7f
t=0079 ADD_EDGE edge_id=e_54c63e9229e1 source=n_966e54f98370 edge_type=supports target=n_84f873c1448c
t=0080 ADD_EDGE edge_id=e_085a1c0bc938 source=n_26f67da13bca edge_type=refutes target=n_507645ffad03
t=0081 ADD_EDGE edge_id=e_dedbcff63703 source=n_0b29c5001223 edge_type=refutes target=n_66c9255b544a
t=0082 ADD_EDGE edge_id=e_66a3a5887ff8 source=n_cb5af1c682c6 edge_type=refutes target=n_99e6dd0df2c2
t=0083 ADD_EDGE edge_id=e_1d3777cfa556 source=n_0b29c5001223 edge_type=refutes target=n_3f6701654d0f
t=0084 ADD_EDGE edge_id=e_10d0ec9975f7 source=n_98d8c7414011 edge_type=refutes target=n_a91c377d586a
t=0085 ADD_EDGE edge_id=e_26adef58c55e source=n_35cf733e29f9 edge_type=supports target=n_9da142077763
t=0086 ADD_EDGE edge_id=e_141a474411c0 source=n_26f67da13bca edge_type=refutes target=n_31fd4c89c082
t=0087 ADD_EDGE edge_id=e_714c496c3cfa source=n_5d03aa4e84cc edge_type=supports target=n_ce0bee6432de
t=0088 ADD_EDGE edge_id=e_cb6b743e0186 source=n_0b29c5001223 edge_type=refutes target=n_5d03aa4e84cc
t=0089 ADD_EDGE edge_id=e_acb9f0fd50e6 source=n_67b38ba6f34f edge_type=supports target=n_8c5b9fcaa5d5
t=0090 ADD_EDGE edge_id=e_f15a43fdf27a source=n_208bda8478f9 edge_type=supports target=n_da44ca63e19c
t=0091 ADD_EDGE edge_id=e_3d2f4f255116 source=n_2bc8823267a2 edge_type=refutes target=n_df6aacf801a9
t=0092 ADD_EDGE edge_id=e_28013307bd3e source=n_8176398c63cf edge_type=refutes target=n_26f67da13bca
t=0093 ADD_EDGE edge_id=e_ea55e88c6ee9 source=n_e9dc9926e3a2 edge_type=supports target=n_5f46f936d10c
t=0094 ADD_EDGE edge_id=e_1056fd31f13b source=n_47b8b9ac2579 edge_type=refutes target=n_3b002c6610bb
t=0095 ADD_EDGE edge_id=e_b779e4374b1f source=n_9da142077763 edge_type=refutes target=n_86c497c62b24
t=0096 ADD_EDGE edge_id=e_be3a33fadb81 source=n_f6997c199e7f edge_type=refutes target=n_ef8793631741
t=0097 ADD_EDGE edge_id=e_79bbba70d770 source=n_ef8793631741 edge_type=supports target=n_f040ef891ab9
t=0098 ADD_EDGE edge_id=e_e88ba515db17 source=n_66c9255b544a edge_type=refutes target=n_3c3265e52298
t=0099 ADD_EDGE edge_id=e_d39ccd5056c9 source=n_84f873c1448c edge_type=supports target=n_49ee2c9ab014
t=0100 ADD_EDGE edge_id=e_84e37f7aba65 source=n_49ee2c9ab014 edge_type=refutes target=n_e9dc9926e3a2
t=0101 ADD_EDGE edge_id=e_8e467ce13a9c source=n_5d03aa4e84cc edge_type=supports target=n_8176398c63cf
t=0102 ADD_EDGE edge_id=e_a6581539d297 source=n_161326da664e edge_type=refutes target=n_208bda8478f9
t=0103 ADD_EDGE edge_id=e_472b3bb55d2a source=n_66c9255b544a edge_type=refutes target=n_cb5af1c682c6
t=0104 ADD_EDGE edge_id=e_665ea580300a source=n_3c3265e52298 edge_type=refutes target=n_1c8d2b6c0f84
t=0105 ADD_EDGE edge_id=e_7969ecd222f0 source=n_98d8c7414011 edge_type=supports target=n_083fe2fb4b0c
t=0106 ADD_EDGE edge_id=e_879f0e66cf0a source=n_3c3265e52298 edge_type=refutes target=n_f189839d044e
t=0107 QUERY source=n_555165d473fa target=n_67b38ba6f34f
[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_82f54598c6d9 node_type=claim
t=0001 CREATE_NODE id=n_8eea2a510414 node_type=claim
t=0002 CREATE_NODE id=n_f7ca0ff97686 node_type=claim
t=0003 CREATE_NODE id=n_b18a13ab3bae node_type=claim
t=0004 CREATE_NODE id=n_d8fb8f80b9c8 node_type=claim
t=0005 CREATE_NODE id=n_ba40012ffc48 node_type=claim
t=0006 CREATE_NODE id=n_16cc5b233210 node_type=claim
t=0007 CREATE_NODE id=n_f23115358f7f node_type=claim
t=0008 CREATE_NODE id=n_b6fc6a7c6713 node_type=claim
t=0009 CREATE_NODE id=n_a0504b0149e0 node_type=claim
t=0010 CREATE_NODE id=n_3342e5fbe272 node_type=claim
t=0011 CREATE_NODE id=n_ea91deb0dcdd node_type=claim
t=0012 CREATE_NODE id=n_693a73bafd26 node_type=claim
t=0013 CREATE_NODE id=n_87e0790002a6 node_type=claim
t=0014 CREATE_NODE id=n_ea5ca772bd5b node_type=claim
t=0015 CREATE_NODE id=n_7d11290e102e node_type=claim
t=0016 CREATE_NODE id=n_41077881f4fc node_type=claim
t=0017 CREATE_NODE id=n_9266de013309 node_type=claim
t=0018 CREATE_NODE id=n_89f41d4be2c9 node_type=claim
t=0019 CREATE_NODE id=n_12d6631cc144 node_type=claim
t=0020 CREATE_NODE id=n_0f826c11e3ee node_type=claim
t=0021 CREATE_NODE id=n_9e2f59968468 node_type=claim
t=0022 CREATE_NODE id=n_b2d6f39eb453 node_type=claim
t=0023 CREATE_NODE id=n_660f1c8f700a node_type=claim
t=0024 CREATE_NODE id=n_6e8b1a2c0e52 node_type=claim
t=0025 CREATE_NODE id=n_a0116d2b9da3 node_type=claim
t=0026 CREATE_NODE id=n_b81241f69621 node_type=claim
t=0027 CREATE_NODE id=n_8517088ec29c node_type=claim
t=0028 CREATE_NODE id=n_b1f632ee90f0 node_type=claim
t=0029 CREATE_NODE id=n_a6f3a06cf10f node_type=claim
t=0030 CREATE_NODE id=n_5eb9e97320ea node_type=claim
t=0031 CREATE_NODE id=n_0b9ad15175ed node_type=claim
t=0032 CREATE_NODE id=n_1a908f5aded4 node_type=claim
t=0033 CREATE_NODE id=n_0bd3f429497f node_type=claim
t=0034 CREATE_NODE id=n_ac33f9446672 node_type=claim
t=0035 CREATE_NODE id=n_c1bd704247a3 node_type=claim
t=0036 CREATE_NODE id=n_4555d74ed9e2 node_type=claim
t=0037 CREATE_NODE id=n_1c1659f3a193 node_type=claim
t=0038 CREATE_NODE id=n_7076128d1c3a node_type=claim
t=0039 CREATE_NODE id=n_cf6ae6495e87 node_type=claim
t=0040 CREATE_NODE id=n_2e1f4afcce67 node_type=claim
t=0041 CREATE_NODE id=n_0d926332030c node_type=claim
t=0042 CREATE_NODE id=n_ddd8c44f5cd1 node_type=claim
t=0043 CREATE_NODE id=n_d76d64e1cdcc node_type=claim
t=0044 CREATE_NODE id=n_b5f3e7d1cad7 node_type=claim
t=0045 CREATE_NODE id=n_0ac9cbe92555 node_type=claim
t=0046 CREATE_NODE id=n_f2dec1c094cc node_type=claim
t=0047 CREATE_NODE id=n_746df6ceb1d2 node_type=claim
t=0048 CREATE_NODE id=n_461df253c468 node_type=claim
t=0049 CREATE_NODE id=n_106c9aa80d15 node_type=claim
t=0050 CREATE_NODE id=n_93a183fcac0b node_type=claim
t=0051 CREATE_NODE id=n_c6bdd24ffb8f node_type=claim
t=0052 CREATE_NODE id=n_ddfb2c2f4ae1 node_type=claim
t=0053 CREATE_NODE id=n_dfa1f5332383 node_type=claim
t=0054 ASSERT_ROOT node=n_8eea2a510414 value=TRUE
t=0055 ADD_EDGE edge_id=e_31b4105a7dd4 source=n_82f54598c6d9 edge_type=refutes target=n_c6bdd24ffb8f
t=0056 ADD_EDGE edge_id=e_8f34a0610061 source=n_ddfb2c2f4ae1 edge_type=supports target=n_ac33f9446672
t=0057 ADD_EDGE edge_id=e_3d45cc2db6f3 source=n_f7ca0ff97686 edge_type=refutes target=n_b18a13ab3bae
t=0058 ADD_EDGE edge_id=e_cdd49a0664cd source=n_0b9ad15175ed edge_type=supports target=n_4555d74ed9e2
t=0059 ADD_EDGE edge_id=e_82641e782faa source=n_4555d74ed9e2 edge_type=refutes target=n_0f826c11e3ee
t=0060 ADD_EDGE edge_id=e_b5645de42948 source=n_7076128d1c3a edge_type=refutes target=n_cf6ae6495e87
t=0061 ADD_EDGE edge_id=e_dd5cae340775 source=n_8eea2a510414 edge_type=refutes target=n_3342e5fbe272
t=0062 ADD_EDGE edge_id=e_fcce7b13fd02 source=n_8517088ec29c edge_type=refutes target=n_dfa1f5332383
t=0063 ADD_EDGE edge_id=e_e8001d363880 source=n_dfa1f5332383 edge_type=refutes target=n_b6fc6a7c6713
t=0064 ADD_EDGE edge_id=e_5ffbcbea8534 source=n_41077881f4fc edge_type=refutes target=n_461df253c468
t=0065 ADD_EDGE edge_id=e_b8b58c3b2c6b source=n_0d926332030c edge_type=supports target=n_f7ca0ff97686
t=0066 ADD_EDGE edge_id=e_8408f25b9f33 source=n_82f54598c6d9 edge_type=refutes target=n_693a73bafd26
t=0067 ADD_EDGE edge_id=e_2630df86f54f source=n_3342e5fbe272 edge_type=supports target=n_9e2f59968468
t=0068 ADD_EDGE edge_id=e_6920975d6fd6 source=n_ddd8c44f5cd1 edge_type=supports target=n_ddfb2c2f4ae1
t=0069 ADD_EDGE edge_id=e_fe33b22c06b8 source=n_87e0790002a6 edge_type=supports target=n_f23115358f7f
t=0070 ADD_EDGE edge_id=e_e07ffeda146f source=n_82f54598c6d9 edge_type=supports target=n_6e8b1a2c0e52
t=0071 ADD_EDGE edge_id=e_be8c66085c0e source=n_0b9ad15175ed edge_type=refutes target=n_16cc5b233210
t=0072 ADD_EDGE edge_id=e_7c22e4cd052d source=n_82f54598c6d9 edge_type=supports target=n_0ac9cbe92555
t=0073 ADD_EDGE edge_id=e_d4d1d9620b56 source=n_41077881f4fc edge_type=supports target=n_b2d6f39eb453
t=0074 ADD_EDGE edge_id=e_3ae46171c205 source=n_9e2f59968468 edge_type=supports target=n_d8fb8f80b9c8
t=0075 ADD_EDGE edge_id=e_64732aa69bd8 source=n_1c1659f3a193 edge_type=refutes target=n_1a908f5aded4
t=0076 ADD_EDGE edge_id=e_f763969111fe source=n_41077881f4fc edge_type=supports target=n_b81241f69621
t=0077 ADD_EDGE edge_id=e_7cf56281f52d source=n_93a183fcac0b edge_type=supports target=n_f2dec1c094cc
t=0078 ADD_EDGE edge_id=e_1ae5c9c8e3a9 source=n_693a73bafd26 edge_type=supports target=n_1c1659f3a193
t=0079 ADD_EDGE edge_id=e_bd8f4077ce6c source=n_d8fb8f80b9c8 edge_type=refutes target=n_ea91deb0dcdd
t=0080 ADD_EDGE edge_id=e_dabf6eb9190b source=n_ba40012ffc48 edge_type=supports target=n_93a183fcac0b
t=0081 ADD_EDGE edge_id=e_71d46ed60ffa source=n_1c1659f3a193 edge_type=supports target=n_ea5ca772bd5b
t=0082 ADD_EDGE edge_id=e_74627f8e27ca source=n_8517088ec29c edge_type=refutes target=n_2e1f4afcce67
t=0083 ADD_EDGE edge_id=e_7a5419998527 source=n_ea91deb0dcdd edge_type=refutes target=n_0b9ad15175ed
t=0084 ADD_EDGE edge_id=e_2610b536476c source=n_f2dec1c094cc edge_type=supports target=n_0d926332030c
t=0085 ADD_EDGE edge_id=e_7a8064841dc2 source=n_ac33f9446672 edge_type=refutes target=n_b1f632ee90f0
t=0086 ADD_EDGE edge_id=e_9397b7e063f5 source=n_b18a13ab3bae edge_type=supports target=n_660f1c8f700a
t=0087 ADD_EDGE edge_id=e_f595ffd0412f source=n_0f826c11e3ee edge_type=refutes target=n_87e0790002a6
t=0088 ADD_EDGE edge_id=e_d8a529ddacf9 source=n_82f54598c6d9 edge_type=supports target=n_7d11290e102e
t=0089 ADD_EDGE edge_id=e_6900e2787a23 source=n_c6bdd24ffb8f edge_type=refutes target=n_89f41d4be2c9
t=0090 ADD_EDGE edge_id=e_420879b71013 source=n_b81241f69621 edge_type=refutes target=n_b5f3e7d1cad7
t=0091 ADD_EDGE edge_id=e_139aa8260908 source=n_8517088ec29c edge_type=supports target=n_a6f3a06cf10f
t=0092 ADD_EDGE edge_id=e_454b6bd31feb source=n_f23115358f7f edge_type=supports target=n_7076128d1c3a
t=0093 ADD_EDGE edge_id=e_5bb8c9df8e62 source=n_ba40012ffc48 edge_type=supports target=n_746df6ceb1d2
t=0094 ADD_EDGE edge_id=e_589734202ccf source=n_b81241f69621 edge_type=refutes target=n_a0116d2b9da3
t=0095 ADD_EDGE edge_id=e_3cbf312dd5f0 source=n_cf6ae6495e87 edge_type=supports target=n_ba40012ffc48
t=0096 ADD_EDGE edge_id=e_f3a520ca4057 source=n_82f54598c6d9 edge_type=supports target=n_0bd3f429497f
t=0097 ADD_EDGE edge_id=e_f90b65d4a11f source=n_1c1659f3a193 edge_type=supports target=n_d76d64e1cdcc
t=0098 ADD_EDGE edge_id=e_9b5d16dadd80 source=n_41077881f4fc edge_type=supports target=n_9266de013309
t=0099 ADD_EDGE edge_id=e_737cfa8ae21c source=n_660f1c8f700a edge_type=refutes target=n_ddd8c44f5cd1
t=0100 ADD_EDGE edge_id=e_051e04f95d09 source=n_d8fb8f80b9c8 edge_type=refutes target=n_5eb9e97320ea
t=0101 ADD_EDGE edge_id=e_fac89f9019d2 source=n_82f54598c6d9 edge_type=refutes target=n_106c9aa80d15
t=0102 ADD_EDGE edge_id=e_3afc4280c863 source=n_82f54598c6d9 edge_type=refutes target=n_8517088ec29c
t=0103 ADD_EDGE edge_id=e_5feb643ac833 source=n_89f41d4be2c9 edge_type=refutes target=n_12d6631cc144
t=0104 ADD_EDGE edge_id=e_b8fe2b849cc3 source=n_693a73bafd26 edge_type=refutes target=n_a0504b0149e0
t=0105 ADD_EDGE edge_id=e_4cac4de2b19f source=n_693a73bafd26 edge_type=supports target=n_41077881f4fc
t=0106 ADD_EDGE edge_id=e_b6d2dad11f05 source=n_ac33f9446672 edge_type=refutes target=n_c1bd704247a3
t=0107 QUERY source=n_8eea2a510414 target=n_c1bd704247a3
[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_e4e3f0abd01b node_type=claim
t=0001 CREATE_NODE id=n_0c4b37eecec1 node_type=claim
t=0002 CREATE_NODE id=n_6e9a2a51214d node_type=claim
t=0003 CREATE_NODE id=n_e8068637ad3f node_type=claim
t=0004 CREATE_NODE id=n_19285ffd2bc1 node_type=claim
t=0005 CREATE_NODE id=n_0ac295898ee2 node_type=claim
t=0006 CREATE_NODE id=n_83086b2d30d5 node_type=claim
t=0007 CREATE_NODE id=n_0327b28dde4d node_type=claim
t=0008 CREATE_NODE id=n_9b8a638189da node_type=claim
t=0009 CREATE_NODE id=n_0a4138c00783 node_type=claim
t=0010 CREATE_NODE id=n_752e01b32253 node_type=claim
t=0011 CREATE_NODE id=n_3b67b00eb41a node_type=claim
t=0012 CREATE_NODE id=n_237582ffe27e node_type=claim
t=0013 CREATE_NODE id=n_a20cbb2e12b4 node_type=claim
t=0014 CREATE_NODE id=n_e37774ee19a3 node_type=claim
t=0015 CREATE_NODE id=n_e78d88b7927f node_type=claim
t=0016 CREATE_NODE id=n_e3025c7a1a42 node_type=claim
t=0017 CREATE_NODE id=n_c7db20725aad node_type=claim
t=0018 CREATE_NODE id=n_94f685f50a20 node_type=claim
t=0019 CREATE_NODE id=n_24725b2b90ee node_type=claim
t=0020 CREATE_NODE id=n_b1563c88b6e4 node_type=claim
t=0021 CREATE_NODE id=n_0af44132fba7 node_type=claim
t=0022 CREATE_NODE id=n_604944c57654 node_type=claim
t=0023 CREATE_NODE id=n_b27626626f1f node_type=claim
t=0024 CREATE_NODE id=n_51843e46fe86 node_type=claim
t=0025 CREATE_NODE id=n_63673eb27ad1 node_type=claim
t=0026 CREATE_NODE id=n_4ef4795eb54f node_type=claim
t=0027 CREATE_NODE id=n_c17dca8691a2 node_type=claim
t=0028 CREATE_NODE id=n_8841baa32214 node_type=claim
t=0029 CREATE_NODE id=n_dc8f2117821b node_type=claim
t=0030 CREATE_NODE id=n_56157705fcf3 node_type=claim
t=0031 CREATE_NODE id=n_5c6e3c7dc2f5 node_type=claim
t=0032 CREATE_NODE id=n_39adcf15b391 node_type=claim
t=0033 CREATE_NODE id=n_d4ed2a6542da node_type=claim
t=0034 CREATE_NODE id=n_7249c8848091 node_type=claim
t=0035 CREATE_NODE id=n_76aebccd5aba node_type=claim
t=0036 CREATE_NODE id=n_88852d16ee0a node_type=claim
t=0037 CREATE_NODE id=n_43df59859a63 node_type=claim
t=0038 CREATE_NODE id=n_155a80fb0acf node_type=claim
t=0039 CREATE_NODE id=n_b6890365260b node_type=claim
t=0040 CREATE_NODE id=n_080f15eb3ba0 node_type=claim
t=0041 CREATE_NODE id=n_26853b8ffb97 node_type=claim
t=0042 CREATE_NODE id=n_51e37f00814a node_type=claim
t=0043 CREATE_NODE id=n_7b2e299feee3 node_type=claim
t=0044 CREATE_NODE id=n_0a4729eb6944 node_type=claim
t=0045 CREATE_NODE id=n_fcd0b55f5428 node_type=claim
t=0046 CREATE_NODE id=n_7c9458625890 node_type=claim
t=0047 CREATE_NODE id=n_1bb72f013fbd node_type=claim
t=0048 CREATE_NODE id=n_0dcd57aebd36 node_type=claim
t=0049 CREATE_NODE id=n_020725904c67 node_type=claim
t=0050 CREATE_NODE id=n_b1a7df6e4abb node_type=claim
t=0051 CREATE_NODE id=n_16ea63c1955b node_type=claim
t=0052 CREATE_NODE id=n_49024ca646a3 node_type=claim
t=0053 CREATE_NODE id=n_31e87cf786bb node_type=claim
t=0054 ASSERT_ROOT node=n_020725904c67 value=FALSE
t=0055 ADD_EDGE edge_id=e_fa3b8c53b0be source=n_020725904c67 edge_type=refutes target=n_e8068637ad3f
t=0056 ADD_EDGE edge_id=e_ee9b16dd4f99 source=n_0a4138c00783 edge_type=supports target=n_7249c8848091
t=0057 ADD_EDGE edge_id=e_02e9a845be19 source=n_dc8f2117821b edge_type=supports target=n_7b2e299feee3
t=0058 ADD_EDGE edge_id=e_6eba93179697 source=n_752e01b32253 edge_type=supports target=n_0327b28dde4d
t=0059 ADD_EDGE edge_id=e_68e1866c75a8 source=n_0af44132fba7 edge_type=supports target=n_b1a7df6e4abb
t=0060 ADD_EDGE edge_id=e_2bcd25ef79e6 source=n_49024ca646a3 edge_type=supports target=n_0c4b37eecec1
t=0061 ADD_EDGE edge_id=e_c5dc1bd8c19f source=n_94f685f50a20 edge_type=refutes target=n_56157705fcf3
t=0062 ADD_EDGE edge_id=e_04073471470d source=n_b6890365260b edge_type=refutes target=n_e78d88b7927f
t=0063 ADD_EDGE edge_id=e_14e825192bd8 source=n_43df59859a63 edge_type=refutes target=n_d4ed2a6542da
t=0064 ADD_EDGE edge_id=e_58b55c48db0f source=n_0a4138c00783 edge_type=refutes target=n_c17dca8691a2
t=0065 ADD_EDGE edge_id=e_4b18433359f7 source=n_b1563c88b6e4 edge_type=supports target=n_31e87cf786bb
t=0066 ADD_EDGE edge_id=e_d3a35031efd4 source=n_4ef4795eb54f edge_type=refutes target=n_604944c57654
t=0067 ADD_EDGE edge_id=e_2d587b982ce9 source=n_a20cbb2e12b4 edge_type=refutes target=n_63673eb27ad1
t=0068 ADD_EDGE edge_id=e_edf001959063 source=n_0af44132fba7 edge_type=supports target=n_6e9a2a51214d
t=0069 ADD_EDGE edge_id=e_5a2169ad5355 source=n_43df59859a63 edge_type=refutes target=n_19285ffd2bc1
t=0070 ADD_EDGE edge_id=e_c06d07992434 source=n_31e87cf786bb edge_type=supports target=n_9b8a638189da
t=0071 ADD_EDGE edge_id=e_9e85510af701 source=n_c17dca8691a2 edge_type=supports target=n_237582ffe27e
t=0072 ADD_EDGE edge_id=e_5e11a2e36701 source=n_155a80fb0acf edge_type=supports target=n_fcd0b55f5428
t=0073 ADD_EDGE edge_id=e_4374dd0a501c source=n_39adcf15b391 edge_type=refutes target=n_e4e3f0abd01b
t=0074 ADD_EDGE edge_id=e_9f9d66986364 source=n_c17dca8691a2 edge_type=refutes target=n_76aebccd5aba
t=0075 ADD_EDGE edge_id=e_676678405211 source=n_0a4138c00783 edge_type=supports target=n_0af44132fba7
t=0076 ADD_EDGE edge_id=e_1319afb4b110 source=n_39adcf15b391 edge_type=refutes target=n_83086b2d30d5
t=0077 ADD_EDGE edge_id=e_c57266acefa4 source=n_fcd0b55f5428 edge_type=refutes target=n_0ac295898ee2
t=0078 ADD_EDGE edge_id=e_3cb4f10bfec2 source=n_5c6e3c7dc2f5 edge_type=refutes target=n_39adcf15b391
t=0079 ADD_EDGE edge_id=e_b2b88335785e source=n_7b2e299feee3 edge_type=supports target=n_b1563c88b6e4
t=0080 ADD_EDGE edge_id=e_919f2baa1dee source=n_752e01b32253 edge_type=supports target=n_080f15eb3ba0
t=0081 ADD_EDGE edge_id=e_51c8306d9b35 source=n_c17dca8691a2 edge_type=supports target=n_e37774ee19a3
t=0082 ADD_EDGE edge_id=e_733df8543bc5 source=n_0dcd57aebd36 edge_type=refutes target=n_155a80fb0acf
t=0083 ADD_EDGE edge_id=e_634f302c3d4f source=n_7249c8848091 edge_type=refutes target=n_8841baa32214
t=0084 ADD_EDGE edge_id=e_c0771990b035 source=n_43df59859a63 edge_type=refutes target=n_a20cbb2e12b4
t=0085 ADD_EDGE edge_id=e_09af4cf5da08 source=n_51843e46fe86 edge_type=refutes target=n_3b67b00eb41a
t=0086 ADD_EDGE edge_id=e_b5b62500628b source=n_c17dca8691a2 edge_type=refutes target=n_51e37f00814a
t=0087 ADD_EDGE edge_id=e_d537e22b4b67 source=n_39adcf15b391 edge_type=supports target=n_b6890365260b
t=0088 ADD_EDGE edge_id=e_6bbdd94bb1a1 source=n_c17dca8691a2 edge_type=supports target=n_88852d16ee0a
t=0089 ADD_EDGE edge_id=e_9cfa7a93b211 source=n_16ea63c1955b edge_type=supports target=n_26853b8ffb97
t=0090 ADD_EDGE edge_id=e_a9eb79fbec5a source=n_56157705fcf3 edge_type=refutes target=n_dc8f2117821b
t=0091 ADD_EDGE edge_id=e_a1c8ee364b0a source=n_0ac295898ee2 edge_type=supports target=n_16ea63c1955b
t=0092 ADD_EDGE edge_id=e_44040e37b589 source=n_9b8a638189da edge_type=refutes target=n_0a4729eb6944
t=0093 ADD_EDGE edge_id=e_d0262c546c4b source=n_604944c57654 edge_type=refutes target=n_1bb72f013fbd
t=0094 ADD_EDGE edge_id=e_f6c615c67b3d source=n_3b67b00eb41a edge_type=refutes target=n_b27626626f1f
t=0095 ADD_EDGE edge_id=e_9af1ad7de4b9 source=n_51843e46fe86 edge_type=refutes target=n_0a4138c00783
t=0096 ADD_EDGE edge_id=e_f60447db83d6 source=n_63673eb27ad1 edge_type=supports target=n_5c6e3c7dc2f5
t=0097 ADD_EDGE edge_id=e_dbe629e50fe6 source=n_0a4729eb6944 edge_type=supports target=n_43df59859a63
t=0098 ADD_EDGE edge_id=e_cd2cfd573541 source=n_c17dca8691a2 edge_type=refutes target=n_e3025c7a1a42
t=0099 ADD_EDGE edge_id=e_b9be1dabbee6 source=n_b1a7df6e4abb edge_type=supports target=n_24725b2b90ee
t=0100 ADD_EDGE edge_id=e_4533a5465c10 source=n_e8068637ad3f edge_type=supports target=n_0dcd57aebd36
t=0101 ADD_EDGE edge_id=e_e7adcf21611f source=n_51843e46fe86 edge_type=supports target=n_7c9458625890
t=0102 ADD_EDGE edge_id=e_f2a74c398215 source=n_8841baa32214 edge_type=refutes target=n_49024ca646a3
t=0103 ADD_EDGE edge_id=e_705fd5fa9fd8 source=n_7249c8848091 edge_type=refutes target=n_752e01b32253
t=0104 ADD_EDGE edge_id=e_7489c83db9e5 source=n_3b67b00eb41a edge_type=supports target=n_4ef4795eb54f
t=0105 ADD_EDGE edge_id=e_dfd7120eb328 source=n_26853b8ffb97 edge_type=supports target=n_94f685f50a20
t=0106 ADD_EDGE edge_id=e_51799cbef544 source=n_6e9a2a51214d edge_type=supports target=n_c7db20725aad
t=0107 QUERY source=n_020725904c67 target=n_e78d88b7927f
[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_db3f371a1520 node_type=claim
t=0001 CREATE_NODE id=n_9ae98a09ae95 node_type=claim
t=0002 CREATE_NODE id=n_a15a33da5f53 node_type=claim
t=0003 CREATE_NODE id=n_47d3b57863ee node_type=claim
t=0004 CREATE_NODE id=n_8d34518b91bb node_type=claim
t=0005 CREATE_NODE id=n_b70b570e64d9 node_type=claim
t=0006 CREATE_NODE id=n_4891bf2fc6a7 node_type=claim
t=0007 CREATE_NODE id=n_8e353e2b89c2 node_type=claim
t=0008 CREATE_NODE id=n_def9b97cc58b node_type=claim
t=0009 CREATE_NODE id=n_c989d367eead node_type=claim
t=0010 CREATE_NODE id=n_b4c42210b005 node_type=claim
t=0011 CREATE_NODE id=n_30f82f92f31d node_type=claim
t=0012 CREATE_NODE id=n_fe2e75c65d10 node_type=claim
t=0013 CREATE_NODE id=n_b181b4728858 node_type=claim
t=0014 CREATE_NODE id=n_1e77629be8be node_type=claim
t=0015 CREATE_NODE id=n_27c5961d4647 node_type=claim
t=0016 CREATE_NODE id=n_d5480a87672a node_type=claim
t=0017 CREATE_NODE id=n_5e3833831e47 node_type=claim
t=0018 CREATE_NODE id=n_fd9a493c8ee7 node_type=claim
t=0019 CREATE_NODE id=n_d52061ae21da node_type=claim
t=0020 CREATE_NODE id=n_5d7b8ff39a98 node_type=claim
t=0021 CREATE_NODE id=n_8bc3af2b6e2e node_type=claim
t=0022 CREATE_NODE id=n_97e54dbdaa38 node_type=claim
t=0023 CREATE_NODE id=n_64c56577fe09 node_type=claim
t=0024 CREATE_NODE id=n_59ddfad1b410 node_type=claim
t=0025 CREATE_NODE id=n_6e1726446a09 node_type=claim
t=0026 CREATE_NODE id=n_8a564238f5d5 node_type=claim
t=0027 CREATE_NODE id=n_4ecbff8bda3f node_type=claim
t=0028 CREATE_NODE id=n_4384f5afed94 node_type=claim
t=0029 CREATE_NODE id=n_3eb4b0eb3852 node_type=claim
t=0030 CREATE_NODE id=n_4e2ddb405695 node_type=claim
t=0031 CREATE_NODE id=n_faab7c295904 node_type=claim
t=0032 CREATE_NODE id=n_a98eab712a27 node_type=claim
t=0033 CREATE_NODE id=n_0fa442667bc7 node_type=claim
t=0034 CREATE_NODE id=n_83f76b145898 node_type=claim
t=0035 CREATE_NODE id=n_02cbcf8d049b node_type=claim
t=0036 CREATE_NODE id=n_955168998d81 node_type=claim
t=0037 CREATE_NODE id=n_8bfc0b9f80c0 node_type=claim
t=0038 CREATE_NODE id=n_b55055595c8c node_type=claim
t=0039 CREATE_NODE id=n_dea6c5c44ab0 node_type=claim
t=0040 CREATE_NODE id=n_f1a04f88df86 node_type=claim
t=0041 CREATE_NODE id=n_fd8902bde694 node_type=claim
t=0042 CREATE_NODE id=n_105cd67b0d88 node_type=claim
t=0043 CREATE_NODE id=n_7445948e95fb node_type=claim
t=0044 CREATE_NODE id=n_7e95532a9c90 node_type=claim
t=0045 CREATE_NODE id=n_352744133b4c node_type=claim
t=0046 CREATE_NODE id=n_b91bae56e474 node_type=claim
t=0047 CREATE_NODE id=n_75415a5db16a node_type=claim
t=0048 CREATE_NODE id=n_e55ed2a276da node_type=claim
t=0049 CREATE_NODE id=n_6c487645e357 node_type=claim
t=0050 CREATE_NODE id=n_1ceb55290fdb node_type=claim
t=0051 CREATE_NODE id=n_bc5ca36897be node_type=claim
t=0052 CREATE_NODE id=n_1650d1d3c7d2 node_type=claim
t=0053 CREATE_NODE id=n_dc927da335e5 node_type=claim
t=0054 ASSERT_ROOT node=n_fe2e75c65d10 value=TRUE
t=0055 ADD_EDGE edge_id=e_8c4755bbf30b source=n_4e2ddb405695 edge_type=supports target=n_dc927da335e5
t=0056 ADD_EDGE edge_id=e_ff9c67e435c2 source=n_7e95532a9c90 edge_type=supports target=n_d52061ae21da
t=0057 ADD_EDGE edge_id=e_19fb75d29d51 source=n_c989d367eead edge_type=supports target=n_83f76b145898
t=0058 ADD_EDGE edge_id=e_64509626b036 source=n_1ceb55290fdb edge_type=refutes target=n_b4c42210b005
t=0059 ADD_EDGE edge_id=e_993e236b2231 source=n_4384f5afed94 edge_type=supports target=n_8e353e2b89c2
t=0060 ADD_EDGE edge_id=e_973cf6f8a2ec source=n_db3f371a1520 edge_type=supports target=n_4ecbff8bda3f
t=0061 ADD_EDGE edge_id=e_29406ac80cc5 source=n_8e353e2b89c2 edge_type=supports target=n_105cd67b0d88
t=0062 ADD_EDGE edge_id=e_c03dfb9f9f05 source=n_1650d1d3c7d2 edge_type=refutes target=n_e55ed2a276da
t=0063 ADD_EDGE edge_id=e_624a4f062328 source=n_b91bae56e474 edge_type=supports target=n_7445948e95fb
t=0064 ADD_EDGE edge_id=e_daef08cc4135 source=n_b4c42210b005 edge_type=refutes target=n_c989d367eead
t=0065 ADD_EDGE edge_id=e_3de2c94472a3 source=n_27c5961d4647 edge_type=refutes target=n_8d34518b91bb
t=0066 ADD_EDGE edge_id=e_dfd018606fae source=n_a98eab712a27 edge_type=supports target=n_d5480a87672a
t=0067 ADD_EDGE edge_id=e_924af4eccbb9 source=n_83f76b145898 edge_type=supports target=n_59ddfad1b410
t=0068 ADD_EDGE edge_id=e_f22843c8acde source=n_bc5ca36897be edge_type=refutes target=n_97e54dbdaa38
t=0069 ADD_EDGE edge_id=e_90bd2355a7c2 source=n_a98eab712a27 edge_type=supports target=n_6c487645e357
t=0070 ADD_EDGE edge_id=e_193c23725709 source=n_8bfc0b9f80c0 edge_type=supports target=n_db3f371a1520
t=0071 ADD_EDGE edge_id=e_09ee77774102 source=n_a98eab712a27 edge_type=refutes target=n_8bc3af2b6e2e
t=0072 ADD_EDGE edge_id=e_7d5ab1726fd0 source=n_02cbcf8d049b edge_type=refutes target=n_30f82f92f31d
t=0073 ADD_EDGE edge_id=e_8fefc03bcd86 source=n_8bfc0b9f80c0 edge_type=refutes target=n_9ae98a09ae95
t=0074 ADD_EDGE edge_id=e_9db851f644b5 source=n_3eb4b0eb3852 edge_type=supports target=n_47d3b57863ee
t=0075 ADD_EDGE edge_id=e_52ff32547415 source=n_e55ed2a276da edge_type=refutes target=n_5d7b8ff39a98
t=0076 ADD_EDGE edge_id=e_42c4bc232d27 source=n_8bfc0b9f80c0 edge_type=supports target=n_f1a04f88df86
t=0077 ADD_EDGE edge_id=e_977b128990c7 source=n_6e1726446a09 edge_type=refutes target=n_352744133b4c
t=0078 ADD_EDGE edge_id=e_c5a42f13d757 source=n_a98eab712a27 edge_type=supports target=n_3eb4b0eb3852
t=0079 ADD_EDGE edge_id=e_7460c15e08c9 source=n_9ae98a09ae95 edge_type=refutes target=n_6e1726446a09
t=0080 ADD_EDGE edge_id=e_51f254ce2b7e source=n_59ddfad1b410 edge_type=supports target=n_7e95532a9c90
t=0081 ADD_EDGE edge_id=e_5f85f83d3258 source=n_8d34518b91bb edge_type=supports target=n_4e2ddb405695
t=0082 ADD_EDGE edge_id=e_43c9fa7abcbc source=n_8bfc0b9f80c0 edge_type=supports target=n_0fa442667bc7
t=0083 ADD_EDGE edge_id=e_452cc10f85c2 source=n_6c487645e357 edge_type=refutes target=n_8bfc0b9f80c0
t=0084 ADD_EDGE edge_id=e_868301d03451 source=n_8bfc0b9f80c0 edge_type=supports target=n_02cbcf8d049b
t=0085 ADD_EDGE edge_id=e_7a9ad397abd9 source=n_def9b97cc58b edge_type=supports target=n_75415a5db16a
t=0086 ADD_EDGE edge_id=e_d5b5d4c05487 source=n_a15a33da5f53 edge_type=refutes target=n_faab7c295904
t=0087 ADD_EDGE edge_id=e_61dc22163d13 source=n_8bfc0b9f80c0 edge_type=refutes target=n_1650d1d3c7d2
t=0088 ADD_EDGE edge_id=e_cccd119f5681 source=n_b181b4728858 edge_type=refutes target=n_5e3833831e47
t=0089 ADD_EDGE edge_id=e_389ea5a0ef07 source=n_dea6c5c44ab0 edge_type=refutes target=n_1e77629be8be
t=0090 ADD_EDGE edge_id=e_2aeaf1090601 source=n_955168998d81 edge_type=supports target=n_dea6c5c44ab0
t=0091 ADD_EDGE edge_id=e_0c4b7fdb782a source=n_b91bae56e474 edge_type=supports target=n_a15a33da5f53
t=0092 ADD_EDGE edge_id=e_645cf8e70934 source=n_d52061ae21da edge_type=supports target=n_27c5961d4647
t=0093 ADD_EDGE edge_id=e_776864cada27 source=n_8bfc0b9f80c0 edge_type=refutes target=n_64c56577fe09
t=0094 ADD_EDGE edge_id=e_255c93a1a8d8 source=n_8e353e2b89c2 edge_type=refutes target=n_1ceb55290fdb
t=0095 ADD_EDGE edge_id=e_d84af447c20b source=n_5e3833831e47 edge_type=refutes target=n_4891bf2fc6a7
t=0096 ADD_EDGE edge_id=e_b6e227b899f7 source=n_bc5ca36897be edge_type=refutes target=n_4384f5afed94
t=0097 ADD_EDGE edge_id=e_116e7dacb005 source=n_fe2e75c65d10 edge_type=refutes target=n_bc5ca36897be
t=0098 ADD_EDGE edge_id=e_14e6e61c9d52 source=n_a98eab712a27 edge_type=refutes target=n_def9b97cc58b
t=0099 ADD_EDGE edge_id=e_6d4fe8433072 source=n_8a564238f5d5 edge_type=supports target=n_b91bae56e474
t=0100 ADD_EDGE edge_id=e_966532e2e97d source=n_64c56577fe09 edge_type=refutes target=n_fd8902bde694
t=0101 ADD_EDGE edge_id=e_283458084e94 source=n_4e2ddb405695 edge_type=supports target=n_8a564238f5d5
t=0102 ADD_EDGE edge_id=e_ae82349082d3 source=n_1650d1d3c7d2 edge_type=refutes target=n_fd9a493c8ee7
t=0103 ADD_EDGE edge_id=e_94c026826ad9 source=n_a98eab712a27 edge_type=supports target=n_955168998d81
t=0104 ADD_EDGE edge_id=e_8a1936dc9d31 source=n_4891bf2fc6a7 edge_type=supports target=n_b70b570e64d9
t=0105 ADD_EDGE edge_id=e_2d31f454d674 source=n_b70b570e64d9 edge_type=refutes target=n_b55055595c8c
t=0106 ADD_EDGE edge_id=e_454a2b6bc30b source=n_faab7c295904 edge_type=refutes target=n_b181b4728858
t=0107 QUERY source=n_fe2e75c65d10 target=n_b55055595c8c
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_743680401072 node_type=claim
t=0001 CREATE_NODE id=n_aff2dab88331 node_type=claim
t=0002 CREATE_NODE id=n_12c93b446d2a node_type=claim
t=0003 CREATE_NODE id=n_fdbd5f9cac61 node_type=claim
t=0004 CREATE_NODE id=n_05fbefa07d10 node_type=claim
t=0005 CREATE_NODE id=n_9808f8e380c8 node_type=claim
t=0006 CREATE_NODE id=n_37f406d14740 node_type=claim
t=0007 CREATE_NODE id=n_ed627d014230 node_type=claim
t=0008 CREATE_NODE id=n_07694c01d36e node_type=claim
t=0009 CREATE_NODE id=n_54e6e918c8bd node_type=claim
t=0010 CREATE_NODE id=n_d6af2bc6ec5f node_type=claim
t=0011 CREATE_NODE id=n_b41ec6b0a2f1 node_type=claim
t=0012 CREATE_NODE id=n_3ecc9e1b9aad node_type=claim
t=0013 CREATE_NODE id=n_fe6fb39f7c82 node_type=claim
t=0014 CREATE_NODE id=n_6b6cc981500d node_type=claim
t=0015 CREATE_NODE id=n_1e7df5f7d77c node_type=claim
t=0016 CREATE_NODE id=n_fedfdaf36c3a node_type=claim
t=0017 CREATE_NODE id=n_08baac9ead2b node_type=claim
t=0018 CREATE_NODE id=n_f38100fb20d9 node_type=claim
t=0019 CREATE_NODE id=n_41dc621ed3ec node_type=claim
t=0020 CREATE_NODE id=n_d68fdd8d3673 node_type=claim
t=0021 CREATE_NODE id=n_e3543d06babd node_type=claim
t=0022 CREATE_NODE id=n_21d53697c8a5 node_type=claim
t=0023 CREATE_NODE id=n_d82284263937 node_type=claim
t=0024 CREATE_NODE id=n_4563a26a6231 node_type=claim
t=0025 CREATE_NODE id=n_152b3724cdd7 node_type=claim
t=0026 CREATE_NODE id=n_aa5afa3ee88e node_type=claim
t=0027 CREATE_NODE id=n_bf32cb5c09fc node_type=claim
t=0028 CREATE_NODE id=n_6920506ee74a node_type=claim
t=0029 CREATE_NODE id=n_8213929b1c54 node_type=claim
t=0030 CREATE_NODE id=n_5621bce552e4 node_type=claim
t=0031 CREATE_NODE id=n_c22ac60c8f92 node_type=claim
t=0032 CREATE_NODE id=n_724e1a2e417e node_type=claim
t=0033 CREATE_NODE id=n_f9ac77ac17b7 node_type=claim
t=0034 CREATE_NODE id=n_207c6b1b0229 node_type=claim
t=0035 CREATE_NODE id=n_c31c73965b2b node_type=claim
t=0036 CREATE_NODE id=n_146657a6a3e6 node_type=claim
t=0037 CREATE_NODE id=n_81c02e54367b node_type=claim
t=0038 CREATE_NODE id=n_070b679ac1c1 node_type=claim
t=0039 CREATE_NODE id=n_b7c7abec490a node_type=claim
t=0040 CREATE_NODE id=n_00a487943592 node_type=claim
t=0041 CREATE_NODE id=n_11cc12021b40 node_type=claim
t=0042 CREATE_NODE id=n_acaa30e75a48 node_type=claim
t=0043 CREATE_NODE id=n_1bf9daa4a144 node_type=claim
t=0044 CREATE_NODE id=n_4d65cb97adc9 node_type=claim
t=0045 CREATE_NODE id=n_b39055b41bed node_type=claim
t=0046 CREATE_NODE id=n_f0b9e495c2ed node_type=claim
t=0047 CREATE_NODE id=n_e766c4c0a8c4 node_type=claim
t=0048 CREATE_NODE id=n_44d878317e53 node_type=claim
t=0049 CREATE_NODE id=n_f6c53738fb34 node_type=claim
t=0050 CREATE_NODE id=n_26ad67b8b633 node_type=claim
t=0051 CREATE_NODE id=n_fc877b009cac node_type=claim
t=0052 CREATE_NODE id=n_dc5a2c8a71ae node_type=claim
t=0053 CREATE_NODE id=n_5f99ad500ade node_type=claim
t=0054 CREATE_NODE id=n_be8367d04f0f node_type=claim
t=0055 CREATE_NODE id=n_4ee75c732e4f node_type=claim
t=0056 ASSERT_ROOT node=n_54e6e918c8bd value=TRUE
t=0057 ADD_EDGE edge_id=e_e29c8a001364 source=n_8213929b1c54 edge_type=supports target=n_f38100fb20d9
t=0058 ADD_EDGE edge_id=e_cd164d79e778 source=n_07694c01d36e edge_type=supports target=n_070b679ac1c1
t=0059 ADD_EDGE edge_id=e_e1ba4382bf17 source=n_d6af2bc6ec5f edge_type=refutes target=n_e766c4c0a8c4
t=0060 ADD_EDGE edge_id=e_e95c8601111e source=n_05fbefa07d10 edge_type=refutes target=n_b7c7abec490a
t=0061 ADD_EDGE edge_id=e_3319eb982814 source=n_152b3724cdd7 edge_type=supports target=n_08baac9ead2b
t=0062 ADD_EDGE edge_id=e_0ac47457605b source=n_37f406d14740 edge_type=refutes target=n_05fbefa07d10
t=0063 ADD_EDGE edge_id=e_c567893759b4 source=n_08baac9ead2b edge_type=supports target=n_d6af2bc6ec5f
t=0064 ADD_EDGE edge_id=e_220f2a0b2289 source=n_37f406d14740 edge_type=refutes target=n_b41ec6b0a2f1
t=0065 ADD_EDGE edge_id=e_b5aa6d5e1e9d source=n_81c02e54367b edge_type=supports target=n_5621bce552e4
t=0066 ADD_EDGE edge_id=e_d4ee6f555ed3 source=n_9808f8e380c8 edge_type=supports target=n_4d65cb97adc9
t=0067 ADD_EDGE edge_id=e_d793a9253ab6 source=n_1bf9daa4a144 edge_type=supports target=n_fdbd5f9cac61
t=0068 ADD_EDGE edge_id=e_a2b78a0038b7 source=n_d68fdd8d3673 edge_type=supports target=n_6920506ee74a
t=0069 ADD_EDGE edge_id=e_e51d96740469 source=n_44d878317e53 edge_type=refutes target=n_00a487943592
t=0070 ADD_EDGE edge_id=e_15be54aa48b4 source=n_146657a6a3e6 edge_type=refutes target=n_aa5afa3ee88e
t=0071 ADD_EDGE edge_id=e_b5767d2ea7e9 source=n_6b6cc981500d edge_type=refutes target=n_5f99ad500ade
t=0072 ADD_EDGE edge_id=e_4431846032c5 source=n_11cc12021b40 edge_type=supports target=n_ed627d014230
t=0073 ADD_EDGE edge_id=e_8958468c2981 source=n_207c6b1b0229 edge_type=supports target=n_11cc12021b40
t=0074 ADD_EDGE edge_id=e_af8d71b9099d source=n_54e6e918c8bd edge_type=refutes target=n_dc5a2c8a71ae
t=0075 ADD_EDGE edge_id=e_e88c6772e6f3 source=n_e766c4c0a8c4 edge_type=refutes target=n_12c93b446d2a
t=0076 ADD_EDGE edge_id=e_6889e03fc725 source=n_f38100fb20d9 edge_type=supports target=n_c22ac60c8f92
t=0077 ADD_EDGE edge_id=e_b8aeeb6edcfe source=n_26ad67b8b633 edge_type=supports target=n_be8367d04f0f
t=0078 ADD_EDGE edge_id=e_26699438fe00 source=n_c22ac60c8f92 edge_type=refutes target=n_fedfdaf36c3a
t=0079 ADD_EDGE edge_id=e_474be7066daf source=n_3ecc9e1b9aad edge_type=refutes target=n_aff2dab88331
t=0080 ADD_EDGE edge_id=e_48c0e3adf387 source=n_37f406d14740 edge_type=supports target=n_b39055b41bed
t=0081 ADD_EDGE edge_id=e_dc13be656e33 source=n_c31c73965b2b edge_type=refutes target=n_81c02e54367b
t=0082 ADD_EDGE edge_id=e_9251e1952cbd source=n_8213929b1c54 edge_type=refutes target=n_4ee75c732e4f
t=0083 ADD_EDGE edge_id=e_7a52ba33c42e source=n_5f99ad500ade edge_type=refutes target=n_c31c73965b2b
t=0084 ADD_EDGE edge_id=e_85b49ef6c52b source=n_07694c01d36e edge_type=supports target=n_d68fdd8d3673
t=0085 ADD_EDGE edge_id=e_9d6a44e99e75 source=n_b41ec6b0a2f1 edge_type=supports target=n_f6c53738fb34
t=0086 ADD_EDGE edge_id=e_40fe8c15ad60 source=n_37f406d14740 edge_type=supports target=n_1bf9daa4a144
t=0087 ADD_EDGE edge_id=e_3ab882dd6350 source=n_4d65cb97adc9 edge_type=supports target=n_3ecc9e1b9aad
t=0088 ADD_EDGE edge_id=e_600faad93b06 source=n_d68fdd8d3673 edge_type=supports target=n_41dc621ed3ec
t=0089 ADD_EDGE edge_id=e_76ba2cf0ae6b source=n_aa5afa3ee88e edge_type=refutes target=n_44d878317e53
t=0090 ADD_EDGE edge_id=e_6bc55438ca9c source=n_d68fdd8d3673 edge_type=supports target=n_d82284263937
t=0091 ADD_EDGE edge_id=e_0a81b845c3c0 source=n_743680401072 edge_type=refutes target=n_fe6fb39f7c82
t=0092 ADD_EDGE edge_id=e_94c8a75b0520 source=n_21d53697c8a5 edge_type=refutes target=n_fc877b009cac
t=0093 ADD_EDGE edge_id=e_0d59a283893a source=n_acaa30e75a48 edge_type=refutes target=n_724e1a2e417e
t=0094 ADD_EDGE edge_id=e_25705292f6f7 source=n_fedfdaf36c3a edge_type=refutes target=n_743680401072
t=0095 ADD_EDGE edge_id=e_a9c1cbd98bad source=n_b39055b41bed edge_type=supports target=n_f9ac77ac17b7
t=0096 ADD_EDGE edge_id=e_88a0dca08d1d source=n_37f406d14740 edge_type=supports target=n_9808f8e380c8
t=0097 ADD_EDGE edge_id=e_cf7b5998bd79 source=n_12c93b446d2a edge_type=supports target=n_6b6cc981500d
t=0098 ADD_EDGE edge_id=e_ff2c5d351da1 source=n_dc5a2c8a71ae edge_type=supports target=n_8213929b1c54
t=0099 ADD_EDGE edge_id=e_42a2a33f4744 source=n_fe6fb39f7c82 edge_type=refutes target=n_f0b9e495c2ed
t=0100 ADD_EDGE edge_id=e_3de249a57a22 source=n_00a487943592 edge_type=supports target=n_152b3724cdd7
t=0101 ADD_EDGE edge_id=e_5231c7f99e37 source=n_fc877b009cac edge_type=supports target=n_26ad67b8b633
t=0102 ADD_EDGE edge_id=e_3564a74cc378 source=n_11cc12021b40 edge_type=refutes target=n_146657a6a3e6
t=0103 ADD_EDGE edge_id=e_08d7fd18c291 source=n_21d53697c8a5 edge_type=supports target=n_07694c01d36e
t=0104 ADD_EDGE edge_id=e_2971db4f034a source=n_05fbefa07d10 edge_type=refutes target=n_e3543d06babd
t=0105 ADD_EDGE edge_id=e_bc0629f98794 source=n_44d878317e53 edge_type=supports target=n_1e7df5f7d77c
t=0106 ADD_EDGE edge_id=e_4596eafa6d81 source=n_fe6fb39f7c82 edge_type=refutes target=n_207c6b1b0229
t=0107 ADD_EDGE edge_id=e_e93151212dae source=n_37f406d14740 edge_type=refutes target=n_21d53697c8a5
t=0108 ADD_EDGE edge_id=e_d0311dc81d71 source=n_d68fdd8d3673 edge_type=refutes target=n_bf32cb5c09fc
t=0109 ADD_EDGE edge_id=e_5ebcd22f86d2 source=n_e3543d06babd edge_type=refutes target=n_4563a26a6231
t=0110 ADD_EDGE edge_id=e_ef7b61182bb1 source=n_26ad67b8b633 edge_type=refutes target=n_acaa30e75a48
t=0111 QUERY source=n_54e6e918c8bd target=n_5621bce552e4
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_4639fa831955 node_type=claim
t=0001 CREATE_NODE id=n_a6ac005f017b node_type=claim
t=0002 CREATE_NODE id=n_2e193db1ddab node_type=claim
t=0003 CREATE_NODE id=n_44f0052187f7 node_type=claim
t=0004 CREATE_NODE id=n_4521aa74301e node_type=claim
t=0005 CREATE_NODE id=n_1f281cda21c8 node_type=claim
t=0006 CREATE_NODE id=n_becf936137d2 node_type=claim
t=0007 CREATE_NODE id=n_fad4d81d4fe2 node_type=claim
t=0008 CREATE_NODE id=n_1f558b7b63b8 node_type=claim
t=0009 CREATE_NODE id=n_999117ce58c6 node_type=claim
t=0010 CREATE_NODE id=n_817a1690e676 node_type=claim
t=0011 CREATE_NODE id=n_697794d6e75e node_type=claim
t=0012 CREATE_NODE id=n_e54b9b9bbd72 node_type=claim
t=0013 CREATE_NODE id=n_544b392d5192 node_type=claim
t=0014 CREATE_NODE id=n_de11c5ae86d4 node_type=claim
t=0015 CREATE_NODE id=n_b1e8b5da2eb5 node_type=claim
t=0016 CREATE_NODE id=n_f696f015d3d6 node_type=claim
t=0017 CREATE_NODE id=n_fecac71f1236 node_type=claim
t=0018 CREATE_NODE id=n_4c7769017028 node_type=claim
t=0019 CREATE_NODE id=n_0a5468b90a21 node_type=claim
t=0020 CREATE_NODE id=n_981d81ef40e9 node_type=claim
t=0021 CREATE_NODE id=n_6567c697dfeb node_type=claim
t=0022 CREATE_NODE id=n_4fa01245066e node_type=claim
t=0023 CREATE_NODE id=n_69b4825d1b5e node_type=claim
t=0024 CREATE_NODE id=n_7851fc6d2d02 node_type=claim
t=0025 CREATE_NODE id=n_1509c7361244 node_type=claim
t=0026 CREATE_NODE id=n_3a1bcb8f6c54 node_type=claim
t=0027 CREATE_NODE id=n_b3b3d21a3d61 node_type=claim
t=0028 CREATE_NODE id=n_d72f3fd35221 node_type=claim
t=0029 CREATE_NODE id=n_df9047fa6eb8 node_type=claim
t=0030 CREATE_NODE id=n_91b9a6573786 node_type=claim
t=0031 CREATE_NODE id=n_d263481b71f7 node_type=claim
t=0032 CREATE_NODE id=n_f0f8934bee05 node_type=claim
t=0033 CREATE_NODE id=n_ebacdf4bf889 node_type=claim
t=0034 CREATE_NODE id=n_cead5f7ae1d6 node_type=claim
t=0035 CREATE_NODE id=n_cb3bef592a34 node_type=claim
t=0036 CREATE_NODE id=n_f8050275942b node_type=claim
t=0037 CREATE_NODE id=n_defc5c51c3dd node_type=claim
t=0038 CREATE_NODE id=n_cf7786e41008 node_type=claim
t=0039 CREATE_NODE id=n_f970368f5228 node_type=claim
t=0040 CREATE_NODE id=n_34bc27ebfc9b node_type=claim
t=0041 CREATE_NODE id=n_5f6455637715 node_type=claim
t=0042 CREATE_NODE id=n_9ff6a760fa5a node_type=claim
t=0043 CREATE_NODE id=n_23b890572500 node_type=claim
t=0044 CREATE_NODE id=n_f61190765ea4 node_type=claim
t=0045 CREATE_NODE id=n_40352a8c674d node_type=claim
t=0046 CREATE_NODE id=n_f2869290b007 node_type=claim
t=0047 CREATE_NODE id=n_a2d10b8d18af node_type=claim
t=0048 CREATE_NODE id=n_7693ea090253 node_type=claim
t=0049 CREATE_NODE id=n_d70a532fc505 node_type=claim
t=0050 CREATE_NODE id=n_f98507a7a248 node_type=claim
t=0051 CREATE_NODE id=n_e5a7f054d256 node_type=claim
t=0052 CREATE_NODE id=n_ec86d2f9f698 node_type=claim
t=0053 CREATE_NODE id=n_62616876ae85 node_type=claim
t=0054 CREATE_NODE id=n_a0b00fb06170 node_type=claim
t=0055 CREATE_NODE id=n_8e3f7965cf59 node_type=claim
t=0056 ASSERT_ROOT node=n_cf7786e41008 value=FALSE
t=0057 ADD_EDGE edge_id=e_4b24125a70bc source=n_cead5f7ae1d6 edge_type=refutes target=n_becf936137d2
t=0058 ADD_EDGE edge_id=e_0847b107d403 source=n_ec86d2f9f698 edge_type=supports target=n_f8050275942b
t=0059 ADD_EDGE edge_id=e_1fc1736b1a98 source=n_fecac71f1236 edge_type=supports target=n_0a5468b90a21
t=0060 ADD_EDGE edge_id=e_2e7458f9fc0f source=n_69b4825d1b5e edge_type=refutes target=n_7693ea090253
t=0061 ADD_EDGE edge_id=e_f4617788018e source=n_cead5f7ae1d6 edge_type=supports target=n_34bc27ebfc9b
t=0062 ADD_EDGE edge_id=e_7978194103b2 source=n_cf7786e41008 edge_type=supports target=n_8e3f7965cf59
t=0063 ADD_EDGE edge_id=e_a761c3b8027d source=n_d72f3fd35221 edge_type=refutes target=n_4639fa831955
t=0064 ADD_EDGE edge_id=e_9df05dfa7b6b source=n_fad4d81d4fe2 edge_type=refutes target=n_f61190765ea4
t=0065 ADD_EDGE edge_id=e_8e12d03785d1 source=n_cb3bef592a34 edge_type=supports target=n_7851fc6d2d02
t=0066 ADD_EDGE edge_id=e_f6110242f15d source=n_4521aa74301e edge_type=supports target=n_4fa01245066e
t=0067 ADD_EDGE edge_id=e_6c7947d2a4ca source=n_f8050275942b edge_type=supports target=n_f696f015d3d6
t=0068 ADD_EDGE edge_id=e_c23f9b935764 source=n_df9047fa6eb8 edge_type=refutes target=n_a0b00fb06170
t=0069 ADD_EDGE edge_id=e_0aaed43377cb source=n_f970368f5228 edge_type=supports target=n_6567c697dfeb
t=0070 ADD_EDGE edge_id=e_5d200a641c32 source=n_8e3f7965cf59 edge_type=supports target=n_3a1bcb8f6c54
t=0071 ADD_EDGE edge_id=e_f156e79c44f7 source=n_becf936137d2 edge_type=refutes target=n_23b890572500
t=0072 ADD_EDGE edge_id=e_82a09658537b source=n_f2869290b007 edge_type=supports target=n_b1e8b5da2eb5
t=0073 ADD_EDGE edge_id=e_39d6408fca6a source=n_4fa01245066e edge_type=refutes target=n_d72f3fd35221
t=0074 ADD_EDGE edge_id=e_3da96abd8f5f source=n_1f558b7b63b8 edge_type=supports target=n_defc5c51c3dd
t=0075 ADD_EDGE edge_id=e_1bd1a201c0c2 source=n_ebacdf4bf889 edge_type=supports target=n_f970368f5228
t=0076 ADD_EDGE edge_id=e_1dab4245c2d2 source=n_7851fc6d2d02 edge_type=supports target=n_62616876ae85
t=0077 ADD_EDGE edge_id=e_0757f37a1f91 source=n_cead5f7ae1d6 edge_type=refutes target=n_fad4d81d4fe2
t=0078 ADD_EDGE edge_id=e_3aff6c1999f6 source=n_a6ac005f017b edge_type=refutes target=n_5f6455637715
t=0079 ADD_EDGE edge_id=e_f198af5cc923 source=n_fad4d81d4fe2 edge_type=refutes target=n_1f558b7b63b8
t=0080 ADD_EDGE edge_id=e_186ee51760c5 source=n_d70a532fc505 edge_type=refutes target=n_91b9a6573786
t=0081 ADD_EDGE edge_id=e_23272f329ae0 source=n_ebacdf4bf889 edge_type=refutes target=n_a2d10b8d18af
t=0082 ADD_EDGE edge_id=e_96e32739ca5e source=n_f61190765ea4 edge_type=refutes target=n_4c7769017028
t=0083 ADD_EDGE edge_id=e_7a1ff98a469d source=n_b3b3d21a3d61 edge_type=supports target=n_9ff6a760fa5a
t=0084 ADD_EDGE edge_id=e_a94c99137d54 source=n_9ff6a760fa5a edge_type=supports target=n_69b4825d1b5e
t=0085 ADD_EDGE edge_id=e_fc374c76c216 source=n_ebacdf4bf889 edge_type=supports target=n_f2869290b007
t=0086 ADD_EDGE edge_id=e_a2e3ba845217 source=n_fad4d81d4fe2 edge_type=supports target=n_de11c5ae86d4
t=0087 ADD_EDGE edge_id=e_2b1ad3875d1f source=n_becf936137d2 edge_type=refutes target=n_a6ac005f017b
t=0088 ADD_EDGE edge_id=e_3225a3a406c6 source=n_becf936137d2 edge_type=supports target=n_999117ce58c6
t=0089 ADD_EDGE edge_id=e_484e7c008f18 source=n_f8050275942b edge_type=supports target=n_e54b9b9bbd72
t=0090 ADD_EDGE edge_id=e_7ab5647f9997 source=n_7693ea090253 edge_type=supports target=n_df9047fa6eb8
t=0091 ADD_EDGE edge_id=e_56f8429e41a4 source=n_697794d6e75e edge_type=refutes target=n_b3b3d21a3d61
t=0092 ADD_EDGE edge_id=e_7d375a931837 source=n_3a1bcb8f6c54 edge_type=supports target=n_4521aa74301e
t=0093 ADD_EDGE edge_id=e_0fb3a690865b source=n_d70a532fc505 edge_type=refutes target=n_40352a8c674d
t=0094 ADD_EDGE edge_id=e_c68baed0b091 source=n_cead5f7ae1d6 edge_type=supports target=n_1f281cda21c8
t=0095 ADD_EDGE edge_id=e_85012c005a9c source=n_a0b00fb06170 edge_type=supports target=n_ec86d2f9f698
t=0096 ADD_EDGE edge_id=e_a73e192d54bf source=n_62616876ae85 edge_type=supports target=n_697794d6e75e
t=0097 ADD_EDGE edge_id=e_41281e51c1b6 source=n_2e193db1ddab edge_type=refutes target=n_cb3bef592a34
t=0098 ADD_EDGE edge_id=e_de3aa774dd27 source=n_0a5468b90a21 edge_type=refutes target=n_1509c7361244
t=0099 ADD_EDGE edge_id=e_381037c892bc source=n_4521aa74301e edge_type=refutes target=n_f98507a7a248
t=0100 ADD_EDGE edge_id=e_4d2ccb621cc2 source=n_4639fa831955 edge_type=refutes target=n_fecac71f1236
t=0101 ADD_EDGE edge_id=e_8dff979eb24c source=n_f970368f5228 edge_type=refutes target=n_d263481b71f7
t=0102 ADD_EDGE edge_id=e_e1827567920a source=n_34bc27ebfc9b edge_type=refutes target=n_544b392d5192
t=0103 ADD_EDGE edge_id=e_5f3d279fe86e source=n_f2869290b007 edge_type=refutes target=n_d70a532fc505
t=0104 ADD_EDGE edge_id=e_bc58a7af6a4c source=n_de11c5ae86d4 edge_type=refutes target=n_f0f8934bee05
t=0105 ADD_EDGE edge_id=e_5f102c2ef7fe source=n_62616876ae85 edge_type=supports target=n_e5a7f054d256
t=0106 ADD_EDGE edge_id=e_ebca02dd9d3f source=n_1509c7361244 edge_type=refutes target=n_2e193db1ddab
t=0107 ADD_EDGE edge_id=e_2d37050d5ecf source=n_6567c697dfeb edge_type=supports target=n_44f0052187f7
t=0108 ADD_EDGE edge_id=e_cadd0ef81d42 source=n_cead5f7ae1d6 edge_type=refutes target=n_ebacdf4bf889
t=0109 ADD_EDGE edge_id=e_99d22cf7c06f source=n_d70a532fc505 edge_type=refutes target=n_981d81ef40e9
t=0110 ADD_EDGE edge_id=e_f1e758c60e63 source=n_cf7786e41008 edge_type=supports target=n_817a1690e676
t=0111 QUERY source=n_cf7786e41008 target=n_e54b9b9bbd72
[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_29e7d106eebc node_type=claim
t=0001 CREATE_NODE id=n_ee9a321b4989 node_type=claim
t=0002 CREATE_NODE id=n_943f670d616a node_type=claim
t=0003 CREATE_NODE id=n_fe12dcf04237 node_type=claim
t=0004 CREATE_NODE id=n_c507606dca8f node_type=claim
t=0005 CREATE_NODE id=n_a6dfed61aa1e node_type=claim
t=0006 CREATE_NODE id=n_6f0aebfc1424 node_type=claim
t=0007 CREATE_NODE id=n_569e11b55b1c node_type=claim
t=0008 CREATE_NODE id=n_1992974c7883 node_type=claim
t=0009 CREATE_NODE id=n_5a79b3c8ab58 node_type=claim
t=0010 CREATE_NODE id=n_74afff341552 node_type=claim
t=0011 CREATE_NODE id=n_37a29bb84918 node_type=claim
t=0012 CREATE_NODE id=n_d33966312437 node_type=claim
t=0013 CREATE_NODE id=n_205927d07688 node_type=claim
t=0014 CREATE_NODE id=n_9106941cb1d9 node_type=claim
t=0015 CREATE_NODE id=n_6e7d7b9a8666 node_type=claim
t=0016 CREATE_NODE id=n_11da80b86f39 node_type=claim
t=0017 CREATE_NODE id=n_b726d1e102a9 node_type=claim
t=0018 CREATE_NODE id=n_e04778862eb7 node_type=claim
t=0019 CREATE_NODE id=n_fa266395664f node_type=claim
t=0020 CREATE_NODE id=n_18976241b80c node_type=claim
t=0021 CREATE_NODE id=n_74c532602953 node_type=claim
t=0022 CREATE_NODE id=n_951f816543d5 node_type=claim
t=0023 CREATE_NODE id=n_403d979294e9 node_type=claim
t=0024 CREATE_NODE id=n_447fcc275718 node_type=claim
t=0025 CREATE_NODE id=n_3a5cce207010 node_type=claim
t=0026 CREATE_NODE id=n_8dfc1092d8ca node_type=claim
t=0027 CREATE_NODE id=n_5918b5d52292 node_type=claim
t=0028 CREATE_NODE id=n_b877c5c21711 node_type=claim
t=0029 CREATE_NODE id=n_db5fd6ed79fb node_type=claim
t=0030 CREATE_NODE id=n_bced61400d8c node_type=claim
t=0031 CREATE_NODE id=n_993226af1135 node_type=claim
t=0032 CREATE_NODE id=n_823ac509cf55 node_type=claim
t=0033 CREATE_NODE id=n_6152999c84a8 node_type=claim
t=0034 CREATE_NODE id=n_67f54f38bd55 node_type=claim
t=0035 CREATE_NODE id=n_8c0f221e6824 node_type=claim
t=0036 CREATE_NODE id=n_c0b6336e7d77 node_type=claim
t=0037 CREATE_NODE id=n_78c305b6a6e7 node_type=claim
t=0038 CREATE_NODE id=n_ba4fba482a95 node_type=claim
t=0039 CREATE_NODE id=n_001e97f3614f node_type=claim
t=0040 CREATE_NODE id=n_dd0d9c4379ac node_type=claim
t=0041 CREATE_NODE id=n_8c158ab48b95 node_type=claim
t=0042 CREATE_NODE id=n_354b04772030 node_type=claim
t=0043 CREATE_NODE id=n_02b0c4737da1 node_type=claim
t=0044 CREATE_NODE id=n_09af482ffe5c node_type=claim
t=0045 CREATE_NODE id=n_0b40f9a1b2e3 node_type=claim
t=0046 CREATE_NODE id=n_1faaca26d17f node_type=claim
t=0047 CREATE_NODE id=n_766c795b2eb0 node_type=claim
t=0048 CREATE_NODE id=n_592838413c63 node_type=claim
t=0049 CREATE_NODE id=n_bec49a9fd866 node_type=claim
t=0050 CREATE_NODE id=n_3bcafb284e4d node_type=claim
t=0051 CREATE_NODE id=n_6f5fd01cd50c node_type=claim
t=0052 CREATE_NODE id=n_4b786d27e035 node_type=claim
t=0053 CREATE_NODE id=n_49be84349389 node_type=claim
t=0054 CREATE_NODE id=n_2b3c32f89728 node_type=claim
t=0055 CREATE_NODE id=n_adc85ae63c04 node_type=claim
t=0056 ASSERT_ROOT node=n_09af482ffe5c value=TRUE
t=0057 ADD_EDGE edge_id=e_7979992c9361 source=n_354b04772030 edge_type=refutes target=n_1992974c7883
t=0058 ADD_EDGE edge_id=e_2f0b51b8652f source=n_5918b5d52292 edge_type=refutes target=n_fe12dcf04237
t=0059 ADD_EDGE edge_id=e_4b8a22144e1d source=n_766c795b2eb0 edge_type=supports target=n_37a29bb84918
t=0060 ADD_EDGE edge_id=e_30f4c90002e6 source=n_823ac509cf55 edge_type=supports target=n_5918b5d52292
t=0061 ADD_EDGE edge_id=e_797df171e862 source=n_6f0aebfc1424 edge_type=supports target=n_c507606dca8f
t=0062 ADD_EDGE edge_id=e_3b916c27a40e source=n_0b40f9a1b2e3 edge_type=supports target=n_9106941cb1d9
t=0063 ADD_EDGE edge_id=e_28fa25005723 source=n_3bcafb284e4d edge_type=supports target=n_d33966312437
t=0064 ADD_EDGE edge_id=e_5e1865f12dd1 source=n_09af482ffe5c edge_type=supports target=n_b877c5c21711
t=0065 ADD_EDGE edge_id=e_9fe63c38124f source=n_6152999c84a8 edge_type=refutes target=n_ee9a321b4989
t=0066 ADD_EDGE edge_id=e_e796bb35637b source=n_1992974c7883 edge_type=refutes target=n_943f670d616a
t=0067 ADD_EDGE edge_id=e_b02b4ae594ef source=n_fa266395664f edge_type=refutes target=n_78c305b6a6e7
t=0068 ADD_EDGE edge_id=e_62e37ac77494 source=n_dd0d9c4379ac edge_type=refutes target=n_1faaca26d17f
t=0069 ADD_EDGE edge_id=e_bf7f916ad9af source=n_6152999c84a8 edge_type=refutes target=n_4b786d27e035
t=0070 ADD_EDGE edge_id=e_52d488fb57fa source=n_c0b6336e7d77 edge_type=refutes target=n_2b3c32f89728
t=0071 ADD_EDGE edge_id=e_418234630782 source=n_993226af1135 edge_type=supports target=n_bec49a9fd866
t=0072 ADD_EDGE edge_id=e_57b6fe9975e6 source=n_943f670d616a edge_type=supports target=n_74c532602953
t=0073 ADD_EDGE edge_id=e_abfb84240146 source=n_fe12dcf04237 edge_type=refutes target=n_6f5fd01cd50c
t=0074 ADD_EDGE edge_id=e_08229338df37 source=n_ba4fba482a95 edge_type=refutes target=n_18976241b80c
t=0075 ADD_EDGE edge_id=e_491dfdad94ef source=n_ba4fba482a95 edge_type=supports target=n_e04778862eb7
t=0076 ADD_EDGE edge_id=e_450fadacc194 source=n_6f5fd01cd50c edge_type=refutes target=n_951f816543d5
t=0077 ADD_EDGE edge_id=e_aaddd8c92347 source=n_354b04772030 edge_type=supports target=n_ba4fba482a95
t=0078 ADD_EDGE edge_id=e_bed80e25a394 source=n_403d979294e9 edge_type=refutes target=n_02b0c4737da1
t=0079 ADD_EDGE edge_id=e_ca5b78c62955 source=n_fa266395664f edge_type=supports target=n_bced61400d8c
t=0080 ADD_EDGE edge_id=e_2c73b5996fea source=n_1992974c7883 edge_type=supports target=n_6152999c84a8
t=0081 ADD_EDGE edge_id=e_ee75a5b7ad6b source=n_09af482ffe5c edge_type=supports target=n_29e7d106eebc
t=0082 ADD_EDGE edge_id=e_2b3157648b8c source=n_6f0aebfc1424 edge_type=refutes target=n_fa266395664f
t=0083 ADD_EDGE edge_id=e_8e75f1bcd271 source=n_c507606dca8f edge_type=refutes target=n_6e7d7b9a8666
t=0084 ADD_EDGE edge_id=e_c7bce0ed6a56 source=n_8c0f221e6824 edge_type=refutes target=n_403d979294e9
t=0085 ADD_EDGE edge_id=e_71f1ba2bccfc source=n_1992974c7883 edge_type=refutes target=n_993226af1135
t=0086 ADD_EDGE edge_id=e_88e2b19117cc source=n_447fcc275718 edge_type=supports target=n_001e97f3614f
t=0087 ADD_EDGE edge_id=e_0d81a6d5a446 source=n_37a29bb84918 edge_type=supports target=n_b726d1e102a9
t=0088 ADD_EDGE edge_id=e_ab5913c26524 source=n_8dfc1092d8ca edge_type=supports target=n_8c0f221e6824
t=0089 ADD_EDGE edge_id=e_529018831c6f source=n_5918b5d52292 edge_type=refutes target=n_49be84349389
t=0090 ADD_EDGE edge_id=e_3ca6e96f9f44 source=n_943f670d616a edge_type=supports target=n_447fcc275718
t=0091 ADD_EDGE edge_id=e_a9fba8204ee9 source=n_c507606dca8f edge_type=refutes target=n_3a5cce207010
t=0092 ADD_EDGE edge_id=e_cb553bd1ed7e source=n_11da80b86f39 edge_type=refutes target=n_db5fd6ed79fb
t=0093 ADD_EDGE edge_id=e_6f6f14dcfe46 source=n_db5fd6ed79fb edge_type=refutes target=n_8dfc1092d8ca
t=0094 ADD_EDGE edge_id=e_394a4b6c2a81 source=n_adc85ae63c04 edge_type=supports target=n_74afff341552
t=0095 ADD_EDGE edge_id=e_82bbb6d68bf4 source=n_943f670d616a edge_type=refutes target=n_dd0d9c4379ac
t=0096 ADD_EDGE edge_id=e_0c8d69b589f1 source=n_09af482ffe5c edge_type=refutes target=n_766c795b2eb0
t=0097 ADD_EDGE edge_id=e_ba4af9bbd186 source=n_74afff341552 edge_type=supports target=n_11da80b86f39
t=0098 ADD_EDGE edge_id=e_e059158ec299 source=n_c507606dca8f edge_type=supports target=n_67f54f38bd55
t=0099 ADD_EDGE edge_id=e_b06c4e8d17a7 source=n_205927d07688 edge_type=supports target=n_0b40f9a1b2e3
t=0100 ADD_EDGE edge_id=e_e81886632fa4 source=n_d33966312437 edge_type=refutes target=n_569e11b55b1c
t=0101 ADD_EDGE edge_id=e_64114b15a696 source=n_b726d1e102a9 edge_type=refutes target=n_592838413c63
t=0102 ADD_EDGE edge_id=e_0ae213f273b7 source=n_951f816543d5 edge_type=supports target=n_5a79b3c8ab58
t=0103 ADD_EDGE edge_id=e_50094bf0ab31 source=n_569e11b55b1c edge_type=refutes target=n_823ac509cf55
t=0104 ADD_EDGE edge_id=e_57194f7fa02e source=n_5a79b3c8ab58 edge_type=refutes target=n_205927d07688
t=0105 ADD_EDGE edge_id=e_770069fe8fb8 source=n_592838413c63 edge_type=supports target=n_3bcafb284e4d
t=0106 ADD_EDGE edge_id=e_1e332111d464 source=n_6f0aebfc1424 edge_type=supports target=n_c0b6336e7d77
t=0107 ADD_EDGE edge_id=e_5f35f3f85202 source=n_0b40f9a1b2e3 edge_type=supports target=n_adc85ae63c04
t=0108 ADD_EDGE edge_id=e_b0c1c09e669f source=n_1992974c7883 edge_type=supports target=n_a6dfed61aa1e
t=0109 ADD_EDGE edge_id=e_8f558dc31cb9 source=n_993226af1135 edge_type=supports target=n_6f0aebfc1424
t=0110 ADD_EDGE edge_id=e_276a841def91 source=n_c0b6336e7d77 edge_type=refutes target=n_8c158ab48b95
t=0111 QUERY source=n_09af482ffe5c target=n_02b0c4737da1
[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_b51afd4b1586 node_type=claim
t=0001 CREATE_NODE id=n_6e596762d71c node_type=claim
t=0002 CREATE_NODE id=n_7b17413a6cc1 node_type=claim
t=0003 CREATE_NODE id=n_c76202002fc1 node_type=claim
t=0004 CREATE_NODE id=n_a95ee51db1bc node_type=claim
t=0005 CREATE_NODE id=n_e3f4f4f04287 node_type=claim
t=0006 CREATE_NODE id=n_de58dffa15f9 node_type=claim
t=0007 CREATE_NODE id=n_6f8fa3afac44 node_type=claim
t=0008 CREATE_NODE id=n_172f97bdfd8f node_type=claim
t=0009 CREATE_NODE id=n_99112f2df2a0 node_type=claim
t=0010 CREATE_NODE id=n_d45fcb6971d1 node_type=claim
t=0011 CREATE_NODE id=n_dad3453f99c6 node_type=claim
t=0012 CREATE_NODE id=n_c059250b914d node_type=claim
t=0013 CREATE_NODE id=n_910f5e94a5d4 node_type=claim
t=0014 CREATE_NODE id=n_f57e8d078add node_type=claim
t=0015 CREATE_NODE id=n_471288bbdb6d node_type=claim
t=0016 CREATE_NODE id=n_9210e8abbb90 node_type=claim
t=0017 CREATE_NODE id=n_9a5ed90fc933 node_type=claim
t=0018 CREATE_NODE id=n_84f24069fa11 node_type=claim
t=0019 CREATE_NODE id=n_fe0452fd1103 node_type=claim
t=0020 CREATE_NODE id=n_7608de18e41f node_type=claim
t=0021 CREATE_NODE id=n_0091ae9ef993 node_type=claim
t=0022 CREATE_NODE id=n_3a66ccc09782 node_type=claim
t=0023 CREATE_NODE id=n_c15e9a9ad708 node_type=claim
t=0024 CREATE_NODE id=n_1eec1616b402 node_type=claim
t=0025 CREATE_NODE id=n_fbab3eb59b65 node_type=claim
t=0026 CREATE_NODE id=n_52f4b0fa3977 node_type=claim
t=0027 CREATE_NODE id=n_acec58c09af6 node_type=claim
t=0028 CREATE_NODE id=n_7afc0064310e node_type=claim
t=0029 CREATE_NODE id=n_d23eab2ddf56 node_type=claim
t=0030 CREATE_NODE id=n_51b2bdf63b16 node_type=claim
t=0031 CREATE_NODE id=n_442dff5b9164 node_type=claim
t=0032 CREATE_NODE id=n_d8f15ffcef5e node_type=claim
t=0033 CREATE_NODE id=n_78c9568fa65a node_type=claim
t=0034 CREATE_NODE id=n_f0507fac9f6e node_type=claim
t=0035 CREATE_NODE id=n_e58669fa64a6 node_type=claim
t=0036 CREATE_NODE id=n_e8ec53872437 node_type=claim
t=0037 CREATE_NODE id=n_c97c48ce7745 node_type=claim
t=0038 CREATE_NODE id=n_082efeeb5e90 node_type=claim
t=0039 CREATE_NODE id=n_37cd6fb30f64 node_type=claim
t=0040 CREATE_NODE id=n_ababfb8daf1c node_type=claim
t=0041 CREATE_NODE id=n_228a7239f781 node_type=claim
t=0042 CREATE_NODE id=n_eb3fdb7463c4 node_type=claim
t=0043 CREATE_NODE id=n_da4b428ffa00 node_type=claim
t=0044 CREATE_NODE id=n_7f460ebfb10a node_type=claim
t=0045 CREATE_NODE id=n_393098756dab node_type=claim
t=0046 CREATE_NODE id=n_208280818425 node_type=claim
t=0047 CREATE_NODE id=n_89d51dc4fe9a node_type=claim
t=0048 CREATE_NODE id=n_1c64cde896bc node_type=claim
t=0049 CREATE_NODE id=n_5fefb9441d66 node_type=claim
t=0050 CREATE_NODE id=n_b2c4cad530c6 node_type=claim
t=0051 CREATE_NODE id=n_3c1283eea15f node_type=claim
t=0052 CREATE_NODE id=n_045899454dae node_type=claim
t=0053 CREATE_NODE id=n_3a5843a76400 node_type=claim
t=0054 CREATE_NODE id=n_6e1144827740 node_type=claim
t=0055 CREATE_NODE id=n_9790e1c98890 node_type=claim
t=0056 ASSERT_ROOT node=n_99112f2df2a0 value=FALSE
t=0057 ADD_EDGE edge_id=e_ac40c0929784 source=n_172f97bdfd8f edge_type=supports target=n_c15e9a9ad708
t=0058 ADD_EDGE edge_id=e_ddcb75ed81f8 source=n_fbab3eb59b65 edge_type=refutes target=n_208280818425
t=0059 ADD_EDGE edge_id=e_401d9f8c5876 source=n_51b2bdf63b16 edge_type=refutes target=n_d8f15ffcef5e
t=0060 ADD_EDGE edge_id=e_b6d949ba4b74 source=n_d23eab2ddf56 edge_type=supports target=n_c97c48ce7745
t=0061 ADD_EDGE edge_id=e_5074db8bc46d source=n_7608de18e41f edge_type=refutes target=n_082efeeb5e90
t=0062 ADD_EDGE edge_id=e_b890129b7f40 source=n_3c1283eea15f edge_type=refutes target=n_1eec1616b402
t=0063 ADD_EDGE edge_id=e_fb52e825863e source=n_f0507fac9f6e edge_type=refutes target=n_78c9568fa65a
t=0064 ADD_EDGE edge_id=e_30fc6a103ac2 source=n_3c1283eea15f edge_type=supports target=n_52f4b0fa3977
t=0065 ADD_EDGE edge_id=e_db6d692559ac source=n_442dff5b9164 edge_type=supports target=n_fbab3eb59b65
t=0066 ADD_EDGE edge_id=e_6c883ca1163b source=n_3a66ccc09782 edge_type=refutes target=n_0091ae9ef993
t=0067 ADD_EDGE edge_id=e_b65a3fd8aaa0 source=n_1eec1616b402 edge_type=refutes target=n_e58669fa64a6
t=0068 ADD_EDGE edge_id=e_d4bfd69a3d32 source=n_c97c48ce7745 edge_type=supports target=n_a95ee51db1bc
t=0069 ADD_EDGE edge_id=e_b4ca8965751f source=n_3a5843a76400 edge_type=refutes target=n_c059250b914d
t=0070 ADD_EDGE edge_id=e_8e488d47dd59 source=n_7b17413a6cc1 edge_type=refutes target=n_fe0452fd1103
t=0071 ADD_EDGE edge_id=e_6ab127bb8857 source=n_eb3fdb7463c4 edge_type=supports target=n_045899454dae
t=0072 ADD_EDGE edge_id=e_ef4440abbf2a source=n_1c64cde896bc edge_type=refutes target=n_f57e8d078add
t=0073 ADD_EDGE edge_id=e_be9a3fd088da source=n_52f4b0fa3977 edge_type=supports target=n_471288bbdb6d
t=0074 ADD_EDGE edge_id=e_3cb372feee6c source=n_e3f4f4f04287 edge_type=refutes target=n_b51afd4b1586
t=0075 ADD_EDGE edge_id=e_7fdcd0d6f84a source=n_228a7239f781 edge_type=supports target=n_e3f4f4f04287
t=0076 ADD_EDGE edge_id=e_df86b157ad94 source=n_393098756dab edge_type=refutes target=n_d45fcb6971d1
t=0077 ADD_EDGE edge_id=e_ed2fa1bb26d8 source=n_910f5e94a5d4 edge_type=supports target=n_acec58c09af6
t=0078 ADD_EDGE edge_id=e_0a11d4002d1b source=n_37cd6fb30f64 edge_type=supports target=n_7f460ebfb10a
t=0079 ADD_EDGE edge_id=e_068c37d97e75 source=n_3a66ccc09782 edge_type=supports target=n_7608de18e41f
t=0080 ADD_EDGE edge_id=e_9b068dbc9525 source=n_84f24069fa11 edge_type=refutes target=n_da4b428ffa00
t=0081 ADD_EDGE edge_id=e_d91885b1d724 source=n_f0507fac9f6e edge_type=refutes target=n_89d51dc4fe9a
t=0082 ADD_EDGE edge_id=e_3dafc2ecbe0a source=n_de58dffa15f9 edge_type=refutes target=n_6f8fa3afac44
t=0083 ADD_EDGE edge_id=e_9029ce5ce846 source=n_a95ee51db1bc edge_type=refutes target=n_7b17413a6cc1
t=0084 ADD_EDGE edge_id=e_27c48fcd3c1b source=n_9a5ed90fc933 edge_type=supports target=n_1c64cde896bc
t=0085 ADD_EDGE edge_id=e_f0090423beb6 source=n_dad3453f99c6 edge_type=refutes target=n_9a5ed90fc933
t=0086 ADD_EDGE edge_id=e_ef07c564b118 source=n_e8ec53872437 edge_type=supports target=n_5fefb9441d66
t=0087 ADD_EDGE edge_id=e_5fbe947e67c0 source=n_37cd6fb30f64 edge_type=refutes target=n_eb3fdb7463c4
t=0088 ADD_EDGE edge_id=e_9f51908efa4b source=n_7f460ebfb10a edge_type=supports target=n_c76202002fc1
t=0089 ADD_EDGE edge_id=e_7f1cd733d0ef source=n_5fefb9441d66 edge_type=supports target=n_172f97bdfd8f
t=0090 ADD_EDGE edge_id=e_d32651234d9d source=n_acec58c09af6 edge_type=supports target=n_442dff5b9164
t=0091 ADD_EDGE edge_id=e_28e2441c8285 source=n_c059250b914d edge_type=supports target=n_9790e1c98890
t=0092 ADD_EDGE edge_id=e_6b5863e1e1d7 source=n_f0507fac9f6e edge_type=supports target=n_9210e8abbb90
t=0093 ADD_EDGE edge_id=e_051b4076dbe1 source=n_208280818425 edge_type=refutes target=n_3a5843a76400
t=0094 ADD_EDGE edge_id=e_9c87017a2734 source=n_de58dffa15f9 edge_type=refutes target=n_f0507fac9f6e
t=0095 ADD_EDGE edge_id=e_aebda6925772 source=n_f57e8d078add edge_type=supports target=n_3a66ccc09782
t=0096 ADD_EDGE edge_id=e_b0a57c988e87 source=n_ababfb8daf1c edge_type=supports target=n_e8ec53872437
t=0097 ADD_EDGE edge_id=e_a8e725f9976b source=n_045899454dae edge_type=supports target=n_3c1283eea15f
t=0098 ADD_EDGE edge_id=e_6b4862756099 source=n_7b17413a6cc1 edge_type=supports target=n_910f5e94a5d4
t=0099 ADD_EDGE edge_id=e_7ff5f2050110 source=n_b51afd4b1586 edge_type=supports target=n_d23eab2ddf56
t=0100 ADD_EDGE edge_id=e_0876488ae041 source=n_84f24069fa11 edge_type=supports target=n_dad3453f99c6
t=0101 ADD_EDGE edge_id=e_2b9a06b3e022 source=n_37cd6fb30f64 edge_type=refutes target=n_de58dffa15f9
t=0102 ADD_EDGE edge_id=e_fc470173550d source=n_51b2bdf63b16 edge_type=refutes target=n_ababfb8daf1c
t=0103 ADD_EDGE edge_id=e_cbf6110b267c source=n_6e596762d71c edge_type=refutes target=n_393098756dab
t=0104 ADD_EDGE edge_id=e_1042ccff949e source=n_9790e1c98890 edge_type=supports target=n_84f24069fa11
t=0105 ADD_EDGE edge_id=e_a5b80d48c54a source=n_b2c4cad530c6 edge_type=refutes target=n_6e596762d71c
t=0106 ADD_EDGE edge_id=e_d95295b3ba35 source=n_6f8fa3afac44 edge_type=supports target=n_7afc0064310e
t=0107 ADD_EDGE edge_id=e_d07ea5b7a82b source=n_9210e8abbb90 edge_type=refutes target=n_b2c4cad530c6
t=0108 ADD_EDGE edge_id=e_b1c40861405d source=n_99112f2df2a0 edge_type=refutes target=n_228a7239f781
t=0109 ADD_EDGE edge_id=e_e643701f6d89 source=n_442dff5b9164 edge_type=supports target=n_6e1144827740
t=0110 ADD_EDGE edge_id=e_b8c7f0dca535 source=n_045899454dae edge_type=refutes target=n_51b2bdf63b16
t=0111 QUERY source=n_99112f2df2a0 target=n_082efeeb5e90
[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_aacb0be475de node_type=claim
t=0001 CREATE_NODE id=n_970d13ba857c node_type=claim
t=0002 CREATE_NODE id=n_5bb4850cbd99 node_type=claim
t=0003 CREATE_NODE id=n_25e8ea5654ac node_type=claim
t=0004 CREATE_NODE id=n_cc61ab78bab0 node_type=claim
t=0005 CREATE_NODE id=n_0b878b78db7a node_type=claim
t=0006 CREATE_NODE id=n_b3613d637046 node_type=claim
t=0007 CREATE_NODE id=n_028eda626e80 node_type=claim
t=0008 CREATE_NODE id=n_f8ff26591926 node_type=claim
t=0009 CREATE_NODE id=n_ab80dae96ee2 node_type=claim
t=0010 CREATE_NODE id=n_76433102b32f node_type=claim
t=0011 CREATE_NODE id=n_6b1eadca2700 node_type=claim
t=0012 CREATE_NODE id=n_55466ba8c328 node_type=claim
t=0013 CREATE_NODE id=n_99e0e9a4a9ce node_type=claim
t=0014 CREATE_NODE id=n_a9653531c3fc node_type=claim
t=0015 CREATE_NODE id=n_ec82cd5e3e57 node_type=claim
t=0016 CREATE_NODE id=n_b6273403c703 node_type=claim
t=0017 CREATE_NODE id=n_9e3d11814484 node_type=claim
t=0018 CREATE_NODE id=n_00bd548a0daa node_type=claim
t=0019 CREATE_NODE id=n_f63194504c87 node_type=claim
t=0020 CREATE_NODE id=n_85f2af51af45 node_type=claim
t=0021 CREATE_NODE id=n_6adac74b382d node_type=claim
t=0022 CREATE_NODE id=n_948bcbfa2b10 node_type=claim
t=0023 CREATE_NODE id=n_e59f403783b5 node_type=claim
t=0024 CREATE_NODE id=n_a20895a8152b node_type=claim
t=0025 CREATE_NODE id=n_c0c35229bbd8 node_type=claim
t=0026 CREATE_NODE id=n_39e373fdfd87 node_type=claim
t=0027 CREATE_NODE id=n_501c99604032 node_type=claim
t=0028 CREATE_NODE id=n_2ce54c471cba node_type=claim
t=0029 CREATE_NODE id=n_e77788f31b18 node_type=claim
t=0030 CREATE_NODE id=n_1f784dd460d0 node_type=claim
t=0031 CREATE_NODE id=n_09c3c5fc1f2f node_type=claim
t=0032 CREATE_NODE id=n_8e49eea15e56 node_type=claim
t=0033 CREATE_NODE id=n_a06a1b5dfe45 node_type=claim
t=0034 CREATE_NODE id=n_4c515d48fdbe node_type=claim
t=0035 CREATE_NODE id=n_55d26ffc246a node_type=claim
t=0036 CREATE_NODE id=n_4017db30498b node_type=claim
t=0037 CREATE_NODE id=n_f2d1fe16c229 node_type=claim
t=0038 CREATE_NODE id=n_9e62fd3dad51 node_type=claim
t=0039 CREATE_NODE id=n_3feb15db2c0e node_type=claim
t=0040 CREATE_NODE id=n_1e6796d3552f node_type=claim
t=0041 CREATE_NODE id=n_f939e40d0ee2 node_type=claim
t=0042 CREATE_NODE id=n_4a6858c2d6e0 node_type=claim
t=0043 CREATE_NODE id=n_b6456fb3ef15 node_type=claim
t=0044 CREATE_NODE id=n_95032994dfdd node_type=claim
t=0045 CREATE_NODE id=n_497760cf707f node_type=claim
t=0046 CREATE_NODE id=n_cb524cc11b61 node_type=claim
t=0047 CREATE_NODE id=n_6f2c2f837f44 node_type=claim
t=0048 CREATE_NODE id=n_5026c9b237d2 node_type=claim
t=0049 CREATE_NODE id=n_554d8e7a07e1 node_type=claim
t=0050 CREATE_NODE id=n_5d00dd02a95f node_type=claim
t=0051 CREATE_NODE id=n_de46b92ec1a5 node_type=claim
t=0052 CREATE_NODE id=n_8e99c3649d5f node_type=claim
t=0053 CREATE_NODE id=n_c1086092d1d2 node_type=claim
t=0054 CREATE_NODE id=n_cf17c60c07a3 node_type=claim
t=0055 CREATE_NODE id=n_a8bddae58b65 node_type=claim
t=0056 ASSERT_ROOT node=n_09c3c5fc1f2f value=TRUE
t=0057 ADD_EDGE edge_id=e_9fdac8f54497 source=n_2ce54c471cba edge_type=refutes target=n_5bb4850cbd99
t=0058 ADD_EDGE edge_id=e_748f0706a12e source=n_cc61ab78bab0 edge_type=supports target=n_76433102b32f
t=0059 ADD_EDGE edge_id=e_86485378d16a source=n_e77788f31b18 edge_type=supports target=n_4017db30498b
t=0060 ADD_EDGE edge_id=e_648b4278ddd1 source=n_1e6796d3552f edge_type=supports target=n_cf17c60c07a3
t=0061 ADD_EDGE edge_id=e_06fdf345c6ee source=n_a8bddae58b65 edge_type=refutes target=n_cc61ab78bab0
t=0062 ADD_EDGE edge_id=e_4caa8068c474 source=n_5026c9b237d2 edge_type=supports target=n_501c99604032
t=0063 ADD_EDGE edge_id=e_d47280ff952e source=n_99e0e9a4a9ce edge_type=supports target=n_00bd548a0daa
t=0064 ADD_EDGE edge_id=e_338f414e5c3d source=n_09c3c5fc1f2f edge_type=refutes target=n_4c515d48fdbe
t=0065 ADD_EDGE edge_id=e_01efff9586e9 source=n_501c99604032 edge_type=supports target=n_e59f403783b5
t=0066 ADD_EDGE edge_id=e_24a4f20ac0d5 source=n_b6456fb3ef15 edge_type=refutes target=n_9e62fd3dad51
t=0067 ADD_EDGE edge_id=e_b3c9cc1ec5ce source=n_c1086092d1d2 edge_type=refutes target=n_5026c9b237d2
t=0068 ADD_EDGE edge_id=e_4006449e117b source=n_b3613d637046 edge_type=supports target=n_39e373fdfd87
t=0069 ADD_EDGE edge_id=e_12aeea77c738 source=n_1f784dd460d0 edge_type=supports target=n_b6456fb3ef15
t=0070 ADD_EDGE edge_id=e_659fb9f63bb5 source=n_8e49eea15e56 edge_type=refutes target=n_95032994dfdd
t=0071 ADD_EDGE edge_id=e_5f576c7fc070 source=n_55466ba8c328 edge_type=refutes target=n_8e49eea15e56
t=0072 ADD_EDGE edge_id=e_5f307ed9bd38 source=n_9e62fd3dad51 edge_type=supports target=n_9e3d11814484
t=0073 ADD_EDGE edge_id=e_a6aa595a026d source=n_2ce54c471cba edge_type=supports target=n_de46b92ec1a5
t=0074 ADD_EDGE edge_id=e_27f626a94fd4 source=n_497760cf707f edge_type=supports target=n_f8ff26591926
t=0075 ADD_EDGE edge_id=e_5ff0184ac27a source=n_e59f403783b5 edge_type=refutes target=n_1f784dd460d0
t=0076 ADD_EDGE edge_id=e_11b9370f0f7b source=n_f939e40d0ee2 edge_type=supports target=n_970d13ba857c
t=0077 ADD_EDGE edge_id=e_517340a25ea0 source=n_497760cf707f edge_type=refutes target=n_8e99c3649d5f
t=0078 ADD_EDGE edge_id=e_b4bdd3264825 source=n_028eda626e80 edge_type=supports target=n_2ce54c471cba
t=0079 ADD_EDGE edge_id=e_f6a8ae026d92 source=n_8e99c3649d5f edge_type=supports target=n_b6273403c703
t=0080 ADD_EDGE edge_id=e_e070860f9d60 source=n_a20895a8152b edge_type=refutes target=n_6adac74b382d
t=0081 ADD_EDGE edge_id=e_de89eab265c3 source=n_55d26ffc246a edge_type=refutes target=n_a9653531c3fc
t=0082 ADD_EDGE edge_id=e_312b34139ea3 source=n_554d8e7a07e1 edge_type=supports target=n_99e0e9a4a9ce
t=0083 ADD_EDGE edge_id=e_0e0d9eb47704 source=n_99e0e9a4a9ce edge_type=refutes target=n_b3613d637046
t=0084 ADD_EDGE edge_id=e_de7ed39e77fa source=n_1e6796d3552f edge_type=supports target=n_0b878b78db7a
t=0085 ADD_EDGE edge_id=e_d5a53684c6e1 source=n_6f2c2f837f44 edge_type=refutes target=n_55466ba8c328
t=0086 ADD_EDGE edge_id=e_cc223242dd6e source=n_cc61ab78bab0 edge_type=supports target=n_ab80dae96ee2
t=0087 ADD_EDGE edge_id=e_0f13462e8317 source=n_a20895a8152b edge_type=supports target=n_f2d1fe16c229
t=0088 ADD_EDGE edge_id=e_7bb74ebdb196 source=n_1f784dd460d0 edge_type=refutes target=n_85f2af51af45
t=0089 ADD_EDGE edge_id=e_3fa97bfb3043 source=n_554d8e7a07e1 edge_type=supports target=n_6b1eadca2700
t=0090 ADD_EDGE edge_id=e_99538eebc395 source=n_95032994dfdd edge_type=refutes target=n_c1086092d1d2
t=0091 ADD_EDGE edge_id=e_732cd7126c34 source=n_1e6796d3552f edge_type=refutes target=n_a06a1b5dfe45
t=0092 ADD_EDGE edge_id=e_e905637eced5 source=n_5d00dd02a95f edge_type=refutes target=n_ec82cd5e3e57
t=0093 ADD_EDGE edge_id=e_bf3db5c8cd1b source=n_5bb4850cbd99 edge_type=refutes target=n_948bcbfa2b10
t=0094 ADD_EDGE edge_id=e_d6f3d65fc800 source=n_9e62fd3dad51 edge_type=supports target=n_028eda626e80
t=0095 ADD_EDGE edge_id=e_52e2f01a06d8 source=n_f2d1fe16c229 edge_type=refutes target=n_25e8ea5654ac
t=0096 ADD_EDGE edge_id=e_ed2da72124f3 source=n_554d8e7a07e1 edge_type=refutes target=n_aacb0be475de
t=0097 ADD_EDGE edge_id=e_22b898d6bffa source=n_f2d1fe16c229 edge_type=supports target=n_cb524cc11b61
t=0098 ADD_EDGE edge_id=e_8174cf3b3856 source=n_3feb15db2c0e edge_type=refutes target=n_f939e40d0ee2
t=0099 ADD_EDGE edge_id=e_5ec7d8910da3 source=n_1e6796d3552f edge_type=supports target=n_55d26ffc246a
t=0100 ADD_EDGE edge_id=e_a6c2551750a5 source=n_f63194504c87 edge_type=refutes target=n_e77788f31b18
t=0101 ADD_EDGE edge_id=e_4eeee53ddf1e source=n_ec82cd5e3e57 edge_type=refutes target=n_6f2c2f837f44
t=0102 ADD_EDGE edge_id=e_335a8ae93e36 source=n_a8bddae58b65 edge_type=refutes target=n_a20895a8152b
t=0103 ADD_EDGE edge_id=e_ca1885f8ce0c source=n_970d13ba857c edge_type=supports target=n_5d00dd02a95f
t=0104 ADD_EDGE edge_id=e_ad60e1a15d11 source=n_a8bddae58b65 edge_type=supports target=n_554d8e7a07e1
t=0105 ADD_EDGE edge_id=e_663faf293804 source=n_554d8e7a07e1 edge_type=refutes target=n_497760cf707f
t=0106 ADD_EDGE edge_id=e_3f557a4fce67 source=n_5bb4850cbd99 edge_type=refutes target=n_f63194504c87
t=0107 ADD_EDGE edge_id=e_b577e2973291 source=n_497760cf707f edge_type=refutes target=n_4a6858c2d6e0
t=0108 ADD_EDGE edge_id=e_389c3de72017 source=n_4c515d48fdbe edge_type=supports target=n_3feb15db2c0e
t=0109 ADD_EDGE edge_id=e_9376be88a905 source=n_a8bddae58b65 edge_type=supports target=n_c0c35229bbd8
t=0110 ADD_EDGE edge_id=e_ef0306902adf source=n_a8bddae58b65 edge_type=supports target=n_1e6796d3552f
t=0111 QUERY source=n_09c3c5fc1f2f target=n_4017db30498b
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.