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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_5d67587f3d6f node_type=claim
t=0001 CREATE_NODE id=n_004fa2ef9ec9 node_type=claim
t=0002 CREATE_NODE id=n_ee5781c23ebc node_type=claim
t=0003 CREATE_NODE id=n_e717a7d17311 node_type=claim
t=0004 CREATE_NODE id=n_d3d0f4be1a99 node_type=claim
t=0005 CREATE_NODE id=n_a3b0fd58e764 node_type=claim
t=0006 CREATE_NODE id=n_3d42f773f775 node_type=claim
t=0007 CREATE_NODE id=n_b75bf3c191f6 node_type=claim
t=0008 CREATE_NODE id=n_9ae07b28964b node_type=claim
t=0009 CREATE_NODE id=n_c53bd09eaa60 node_type=claim
t=0010 CREATE_NODE id=n_cb147796cc38 node_type=claim
t=0011 CREATE_NODE id=n_71f0afbf80cf node_type=claim
t=0012 CREATE_NODE id=n_df272bf4da5b node_type=claim
t=0013 CREATE_NODE id=n_dc92d4831928 node_type=claim
t=0014 CREATE_NODE id=n_cc74c679eaa0 node_type=claim
t=0015 CREATE_NODE id=n_899317ac07c5 node_type=claim
t=0016 CREATE_NODE id=n_4b5a70e458ac node_type=claim
t=0017 CREATE_NODE id=n_a3c2f39c1608 node_type=claim
t=0018 CREATE_NODE id=n_ea380c685a55 node_type=claim
t=0019 CREATE_NODE id=n_6cc4e4e92fd9 node_type=claim
t=0020 CREATE_NODE id=n_bce7e8bf4587 node_type=claim
t=0021 CREATE_NODE id=n_3317ec2a57a1 node_type=claim
t=0022 CREATE_NODE id=n_a3bacb0be5f3 node_type=claim
t=0023 CREATE_NODE id=n_23d3b65d4934 node_type=claim
t=0024 CREATE_NODE id=n_0f1278889573 node_type=claim
t=0025 CREATE_NODE id=n_6376e0379fbb node_type=claim
t=0026 CREATE_NODE id=n_b92d8cce3c49 node_type=claim
t=0027 CREATE_NODE id=n_50538d091dc9 node_type=claim
t=0028 CREATE_NODE id=n_1c5817a3813f node_type=claim
t=0029 CREATE_NODE id=n_edda6b33cfcf node_type=claim
t=0030 CREATE_NODE id=n_97578cc24920 node_type=claim
t=0031 CREATE_NODE id=n_9902c1687b8e node_type=claim
t=0032 CREATE_NODE id=n_d1f65c5acccb node_type=claim
t=0033 CREATE_NODE id=n_0784916f0bcb node_type=claim
t=0034 CREATE_NODE id=n_f3ffcf03397b node_type=claim
t=0035 CREATE_NODE id=n_a82fcf2546a2 node_type=claim
t=0036 CREATE_NODE id=n_fc908f9148b8 node_type=claim
t=0037 CREATE_NODE id=n_62c2a199372c node_type=claim
t=0038 CREATE_NODE id=n_fc01d6e6a54a node_type=claim
t=0039 CREATE_NODE id=n_8eecc69f025e node_type=claim
t=0040 CREATE_NODE id=n_3ab6d0b46fd1 node_type=claim
t=0041 CREATE_NODE id=n_b715f056ca79 node_type=claim
t=0042 CREATE_NODE id=n_be34ab414b9b node_type=claim
t=0043 CREATE_NODE id=n_c70204e58e38 node_type=claim
t=0044 CREATE_NODE id=n_3e4ddd267adb node_type=claim
t=0045 CREATE_NODE id=n_8c4e5b28b23f node_type=claim
t=0046 CREATE_NODE id=n_1a5293b2459a node_type=claim
t=0047 CREATE_NODE id=n_64f22165fb42 node_type=claim
t=0048 CREATE_NODE id=n_333433d1819a node_type=claim
t=0049 CREATE_NODE id=n_206b3800902b node_type=claim
t=0050 CREATE_NODE id=n_96ab4695424b node_type=claim
t=0051 CREATE_NODE id=n_bb82cfe63c95 node_type=claim
t=0052 CREATE_NODE id=n_a130be36868a node_type=claim
t=0053 CREATE_NODE id=n_a79a357bd2af node_type=claim
t=0054 CREATE_NODE id=n_95fe4ea3dad2 node_type=claim
t=0055 CREATE_NODE id=n_8c07ce01f807 node_type=claim
t=0056 CREATE_NODE id=n_ab38c6e02e18 node_type=claim
t=0057 CREATE_NODE id=n_784c7ada7327 node_type=claim
t=0058 ASSERT_ROOT node=n_ab38c6e02e18 value=TRUE
t=0059 ADD_EDGE edge_id=e_45f8655077cd source=n_3e4ddd267adb edge_type=refutes target=n_fc01d6e6a54a
t=0060 ADD_EDGE edge_id=e_df50920db437 source=n_a3b0fd58e764 edge_type=supports target=n_dc92d4831928
t=0061 ADD_EDGE edge_id=e_f288afd5eceb source=n_a79a357bd2af edge_type=refutes target=n_be34ab414b9b
t=0062 ADD_EDGE edge_id=e_31b26194e052 source=n_206b3800902b edge_type=supports target=n_96ab4695424b
t=0063 ADD_EDGE edge_id=e_6a532417dd23 source=n_8eecc69f025e edge_type=supports target=n_899317ac07c5
t=0064 ADD_EDGE edge_id=e_4ba449799102 source=n_62c2a199372c edge_type=supports target=n_a82fcf2546a2
t=0065 ADD_EDGE edge_id=e_c9a1864b76c3 source=n_62c2a199372c edge_type=supports target=n_23d3b65d4934
t=0066 ADD_EDGE edge_id=e_f8703ce632e3 source=n_a3b0fd58e764 edge_type=supports target=n_6376e0379fbb
t=0067 ADD_EDGE edge_id=e_a5a6d437d863 source=n_fc01d6e6a54a edge_type=refutes target=n_1a5293b2459a
t=0068 ADD_EDGE edge_id=e_8f46983f4122 source=n_5d67587f3d6f edge_type=refutes target=n_b92d8cce3c49
t=0069 ADD_EDGE edge_id=e_127cddf8ec96 source=n_a79a357bd2af edge_type=supports target=n_0f1278889573
t=0070 ADD_EDGE edge_id=e_fc6edaac550f source=n_dc92d4831928 edge_type=refutes target=n_9ae07b28964b
t=0071 ADD_EDGE edge_id=e_f4f2a947925b source=n_3e4ddd267adb edge_type=supports target=n_4b5a70e458ac
t=0072 ADD_EDGE edge_id=e_ca2658895a9a source=n_3ab6d0b46fd1 edge_type=supports target=n_ee5781c23ebc
t=0073 ADD_EDGE edge_id=e_371ecc96d536 source=n_a3c2f39c1608 edge_type=refutes target=n_b715f056ca79
t=0074 ADD_EDGE edge_id=e_de27968c3637 source=n_b92d8cce3c49 edge_type=supports target=n_a3bacb0be5f3
t=0075 ADD_EDGE edge_id=e_7ee45414ff63 source=n_71f0afbf80cf edge_type=refutes target=n_95fe4ea3dad2
t=0076 ADD_EDGE edge_id=e_bbff0fa73f35 source=n_9ae07b28964b edge_type=refutes target=n_784c7ada7327
t=0077 ADD_EDGE edge_id=e_485bd6a82635 source=n_b75bf3c191f6 edge_type=refutes target=n_f3ffcf03397b
t=0078 ADD_EDGE edge_id=e_f41726b55864 source=n_edda6b33cfcf edge_type=refutes target=n_1c5817a3813f
t=0079 ADD_EDGE edge_id=e_eac900119e85 source=n_cb147796cc38 edge_type=refutes target=n_004fa2ef9ec9
t=0080 ADD_EDGE edge_id=e_47d61548d036 source=n_64f22165fb42 edge_type=supports target=n_df272bf4da5b
t=0081 ADD_EDGE edge_id=e_b0d1f2a6c992 source=n_cc74c679eaa0 edge_type=refutes target=n_64f22165fb42
t=0082 ADD_EDGE edge_id=e_b8c2041dc03a source=n_b75bf3c191f6 edge_type=supports target=n_3317ec2a57a1
t=0083 ADD_EDGE edge_id=e_ca83df9428ef source=n_fc01d6e6a54a edge_type=supports target=n_333433d1819a
t=0084 ADD_EDGE edge_id=e_381c56b30a6c source=n_a82fcf2546a2 edge_type=supports target=n_bce7e8bf4587
t=0085 ADD_EDGE edge_id=e_06f063d5c1f4 source=n_fc01d6e6a54a edge_type=supports target=n_a3c2f39c1608
t=0086 ADD_EDGE edge_id=e_75397f6cb375 source=n_fc01d6e6a54a edge_type=supports target=n_8c4e5b28b23f
t=0087 ADD_EDGE edge_id=e_72de7fa0b3ea source=n_ab38c6e02e18 edge_type=refutes target=n_3d42f773f775
t=0088 ADD_EDGE edge_id=e_638843f3f030 source=n_0f1278889573 edge_type=refutes target=n_8eecc69f025e
t=0089 ADD_EDGE edge_id=e_18f20324deaf source=n_1c5817a3813f edge_type=refutes target=n_cc74c679eaa0
t=0090 ADD_EDGE edge_id=e_31be077e481e source=n_3d42f773f775 edge_type=refutes target=n_e717a7d17311
t=0091 ADD_EDGE edge_id=e_f1655e129bd9 source=n_784c7ada7327 edge_type=refutes target=n_8c07ce01f807
t=0092 ADD_EDGE edge_id=e_f7adcd861ddc source=n_d1f65c5acccb edge_type=refutes target=n_50538d091dc9
t=0093 ADD_EDGE edge_id=e_df19218c6187 source=n_96ab4695424b edge_type=supports target=n_c70204e58e38
t=0094 ADD_EDGE edge_id=e_dc2a2ed6a14a source=n_bb82cfe63c95 edge_type=supports target=n_d3d0f4be1a99
t=0095 ADD_EDGE edge_id=e_9730e91aea48 source=n_333433d1819a edge_type=supports target=n_d1f65c5acccb
t=0096 ADD_EDGE edge_id=e_3b95d206d472 source=n_a79a357bd2af edge_type=refutes target=n_71f0afbf80cf
t=0097 ADD_EDGE edge_id=e_3501b0d84505 source=n_a130be36868a edge_type=refutes target=n_a3b0fd58e764
t=0098 ADD_EDGE edge_id=e_2c9eeddd2863 source=n_64f22165fb42 edge_type=supports target=n_62c2a199372c
t=0099 ADD_EDGE edge_id=e_028bb26557c6 source=n_f3ffcf03397b edge_type=supports target=n_97578cc24920
t=0100 ADD_EDGE edge_id=e_594372de2a2e source=n_a3bacb0be5f3 edge_type=supports target=n_edda6b33cfcf
t=0101 ADD_EDGE edge_id=e_cc40a6779c70 source=n_c70204e58e38 edge_type=refutes target=n_3ab6d0b46fd1
t=0102 ADD_EDGE edge_id=e_114a070b2a7e source=n_4b5a70e458ac edge_type=supports target=n_b75bf3c191f6
t=0103 ADD_EDGE edge_id=e_cf84f7bbacb9 source=n_be34ab414b9b edge_type=supports target=n_ea380c685a55
t=0104 ADD_EDGE edge_id=e_bb2e38f5e65b source=n_a79a357bd2af edge_type=refutes target=n_cb147796cc38
t=0105 ADD_EDGE edge_id=e_340ec5952eb7 source=n_e717a7d17311 edge_type=refutes target=n_0784916f0bcb
t=0106 ADD_EDGE edge_id=e_994efe1103b3 source=n_0784916f0bcb edge_type=refutes target=n_5d67587f3d6f
t=0107 ADD_EDGE edge_id=e_9379532e7445 source=n_3317ec2a57a1 edge_type=refutes target=n_fc908f9148b8
t=0108 ADD_EDGE edge_id=e_fd79e551f6ed source=n_8eecc69f025e edge_type=refutes target=n_bb82cfe63c95
t=0109 ADD_EDGE edge_id=e_ff2b6208dae7 source=n_8eecc69f025e edge_type=supports target=n_6cc4e4e92fd9
t=0110 ADD_EDGE edge_id=e_ad8a272a98ac source=n_ee5781c23ebc edge_type=supports target=n_a130be36868a
t=0111 ADD_EDGE edge_id=e_9f246e3d7cbe source=n_bce7e8bf4587 edge_type=supports target=n_206b3800902b
t=0112 ADD_EDGE edge_id=e_e80bbecbdfa7 source=n_d1f65c5acccb edge_type=refutes target=n_a79a357bd2af
t=0113 ADD_EDGE edge_id=e_ca3cfcf3806a source=n_e717a7d17311 edge_type=supports target=n_c53bd09eaa60
t=0114 ADD_EDGE edge_id=e_f198908e59f0 source=n_9902c1687b8e edge_type=refutes target=n_3e4ddd267adb
t=0115 QUERY source=n_ab38c6e02e18 target=n_8c07ce01f807
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_829b725192b7 node_type=claim
t=0001 CREATE_NODE id=n_c8b6134783c6 node_type=claim
t=0002 CREATE_NODE id=n_dfa556708e9f node_type=claim
t=0003 CREATE_NODE id=n_f0cef93ed1b7 node_type=claim
t=0004 CREATE_NODE id=n_f1350fcbccea node_type=claim
t=0005 CREATE_NODE id=n_efb720d77e9e node_type=claim
t=0006 CREATE_NODE id=n_8725cc1f726c node_type=claim
t=0007 CREATE_NODE id=n_823c511c43db node_type=claim
t=0008 CREATE_NODE id=n_74378d8ec3df node_type=claim
t=0009 CREATE_NODE id=n_8673702b4729 node_type=claim
t=0010 CREATE_NODE id=n_a3d4b70ce74a node_type=claim
t=0011 CREATE_NODE id=n_9fbdb47d6e1f node_type=claim
t=0012 CREATE_NODE id=n_3e0a74505426 node_type=claim
t=0013 CREATE_NODE id=n_671502475c8e node_type=claim
t=0014 CREATE_NODE id=n_4c02fc7e1cea node_type=claim
t=0015 CREATE_NODE id=n_f48d695a86a0 node_type=claim
t=0016 CREATE_NODE id=n_9c39cb56a2aa node_type=claim
t=0017 CREATE_NODE id=n_05793d95238f node_type=claim
t=0018 CREATE_NODE id=n_ebebca1fa222 node_type=claim
t=0019 CREATE_NODE id=n_f4211040dc88 node_type=claim
t=0020 CREATE_NODE id=n_6cdb61704697 node_type=claim
t=0021 CREATE_NODE id=n_b55cc0055302 node_type=claim
t=0022 CREATE_NODE id=n_227848731bf4 node_type=claim
t=0023 CREATE_NODE id=n_aadb3807870f node_type=claim
t=0024 CREATE_NODE id=n_9dfefea80a19 node_type=claim
t=0025 CREATE_NODE id=n_319c272e1f04 node_type=claim
t=0026 CREATE_NODE id=n_ff0297e1e76e node_type=claim
t=0027 CREATE_NODE id=n_9f416eb87124 node_type=claim
t=0028 CREATE_NODE id=n_cd975bd169c3 node_type=claim
t=0029 CREATE_NODE id=n_57a7c3ef195a node_type=claim
t=0030 CREATE_NODE id=n_2a7acb51477c node_type=claim
t=0031 CREATE_NODE id=n_6382857cbe2a node_type=claim
t=0032 CREATE_NODE id=n_bd38fe4e4982 node_type=claim
t=0033 CREATE_NODE id=n_4ee297a5bf74 node_type=claim
t=0034 CREATE_NODE id=n_5a6336d67a60 node_type=claim
t=0035 CREATE_NODE id=n_751377d244c5 node_type=claim
t=0036 CREATE_NODE id=n_24f64a26f46d node_type=claim
t=0037 CREATE_NODE id=n_38def841916f node_type=claim
t=0038 CREATE_NODE id=n_67a129cf9935 node_type=claim
t=0039 CREATE_NODE id=n_99ba9af5c22e node_type=claim
t=0040 CREATE_NODE id=n_4a88d524129a node_type=claim
t=0041 CREATE_NODE id=n_4000b5d1310b node_type=claim
t=0042 CREATE_NODE id=n_bb56e432b924 node_type=claim
t=0043 CREATE_NODE id=n_114672d3345e node_type=claim
t=0044 CREATE_NODE id=n_df2aee1b1756 node_type=claim
t=0045 CREATE_NODE id=n_cf43d2ccb458 node_type=claim
t=0046 CREATE_NODE id=n_137c33f2814e node_type=claim
t=0047 CREATE_NODE id=n_0cc3654a47b7 node_type=claim
t=0048 CREATE_NODE id=n_708c6878a500 node_type=claim
t=0049 CREATE_NODE id=n_5cb6842f8502 node_type=claim
t=0050 CREATE_NODE id=n_6811152ab921 node_type=claim
t=0051 CREATE_NODE id=n_6d6e64f88826 node_type=claim
t=0052 CREATE_NODE id=n_c66cbdf37165 node_type=claim
t=0053 CREATE_NODE id=n_48cdf128258e node_type=claim
t=0054 CREATE_NODE id=n_3a0f1f512414 node_type=claim
t=0055 CREATE_NODE id=n_0308f2002186 node_type=claim
t=0056 CREATE_NODE id=n_fce48a94c932 node_type=claim
t=0057 CREATE_NODE id=n_92c4c3883ae7 node_type=claim
t=0058 ASSERT_ROOT node=n_708c6878a500 value=FALSE
t=0059 ADD_EDGE edge_id=e_1947eac16210 source=n_6811152ab921 edge_type=refutes target=n_0cc3654a47b7
t=0060 ADD_EDGE edge_id=e_9142bdec2db1 source=n_2a7acb51477c edge_type=supports target=n_99ba9af5c22e
t=0061 ADD_EDGE edge_id=e_d0a278441cf8 source=n_9fbdb47d6e1f edge_type=supports target=n_efb720d77e9e
t=0062 ADD_EDGE edge_id=e_9d5fe47261d1 source=n_dfa556708e9f edge_type=supports target=n_ff0297e1e76e
t=0063 ADD_EDGE edge_id=e_576afb24f802 source=n_708c6878a500 edge_type=supports target=n_ebebca1fa222
t=0064 ADD_EDGE edge_id=e_390e22c4acbb source=n_751377d244c5 edge_type=supports target=n_9f416eb87124
t=0065 ADD_EDGE edge_id=e_1ac8272866b1 source=n_6cdb61704697 edge_type=refutes target=n_9fbdb47d6e1f
t=0066 ADD_EDGE edge_id=e_ae4682f08bcb source=n_bb56e432b924 edge_type=refutes target=n_829b725192b7
t=0067 ADD_EDGE edge_id=e_90f219919f7c source=n_6811152ab921 edge_type=refutes target=n_4000b5d1310b
t=0068 ADD_EDGE edge_id=e_18ad54d47b5a source=n_f4211040dc88 edge_type=refutes target=n_df2aee1b1756
t=0069 ADD_EDGE edge_id=e_ffab7f8750ea source=n_df2aee1b1756 edge_type=supports target=n_6382857cbe2a
t=0070 ADD_EDGE edge_id=e_cbcd68cb1191 source=n_829b725192b7 edge_type=supports target=n_a3d4b70ce74a
t=0071 ADD_EDGE edge_id=e_0c84b675f973 source=n_2a7acb51477c edge_type=refutes target=n_5a6336d67a60
t=0072 ADD_EDGE edge_id=e_eb1dca122531 source=n_227848731bf4 edge_type=supports target=n_6d6e64f88826
t=0073 ADD_EDGE edge_id=e_b0964a50ab93 source=n_8725cc1f726c edge_type=supports target=n_227848731bf4
t=0074 ADD_EDGE edge_id=e_c1f731991444 source=n_3e0a74505426 edge_type=supports target=n_24f64a26f46d
t=0075 ADD_EDGE edge_id=e_b1a0ed57860a source=n_8725cc1f726c edge_type=supports target=n_2a7acb51477c
t=0076 ADD_EDGE edge_id=e_861e0b93f7ad source=n_227848731bf4 edge_type=refutes target=n_b55cc0055302
t=0077 ADD_EDGE edge_id=e_a626c87bf43f source=n_57a7c3ef195a edge_type=refutes target=n_8673702b4729
t=0078 ADD_EDGE edge_id=e_d66020d4c7c9 source=n_3a0f1f512414 edge_type=supports target=n_4c02fc7e1cea
t=0079 ADD_EDGE edge_id=e_fae982525cc5 source=n_227848731bf4 edge_type=refutes target=n_319c272e1f04
t=0080 ADD_EDGE edge_id=e_9a28381d9833 source=n_c8b6134783c6 edge_type=refutes target=n_671502475c8e
t=0081 ADD_EDGE edge_id=e_534cf25c8e69 source=n_4c02fc7e1cea edge_type=supports target=n_bd38fe4e4982
t=0082 ADD_EDGE edge_id=e_4182003e7fd4 source=n_92c4c3883ae7 edge_type=refutes target=n_3e0a74505426
t=0083 ADD_EDGE edge_id=e_179cdc743e4d source=n_24f64a26f46d edge_type=supports target=n_c8b6134783c6
t=0084 ADD_EDGE edge_id=e_30261d6672af source=n_5cb6842f8502 edge_type=supports target=n_bb56e432b924
t=0085 ADD_EDGE edge_id=e_e0fffcb543b4 source=n_a3d4b70ce74a edge_type=supports target=n_f48d695a86a0
t=0086 ADD_EDGE edge_id=e_cfde0baf5562 source=n_fce48a94c932 edge_type=refutes target=n_f1350fcbccea
t=0087 ADD_EDGE edge_id=e_eebbf4e1dc2a source=n_0308f2002186 edge_type=refutes target=n_dfa556708e9f
t=0088 ADD_EDGE edge_id=e_4844e54f7fb0 source=n_8725cc1f726c edge_type=supports target=n_4a88d524129a
t=0089 ADD_EDGE edge_id=e_b359cf8db3ba source=n_ebebca1fa222 edge_type=supports target=n_cf43d2ccb458
t=0090 ADD_EDGE edge_id=e_93361576ab1b source=n_2a7acb51477c edge_type=refutes target=n_114672d3345e
t=0091 ADD_EDGE edge_id=e_a8524847a2f8 source=n_3a0f1f512414 edge_type=refutes target=n_6cdb61704697
t=0092 ADD_EDGE edge_id=e_232ef1377a3b source=n_6811152ab921 edge_type=supports target=n_48cdf128258e
t=0093 ADD_EDGE edge_id=e_eccb017c47ac source=n_137c33f2814e edge_type=refutes target=n_05793d95238f
t=0094 ADD_EDGE edge_id=e_7082735c9f72 source=n_708c6878a500 edge_type=refutes target=n_cd975bd169c3
t=0095 ADD_EDGE edge_id=e_4fb97798bed9 source=n_9c39cb56a2aa edge_type=supports target=n_751377d244c5
t=0096 ADD_EDGE edge_id=e_5e495e570d91 source=n_9f416eb87124 edge_type=refutes target=n_f4211040dc88
t=0097 ADD_EDGE edge_id=e_abfa983a2710 source=n_a3d4b70ce74a edge_type=supports target=n_0308f2002186
t=0098 ADD_EDGE edge_id=e_f956b58d61de source=n_6d6e64f88826 edge_type=refutes target=n_9dfefea80a19
t=0099 ADD_EDGE edge_id=e_f1b26dead577 source=n_6cdb61704697 edge_type=refutes target=n_8725cc1f726c
t=0100 ADD_EDGE edge_id=e_73ef96aca3dc source=n_227848731bf4 edge_type=refutes target=n_38def841916f
t=0101 ADD_EDGE edge_id=e_34413c617e0f source=n_227848731bf4 edge_type=supports target=n_aadb3807870f
t=0102 ADD_EDGE edge_id=e_0306fda17032 source=n_6382857cbe2a edge_type=refutes target=n_c66cbdf37165
t=0103 ADD_EDGE edge_id=e_54b4fbb232f4 source=n_2a7acb51477c edge_type=refutes target=n_74378d8ec3df
t=0104 ADD_EDGE edge_id=e_5d480f22c35c source=n_4c02fc7e1cea edge_type=refutes target=n_6811152ab921
t=0105 ADD_EDGE edge_id=e_134a581b89c5 source=n_c66cbdf37165 edge_type=supports target=n_137c33f2814e
t=0106 ADD_EDGE edge_id=e_806680c1853c source=n_05793d95238f edge_type=supports target=n_92c4c3883ae7
t=0107 ADD_EDGE edge_id=e_b74fcd8f5ac4 source=n_4ee297a5bf74 edge_type=supports target=n_9c39cb56a2aa
t=0108 ADD_EDGE edge_id=e_d79e1f9886d0 source=n_114672d3345e edge_type=supports target=n_f0cef93ed1b7
t=0109 ADD_EDGE edge_id=e_835c94e1043e source=n_cf43d2ccb458 edge_type=refutes target=n_4ee297a5bf74
t=0110 ADD_EDGE edge_id=e_3906e6119729 source=n_671502475c8e edge_type=supports target=n_823c511c43db
t=0111 ADD_EDGE edge_id=e_fdebfc68b563 source=n_671502475c8e edge_type=refutes target=n_5cb6842f8502
t=0112 ADD_EDGE edge_id=e_576b358b56ed source=n_6cdb61704697 edge_type=supports target=n_57a7c3ef195a
t=0113 ADD_EDGE edge_id=e_c228e7183d00 source=n_9c39cb56a2aa edge_type=refutes target=n_67a129cf9935
t=0114 ADD_EDGE edge_id=e_925f5e70ecff source=n_4c02fc7e1cea edge_type=refutes target=n_fce48a94c932
t=0115 QUERY source=n_708c6878a500 target=n_ff0297e1e76e
[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_3963dc0f3d1c node_type=claim
t=0001 CREATE_NODE id=n_da0a93f9efff node_type=claim
t=0002 CREATE_NODE id=n_6e8ee3604d10 node_type=claim
t=0003 CREATE_NODE id=n_a7ef6d20de03 node_type=claim
t=0004 CREATE_NODE id=n_ace724e901cb node_type=claim
t=0005 CREATE_NODE id=n_88c7f3c0a382 node_type=claim
t=0006 CREATE_NODE id=n_3734e3da27e4 node_type=claim
t=0007 CREATE_NODE id=n_b0bd1fe2e2ac node_type=claim
t=0008 CREATE_NODE id=n_e62c504b5d3f node_type=claim
t=0009 CREATE_NODE id=n_b6bd26710213 node_type=claim
t=0010 CREATE_NODE id=n_65b64a2ba656 node_type=claim
t=0011 CREATE_NODE id=n_8cd1cac454c7 node_type=claim
t=0012 CREATE_NODE id=n_98214ca48972 node_type=claim
t=0013 CREATE_NODE id=n_71ed3b282ed2 node_type=claim
t=0014 CREATE_NODE id=n_f5cb2ef7fe16 node_type=claim
t=0015 CREATE_NODE id=n_2298b0d7861a node_type=claim
t=0016 CREATE_NODE id=n_d350f25b48a9 node_type=claim
t=0017 CREATE_NODE id=n_bcda322a72b5 node_type=claim
t=0018 CREATE_NODE id=n_601d4cbe2a39 node_type=claim
t=0019 CREATE_NODE id=n_77e4db22d467 node_type=claim
t=0020 CREATE_NODE id=n_fc4f39686fb4 node_type=claim
t=0021 CREATE_NODE id=n_a049be48ba2c node_type=claim
t=0022 CREATE_NODE id=n_0937399223d4 node_type=claim
t=0023 CREATE_NODE id=n_360b1979c791 node_type=claim
t=0024 CREATE_NODE id=n_90ac8b74243e node_type=claim
t=0025 CREATE_NODE id=n_0c987061ffea node_type=claim
t=0026 CREATE_NODE id=n_4b757d8816dd node_type=claim
t=0027 CREATE_NODE id=n_d97b10d7e2f0 node_type=claim
t=0028 CREATE_NODE id=n_c8664c99bec3 node_type=claim
t=0029 CREATE_NODE id=n_af5974ac3156 node_type=claim
t=0030 CREATE_NODE id=n_29e2763ad635 node_type=claim
t=0031 CREATE_NODE id=n_b678adcf80e8 node_type=claim
t=0032 CREATE_NODE id=n_b9b23e5a0817 node_type=claim
t=0033 CREATE_NODE id=n_a7a081d7df97 node_type=claim
t=0034 CREATE_NODE id=n_5a82b8381e4f node_type=claim
t=0035 CREATE_NODE id=n_bb94340a4a68 node_type=claim
t=0036 CREATE_NODE id=n_1107831f02d1 node_type=claim
t=0037 CREATE_NODE id=n_5090fb8bcec7 node_type=claim
t=0038 CREATE_NODE id=n_59f0b7258427 node_type=claim
t=0039 CREATE_NODE id=n_ab01456fc2f7 node_type=claim
t=0040 CREATE_NODE id=n_b9425b7fab72 node_type=claim
t=0041 CREATE_NODE id=n_6eb70665b04b node_type=claim
t=0042 CREATE_NODE id=n_8d446139c3d3 node_type=claim
t=0043 CREATE_NODE id=n_917276fa7bb2 node_type=claim
t=0044 CREATE_NODE id=n_bcc026726a46 node_type=claim
t=0045 CREATE_NODE id=n_324a04b3e772 node_type=claim
t=0046 CREATE_NODE id=n_0fe74b2efcc0 node_type=claim
t=0047 CREATE_NODE id=n_b2b08257b347 node_type=claim
t=0048 CREATE_NODE id=n_5dcc97c12fa9 node_type=claim
t=0049 CREATE_NODE id=n_43be862d5e47 node_type=claim
t=0050 CREATE_NODE id=n_9b4b80c9d649 node_type=claim
t=0051 CREATE_NODE id=n_6d1e009328f3 node_type=claim
t=0052 CREATE_NODE id=n_a4ef61be9b11 node_type=claim
t=0053 CREATE_NODE id=n_f692d3712eeb node_type=claim
t=0054 CREATE_NODE id=n_ce58e6b7d7ec node_type=claim
t=0055 CREATE_NODE id=n_f0c4a488288c node_type=claim
t=0056 CREATE_NODE id=n_037071035dc1 node_type=claim
t=0057 CREATE_NODE id=n_35792a68f160 node_type=claim
t=0058 ASSERT_ROOT node=n_f0c4a488288c value=TRUE
t=0059 ADD_EDGE edge_id=e_a14a94762262 source=n_a7a081d7df97 edge_type=supports target=n_0c987061ffea
t=0060 ADD_EDGE edge_id=e_a648e37cfb9b source=n_0c987061ffea edge_type=refutes target=n_0937399223d4
t=0061 ADD_EDGE edge_id=e_f135a6cc3a57 source=n_bcc026726a46 edge_type=supports target=n_5dcc97c12fa9
t=0062 ADD_EDGE edge_id=e_75d1883f9a31 source=n_8d446139c3d3 edge_type=supports target=n_601d4cbe2a39
t=0063 ADD_EDGE edge_id=e_cb3e65085971 source=n_5a82b8381e4f edge_type=supports target=n_b9b23e5a0817
t=0064 ADD_EDGE edge_id=e_5e8f303ab71e source=n_5a82b8381e4f edge_type=supports target=n_af5974ac3156
t=0065 ADD_EDGE edge_id=e_2fa869802e09 source=n_a049be48ba2c edge_type=refutes target=n_59f0b7258427
t=0066 ADD_EDGE edge_id=e_8fa1019f9ebf source=n_601d4cbe2a39 edge_type=supports target=n_2298b0d7861a
t=0067 ADD_EDGE edge_id=e_465d421d8088 source=n_8cd1cac454c7 edge_type=refutes target=n_b9425b7fab72
t=0068 ADD_EDGE edge_id=e_8b8d6ca8dee5 source=n_43be862d5e47 edge_type=supports target=n_b678adcf80e8
t=0069 ADD_EDGE edge_id=e_2ed259fd15e0 source=n_8cd1cac454c7 edge_type=supports target=n_c8664c99bec3
t=0070 ADD_EDGE edge_id=e_798033ea758f source=n_a4ef61be9b11 edge_type=refutes target=n_324a04b3e772
t=0071 ADD_EDGE edge_id=e_14d44e0730c3 source=n_6eb70665b04b edge_type=supports target=n_6e8ee3604d10
t=0072 ADD_EDGE edge_id=e_f3fb6a6aa3ea source=n_0c987061ffea edge_type=refutes target=n_ce58e6b7d7ec
t=0073 ADD_EDGE edge_id=e_8b729e458671 source=n_b2b08257b347 edge_type=refutes target=n_bcc026726a46
t=0074 ADD_EDGE edge_id=e_34170bb8c471 source=n_71ed3b282ed2 edge_type=refutes target=n_3963dc0f3d1c
t=0075 ADD_EDGE edge_id=e_952b2d29b09a source=n_601d4cbe2a39 edge_type=refutes target=n_ab01456fc2f7
t=0076 ADD_EDGE edge_id=e_b5e899d4b96b source=n_8d446139c3d3 edge_type=supports target=n_b0bd1fe2e2ac
t=0077 ADD_EDGE edge_id=e_84babfaa7d96 source=n_8d446139c3d3 edge_type=refutes target=n_71ed3b282ed2
t=0078 ADD_EDGE edge_id=e_7171e3caa01d source=n_f692d3712eeb edge_type=refutes target=n_917276fa7bb2
t=0079 ADD_EDGE edge_id=e_aff793297bd4 source=n_9b4b80c9d649 edge_type=refutes target=n_6d1e009328f3
t=0080 ADD_EDGE edge_id=e_cd2ad7336e37 source=n_bcda322a72b5 edge_type=supports target=n_98214ca48972
t=0081 ADD_EDGE edge_id=e_b1e8d7c76fa1 source=n_29e2763ad635 edge_type=refutes target=n_1107831f02d1
t=0082 ADD_EDGE edge_id=e_a51ebec41f6a source=n_601d4cbe2a39 edge_type=refutes target=n_5090fb8bcec7
t=0083 ADD_EDGE edge_id=e_d4fc4d3d4c7c source=n_bb94340a4a68 edge_type=supports target=n_43be862d5e47
t=0084 ADD_EDGE edge_id=e_494844d502fd source=n_71ed3b282ed2 edge_type=refutes target=n_360b1979c791
t=0085 ADD_EDGE edge_id=e_ad5f49fc3986 source=n_65b64a2ba656 edge_type=supports target=n_77e4db22d467
t=0086 ADD_EDGE edge_id=e_7c6136630b6c source=n_71ed3b282ed2 edge_type=refutes target=n_5a82b8381e4f
t=0087 ADD_EDGE edge_id=e_5515ed73d407 source=n_5dcc97c12fa9 edge_type=refutes target=n_a049be48ba2c
t=0088 ADD_EDGE edge_id=e_a908957e2a24 source=n_59f0b7258427 edge_type=supports target=n_3734e3da27e4
t=0089 ADD_EDGE edge_id=e_daf271972e85 source=n_71ed3b282ed2 edge_type=refutes target=n_0fe74b2efcc0
t=0090 ADD_EDGE edge_id=e_429ce3a94c33 source=n_bcda322a72b5 edge_type=supports target=n_d97b10d7e2f0
t=0091 ADD_EDGE edge_id=e_d52e6b995547 source=n_360b1979c791 edge_type=supports target=n_d350f25b48a9
t=0092 ADD_EDGE edge_id=e_1e747e6b5cc8 source=n_2298b0d7861a edge_type=refutes target=n_29e2763ad635
t=0093 ADD_EDGE edge_id=e_7e48cffe1f06 source=n_77e4db22d467 edge_type=refutes target=n_b6bd26710213
t=0094 ADD_EDGE edge_id=e_aa91af72622f source=n_6d1e009328f3 edge_type=refutes target=n_b2b08257b347
t=0095 ADD_EDGE edge_id=e_895b8bdcca5f source=n_0937399223d4 edge_type=supports target=n_f692d3712eeb
t=0096 ADD_EDGE edge_id=e_d392033c2574 source=n_bcda322a72b5 edge_type=supports target=n_da0a93f9efff
t=0097 ADD_EDGE edge_id=e_4f94ac66757f source=n_4b757d8816dd edge_type=refutes target=n_a7ef6d20de03
t=0098 ADD_EDGE edge_id=e_9d9bfb4e3e88 source=n_601d4cbe2a39 edge_type=supports target=n_bcda322a72b5
t=0099 ADD_EDGE edge_id=e_26790ca1ccfb source=n_ace724e901cb edge_type=supports target=n_4b757d8816dd
t=0100 ADD_EDGE edge_id=e_1f738aa44d3b source=n_88c7f3c0a382 edge_type=supports target=n_a4ef61be9b11
t=0101 ADD_EDGE edge_id=e_4c37581c85a8 source=n_71ed3b282ed2 edge_type=supports target=n_e62c504b5d3f
t=0102 ADD_EDGE edge_id=e_b0bee5bb0723 source=n_b6bd26710213 edge_type=supports target=n_8cd1cac454c7
t=0103 ADD_EDGE edge_id=e_88348c2b2d5b source=n_324a04b3e772 edge_type=refutes target=n_ace724e901cb
t=0104 ADD_EDGE edge_id=e_488bf0d3d936 source=n_88c7f3c0a382 edge_type=supports target=n_037071035dc1
t=0105 ADD_EDGE edge_id=e_5f21c9b8eb74 source=n_601d4cbe2a39 edge_type=refutes target=n_35792a68f160
t=0106 ADD_EDGE edge_id=e_c27585673029 source=n_f0c4a488288c edge_type=refutes target=n_88c7f3c0a382
t=0107 ADD_EDGE edge_id=e_25cf5e02fe92 source=n_fc4f39686fb4 edge_type=supports target=n_9b4b80c9d649
t=0108 ADD_EDGE edge_id=e_e5b0d7e4dc63 source=n_601d4cbe2a39 edge_type=refutes target=n_90ac8b74243e
t=0109 ADD_EDGE edge_id=e_dea38b7d9c05 source=n_ab01456fc2f7 edge_type=refutes target=n_6eb70665b04b
t=0110 ADD_EDGE edge_id=e_2c3ddff14679 source=n_8cd1cac454c7 edge_type=supports target=n_a7a081d7df97
t=0111 ADD_EDGE edge_id=e_1645d9f56dbb source=n_ab01456fc2f7 edge_type=supports target=n_bb94340a4a68
t=0112 ADD_EDGE edge_id=e_8edd5f3d7644 source=n_a7ef6d20de03 edge_type=refutes target=n_65b64a2ba656
t=0113 ADD_EDGE edge_id=e_9f2ac245f3ec source=n_bb94340a4a68 edge_type=refutes target=n_f5cb2ef7fe16
t=0114 ADD_EDGE edge_id=e_6047b11c1e89 source=n_917276fa7bb2 edge_type=supports target=n_fc4f39686fb4
t=0115 QUERY source=n_f0c4a488288c target=n_3734e3da27e4
[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_e488df19ae93 node_type=claim
t=0001 CREATE_NODE id=n_b6b3d3c0cba1 node_type=claim
t=0002 CREATE_NODE id=n_2e486cc71fd8 node_type=claim
t=0003 CREATE_NODE id=n_6daeac9120b1 node_type=claim
t=0004 CREATE_NODE id=n_c45b736b25b8 node_type=claim
t=0005 CREATE_NODE id=n_b0762ef79f86 node_type=claim
t=0006 CREATE_NODE id=n_b26fd5ccc0f6 node_type=claim
t=0007 CREATE_NODE id=n_191284f4bc48 node_type=claim
t=0008 CREATE_NODE id=n_53928ebb0b2a node_type=claim
t=0009 CREATE_NODE id=n_3e56835f32b5 node_type=claim
t=0010 CREATE_NODE id=n_1a7818932bf6 node_type=claim
t=0011 CREATE_NODE id=n_1147b349d0d3 node_type=claim
t=0012 CREATE_NODE id=n_4653ae152b33 node_type=claim
t=0013 CREATE_NODE id=n_6d434787fdb9 node_type=claim
t=0014 CREATE_NODE id=n_0e84ca444bde node_type=claim
t=0015 CREATE_NODE id=n_0703f1b74428 node_type=claim
t=0016 CREATE_NODE id=n_d1e66321e867 node_type=claim
t=0017 CREATE_NODE id=n_fdc19fa4a1a3 node_type=claim
t=0018 CREATE_NODE id=n_3f8e7c9a86ff node_type=claim
t=0019 CREATE_NODE id=n_1c38172b7ef8 node_type=claim
t=0020 CREATE_NODE id=n_f52ff0379f01 node_type=claim
t=0021 CREATE_NODE id=n_ada410b0c1b2 node_type=claim
t=0022 CREATE_NODE id=n_c521f194c86b node_type=claim
t=0023 CREATE_NODE id=n_7ef486b68d77 node_type=claim
t=0024 CREATE_NODE id=n_b8fc55412f1c node_type=claim
t=0025 CREATE_NODE id=n_e707a00c4075 node_type=claim
t=0026 CREATE_NODE id=n_b0b917e8e543 node_type=claim
t=0027 CREATE_NODE id=n_b2851bea2bc8 node_type=claim
t=0028 CREATE_NODE id=n_4fede68b6c4a node_type=claim
t=0029 CREATE_NODE id=n_5cb5855d0305 node_type=claim
t=0030 CREATE_NODE id=n_f9f51a2e7b7f node_type=claim
t=0031 CREATE_NODE id=n_db5b82636ffa node_type=claim
t=0032 CREATE_NODE id=n_4e5c9a7ab1b8 node_type=claim
t=0033 CREATE_NODE id=n_d3b1f3754926 node_type=claim
t=0034 CREATE_NODE id=n_c4dd40a0a4ab node_type=claim
t=0035 CREATE_NODE id=n_d6bb263cabd0 node_type=claim
t=0036 CREATE_NODE id=n_03eb0234db86 node_type=claim
t=0037 CREATE_NODE id=n_3601903e9b29 node_type=claim
t=0038 CREATE_NODE id=n_b332b435e516 node_type=claim
t=0039 CREATE_NODE id=n_99834ea987c9 node_type=claim
t=0040 CREATE_NODE id=n_9d56ffa6bdfd node_type=claim
t=0041 CREATE_NODE id=n_fd6b86397e62 node_type=claim
t=0042 CREATE_NODE id=n_1777ead1cfe3 node_type=claim
t=0043 CREATE_NODE id=n_3f34565f8650 node_type=claim
t=0044 CREATE_NODE id=n_072557c67bf9 node_type=claim
t=0045 CREATE_NODE id=n_1d38770532eb node_type=claim
t=0046 CREATE_NODE id=n_ab7941f805cc node_type=claim
t=0047 CREATE_NODE id=n_6980b799da9f node_type=claim
t=0048 CREATE_NODE id=n_7d7a13abb4e1 node_type=claim
t=0049 CREATE_NODE id=n_702b4aff19be node_type=claim
t=0050 CREATE_NODE id=n_d4a7791e600c node_type=claim
t=0051 CREATE_NODE id=n_66b9facd5278 node_type=claim
t=0052 CREATE_NODE id=n_1822737b4b6b node_type=claim
t=0053 CREATE_NODE id=n_7c176988210c node_type=claim
t=0054 CREATE_NODE id=n_f394153d3a38 node_type=claim
t=0055 CREATE_NODE id=n_13c14c0e7f0c node_type=claim
t=0056 CREATE_NODE id=n_51fdf2486aab node_type=claim
t=0057 CREATE_NODE id=n_aabbcbdd3f28 node_type=claim
t=0058 ASSERT_ROOT node=n_e707a00c4075 value=FALSE
t=0059 ADD_EDGE edge_id=e_b3b1ea51b298 source=n_fdc19fa4a1a3 edge_type=refutes target=n_3f8e7c9a86ff
t=0060 ADD_EDGE edge_id=e_5f7e7cc7f453 source=n_0e84ca444bde edge_type=supports target=n_c45b736b25b8
t=0061 ADD_EDGE edge_id=e_f527112cbb9d source=n_6daeac9120b1 edge_type=supports target=n_1147b349d0d3
t=0062 ADD_EDGE edge_id=e_4baf0c3c6518 source=n_e488df19ae93 edge_type=refutes target=n_2e486cc71fd8
t=0063 ADD_EDGE edge_id=e_8c22f4ceb69b source=n_c4dd40a0a4ab edge_type=supports target=n_4653ae152b33
t=0064 ADD_EDGE edge_id=e_ace492be54c3 source=n_d6bb263cabd0 edge_type=supports target=n_3e56835f32b5
t=0065 ADD_EDGE edge_id=e_4d20b6be57a5 source=n_b0b917e8e543 edge_type=refutes target=n_7c176988210c
t=0066 ADD_EDGE edge_id=e_45b7e6340a61 source=n_e707a00c4075 edge_type=refutes target=n_702b4aff19be
t=0067 ADD_EDGE edge_id=e_823636b5b0de source=n_c521f194c86b edge_type=supports target=n_99834ea987c9
t=0068 ADD_EDGE edge_id=e_07aedc9eff2b source=n_c4dd40a0a4ab edge_type=refutes target=n_6980b799da9f
t=0069 ADD_EDGE edge_id=e_f1994efc8db2 source=n_6980b799da9f edge_type=refutes target=n_4e5c9a7ab1b8
t=0070 ADD_EDGE edge_id=e_52588735cfb1 source=n_ada410b0c1b2 edge_type=refutes target=n_b26fd5ccc0f6
t=0071 ADD_EDGE edge_id=e_76515cece11a source=n_b0762ef79f86 edge_type=supports target=n_51fdf2486aab
t=0072 ADD_EDGE edge_id=e_c65e8a6856a1 source=n_51fdf2486aab edge_type=supports target=n_b332b435e516
t=0073 ADD_EDGE edge_id=e_4747f5b50744 source=n_6980b799da9f edge_type=supports target=n_d4a7791e600c
t=0074 ADD_EDGE edge_id=e_35da2d45092f source=n_66b9facd5278 edge_type=refutes target=n_03eb0234db86
t=0075 ADD_EDGE edge_id=e_f8c89f42983e source=n_4fede68b6c4a edge_type=refutes target=n_c4dd40a0a4ab
t=0076 ADD_EDGE edge_id=e_e77e0c1804af source=n_3601903e9b29 edge_type=supports target=n_3f34565f8650
t=0077 ADD_EDGE edge_id=e_67ed4fd0125e source=n_b26fd5ccc0f6 edge_type=refutes target=n_1777ead1cfe3
t=0078 ADD_EDGE edge_id=e_c0dcd11eaa05 source=n_ada410b0c1b2 edge_type=supports target=n_b6b3d3c0cba1
t=0079 ADD_EDGE edge_id=e_a420937c111c source=n_4e5c9a7ab1b8 edge_type=refutes target=n_1822737b4b6b
t=0080 ADD_EDGE edge_id=e_0b68a4f67aa9 source=n_c45b736b25b8 edge_type=supports target=n_d6bb263cabd0
t=0081 ADD_EDGE edge_id=e_ee904b426438 source=n_3f34565f8650 edge_type=supports target=n_6daeac9120b1
t=0082 ADD_EDGE edge_id=e_91ad96b47916 source=n_99834ea987c9 edge_type=refutes target=n_ab7941f805cc
t=0083 ADD_EDGE edge_id=e_91cce70c8e46 source=n_702b4aff19be edge_type=refutes target=n_ada410b0c1b2
t=0084 ADD_EDGE edge_id=e_d845d717fa0f source=n_c45b736b25b8 edge_type=supports target=n_b8fc55412f1c
t=0085 ADD_EDGE edge_id=e_edacf33ba99d source=n_4fede68b6c4a edge_type=refutes target=n_e488df19ae93
t=0086 ADD_EDGE edge_id=e_69a1fde3fdb9 source=n_c4dd40a0a4ab edge_type=supports target=n_fdc19fa4a1a3
t=0087 ADD_EDGE edge_id=e_ad604a34c933 source=n_f52ff0379f01 edge_type=supports target=n_aabbcbdd3f28
t=0088 ADD_EDGE edge_id=e_d94b509fe792 source=n_1777ead1cfe3 edge_type=supports target=n_7ef486b68d77
t=0089 ADD_EDGE edge_id=e_73d552dd762b source=n_4fede68b6c4a edge_type=refutes target=n_b0b917e8e543
t=0090 ADD_EDGE edge_id=e_2af65db9bbd8 source=n_7ef486b68d77 edge_type=refutes target=n_1c38172b7ef8
t=0091 ADD_EDGE edge_id=e_532df02d0d74 source=n_6980b799da9f edge_type=refutes target=n_0703f1b74428
t=0092 ADD_EDGE edge_id=e_be6a2fd1e26b source=n_3e56835f32b5 edge_type=supports target=n_3601903e9b29
t=0093 ADD_EDGE edge_id=e_b19ec29089df source=n_1c38172b7ef8 edge_type=supports target=n_7d7a13abb4e1
t=0094 ADD_EDGE edge_id=e_a36336435562 source=n_aabbcbdd3f28 edge_type=supports target=n_db5b82636ffa
t=0095 ADD_EDGE edge_id=e_afa7df7776e0 source=n_e488df19ae93 edge_type=refutes target=n_5cb5855d0305
t=0096 ADD_EDGE edge_id=e_40efdd2425a3 source=n_3f8e7c9a86ff edge_type=refutes target=n_66b9facd5278
t=0097 ADD_EDGE edge_id=e_8b89c575892a source=n_1147b349d0d3 edge_type=supports target=n_c521f194c86b
t=0098 ADD_EDGE edge_id=e_3101a03241d4 source=n_fd6b86397e62 edge_type=supports target=n_53928ebb0b2a
t=0099 ADD_EDGE edge_id=e_e554cea7ab97 source=n_7d7a13abb4e1 edge_type=supports target=n_d1e66321e867
t=0100 ADD_EDGE edge_id=e_06c74039498a source=n_66b9facd5278 edge_type=refutes target=n_f9f51a2e7b7f
t=0101 ADD_EDGE edge_id=e_c1d0b754965a source=n_13c14c0e7f0c edge_type=refutes target=n_b2851bea2bc8
t=0102 ADD_EDGE edge_id=e_b36422da2a87 source=n_1822737b4b6b edge_type=supports target=n_f394153d3a38
t=0103 ADD_EDGE edge_id=e_b1ff0dca2ace source=n_c4dd40a0a4ab edge_type=refutes target=n_1a7818932bf6
t=0104 ADD_EDGE edge_id=e_e08a2995876a source=n_3f8e7c9a86ff edge_type=refutes target=n_191284f4bc48
t=0105 ADD_EDGE edge_id=e_b1e2c1a9204d source=n_fd6b86397e62 edge_type=supports target=n_9d56ffa6bdfd
t=0106 ADD_EDGE edge_id=e_a7cd45c9a7f1 source=n_f9f51a2e7b7f edge_type=refutes target=n_13c14c0e7f0c
t=0107 ADD_EDGE edge_id=e_dd781cc7fae1 source=n_3f8e7c9a86ff edge_type=refutes target=n_072557c67bf9
t=0108 ADD_EDGE edge_id=e_590342342ddf source=n_aabbcbdd3f28 edge_type=refutes target=n_fd6b86397e62
t=0109 ADD_EDGE edge_id=e_3e1185bcd667 source=n_13c14c0e7f0c edge_type=supports target=n_1d38770532eb
t=0110 ADD_EDGE edge_id=e_1df4037f09f6 source=n_ab7941f805cc edge_type=supports target=n_6d434787fdb9
t=0111 ADD_EDGE edge_id=e_8c186b4cb297 source=n_d1e66321e867 edge_type=supports target=n_f52ff0379f01
t=0112 ADD_EDGE edge_id=e_72ee5188c061 source=n_fdc19fa4a1a3 edge_type=refutes target=n_b0762ef79f86
t=0113 ADD_EDGE edge_id=e_b600877d6e25 source=n_53928ebb0b2a edge_type=refutes target=n_0e84ca444bde
t=0114 ADD_EDGE edge_id=e_e190defa7409 source=n_66b9facd5278 edge_type=supports target=n_d3b1f3754926
t=0115 QUERY source=n_e707a00c4075 target=n_6d434787fdb9
[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_e9564fd9435e node_type=claim
t=0001 CREATE_NODE id=n_90649407beec node_type=claim
t=0002 CREATE_NODE id=n_67799ab5aff3 node_type=claim
t=0003 CREATE_NODE id=n_9e498aa16c39 node_type=claim
t=0004 CREATE_NODE id=n_5f9e642bc99b node_type=claim
t=0005 CREATE_NODE id=n_b486595060da node_type=claim
t=0006 CREATE_NODE id=n_bad5022a6847 node_type=claim
t=0007 CREATE_NODE id=n_78d4f14f5cf9 node_type=claim
t=0008 CREATE_NODE id=n_b3a4a4e4304c node_type=claim
t=0009 CREATE_NODE id=n_569534726dd0 node_type=claim
t=0010 CREATE_NODE id=n_7fc89cdb4acf node_type=claim
t=0011 CREATE_NODE id=n_a29528c678ae node_type=claim
t=0012 CREATE_NODE id=n_34091a864c38 node_type=claim
t=0013 CREATE_NODE id=n_2bc63c39a6ee node_type=claim
t=0014 CREATE_NODE id=n_fc28496da17c node_type=claim
t=0015 CREATE_NODE id=n_3fe3e3703e66 node_type=claim
t=0016 CREATE_NODE id=n_8b389ca70c66 node_type=claim
t=0017 CREATE_NODE id=n_8caf6d097acc node_type=claim
t=0018 CREATE_NODE id=n_58e2a8701624 node_type=claim
t=0019 CREATE_NODE id=n_815e9bca0026 node_type=claim
t=0020 CREATE_NODE id=n_5ce668a775c8 node_type=claim
t=0021 CREATE_NODE id=n_01d99b0f0610 node_type=claim
t=0022 CREATE_NODE id=n_3de0524bc9d8 node_type=claim
t=0023 CREATE_NODE id=n_6c5a2778610a node_type=claim
t=0024 CREATE_NODE id=n_12db84561c92 node_type=claim
t=0025 CREATE_NODE id=n_347adc231cac node_type=claim
t=0026 CREATE_NODE id=n_205fedc220f7 node_type=claim
t=0027 CREATE_NODE id=n_df4528a1fb13 node_type=claim
t=0028 CREATE_NODE id=n_5fb10c82320c node_type=claim
t=0029 CREATE_NODE id=n_7518b47d6cfb node_type=claim
t=0030 CREATE_NODE id=n_bfc18b6f91a5 node_type=claim
t=0031 CREATE_NODE id=n_4a3c102682e4 node_type=claim
t=0032 CREATE_NODE id=n_01ed5d40bd55 node_type=claim
t=0033 CREATE_NODE id=n_c5b68bb65024 node_type=claim
t=0034 CREATE_NODE id=n_0a58731d50e0 node_type=claim
t=0035 CREATE_NODE id=n_7d5e8bc8ff21 node_type=claim
t=0036 CREATE_NODE id=n_5ee872777748 node_type=claim
t=0037 CREATE_NODE id=n_d6739cdeb790 node_type=claim
t=0038 CREATE_NODE id=n_8eae48ec9240 node_type=claim
t=0039 CREATE_NODE id=n_48d6945271b1 node_type=claim
t=0040 CREATE_NODE id=n_88c142aa7509 node_type=claim
t=0041 CREATE_NODE id=n_5a45fa1d4e38 node_type=claim
t=0042 CREATE_NODE id=n_735bd6dc2cfd node_type=claim
t=0043 CREATE_NODE id=n_0a058233907f node_type=claim
t=0044 CREATE_NODE id=n_d9387161e63f node_type=claim
t=0045 CREATE_NODE id=n_9d2adc5efbf6 node_type=claim
t=0046 CREATE_NODE id=n_08e15fa8f286 node_type=claim
t=0047 CREATE_NODE id=n_7d3864321804 node_type=claim
t=0048 CREATE_NODE id=n_17c9638cc126 node_type=claim
t=0049 CREATE_NODE id=n_30b9d48544a5 node_type=claim
t=0050 CREATE_NODE id=n_231c2b71cb87 node_type=claim
t=0051 CREATE_NODE id=n_5524d89cdb6b node_type=claim
t=0052 CREATE_NODE id=n_27ea917537b8 node_type=claim
t=0053 CREATE_NODE id=n_2a5dc1197a27 node_type=claim
t=0054 CREATE_NODE id=n_c5e7b38afdb8 node_type=claim
t=0055 CREATE_NODE id=n_007677d6fbb6 node_type=claim
t=0056 CREATE_NODE id=n_54bcea7cadb7 node_type=claim
t=0057 CREATE_NODE id=n_e6258c78e334 node_type=claim
t=0058 ASSERT_ROOT node=n_7d5e8bc8ff21 value=TRUE
t=0059 ADD_EDGE edge_id=e_c4fe96b825ed source=n_2a5dc1197a27 edge_type=refutes target=n_347adc231cac
t=0060 ADD_EDGE edge_id=e_e9a3146fe07f source=n_01d99b0f0610 edge_type=refutes target=n_d9387161e63f
t=0061 ADD_EDGE edge_id=e_ebc163b8ae46 source=n_9d2adc5efbf6 edge_type=refutes target=n_3de0524bc9d8
t=0062 ADD_EDGE edge_id=e_f972f454c5b6 source=n_c5e7b38afdb8 edge_type=supports target=n_08e15fa8f286
t=0063 ADD_EDGE edge_id=e_a076f2711695 source=n_c5e7b38afdb8 edge_type=refutes target=n_9e498aa16c39
t=0064 ADD_EDGE edge_id=e_4802561f010b source=n_54bcea7cadb7 edge_type=supports target=n_3fe3e3703e66
t=0065 ADD_EDGE edge_id=e_60c3fe2ae6a7 source=n_d9387161e63f edge_type=supports target=n_4a3c102682e4
t=0066 ADD_EDGE edge_id=e_64d6a51f4d0e source=n_90649407beec edge_type=supports target=n_01d99b0f0610
t=0067 ADD_EDGE edge_id=e_a00d8d17f5f9 source=n_0a58731d50e0 edge_type=refutes target=n_2bc63c39a6ee
t=0068 ADD_EDGE edge_id=e_ecb1a9fa0cfd source=n_7fc89cdb4acf edge_type=supports target=n_58e2a8701624
t=0069 ADD_EDGE edge_id=e_763495067e81 source=n_8b389ca70c66 edge_type=refutes target=n_67799ab5aff3
t=0070 ADD_EDGE edge_id=e_4da12ae36f84 source=n_7d5e8bc8ff21 edge_type=supports target=n_e9564fd9435e
t=0071 ADD_EDGE edge_id=e_45525b8b136a source=n_3de0524bc9d8 edge_type=refutes target=n_7518b47d6cfb
t=0072 ADD_EDGE edge_id=e_8fdc5825996b source=n_0a058233907f edge_type=refutes target=n_569534726dd0
t=0073 ADD_EDGE edge_id=e_f6b19c780f0b source=n_b486595060da edge_type=supports target=n_8caf6d097acc
t=0074 ADD_EDGE edge_id=e_d7e44856d5ad source=n_5ee872777748 edge_type=refutes target=n_01ed5d40bd55
t=0075 ADD_EDGE edge_id=e_841bea8bc091 source=n_d6739cdeb790 edge_type=refutes target=n_5524d89cdb6b
t=0076 ADD_EDGE edge_id=e_2c4e7e58eb86 source=n_c5e7b38afdb8 edge_type=supports target=n_c5b68bb65024
t=0077 ADD_EDGE edge_id=e_59250021a31c source=n_815e9bca0026 edge_type=refutes target=n_2a5dc1197a27
t=0078 ADD_EDGE edge_id=e_a4535fc1cc49 source=n_7fc89cdb4acf edge_type=supports target=n_0a58731d50e0
t=0079 ADD_EDGE edge_id=e_da5cf14894cb source=n_569534726dd0 edge_type=supports target=n_bad5022a6847
t=0080 ADD_EDGE edge_id=e_d7c89eb0470b source=n_347adc231cac edge_type=supports target=n_8eae48ec9240
t=0081 ADD_EDGE edge_id=e_e60e7b569f90 source=n_12db84561c92 edge_type=refutes target=n_34091a864c38
t=0082 ADD_EDGE edge_id=e_8246dab78b67 source=n_01d99b0f0610 edge_type=supports target=n_007677d6fbb6
t=0083 ADD_EDGE edge_id=e_dad90fc2d594 source=n_c5e7b38afdb8 edge_type=refutes target=n_8b389ca70c66
t=0084 ADD_EDGE edge_id=e_2ae2ebd6f808 source=n_01d99b0f0610 edge_type=refutes target=n_5fb10c82320c
t=0085 ADD_EDGE edge_id=e_c0de15b143eb source=n_34091a864c38 edge_type=refutes target=n_205fedc220f7
t=0086 ADD_EDGE edge_id=e_e3db1239c196 source=n_e9564fd9435e edge_type=supports target=n_78d4f14f5cf9
t=0087 ADD_EDGE edge_id=e_ff3729782a2b source=n_78d4f14f5cf9 edge_type=refutes target=n_0a058233907f
t=0088 ADD_EDGE edge_id=e_613658fba10f source=n_c5e7b38afdb8 edge_type=refutes target=n_7fc89cdb4acf
t=0089 ADD_EDGE edge_id=e_bac6e6fd4eb8 source=n_34091a864c38 edge_type=supports target=n_5ce668a775c8
t=0090 ADD_EDGE edge_id=e_194e24a1cbb0 source=n_88c142aa7509 edge_type=refutes target=n_fc28496da17c
t=0091 ADD_EDGE edge_id=e_d221ac6e387c source=n_6c5a2778610a edge_type=refutes target=n_e6258c78e334
t=0092 ADD_EDGE edge_id=e_657c85bbacaa source=n_90649407beec edge_type=refutes target=n_c5e7b38afdb8
t=0093 ADD_EDGE edge_id=e_d42956a365a7 source=n_4a3c102682e4 edge_type=supports target=n_d6739cdeb790
t=0094 ADD_EDGE edge_id=e_fdd0edf61d7b source=n_fc28496da17c edge_type=supports target=n_231c2b71cb87
t=0095 ADD_EDGE edge_id=e_b9e3ce29dbb3 source=n_0a58731d50e0 edge_type=supports target=n_27ea917537b8
t=0096 ADD_EDGE edge_id=e_a37b8748a1af source=n_d9387161e63f edge_type=supports target=n_b3a4a4e4304c
t=0097 ADD_EDGE edge_id=e_56c7c7f5a78d source=n_e6258c78e334 edge_type=supports target=n_5a45fa1d4e38
t=0098 ADD_EDGE edge_id=e_8f33a42bc995 source=n_90649407beec edge_type=refutes target=n_9d2adc5efbf6
t=0099 ADD_EDGE edge_id=e_19e27a4210e1 source=n_231c2b71cb87 edge_type=supports target=n_815e9bca0026
t=0100 ADD_EDGE edge_id=e_335a5c903f91 source=n_48d6945271b1 edge_type=supports target=n_735bd6dc2cfd
t=0101 ADD_EDGE edge_id=e_2c4b94cf14da source=n_205fedc220f7 edge_type=supports target=n_5ee872777748
t=0102 ADD_EDGE edge_id=e_c2ca841c5fd1 source=n_d9387161e63f edge_type=refutes target=n_b486595060da
t=0103 ADD_EDGE edge_id=e_0b212fea1e5f source=n_8eae48ec9240 edge_type=refutes target=n_12db84561c92
t=0104 ADD_EDGE edge_id=e_dffc3411bb10 source=n_5a45fa1d4e38 edge_type=refutes target=n_54bcea7cadb7
t=0105 ADD_EDGE edge_id=e_0f574af69422 source=n_bad5022a6847 edge_type=supports target=n_17c9638cc126
t=0106 ADD_EDGE edge_id=e_ff79f49d4f64 source=n_7d3864321804 edge_type=refutes target=n_30b9d48544a5
t=0107 ADD_EDGE edge_id=e_efc8b4db67fe source=n_3fe3e3703e66 edge_type=supports target=n_88c142aa7509
t=0108 ADD_EDGE edge_id=e_c678c675ad2f source=n_58e2a8701624 edge_type=refutes target=n_bfc18b6f91a5
t=0109 ADD_EDGE edge_id=e_cd666c78f40a source=n_3fe3e3703e66 edge_type=refutes target=n_5f9e642bc99b
t=0110 ADD_EDGE edge_id=e_dcf5446b7286 source=n_bad5022a6847 edge_type=refutes target=n_48d6945271b1
t=0111 ADD_EDGE edge_id=e_2b26f26a0b91 source=n_b486595060da edge_type=supports target=n_a29528c678ae
t=0112 ADD_EDGE edge_id=e_9726e114132a source=n_c5e7b38afdb8 edge_type=supports target=n_7d3864321804
t=0113 ADD_EDGE edge_id=e_238172b485ef source=n_735bd6dc2cfd edge_type=supports target=n_df4528a1fb13
t=0114 ADD_EDGE edge_id=e_00eb3e049fb1 source=n_df4528a1fb13 edge_type=supports target=n_6c5a2778610a
t=0115 QUERY source=n_7d5e8bc8ff21 target=n_5ee872777748
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_73653421bcea node_type=claim
t=0001 CREATE_NODE id=n_b659550b8b71 node_type=claim
t=0002 CREATE_NODE id=n_9c3bdbf360c3 node_type=claim
t=0003 CREATE_NODE id=n_23a80a5addf6 node_type=claim
t=0004 CREATE_NODE id=n_1b019cfcbab9 node_type=claim
t=0005 CREATE_NODE id=n_5a142f7b3285 node_type=claim
t=0006 CREATE_NODE id=n_1a5439755542 node_type=claim
t=0007 CREATE_NODE id=n_d9c45dfc94c2 node_type=claim
t=0008 CREATE_NODE id=n_a9a162f60f99 node_type=claim
t=0009 CREATE_NODE id=n_e1aa9980ebd2 node_type=claim
t=0010 CREATE_NODE id=n_070674f6eb99 node_type=claim
t=0011 CREATE_NODE id=n_df431360651d node_type=claim
t=0012 CREATE_NODE id=n_6193fe911f11 node_type=claim
t=0013 CREATE_NODE id=n_1b16c2301d19 node_type=claim
t=0014 CREATE_NODE id=n_03456851c4ab node_type=claim
t=0015 CREATE_NODE id=n_6f5d2d6ffd27 node_type=claim
t=0016 CREATE_NODE id=n_f050393e8f58 node_type=claim
t=0017 CREATE_NODE id=n_e25a66007f89 node_type=claim
t=0018 CREATE_NODE id=n_08fb85530b62 node_type=claim
t=0019 CREATE_NODE id=n_a024af210f5b node_type=claim
t=0020 CREATE_NODE id=n_15f771c712e5 node_type=claim
t=0021 CREATE_NODE id=n_7c336021452a node_type=claim
t=0022 CREATE_NODE id=n_67575100b865 node_type=claim
t=0023 CREATE_NODE id=n_64cc60351c30 node_type=claim
t=0024 CREATE_NODE id=n_6154ce8f8039 node_type=claim
t=0025 CREATE_NODE id=n_a8f89caa67b6 node_type=claim
t=0026 CREATE_NODE id=n_cf81994381e1 node_type=claim
t=0027 CREATE_NODE id=n_ee6f9db50894 node_type=claim
t=0028 CREATE_NODE id=n_1f64b4e952ac node_type=claim
t=0029 CREATE_NODE id=n_bd13d367a89b node_type=claim
t=0030 CREATE_NODE id=n_a523a66909ed node_type=claim
t=0031 CREATE_NODE id=n_0bdf840f9e2c node_type=claim
t=0032 CREATE_NODE id=n_1676ce83c0fc node_type=claim
t=0033 CREATE_NODE id=n_b0d232019b81 node_type=claim
t=0034 CREATE_NODE id=n_20781742a073 node_type=claim
t=0035 CREATE_NODE id=n_2259add3dc8d node_type=claim
t=0036 CREATE_NODE id=n_1e5263dedaf4 node_type=claim
t=0037 CREATE_NODE id=n_68e95ff068f2 node_type=claim
t=0038 CREATE_NODE id=n_4c335fd38c88 node_type=claim
t=0039 CREATE_NODE id=n_66e9fd0fdfb2 node_type=claim
t=0040 CREATE_NODE id=n_bb7becb9f1bf node_type=claim
t=0041 CREATE_NODE id=n_687c0775247a node_type=claim
t=0042 CREATE_NODE id=n_9223555363c2 node_type=claim
t=0043 CREATE_NODE id=n_d59276f765b1 node_type=claim
t=0044 CREATE_NODE id=n_fedcfbfb9fe1 node_type=claim
t=0045 CREATE_NODE id=n_daafb274e0f7 node_type=claim
t=0046 CREATE_NODE id=n_4439511acb34 node_type=claim
t=0047 CREATE_NODE id=n_46d917cffdb2 node_type=claim
t=0048 CREATE_NODE id=n_62ef42c3af1b node_type=claim
t=0049 CREATE_NODE id=n_eaa530b0387f node_type=claim
t=0050 CREATE_NODE id=n_ac87f029124f node_type=claim
t=0051 CREATE_NODE id=n_0166a8873ebf node_type=claim
t=0052 CREATE_NODE id=n_a2a3472221da node_type=claim
t=0053 CREATE_NODE id=n_e591702b8bb7 node_type=claim
t=0054 CREATE_NODE id=n_0e9fee39856b node_type=claim
t=0055 CREATE_NODE id=n_0dc11be208bc node_type=claim
t=0056 CREATE_NODE id=n_7d8f0f734fc5 node_type=claim
t=0057 CREATE_NODE id=n_550a40ba593c node_type=claim
t=0058 CREATE_NODE id=n_facac3dcb8f0 node_type=claim
t=0059 CREATE_NODE id=n_eddfdc3eae58 node_type=claim
t=0060 ASSERT_ROOT node=n_64cc60351c30 value=TRUE
t=0061 ADD_EDGE edge_id=e_4f42c636eb13 source=n_1a5439755542 edge_type=refutes target=n_ac87f029124f
t=0062 ADD_EDGE edge_id=e_65343bae3ad6 source=n_0e9fee39856b edge_type=refutes target=n_a024af210f5b
t=0063 ADD_EDGE edge_id=e_fdf7a138a7eb source=n_550a40ba593c edge_type=supports target=n_4439511acb34
t=0064 ADD_EDGE edge_id=e_98aa3708a5eb source=n_1676ce83c0fc edge_type=refutes target=n_e1aa9980ebd2
t=0065 ADD_EDGE edge_id=e_514162fae723 source=n_6f5d2d6ffd27 edge_type=supports target=n_2259add3dc8d
t=0066 ADD_EDGE edge_id=e_18da28844ebd source=n_e1aa9980ebd2 edge_type=supports target=n_687c0775247a
t=0067 ADD_EDGE edge_id=e_9882030f0644 source=n_62ef42c3af1b edge_type=supports target=n_7c336021452a
t=0068 ADD_EDGE edge_id=e_bb7cb58a5eb6 source=n_7c336021452a edge_type=supports target=n_15f771c712e5
t=0069 ADD_EDGE edge_id=e_0ecdd32f7af5 source=n_67575100b865 edge_type=refutes target=n_73653421bcea
t=0070 ADD_EDGE edge_id=e_09d987124994 source=n_5a142f7b3285 edge_type=refutes target=n_9223555363c2
t=0071 ADD_EDGE edge_id=e_f2303ba00ff6 source=n_0bdf840f9e2c edge_type=refutes target=n_0166a8873ebf
t=0072 ADD_EDGE edge_id=e_ab5f97b52585 source=n_bd13d367a89b edge_type=refutes target=n_b659550b8b71
t=0073 ADD_EDGE edge_id=e_aa7f41e62290 source=n_0166a8873ebf edge_type=supports target=n_5a142f7b3285
t=0074 ADD_EDGE edge_id=e_874ba4ac5769 source=n_9c3bdbf360c3 edge_type=refutes target=n_6f5d2d6ffd27
t=0075 ADD_EDGE edge_id=e_57abd2e170d1 source=n_a8f89caa67b6 edge_type=refutes target=n_eddfdc3eae58
t=0076 ADD_EDGE edge_id=e_404cd188631f source=n_6193fe911f11 edge_type=supports target=n_0e9fee39856b
t=0077 ADD_EDGE edge_id=e_2db036eb225a source=n_68e95ff068f2 edge_type=refutes target=n_46d917cffdb2
t=0078 ADD_EDGE edge_id=e_c3fc907a6351 source=n_eaa530b0387f edge_type=supports target=n_facac3dcb8f0
t=0079 ADD_EDGE edge_id=e_3138e56ab038 source=n_ac87f029124f edge_type=supports target=n_0dc11be208bc
t=0080 ADD_EDGE edge_id=e_d34597b9773f source=n_2259add3dc8d edge_type=refutes target=n_f050393e8f58
t=0081 ADD_EDGE edge_id=e_bfe075ea117d source=n_daafb274e0f7 edge_type=supports target=n_df431360651d
t=0082 ADD_EDGE edge_id=e_a24da94383d2 source=n_64cc60351c30 edge_type=supports target=n_03456851c4ab
t=0083 ADD_EDGE edge_id=e_66f9bde7a58d source=n_fedcfbfb9fe1 edge_type=refutes target=n_68e95ff068f2
t=0084 ADD_EDGE edge_id=e_7808447eb829 source=n_7d8f0f734fc5 edge_type=refutes target=n_20781742a073
t=0085 ADD_EDGE edge_id=e_be6fc8ebfcdd source=n_20781742a073 edge_type=refutes target=n_67575100b865
t=0086 ADD_EDGE edge_id=e_59eeed1b36ee source=n_66e9fd0fdfb2 edge_type=supports target=n_ee6f9db50894
t=0087 ADD_EDGE edge_id=e_49845b4540e4 source=n_4439511acb34 edge_type=refutes target=n_a523a66909ed
t=0088 ADD_EDGE edge_id=e_4ccdc58ae52d source=n_46d917cffdb2 edge_type=supports target=n_1a5439755542
t=0089 ADD_EDGE edge_id=e_746b4d061df6 source=n_20781742a073 edge_type=refutes target=n_550a40ba593c
t=0090 ADD_EDGE edge_id=e_d3f809d1f903 source=n_e25a66007f89 edge_type=refutes target=n_bb7becb9f1bf
t=0091 ADD_EDGE edge_id=e_2830450e5d91 source=n_550a40ba593c edge_type=supports target=n_1e5263dedaf4
t=0092 ADD_EDGE edge_id=e_f4d3a84839d8 source=n_2259add3dc8d edge_type=supports target=n_bd13d367a89b
t=0093 ADD_EDGE edge_id=e_b67992db1f1f source=n_facac3dcb8f0 edge_type=supports target=n_fedcfbfb9fe1
t=0094 ADD_EDGE edge_id=e_9032953437d6 source=n_4439511acb34 edge_type=supports target=n_a8f89caa67b6
t=0095 ADD_EDGE edge_id=e_fa100fa8245f source=n_e25a66007f89 edge_type=refutes target=n_08fb85530b62
t=0096 ADD_EDGE edge_id=e_9e9fd03c55a8 source=n_d9c45dfc94c2 edge_type=supports target=n_6154ce8f8039
t=0097 ADD_EDGE edge_id=e_91a7dc9389db source=n_0e9fee39856b edge_type=refutes target=n_a9a162f60f99
t=0098 ADD_EDGE edge_id=e_c20d3f86fc96 source=n_9c3bdbf360c3 edge_type=refutes target=n_daafb274e0f7
t=0099 ADD_EDGE edge_id=e_606438f08742 source=n_03456851c4ab edge_type=refutes target=n_23a80a5addf6
t=0100 ADD_EDGE edge_id=e_01402dbc8b04 source=n_20781742a073 edge_type=refutes target=n_e25a66007f89
t=0101 ADD_EDGE edge_id=e_755d34caac65 source=n_0dc11be208bc edge_type=refutes target=n_0bdf840f9e2c
t=0102 ADD_EDGE edge_id=e_2e8543a8acfc source=n_e591702b8bb7 edge_type=supports target=n_a2a3472221da
t=0103 ADD_EDGE edge_id=e_b81a3016520a source=n_a024af210f5b edge_type=refutes target=n_d9c45dfc94c2
t=0104 ADD_EDGE edge_id=e_3050127805e5 source=n_62ef42c3af1b edge_type=supports target=n_b0d232019b81
t=0105 ADD_EDGE edge_id=e_d338cbf20ee8 source=n_9223555363c2 edge_type=refutes target=n_66e9fd0fdfb2
t=0106 ADD_EDGE edge_id=e_f04b3dee588f source=n_62ef42c3af1b edge_type=supports target=n_1b019cfcbab9
t=0107 ADD_EDGE edge_id=e_f5f9aa04297c source=n_23a80a5addf6 edge_type=supports target=n_070674f6eb99
t=0108 ADD_EDGE edge_id=e_f909144f97d6 source=n_20781742a073 edge_type=supports target=n_9c3bdbf360c3
t=0109 ADD_EDGE edge_id=e_8a33280a1298 source=n_cf81994381e1 edge_type=supports target=n_6193fe911f11
t=0110 ADD_EDGE edge_id=e_bb12483f38f1 source=n_bd13d367a89b edge_type=supports target=n_1b16c2301d19
t=0111 ADD_EDGE edge_id=e_e4c090430009 source=n_03456851c4ab edge_type=refutes target=n_1f64b4e952ac
t=0112 ADD_EDGE edge_id=e_d60c3a2d528d source=n_070674f6eb99 edge_type=refutes target=n_1676ce83c0fc
t=0113 ADD_EDGE edge_id=e_a56033e7c7d1 source=n_a2a3472221da edge_type=refutes target=n_d59276f765b1
t=0114 ADD_EDGE edge_id=e_2492066d3c65 source=n_b0d232019b81 edge_type=supports target=n_7d8f0f734fc5
t=0115 ADD_EDGE edge_id=e_a049ebf531f5 source=n_f050393e8f58 edge_type=refutes target=n_e591702b8bb7
t=0116 ADD_EDGE edge_id=e_16d8f9024f9a source=n_687c0775247a edge_type=supports target=n_cf81994381e1
t=0117 ADD_EDGE edge_id=e_7601423be267 source=n_1676ce83c0fc edge_type=supports target=n_4c335fd38c88
t=0118 ADD_EDGE edge_id=e_be6016758825 source=n_6154ce8f8039 edge_type=supports target=n_eaa530b0387f
t=0119 QUERY source=n_64cc60351c30 target=n_66e9fd0fdfb2
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


[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_687bb6326744 node_type=claim
t=0001 CREATE_NODE id=n_fbdcef35db6f node_type=claim
t=0002 CREATE_NODE id=n_173535276fff node_type=claim
t=0003 CREATE_NODE id=n_a59da74d8a4f node_type=claim
t=0004 CREATE_NODE id=n_9d7bd2766f33 node_type=claim
t=0005 CREATE_NODE id=n_c9ff81e13ae9 node_type=claim
t=0006 CREATE_NODE id=n_33bcbae53cba node_type=claim
t=0007 CREATE_NODE id=n_b1546d311e25 node_type=claim
t=0008 CREATE_NODE id=n_9ef9b893d5c7 node_type=claim
t=0009 CREATE_NODE id=n_cde0c4f6758a node_type=claim
t=0010 CREATE_NODE id=n_1fdd433a7edd node_type=claim
t=0011 CREATE_NODE id=n_5e3c156a4c6e node_type=claim
t=0012 CREATE_NODE id=n_79f62c994de5 node_type=claim
t=0013 CREATE_NODE id=n_29c639f484a6 node_type=claim
t=0014 CREATE_NODE id=n_74035dfc82ef node_type=claim
t=0015 CREATE_NODE id=n_9d4bd35fecd9 node_type=claim
t=0016 CREATE_NODE id=n_e0159ca200c5 node_type=claim
t=0017 CREATE_NODE id=n_b2cd90305fc2 node_type=claim
t=0018 CREATE_NODE id=n_5ec0ec55ad90 node_type=claim
t=0019 CREATE_NODE id=n_c2587b409a4b node_type=claim
t=0020 CREATE_NODE id=n_092d862d5991 node_type=claim
t=0021 CREATE_NODE id=n_d3c00b9e8e5c node_type=claim
t=0022 CREATE_NODE id=n_db06bdd79db0 node_type=claim
t=0023 CREATE_NODE id=n_0332513ad931 node_type=claim
t=0024 CREATE_NODE id=n_358953cecc1d node_type=claim
t=0025 CREATE_NODE id=n_2a72d12d81ba node_type=claim
t=0026 CREATE_NODE id=n_0e5b0d5ce71c node_type=claim
t=0027 CREATE_NODE id=n_2451d5a66d6a node_type=claim
t=0028 CREATE_NODE id=n_39ed1a61d23e node_type=claim
t=0029 CREATE_NODE id=n_bd510533eaff node_type=claim
t=0030 CREATE_NODE id=n_abc12af9c19d node_type=claim
t=0031 CREATE_NODE id=n_293e072d7627 node_type=claim
t=0032 CREATE_NODE id=n_b9c596c9dc3c node_type=claim
t=0033 CREATE_NODE id=n_94e49fc6b254 node_type=claim
t=0034 CREATE_NODE id=n_5581f448ec5a node_type=claim
t=0035 CREATE_NODE id=n_e283e3bfa8f2 node_type=claim
t=0036 CREATE_NODE id=n_47b437cc4150 node_type=claim
t=0037 CREATE_NODE id=n_9c386a0fa1c1 node_type=claim
t=0038 CREATE_NODE id=n_557f86c7eb69 node_type=claim
t=0039 CREATE_NODE id=n_69414937472e node_type=claim
t=0040 CREATE_NODE id=n_49613e3e9ec3 node_type=claim
t=0041 CREATE_NODE id=n_10b3b9ffd005 node_type=claim
t=0042 CREATE_NODE id=n_ec4d8c33253f node_type=claim
t=0043 CREATE_NODE id=n_ef6e9f6a0a94 node_type=claim
t=0044 CREATE_NODE id=n_c4881476ff36 node_type=claim
t=0045 CREATE_NODE id=n_c74b8e404a52 node_type=claim
t=0046 CREATE_NODE id=n_6649932e4b9c node_type=claim
t=0047 CREATE_NODE id=n_5574712e9256 node_type=claim
t=0048 CREATE_NODE id=n_0e49bc585b21 node_type=claim
t=0049 CREATE_NODE id=n_636628374918 node_type=claim
t=0050 CREATE_NODE id=n_5528489d2439 node_type=claim
t=0051 CREATE_NODE id=n_0a29fd9b107a node_type=claim
t=0052 CREATE_NODE id=n_ee11a3ec13e9 node_type=claim
t=0053 CREATE_NODE id=n_94023b558906 node_type=claim
t=0054 CREATE_NODE id=n_3dc5710fa135 node_type=claim
t=0055 CREATE_NODE id=n_3aae9805fb7b node_type=claim
t=0056 CREATE_NODE id=n_9eed8a15929f node_type=claim
t=0057 CREATE_NODE id=n_5cd8ca26cfb3 node_type=claim
t=0058 CREATE_NODE id=n_dd3ac7841c71 node_type=claim
t=0059 CREATE_NODE id=n_dec199d1b119 node_type=claim
t=0060 ASSERT_ROOT node=n_10b3b9ffd005 value=FALSE
t=0061 ADD_EDGE edge_id=e_50214563144e source=n_0e5b0d5ce71c edge_type=refutes target=n_dec199d1b119
t=0062 ADD_EDGE edge_id=e_893f76ea3e84 source=n_3aae9805fb7b edge_type=refutes target=n_0e49bc585b21
t=0063 ADD_EDGE edge_id=e_6c3f186d056d source=n_b2cd90305fc2 edge_type=refutes target=n_49613e3e9ec3
t=0064 ADD_EDGE edge_id=e_0634a1db95c4 source=n_557f86c7eb69 edge_type=refutes target=n_c2587b409a4b
t=0065 ADD_EDGE edge_id=e_1c9bf7cb73fb source=n_c4881476ff36 edge_type=refutes target=n_636628374918
t=0066 ADD_EDGE edge_id=e_af7144b6d0b6 source=n_6649932e4b9c edge_type=supports target=n_79f62c994de5
t=0067 ADD_EDGE edge_id=e_ff92c21e3899 source=n_3dc5710fa135 edge_type=refutes target=n_e283e3bfa8f2
t=0068 ADD_EDGE edge_id=e_0a5ff0244de5 source=n_0a29fd9b107a edge_type=refutes target=n_092d862d5991
t=0069 ADD_EDGE edge_id=e_bc181c415887 source=n_5574712e9256 edge_type=refutes target=n_a59da74d8a4f
t=0070 ADD_EDGE edge_id=e_509102861b6d source=n_0e49bc585b21 edge_type=supports target=n_9d4bd35fecd9
t=0071 ADD_EDGE edge_id=e_49f69d2934ab source=n_d3c00b9e8e5c edge_type=refutes target=n_3dc5710fa135
t=0072 ADD_EDGE edge_id=e_1c37a16944f4 source=n_9d7bd2766f33 edge_type=supports target=n_358953cecc1d
t=0073 ADD_EDGE edge_id=e_5254f11342a7 source=n_10b3b9ffd005 edge_type=supports target=n_293e072d7627
t=0074 ADD_EDGE edge_id=e_f9e549e8d748 source=n_5ec0ec55ad90 edge_type=refutes target=n_557f86c7eb69
t=0075 ADD_EDGE edge_id=e_459a821a421f source=n_c74b8e404a52 edge_type=supports target=n_9d7bd2766f33
t=0076 ADD_EDGE edge_id=e_0411ccca0371 source=n_5ec0ec55ad90 edge_type=supports target=n_fbdcef35db6f
t=0077 ADD_EDGE edge_id=e_fecc0bb7a6f8 source=n_636628374918 edge_type=refutes target=n_ee11a3ec13e9
t=0078 ADD_EDGE edge_id=e_7144f6b672bd source=n_dd3ac7841c71 edge_type=refutes target=n_5e3c156a4c6e
t=0079 ADD_EDGE edge_id=e_27a260f69d1e source=n_94023b558906 edge_type=refutes target=n_5ec0ec55ad90
t=0080 ADD_EDGE edge_id=e_98098f4bb838 source=n_5574712e9256 edge_type=supports target=n_ef6e9f6a0a94
t=0081 ADD_EDGE edge_id=e_4d9c81a70c38 source=n_358953cecc1d edge_type=supports target=n_9c386a0fa1c1
t=0082 ADD_EDGE edge_id=e_9c186122af56 source=n_cde0c4f6758a edge_type=refutes target=n_c4881476ff36
t=0083 ADD_EDGE edge_id=e_69ea1de11a7a source=n_5528489d2439 edge_type=refutes target=n_b2cd90305fc2
t=0084 ADD_EDGE edge_id=e_a46ffe63b00c source=n_fbdcef35db6f edge_type=refutes target=n_abc12af9c19d
t=0085 ADD_EDGE edge_id=e_5b59ad42a508 source=n_b9c596c9dc3c edge_type=supports target=n_db06bdd79db0
t=0086 ADD_EDGE edge_id=e_2092f2611009 source=n_0e5b0d5ce71c edge_type=refutes target=n_ec4d8c33253f
t=0087 ADD_EDGE edge_id=e_ef80c2d21eb1 source=n_5ec0ec55ad90 edge_type=supports target=n_39ed1a61d23e
t=0088 ADD_EDGE edge_id=e_866c03899e45 source=n_94023b558906 edge_type=supports target=n_c74b8e404a52
t=0089 ADD_EDGE edge_id=e_76d84d3dc69d source=n_e283e3bfa8f2 edge_type=supports target=n_cde0c4f6758a
t=0090 ADD_EDGE edge_id=e_ea2559ac2b3c source=n_c74b8e404a52 edge_type=refutes target=n_2451d5a66d6a
t=0091 ADD_EDGE edge_id=e_83081a66f485 source=n_33bcbae53cba edge_type=refutes target=n_0a29fd9b107a
t=0092 ADD_EDGE edge_id=e_8a20d9b9706a source=n_c74b8e404a52 edge_type=refutes target=n_e0159ca200c5
t=0093 ADD_EDGE edge_id=e_6a90fd6f1c0d source=n_9eed8a15929f edge_type=supports target=n_173535276fff
t=0094 ADD_EDGE edge_id=e_400cd67d21db source=n_092d862d5991 edge_type=refutes target=n_74035dfc82ef
t=0095 ADD_EDGE edge_id=e_457d0ba389b9 source=n_fbdcef35db6f edge_type=supports target=n_b9c596c9dc3c
t=0096 ADD_EDGE edge_id=e_80f5810be068 source=n_5ec0ec55ad90 edge_type=supports target=n_29c639f484a6
t=0097 ADD_EDGE edge_id=e_fb4d20d6adcb source=n_6649932e4b9c edge_type=supports target=n_bd510533eaff
t=0098 ADD_EDGE edge_id=e_74c2ec6589ed source=n_293e072d7627 edge_type=supports target=n_b1546d311e25
t=0099 ADD_EDGE edge_id=e_fd34a1e1fb16 source=n_1fdd433a7edd edge_type=supports target=n_69414937472e
t=0100 ADD_EDGE edge_id=e_b5e4ea3cdbca source=n_94023b558906 edge_type=supports target=n_94e49fc6b254
t=0101 ADD_EDGE edge_id=e_98a2bd07be7f source=n_2a72d12d81ba edge_type=refutes target=n_dd3ac7841c71
t=0102 ADD_EDGE edge_id=e_759a8e723a9f source=n_c9ff81e13ae9 edge_type=supports target=n_2a72d12d81ba
t=0103 ADD_EDGE edge_id=e_030f49c8ce91 source=n_39ed1a61d23e edge_type=refutes target=n_0332513ad931
t=0104 ADD_EDGE edge_id=e_d8a59089e685 source=n_49613e3e9ec3 edge_type=supports target=n_c9ff81e13ae9
t=0105 ADD_EDGE edge_id=e_14ad2fa17c96 source=n_5ec0ec55ad90 edge_type=refutes target=n_0e5b0d5ce71c
t=0106 ADD_EDGE edge_id=e_2e2b92346e41 source=n_dec199d1b119 edge_type=supports target=n_1fdd433a7edd
t=0107 ADD_EDGE edge_id=e_74fb989a44ee source=n_74035dfc82ef edge_type=refutes target=n_687bb6326744
t=0108 ADD_EDGE edge_id=e_defa496fe76c source=n_94023b558906 edge_type=supports target=n_9eed8a15929f
t=0109 ADD_EDGE edge_id=e_3e3c401a2df5 source=n_636628374918 edge_type=supports target=n_33bcbae53cba
t=0110 ADD_EDGE edge_id=e_7a1af1b5d5e2 source=n_2a72d12d81ba edge_type=supports target=n_5581f448ec5a
t=0111 ADD_EDGE edge_id=e_a08dc1775b0a source=n_9ef9b893d5c7 edge_type=refutes target=n_3aae9805fb7b
t=0112 ADD_EDGE edge_id=e_90dc00de7a50 source=n_687bb6326744 edge_type=supports target=n_5574712e9256
t=0113 ADD_EDGE edge_id=e_528ff6338edc source=n_9eed8a15929f edge_type=supports target=n_5cd8ca26cfb3
t=0114 ADD_EDGE edge_id=e_6e8ea67cee3f source=n_94e49fc6b254 edge_type=supports target=n_47b437cc4150
t=0115 ADD_EDGE edge_id=e_52a414a9203f source=n_0e49bc585b21 edge_type=refutes target=n_d3c00b9e8e5c
t=0116 ADD_EDGE edge_id=e_85cfb836f4fa source=n_ef6e9f6a0a94 edge_type=refutes target=n_5528489d2439
t=0117 ADD_EDGE edge_id=e_e2f3567707d8 source=n_b1546d311e25 edge_type=refutes target=n_9ef9b893d5c7
t=0118 ADD_EDGE edge_id=e_4d40bb90d8c2 source=n_94023b558906 edge_type=supports target=n_6649932e4b9c
t=0119 QUERY source=n_10b3b9ffd005 target=n_5e3c156a4c6e
[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_3c3026c8f8aa node_type=claim
t=0001 CREATE_NODE id=n_69ac1ff62a6e node_type=claim
t=0002 CREATE_NODE id=n_2cbe6e989ed3 node_type=claim
t=0003 CREATE_NODE id=n_fc07f5ccefda node_type=claim
t=0004 CREATE_NODE id=n_2984d150e04c node_type=claim
t=0005 CREATE_NODE id=n_5a995d7ed335 node_type=claim
t=0006 CREATE_NODE id=n_82118cbaa373 node_type=claim
t=0007 CREATE_NODE id=n_c9daa15bb8db node_type=claim
t=0008 CREATE_NODE id=n_74fc27a518a0 node_type=claim
t=0009 CREATE_NODE id=n_2f07531550c9 node_type=claim
t=0010 CREATE_NODE id=n_f026aa3b964e node_type=claim
t=0011 CREATE_NODE id=n_e0d1eaf2f9b2 node_type=claim
t=0012 CREATE_NODE id=n_57e702babd0c node_type=claim
t=0013 CREATE_NODE id=n_9f2b04b30e23 node_type=claim
t=0014 CREATE_NODE id=n_3c2ff205145b node_type=claim
t=0015 CREATE_NODE id=n_f3aa5d1c20eb node_type=claim
t=0016 CREATE_NODE id=n_da8a3536ff66 node_type=claim
t=0017 CREATE_NODE id=n_4f672d42e267 node_type=claim
t=0018 CREATE_NODE id=n_e33f92150cf1 node_type=claim
t=0019 CREATE_NODE id=n_7f66d5201707 node_type=claim
t=0020 CREATE_NODE id=n_8df5396adb69 node_type=claim
t=0021 CREATE_NODE id=n_d823d2a4c71d node_type=claim
t=0022 CREATE_NODE id=n_b41d9478bb6f node_type=claim
t=0023 CREATE_NODE id=n_7ce10062c5c6 node_type=claim
t=0024 CREATE_NODE id=n_85da950ba272 node_type=claim
t=0025 CREATE_NODE id=n_54f55be6d3d2 node_type=claim
t=0026 CREATE_NODE id=n_05170f60bcbd node_type=claim
t=0027 CREATE_NODE id=n_3b356c1fe04e node_type=claim
t=0028 CREATE_NODE id=n_5ab65f2a0e95 node_type=claim
t=0029 CREATE_NODE id=n_da5cab8678b3 node_type=claim
t=0030 CREATE_NODE id=n_ccae81c41b29 node_type=claim
t=0031 CREATE_NODE id=n_ec20b6b339e2 node_type=claim
t=0032 CREATE_NODE id=n_05a92d3a0b7b node_type=claim
t=0033 CREATE_NODE id=n_d29cdc133c46 node_type=claim
t=0034 CREATE_NODE id=n_4715815da1be node_type=claim
t=0035 CREATE_NODE id=n_4df5fad2da6a node_type=claim
t=0036 CREATE_NODE id=n_d0cb3c056125 node_type=claim
t=0037 CREATE_NODE id=n_3070c3339054 node_type=claim
t=0038 CREATE_NODE id=n_56c98e6dfa5e node_type=claim
t=0039 CREATE_NODE id=n_3e26313f09e1 node_type=claim
t=0040 CREATE_NODE id=n_688fb73e9c63 node_type=claim
t=0041 CREATE_NODE id=n_88205cfc16ee node_type=claim
t=0042 CREATE_NODE id=n_dbb953bbfc56 node_type=claim
t=0043 CREATE_NODE id=n_a367a66bb808 node_type=claim
t=0044 CREATE_NODE id=n_4acc06db73ab node_type=claim
t=0045 CREATE_NODE id=n_4e94b1bde7ff node_type=claim
t=0046 CREATE_NODE id=n_8047665edbba node_type=claim
t=0047 CREATE_NODE id=n_820d6db58dfe node_type=claim
t=0048 CREATE_NODE id=n_5c144f7b882b node_type=claim
t=0049 CREATE_NODE id=n_c886c495567f node_type=claim
t=0050 CREATE_NODE id=n_3f02747d519f node_type=claim
t=0051 CREATE_NODE id=n_d002e127aebb node_type=claim
t=0052 CREATE_NODE id=n_968cb491439a node_type=claim
t=0053 CREATE_NODE id=n_5d595a1ba284 node_type=claim
t=0054 CREATE_NODE id=n_18440068f499 node_type=claim
t=0055 CREATE_NODE id=n_ad21449f75d0 node_type=claim
t=0056 CREATE_NODE id=n_37a3290b0ea7 node_type=claim
t=0057 CREATE_NODE id=n_9b535e15610e node_type=claim
t=0058 CREATE_NODE id=n_71460fe5554f node_type=claim
t=0059 CREATE_NODE id=n_9aa66acc5300 node_type=claim
t=0060 ASSERT_ROOT node=n_a367a66bb808 value=TRUE
t=0061 ADD_EDGE edge_id=e_44158226eac8 source=n_56c98e6dfa5e edge_type=refutes target=n_05a92d3a0b7b
t=0062 ADD_EDGE edge_id=e_991c5f538c85 source=n_5c144f7b882b edge_type=supports target=n_da5cab8678b3
t=0063 ADD_EDGE edge_id=e_d2d0ce0640ca source=n_b41d9478bb6f edge_type=supports target=n_f3aa5d1c20eb
t=0064 ADD_EDGE edge_id=e_ce217620d74e source=n_4715815da1be edge_type=supports target=n_ec20b6b339e2
t=0065 ADD_EDGE edge_id=e_5240694fa510 source=n_74fc27a518a0 edge_type=supports target=n_5d595a1ba284
t=0066 ADD_EDGE edge_id=e_4c1663350dbf source=n_3c3026c8f8aa edge_type=supports target=n_7ce10062c5c6
t=0067 ADD_EDGE edge_id=e_bd4e65af38ea source=n_8047665edbba edge_type=refutes target=n_d0cb3c056125
t=0068 ADD_EDGE edge_id=e_78edca36479e source=n_ad21449f75d0 edge_type=refutes target=n_3b356c1fe04e
t=0069 ADD_EDGE edge_id=e_ffb1f7cd100f source=n_d0cb3c056125 edge_type=supports target=n_2f07531550c9
t=0070 ADD_EDGE edge_id=e_22e9ebb87d59 source=n_ccae81c41b29 edge_type=supports target=n_4acc06db73ab
t=0071 ADD_EDGE edge_id=e_0cf3d7641b2c source=n_e33f92150cf1 edge_type=supports target=n_4715815da1be
t=0072 ADD_EDGE edge_id=e_37bc48d8a81d source=n_05a92d3a0b7b edge_type=supports target=n_d823d2a4c71d
t=0073 ADD_EDGE edge_id=e_f6178fd5c5ad source=n_c886c495567f edge_type=supports target=n_9aa66acc5300
t=0074 ADD_EDGE edge_id=e_0d4272ddebb2 source=n_3070c3339054 edge_type=supports target=n_ccae81c41b29
t=0075 ADD_EDGE edge_id=e_865e2d9712e1 source=n_4f672d42e267 edge_type=refutes target=n_e33f92150cf1
t=0076 ADD_EDGE edge_id=e_bb6740801a87 source=n_9b535e15610e edge_type=supports target=n_7f66d5201707
t=0077 ADD_EDGE edge_id=e_e136b0caa117 source=n_ec20b6b339e2 edge_type=supports target=n_688fb73e9c63
t=0078 ADD_EDGE edge_id=e_16082c6ed313 source=n_4e94b1bde7ff edge_type=refutes target=n_e0d1eaf2f9b2
t=0079 ADD_EDGE edge_id=e_fb8d34b6eef9 source=n_54f55be6d3d2 edge_type=refutes target=n_3c2ff205145b
t=0080 ADD_EDGE edge_id=e_b9fa6022828d source=n_57e702babd0c edge_type=refutes target=n_3070c3339054
t=0081 ADD_EDGE edge_id=e_4544c2fc8e8f source=n_88205cfc16ee edge_type=refutes target=n_2984d150e04c
t=0082 ADD_EDGE edge_id=e_c25705cf457e source=n_2f07531550c9 edge_type=supports target=n_9b535e15610e
t=0083 ADD_EDGE edge_id=e_72186883c1dc source=n_d823d2a4c71d edge_type=supports target=n_85da950ba272
t=0084 ADD_EDGE edge_id=e_2a75e512b885 source=n_7ce10062c5c6 edge_type=refutes target=n_c9daa15bb8db
t=0085 ADD_EDGE edge_id=e_b97cc4a34724 source=n_18440068f499 edge_type=refutes target=n_71460fe5554f
t=0086 ADD_EDGE edge_id=e_4c2d60b45d90 source=n_da8a3536ff66 edge_type=refutes target=n_37a3290b0ea7
t=0087 ADD_EDGE edge_id=e_bb7238db9fae source=n_d002e127aebb edge_type=refutes target=n_c886c495567f
t=0088 ADD_EDGE edge_id=e_1e1e00b00e78 source=n_ad21449f75d0 edge_type=refutes target=n_18440068f499
t=0089 ADD_EDGE edge_id=e_75f35e1475c7 source=n_968cb491439a edge_type=supports target=n_da8a3536ff66
t=0090 ADD_EDGE edge_id=e_941458c22d3f source=n_820d6db58dfe edge_type=refutes target=n_fc07f5ccefda
t=0091 ADD_EDGE edge_id=e_c17796c6b8e3 source=n_da5cab8678b3 edge_type=refutes target=n_05170f60bcbd
t=0092 ADD_EDGE edge_id=e_77c9731c7803 source=n_74fc27a518a0 edge_type=supports target=n_3c3026c8f8aa
t=0093 ADD_EDGE edge_id=e_f46320442871 source=n_69ac1ff62a6e edge_type=supports target=n_968cb491439a
t=0094 ADD_EDGE edge_id=e_783c93e65c50 source=n_2cbe6e989ed3 edge_type=supports target=n_69ac1ff62a6e
t=0095 ADD_EDGE edge_id=e_73b27096dab7 source=n_3c3026c8f8aa edge_type=refutes target=n_54f55be6d3d2
t=0096 ADD_EDGE edge_id=e_5ec3e8a520ac source=n_d002e127aebb edge_type=refutes target=n_dbb953bbfc56
t=0097 ADD_EDGE edge_id=e_ab11743acdf1 source=n_7f66d5201707 edge_type=supports target=n_5ab65f2a0e95
t=0098 ADD_EDGE edge_id=e_328ee63690f3 source=n_ad21449f75d0 edge_type=refutes target=n_82118cbaa373
t=0099 ADD_EDGE edge_id=e_ee3b6ea92934 source=n_4715815da1be edge_type=refutes target=n_820d6db58dfe
t=0100 ADD_EDGE edge_id=e_2ea7862a42b0 source=n_2984d150e04c edge_type=supports target=n_2cbe6e989ed3
t=0101 ADD_EDGE edge_id=e_77ad9ccb3e10 source=n_4e94b1bde7ff edge_type=supports target=n_5c144f7b882b
t=0102 ADD_EDGE edge_id=e_07332f0d0384 source=n_9f2b04b30e23 edge_type=refutes target=n_4f672d42e267
t=0103 ADD_EDGE edge_id=e_807df42992d3 source=n_9f2b04b30e23 edge_type=supports target=n_74fc27a518a0
t=0104 ADD_EDGE edge_id=e_c98236473aec source=n_9aa66acc5300 edge_type=refutes target=n_f026aa3b964e
t=0105 ADD_EDGE edge_id=e_98b81f358ad3 source=n_9f2b04b30e23 edge_type=supports target=n_4e94b1bde7ff
t=0106 ADD_EDGE edge_id=e_8e646d7656f0 source=n_18440068f499 edge_type=refutes target=n_d29cdc133c46
t=0107 ADD_EDGE edge_id=e_21527fb11184 source=n_4e94b1bde7ff edge_type=refutes target=n_ad21449f75d0
t=0108 ADD_EDGE edge_id=e_54aaa4bf7fbb source=n_9f2b04b30e23 edge_type=supports target=n_8df5396adb69
t=0109 ADD_EDGE edge_id=e_73fa7ce4e22d source=n_5ab65f2a0e95 edge_type=refutes target=n_57e702babd0c
t=0110 ADD_EDGE edge_id=e_ab77abae85cb source=n_4715815da1be edge_type=supports target=n_3e26313f09e1
t=0111 ADD_EDGE edge_id=e_916083eca1bd source=n_5a995d7ed335 edge_type=refutes target=n_b41d9478bb6f
t=0112 ADD_EDGE edge_id=e_89c8513fd358 source=n_da5cab8678b3 edge_type=refutes target=n_4df5fad2da6a
t=0113 ADD_EDGE edge_id=e_c1f0b6db1a68 source=n_37a3290b0ea7 edge_type=refutes target=n_d002e127aebb
t=0114 ADD_EDGE edge_id=e_e64ba2c8d044 source=n_f026aa3b964e edge_type=supports target=n_8047665edbba
t=0115 ADD_EDGE edge_id=e_c0f8feeb593d source=n_ccae81c41b29 edge_type=refutes target=n_5a995d7ed335
t=0116 ADD_EDGE edge_id=e_740114b665a7 source=n_3b356c1fe04e edge_type=supports target=n_3f02747d519f
t=0117 ADD_EDGE edge_id=e_87dc512f29ca source=n_a367a66bb808 edge_type=refutes target=n_56c98e6dfa5e
t=0118 ADD_EDGE edge_id=e_eafffb78cfa9 source=n_d823d2a4c71d edge_type=supports target=n_88205cfc16ee
t=0119 QUERY source=n_a367a66bb808 target=n_b41d9478bb6f
[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_e1e4d7e6eaf1 node_type=claim
t=0001 CREATE_NODE id=n_64282b63dd42 node_type=claim
t=0002 CREATE_NODE id=n_0aaf6bf605b2 node_type=claim
t=0003 CREATE_NODE id=n_cd82d60f01d5 node_type=claim
t=0004 CREATE_NODE id=n_4d4cd1a74d8e node_type=claim
t=0005 CREATE_NODE id=n_e29060f828a7 node_type=claim
t=0006 CREATE_NODE id=n_b10770ed8476 node_type=claim
t=0007 CREATE_NODE id=n_ebe7e4bde09a node_type=claim
t=0008 CREATE_NODE id=n_40e70d492bc2 node_type=claim
t=0009 CREATE_NODE id=n_0a583628d3cb node_type=claim
t=0010 CREATE_NODE id=n_47e7e738fd62 node_type=claim
t=0011 CREATE_NODE id=n_68b3048d239d node_type=claim
t=0012 CREATE_NODE id=n_c36d3d1b22b1 node_type=claim
t=0013 CREATE_NODE id=n_824f8c776762 node_type=claim
t=0014 CREATE_NODE id=n_0bf5eda95306 node_type=claim
t=0015 CREATE_NODE id=n_64140ea52c2b node_type=claim
t=0016 CREATE_NODE id=n_54c559f8538b node_type=claim
t=0017 CREATE_NODE id=n_6df1cdb29cd4 node_type=claim
t=0018 CREATE_NODE id=n_d73870590048 node_type=claim
t=0019 CREATE_NODE id=n_aa9dee50a62d node_type=claim
t=0020 CREATE_NODE id=n_686f497dcd1a node_type=claim
t=0021 CREATE_NODE id=n_99ffe4332016 node_type=claim
t=0022 CREATE_NODE id=n_84c37ad3d60e node_type=claim
t=0023 CREATE_NODE id=n_8c258caccaa2 node_type=claim
t=0024 CREATE_NODE id=n_25b291f7af90 node_type=claim
t=0025 CREATE_NODE id=n_464d43ad5ec5 node_type=claim
t=0026 CREATE_NODE id=n_44e5567b2b4d node_type=claim
t=0027 CREATE_NODE id=n_1a0215c71dc4 node_type=claim
t=0028 CREATE_NODE id=n_33a4936d0b2e node_type=claim
t=0029 CREATE_NODE id=n_0a5da0708580 node_type=claim
t=0030 CREATE_NODE id=n_e1732ed76267 node_type=claim
t=0031 CREATE_NODE id=n_5a5d2c189998 node_type=claim
t=0032 CREATE_NODE id=n_10d53170979f node_type=claim
t=0033 CREATE_NODE id=n_98a33c365824 node_type=claim
t=0034 CREATE_NODE id=n_574d85219931 node_type=claim
t=0035 CREATE_NODE id=n_244440048c5f node_type=claim
t=0036 CREATE_NODE id=n_9466bc01c807 node_type=claim
t=0037 CREATE_NODE id=n_526d82be5d64 node_type=claim
t=0038 CREATE_NODE id=n_c546ca741560 node_type=claim
t=0039 CREATE_NODE id=n_58b58a24d239 node_type=claim
t=0040 CREATE_NODE id=n_159a964b9b79 node_type=claim
t=0041 CREATE_NODE id=n_a803a8e4cde8 node_type=claim
t=0042 CREATE_NODE id=n_1f62fccbb736 node_type=claim
t=0043 CREATE_NODE id=n_b6635670fad2 node_type=claim
t=0044 CREATE_NODE id=n_1f78c13e9cd0 node_type=claim
t=0045 CREATE_NODE id=n_b716bea9f9c3 node_type=claim
t=0046 CREATE_NODE id=n_25fd09b0170b node_type=claim
t=0047 CREATE_NODE id=n_29512ff55d5b node_type=claim
t=0048 CREATE_NODE id=n_c99fe0280351 node_type=claim
t=0049 CREATE_NODE id=n_66cf4fb861d0 node_type=claim
t=0050 CREATE_NODE id=n_59dcb307ccc0 node_type=claim
t=0051 CREATE_NODE id=n_d835f94195c8 node_type=claim
t=0052 CREATE_NODE id=n_ef956424818b node_type=claim
t=0053 CREATE_NODE id=n_aa7c8d95bb4e node_type=claim
t=0054 CREATE_NODE id=n_335fd5c5d193 node_type=claim
t=0055 CREATE_NODE id=n_8e1e4583972c node_type=claim
t=0056 CREATE_NODE id=n_439f9b9391b7 node_type=claim
t=0057 CREATE_NODE id=n_77e81327aa00 node_type=claim
t=0058 CREATE_NODE id=n_793c87f5d759 node_type=claim
t=0059 CREATE_NODE id=n_1749c6eef0f5 node_type=claim
t=0060 ASSERT_ROOT node=n_9466bc01c807 value=FALSE
t=0061 ADD_EDGE edge_id=e_16fa8a68bbaf source=n_0bf5eda95306 edge_type=supports target=n_ebe7e4bde09a
t=0062 ADD_EDGE edge_id=e_109a99e55fa2 source=n_1f62fccbb736 edge_type=refutes target=n_54c559f8538b
t=0063 ADD_EDGE edge_id=e_89c66f79e0ce source=n_0aaf6bf605b2 edge_type=supports target=n_b10770ed8476
t=0064 ADD_EDGE edge_id=e_e2f30fb13a84 source=n_cd82d60f01d5 edge_type=refutes target=n_159a964b9b79
t=0065 ADD_EDGE edge_id=e_ae5b245edca4 source=n_b10770ed8476 edge_type=supports target=n_439f9b9391b7
t=0066 ADD_EDGE edge_id=e_1235b566778b source=n_9466bc01c807 edge_type=supports target=n_40e70d492bc2
t=0067 ADD_EDGE edge_id=e_24a0509c4722 source=n_aa9dee50a62d edge_type=supports target=n_e1e4d7e6eaf1
t=0068 ADD_EDGE edge_id=e_028a51d2c1f2 source=n_64282b63dd42 edge_type=supports target=n_686f497dcd1a
t=0069 ADD_EDGE edge_id=e_e733ccb63ede source=n_58b58a24d239 edge_type=supports target=n_47e7e738fd62
t=0070 ADD_EDGE edge_id=e_1c2d9b4f4218 source=n_10d53170979f edge_type=supports target=n_44e5567b2b4d
t=0071 ADD_EDGE edge_id=e_995f629a575b source=n_99ffe4332016 edge_type=supports target=n_aa7c8d95bb4e
t=0072 ADD_EDGE edge_id=e_7c6d5495cbf0 source=n_c546ca741560 edge_type=refutes target=n_64282b63dd42
t=0073 ADD_EDGE edge_id=e_0ff1d1b788bb source=n_0a5da0708580 edge_type=supports target=n_1f62fccbb736
t=0074 ADD_EDGE edge_id=e_b43eff29c3d3 source=n_64282b63dd42 edge_type=refutes target=n_574d85219931
t=0075 ADD_EDGE edge_id=e_625cbc615df2 source=n_526d82be5d64 edge_type=supports target=n_98a33c365824
t=0076 ADD_EDGE edge_id=e_688b58c7aafa source=n_64140ea52c2b edge_type=supports target=n_824f8c776762
t=0077 ADD_EDGE edge_id=e_00a535b3d03e source=n_33a4936d0b2e edge_type=refutes target=n_25b291f7af90
t=0078 ADD_EDGE edge_id=e_3a4faa30fc1c source=n_c99fe0280351 edge_type=refutes target=n_a803a8e4cde8
t=0079 ADD_EDGE edge_id=e_aadee0f03b8f source=n_58b58a24d239 edge_type=supports target=n_1749c6eef0f5
t=0080 ADD_EDGE edge_id=e_d0d5cd2136fd source=n_e1732ed76267 edge_type=refutes target=n_68b3048d239d
t=0081 ADD_EDGE edge_id=e_3ff1221d2d92 source=n_244440048c5f edge_type=refutes target=n_d73870590048
t=0082 ADD_EDGE edge_id=e_d8a8a969c5ac source=n_c546ca741560 edge_type=refutes target=n_25fd09b0170b
t=0083 ADD_EDGE edge_id=e_173ad0af96fe source=n_59dcb307ccc0 edge_type=refutes target=n_66cf4fb861d0
t=0084 ADD_EDGE edge_id=e_9c4303f8a35f source=n_0bf5eda95306 edge_type=refutes target=n_244440048c5f
t=0085 ADD_EDGE edge_id=e_73a696444f06 source=n_574d85219931 edge_type=refutes target=n_793c87f5d759
t=0086 ADD_EDGE edge_id=e_11340ef24073 source=n_d73870590048 edge_type=supports target=n_0aaf6bf605b2
t=0087 ADD_EDGE edge_id=e_421e9b43394e source=n_d835f94195c8 edge_type=refutes target=n_1f78c13e9cd0
t=0088 ADD_EDGE edge_id=e_8e1fb7ef6277 source=n_77e81327aa00 edge_type=refutes target=n_1a0215c71dc4
t=0089 ADD_EDGE edge_id=e_6532056435fa source=n_66cf4fb861d0 edge_type=supports target=n_c99fe0280351
t=0090 ADD_EDGE edge_id=e_5e0556d8695a source=n_64282b63dd42 edge_type=supports target=n_aa9dee50a62d
t=0091 ADD_EDGE edge_id=e_8d8d61f5b353 source=n_47e7e738fd62 edge_type=supports target=n_77e81327aa00
t=0092 ADD_EDGE edge_id=e_8ca998d4558d source=n_b6635670fad2 edge_type=refutes target=n_0a5da0708580
t=0093 ADD_EDGE edge_id=e_f310d3b2a007 source=n_40e70d492bc2 edge_type=refutes target=n_cd82d60f01d5
t=0094 ADD_EDGE edge_id=e_f6677c18484f source=n_c546ca741560 edge_type=supports target=n_58b58a24d239
t=0095 ADD_EDGE edge_id=e_8f47a7b3061f source=n_1a0215c71dc4 edge_type=supports target=n_8e1e4583972c
t=0096 ADD_EDGE edge_id=e_82913e4ed745 source=n_159a964b9b79 edge_type=refutes target=n_10d53170979f
t=0097 ADD_EDGE edge_id=e_a5583ff89d63 source=n_1f78c13e9cd0 edge_type=refutes target=n_464d43ad5ec5
t=0098 ADD_EDGE edge_id=e_139adae563fa source=n_25b291f7af90 edge_type=supports target=n_b6635670fad2
t=0099 ADD_EDGE edge_id=e_6cfecae0b831 source=n_58b58a24d239 edge_type=refutes target=n_b716bea9f9c3
t=0100 ADD_EDGE edge_id=e_0df2ed91a49b source=n_68b3048d239d edge_type=refutes target=n_e29060f828a7
t=0101 ADD_EDGE edge_id=e_12d9e4fed0c3 source=n_98a33c365824 edge_type=refutes target=n_29512ff55d5b
t=0102 ADD_EDGE edge_id=e_aca1f804db1c source=n_464d43ad5ec5 edge_type=supports target=n_64140ea52c2b
t=0103 ADD_EDGE edge_id=e_f0b32a5858a8 source=n_c546ca741560 edge_type=refutes target=n_0a583628d3cb
t=0104 ADD_EDGE edge_id=e_c6cb07bcefca source=n_439f9b9391b7 edge_type=supports target=n_ef956424818b
t=0105 ADD_EDGE edge_id=e_3cb09fbeb914 source=n_1f62fccbb736 edge_type=refutes target=n_59dcb307ccc0
t=0106 ADD_EDGE edge_id=e_3e5221ecf2c4 source=n_64282b63dd42 edge_type=supports target=n_d835f94195c8
t=0107 ADD_EDGE edge_id=e_8bcdae99e06d source=n_b716bea9f9c3 edge_type=refutes target=n_526d82be5d64
t=0108 ADD_EDGE edge_id=e_b095fb3f1bd2 source=n_c546ca741560 edge_type=refutes target=n_8c258caccaa2
t=0109 ADD_EDGE edge_id=e_d00b5af287cb source=n_b10770ed8476 edge_type=supports target=n_335fd5c5d193
t=0110 ADD_EDGE edge_id=e_bc39d6bcb081 source=n_8c258caccaa2 edge_type=supports target=n_5a5d2c189998
t=0111 ADD_EDGE edge_id=e_3dec7ddbf8f3 source=n_98a33c365824 edge_type=refutes target=n_4d4cd1a74d8e
t=0112 ADD_EDGE edge_id=e_4e83355450e9 source=n_e1e4d7e6eaf1 edge_type=refutes target=n_c36d3d1b22b1
t=0113 ADD_EDGE edge_id=e_045057d402f6 source=n_c546ca741560 edge_type=refutes target=n_84c37ad3d60e
t=0114 ADD_EDGE edge_id=e_291c72b4daef source=n_b716bea9f9c3 edge_type=supports target=n_6df1cdb29cd4
t=0115 ADD_EDGE edge_id=e_b5ee397da48c source=n_a803a8e4cde8 edge_type=supports target=n_0bf5eda95306
t=0116 ADD_EDGE edge_id=e_b25accdcf481 source=n_10d53170979f edge_type=refutes target=n_e1732ed76267
t=0117 ADD_EDGE edge_id=e_c5d5359231de source=n_aa7c8d95bb4e edge_type=supports target=n_33a4936d0b2e
t=0118 ADD_EDGE edge_id=e_77fa89d86a47 source=n_e29060f828a7 edge_type=supports target=n_99ffe4332016
t=0119 QUERY source=n_9466bc01c807 target=n_ef956424818b
[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_30e55b9e3b1f node_type=claim
t=0001 CREATE_NODE id=n_dcb70e4a1588 node_type=claim
t=0002 CREATE_NODE id=n_4904277f3757 node_type=claim
t=0003 CREATE_NODE id=n_9a2af5935ac1 node_type=claim
t=0004 CREATE_NODE id=n_61b0f9aff5db node_type=claim
t=0005 CREATE_NODE id=n_51b49d607a76 node_type=claim
t=0006 CREATE_NODE id=n_407ba47ef04c node_type=claim
t=0007 CREATE_NODE id=n_161dbc9989ea node_type=claim
t=0008 CREATE_NODE id=n_308c3e533930 node_type=claim
t=0009 CREATE_NODE id=n_f956face81a7 node_type=claim
t=0010 CREATE_NODE id=n_ffcc92e6244a node_type=claim
t=0011 CREATE_NODE id=n_49ecbfcf96ec node_type=claim
t=0012 CREATE_NODE id=n_5787db5a251f node_type=claim
t=0013 CREATE_NODE id=n_7cc693f9f320 node_type=claim
t=0014 CREATE_NODE id=n_0317a402862a node_type=claim
t=0015 CREATE_NODE id=n_115a7c24d755 node_type=claim
t=0016 CREATE_NODE id=n_f8d6405f639b node_type=claim
t=0017 CREATE_NODE id=n_cbd8758e72b0 node_type=claim
t=0018 CREATE_NODE id=n_79befa0b9784 node_type=claim
t=0019 CREATE_NODE id=n_707a9511d786 node_type=claim
t=0020 CREATE_NODE id=n_92661885ba34 node_type=claim
t=0021 CREATE_NODE id=n_febfb5d400fc node_type=claim
t=0022 CREATE_NODE id=n_d28330d175a2 node_type=claim
t=0023 CREATE_NODE id=n_64d16c4e755d node_type=claim
t=0024 CREATE_NODE id=n_dc1434c41be3 node_type=claim
t=0025 CREATE_NODE id=n_c3291a2514da node_type=claim
t=0026 CREATE_NODE id=n_875a72cfa38e node_type=claim
t=0027 CREATE_NODE id=n_7c2940970b03 node_type=claim
t=0028 CREATE_NODE id=n_0eb577cf78ac node_type=claim
t=0029 CREATE_NODE id=n_41af6d26c5c9 node_type=claim
t=0030 CREATE_NODE id=n_7420ad3c6ac1 node_type=claim
t=0031 CREATE_NODE id=n_061e22c36a19 node_type=claim
t=0032 CREATE_NODE id=n_56b563df9cb2 node_type=claim
t=0033 CREATE_NODE id=n_0d70969b8794 node_type=claim
t=0034 CREATE_NODE id=n_ec0814c5720b node_type=claim
t=0035 CREATE_NODE id=n_69fa7f8059c1 node_type=claim
t=0036 CREATE_NODE id=n_45eb67cfe8f6 node_type=claim
t=0037 CREATE_NODE id=n_55e6cbec6647 node_type=claim
t=0038 CREATE_NODE id=n_455c192b96d5 node_type=claim
t=0039 CREATE_NODE id=n_99c88a161df4 node_type=claim
t=0040 CREATE_NODE id=n_6e21fd7f5340 node_type=claim
t=0041 CREATE_NODE id=n_2736af4e9b48 node_type=claim
t=0042 CREATE_NODE id=n_a9cde7712351 node_type=claim
t=0043 CREATE_NODE id=n_1c1ac60ed60f node_type=claim
t=0044 CREATE_NODE id=n_b27f51c04c40 node_type=claim
t=0045 CREATE_NODE id=n_338ee2ab60be node_type=claim
t=0046 CREATE_NODE id=n_80e22aceedb2 node_type=claim
t=0047 CREATE_NODE id=n_09adf0aa85c5 node_type=claim
t=0048 CREATE_NODE id=n_51a57196e218 node_type=claim
t=0049 CREATE_NODE id=n_ec5a0b7b9c85 node_type=claim
t=0050 CREATE_NODE id=n_3dd5195380c0 node_type=claim
t=0051 CREATE_NODE id=n_3d9181810709 node_type=claim
t=0052 CREATE_NODE id=n_c19b4ad569a8 node_type=claim
t=0053 CREATE_NODE id=n_38bfddae40c7 node_type=claim
t=0054 CREATE_NODE id=n_d52a51077d8b node_type=claim
t=0055 CREATE_NODE id=n_f2bf5169d7c0 node_type=claim
t=0056 CREATE_NODE id=n_1b3a11cef4a1 node_type=claim
t=0057 CREATE_NODE id=n_a4c646db7018 node_type=claim
t=0058 CREATE_NODE id=n_9168b5ebda18 node_type=claim
t=0059 CREATE_NODE id=n_f59f6f1d0df7 node_type=claim
t=0060 ASSERT_ROOT node=n_061e22c36a19 value=TRUE
t=0061 ADD_EDGE edge_id=e_4681f8de2e46 source=n_f59f6f1d0df7 edge_type=supports target=n_ec5a0b7b9c85
t=0062 ADD_EDGE edge_id=e_fb279e9dda37 source=n_80e22aceedb2 edge_type=supports target=n_febfb5d400fc
t=0063 ADD_EDGE edge_id=e_447d38eb110c source=n_c19b4ad569a8 edge_type=refutes target=n_d52a51077d8b
t=0064 ADD_EDGE edge_id=e_3ffe9be54b6f source=n_dc1434c41be3 edge_type=supports target=n_f2bf5169d7c0
t=0065 ADD_EDGE edge_id=e_d492aee7899b source=n_a4c646db7018 edge_type=supports target=n_99c88a161df4
t=0066 ADD_EDGE edge_id=e_d3a7a12e9011 source=n_80e22aceedb2 edge_type=supports target=n_0eb577cf78ac
t=0067 ADD_EDGE edge_id=e_ea9aa5972045 source=n_338ee2ab60be edge_type=refutes target=n_0317a402862a
t=0068 ADD_EDGE edge_id=e_2719c43a8f10 source=n_0317a402862a edge_type=refutes target=n_61b0f9aff5db
t=0069 ADD_EDGE edge_id=e_87658b1c233a source=n_115a7c24d755 edge_type=refutes target=n_3d9181810709
t=0070 ADD_EDGE edge_id=e_7a2ef7140229 source=n_c19b4ad569a8 edge_type=refutes target=n_80e22aceedb2
t=0071 ADD_EDGE edge_id=e_6907bfef962b source=n_2736af4e9b48 edge_type=supports target=n_79befa0b9784
t=0072 ADD_EDGE edge_id=e_8cb71561ce9e source=n_f956face81a7 edge_type=supports target=n_455c192b96d5
t=0073 ADD_EDGE edge_id=e_153abebc7df9 source=n_f8d6405f639b edge_type=refutes target=n_09adf0aa85c5
t=0074 ADD_EDGE edge_id=e_744749beaa4e source=n_0d70969b8794 edge_type=supports target=n_a4c646db7018
t=0075 ADD_EDGE edge_id=e_2dd752adc36f source=n_51b49d607a76 edge_type=refutes target=n_f8d6405f639b
t=0076 ADD_EDGE edge_id=e_7566c7ac5701 source=n_1b3a11cef4a1 edge_type=refutes target=n_f59f6f1d0df7
t=0077 ADD_EDGE edge_id=e_6ac3df57fb21 source=n_0317a402862a edge_type=refutes target=n_707a9511d786
t=0078 ADD_EDGE edge_id=e_3716074f96ea source=n_2736af4e9b48 edge_type=supports target=n_338ee2ab60be
t=0079 ADD_EDGE edge_id=e_50d64a48bda9 source=n_a9cde7712351 edge_type=supports target=n_41af6d26c5c9
t=0080 ADD_EDGE edge_id=e_557e409c9367 source=n_3d9181810709 edge_type=refutes target=n_51b49d607a76
t=0081 ADD_EDGE edge_id=e_ec7a74c174da source=n_d28330d175a2 edge_type=supports target=n_c3291a2514da
t=0082 ADD_EDGE edge_id=e_01f0404bc222 source=n_38bfddae40c7 edge_type=refutes target=n_9168b5ebda18
t=0083 ADD_EDGE edge_id=e_7db385f6e2ab source=n_3dd5195380c0 edge_type=supports target=n_308c3e533930
t=0084 ADD_EDGE edge_id=e_9956b85b8a62 source=n_dcb70e4a1588 edge_type=supports target=n_407ba47ef04c
t=0085 ADD_EDGE edge_id=e_a75a118549ce source=n_707a9511d786 edge_type=refutes target=n_ffcc92e6244a
t=0086 ADD_EDGE edge_id=e_2882bfa53e8b source=n_febfb5d400fc edge_type=refutes target=n_cbd8758e72b0
t=0087 ADD_EDGE edge_id=e_e40c71f51721 source=n_7c2940970b03 edge_type=refutes target=n_7cc693f9f320
t=0088 ADD_EDGE edge_id=e_b50a83211cc4 source=n_dcb70e4a1588 edge_type=supports target=n_49ecbfcf96ec
t=0089 ADD_EDGE edge_id=e_339a3260b445 source=n_7cc693f9f320 edge_type=supports target=n_6e21fd7f5340
t=0090 ADD_EDGE edge_id=e_1aded91160f9 source=n_308c3e533930 edge_type=supports target=n_c19b4ad569a8
t=0091 ADD_EDGE edge_id=e_a43ecf1345f1 source=n_2736af4e9b48 edge_type=refutes target=n_56b563df9cb2
t=0092 ADD_EDGE edge_id=e_af37ca0c38a8 source=n_9168b5ebda18 edge_type=refutes target=n_dc1434c41be3
t=0093 ADD_EDGE edge_id=e_7c3b075580a7 source=n_f8d6405f639b edge_type=refutes target=n_875a72cfa38e
t=0094 ADD_EDGE edge_id=e_28a2bd172305 source=n_9a2af5935ac1 edge_type=refutes target=n_3dd5195380c0
t=0095 ADD_EDGE edge_id=e_b1d6b11970a3 source=n_115a7c24d755 edge_type=refutes target=n_161dbc9989ea
t=0096 ADD_EDGE edge_id=e_17634de3d024 source=n_061e22c36a19 edge_type=supports target=n_51a57196e218
t=0097 ADD_EDGE edge_id=e_ce1bc2963ee8 source=n_ec0814c5720b edge_type=supports target=n_5787db5a251f
t=0098 ADD_EDGE edge_id=e_b90f8e1b5603 source=n_7cc693f9f320 edge_type=supports target=n_1c1ac60ed60f
t=0099 ADD_EDGE edge_id=e_83109c16c42d source=n_7c2940970b03 edge_type=refutes target=n_dcb70e4a1588
t=0100 ADD_EDGE edge_id=e_adb7282cacd6 source=n_7c2940970b03 edge_type=supports target=n_d28330d175a2
t=0101 ADD_EDGE edge_id=e_165e577ee33d source=n_51a57196e218 edge_type=supports target=n_38bfddae40c7
t=0102 ADD_EDGE edge_id=e_02dbdb4f2361 source=n_51b49d607a76 edge_type=supports target=n_92661885ba34
t=0103 ADD_EDGE edge_id=e_5274ddc04662 source=n_115a7c24d755 edge_type=supports target=n_69fa7f8059c1
t=0104 ADD_EDGE edge_id=e_91aa8b7dc5ff source=n_a9cde7712351 edge_type=supports target=n_ec0814c5720b
t=0105 ADD_EDGE edge_id=e_f0d324c72166 source=n_0317a402862a edge_type=refutes target=n_64d16c4e755d
t=0106 ADD_EDGE edge_id=e_fa9b1f72fdda source=n_cbd8758e72b0 edge_type=refutes target=n_45eb67cfe8f6
t=0107 ADD_EDGE edge_id=e_d797ab467bc1 source=n_79befa0b9784 edge_type=supports target=n_7c2940970b03
t=0108 ADD_EDGE edge_id=e_8ef2d1de317d source=n_161dbc9989ea edge_type=refutes target=n_4904277f3757
t=0109 ADD_EDGE edge_id=e_8acd02c6b026 source=n_45eb67cfe8f6 edge_type=refutes target=n_1b3a11cef4a1
t=0110 ADD_EDGE edge_id=e_9a0596053007 source=n_7420ad3c6ac1 edge_type=supports target=n_0d70969b8794
t=0111 ADD_EDGE edge_id=e_b293558aef93 source=n_ec5a0b7b9c85 edge_type=supports target=n_7420ad3c6ac1
t=0112 ADD_EDGE edge_id=e_fbac8f37989e source=n_455c192b96d5 edge_type=refutes target=n_a9cde7712351
t=0113 ADD_EDGE edge_id=e_7eba0daa8564 source=n_f2bf5169d7c0 edge_type=refutes target=n_9a2af5935ac1
t=0114 ADD_EDGE edge_id=e_355107e4a6d7 source=n_115a7c24d755 edge_type=refutes target=n_2736af4e9b48
t=0115 ADD_EDGE edge_id=e_ac4b8e4b7243 source=n_99c88a161df4 edge_type=supports target=n_f956face81a7
t=0116 ADD_EDGE edge_id=e_0d8db951596c source=n_2736af4e9b48 edge_type=supports target=n_55e6cbec6647
t=0117 ADD_EDGE edge_id=e_cf410b69575f source=n_ec0814c5720b edge_type=refutes target=n_30e55b9e3b1f
t=0118 ADD_EDGE edge_id=e_ffb4bdd2f69c source=n_79befa0b9784 edge_type=refutes target=n_b27f51c04c40
t=0119 QUERY source=n_061e22c36a19 target=n_5787db5a251f
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.