[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_3a13c26ff904 node_type=claim
t=0001 CREATE_NODE id=n_a757b87e39da node_type=claim
t=0002 CREATE_NODE id=n_7595639ce83e node_type=claim
t=0003 CREATE_NODE id=n_13f6a1d434f2 node_type=claim
t=0004 CREATE_NODE id=n_89c2fb791af6 node_type=claim
t=0005 CREATE_NODE id=n_207178f7a504 node_type=claim
t=0006 CREATE_NODE id=n_68e4d3a30231 node_type=claim
t=0007 CREATE_NODE id=n_852b90e337ca node_type=claim
t=0008 CREATE_NODE id=n_3f9138ffe08d node_type=claim
t=0009 CREATE_NODE id=n_8e6cf1cbebc1 node_type=claim
t=0010 CREATE_NODE id=n_ffcead97bf3e node_type=claim
t=0011 CREATE_NODE id=n_e38d78c7424a node_type=claim
t=0012 CREATE_NODE id=n_79ceffaa615f node_type=claim
t=0013 CREATE_NODE id=n_c4508de0c0b5 node_type=claim
t=0014 CREATE_NODE id=n_b12fd63ed551 node_type=claim
t=0015 CREATE_NODE id=n_8a1cff3fe12c node_type=claim
t=0016 CREATE_NODE id=n_dffc04a9a16a node_type=claim
t=0017 CREATE_NODE id=n_0e3c12a2cb98 node_type=claim
t=0018 CREATE_NODE id=n_1c18472d2e51 node_type=claim
t=0019 CREATE_NODE id=n_78057eac3e62 node_type=claim
t=0020 CREATE_NODE id=n_9106d7d3d638 node_type=claim
t=0021 CREATE_NODE id=n_46ef9884373f node_type=claim
t=0022 CREATE_NODE id=n_0751d7b2391f node_type=claim
t=0023 CREATE_NODE id=n_7f504d1deb1a node_type=claim
t=0024 CREATE_NODE id=n_74937529c44e node_type=claim
t=0025 CREATE_NODE id=n_ab7a7ded5f95 node_type=claim
t=0026 CREATE_NODE id=n_57b46eca50e3 node_type=claim
t=0027 CREATE_NODE id=n_e364d2d43b1e node_type=claim
t=0028 CREATE_NODE id=n_138bb29585f0 node_type=claim
t=0029 CREATE_NODE id=n_6d8553825dbb node_type=claim
t=0030 CREATE_NODE id=n_01e0ac77aca3 node_type=claim
t=0031 CREATE_NODE id=n_eb26b5ea42f3 node_type=claim
t=0032 CREATE_NODE id=n_12fb43a59e80 node_type=claim
t=0033 CREATE_NODE id=n_9c92ae82f815 node_type=claim
t=0034 CREATE_NODE id=n_9d08224d9fb7 node_type=claim
t=0035 CREATE_NODE id=n_fff2910ef15a node_type=claim
t=0036 CREATE_NODE id=n_070dace66a22 node_type=claim
t=0037 CREATE_NODE id=n_37d6066a1877 node_type=claim
t=0038 CREATE_NODE id=n_a84fd0cb82b2 node_type=claim
t=0039 CREATE_NODE id=n_9bec41069631 node_type=claim
t=0040 CREATE_NODE id=n_9e3aeba4fb4c node_type=claim
t=0041 CREATE_NODE id=n_e7672e709304 node_type=claim
t=0042 CREATE_NODE id=n_b37277a863ec node_type=claim
t=0043 CREATE_NODE id=n_7ff4d5d1525f node_type=claim
t=0044 CREATE_NODE id=n_505a05fdfc8a node_type=claim
t=0045 CREATE_NODE id=n_6588987c8354 node_type=claim
t=0046 CREATE_NODE id=n_b9e21ff36754 node_type=claim
t=0047 CREATE_NODE id=n_e8cb3c387d40 node_type=claim
t=0048 CREATE_NODE id=n_bf3ac168950e node_type=claim
t=0049 CREATE_NODE id=n_ff17b34f4ed5 node_type=claim
t=0050 CREATE_NODE id=n_8e9928028da7 node_type=claim
t=0051 CREATE_NODE id=n_8877c8578f07 node_type=claim
t=0052 CREATE_NODE id=n_089710112000 node_type=claim
t=0053 CREATE_NODE id=n_4101d718c439 node_type=claim
t=0054 CREATE_NODE id=n_4f851e265a06 node_type=claim
t=0055 CREATE_NODE id=n_d3d8bdd75616 node_type=claim
t=0056 CREATE_NODE id=n_448a75956687 node_type=claim
t=0057 CREATE_NODE id=n_4874b8beb87e node_type=claim
t=0058 CREATE_NODE id=n_df2d8825c5ee node_type=claim
t=0059 CREATE_NODE id=n_ae18d29865c4 node_type=claim
t=0060 ASSERT_ROOT node=n_13f6a1d434f2 value=TRUE
t=0061 ADD_EDGE edge_id=e_c6e0e1390c55 source=n_e364d2d43b1e edge_type=supports target=n_57b46eca50e3
t=0062 ADD_EDGE edge_id=e_2e3697a29dc0 source=n_207178f7a504 edge_type=refutes target=n_d3d8bdd75616
t=0063 ADD_EDGE edge_id=e_34ae3cc9b80b source=n_4874b8beb87e edge_type=supports target=n_3a13c26ff904
t=0064 ADD_EDGE edge_id=e_9344c82afc22 source=n_4874b8beb87e edge_type=refutes target=n_0751d7b2391f
t=0065 ADD_EDGE edge_id=e_296ca79a193e source=n_138bb29585f0 edge_type=supports target=n_207178f7a504
t=0066 ADD_EDGE edge_id=e_cf4acec6fec1 source=n_505a05fdfc8a edge_type=refutes target=n_8e6cf1cbebc1
t=0067 ADD_EDGE edge_id=e_953ed4a9e7bf source=n_01e0ac77aca3 edge_type=supports target=n_8a1cff3fe12c
t=0068 ADD_EDGE edge_id=e_ecf7b187e0af source=n_8877c8578f07 edge_type=supports target=n_852b90e337ca
t=0069 ADD_EDGE edge_id=e_cebda54432ad source=n_7f504d1deb1a edge_type=refutes target=n_4f851e265a06
t=0070 ADD_EDGE edge_id=e_9595cbb42c4a source=n_4101d718c439 edge_type=refutes target=n_e38d78c7424a
t=0071 ADD_EDGE edge_id=e_2feb8caa5fe6 source=n_ffcead97bf3e edge_type=supports target=n_bf3ac168950e
t=0072 ADD_EDGE edge_id=e_01a62954a7d9 source=n_01e0ac77aca3 edge_type=refutes target=n_4874b8beb87e
t=0073 ADD_EDGE edge_id=e_92947e3e779d source=n_89c2fb791af6 edge_type=supports target=n_4101d718c439
t=0074 ADD_EDGE edge_id=e_6584c53c574d source=n_4874b8beb87e edge_type=refutes target=n_e7672e709304
t=0075 ADD_EDGE edge_id=e_74c5370c3965 source=n_3f9138ffe08d edge_type=refutes target=n_b12fd63ed551
t=0076 ADD_EDGE edge_id=e_5c4b3b3fddf7 source=n_8e6cf1cbebc1 edge_type=refutes target=n_dffc04a9a16a
t=0077 ADD_EDGE edge_id=e_56408b8dd3f6 source=n_138bb29585f0 edge_type=supports target=n_e364d2d43b1e
t=0078 ADD_EDGE edge_id=e_4168ba245c6b source=n_1c18472d2e51 edge_type=refutes target=n_8e9928028da7
t=0079 ADD_EDGE edge_id=e_bd100a9b4e6f source=n_dffc04a9a16a edge_type=refutes target=n_ab7a7ded5f95
t=0080 ADD_EDGE edge_id=e_9660ba965e2d source=n_79ceffaa615f edge_type=supports target=n_448a75956687
t=0081 ADD_EDGE edge_id=e_0049f99bbab7 source=n_a757b87e39da edge_type=supports target=n_138bb29585f0
t=0082 ADD_EDGE edge_id=e_79b1657f4826 source=n_dffc04a9a16a edge_type=refutes target=n_12fb43a59e80
t=0083 ADD_EDGE edge_id=e_00bce12d386e source=n_9106d7d3d638 edge_type=refutes target=n_68e4d3a30231
t=0084 ADD_EDGE edge_id=e_b39e0447767b source=n_78057eac3e62 edge_type=supports target=n_9c92ae82f815
t=0085 ADD_EDGE edge_id=e_d961e0e65aca source=n_9e3aeba4fb4c edge_type=supports target=n_b9e21ff36754
t=0086 ADD_EDGE edge_id=e_5c201618db70 source=n_13f6a1d434f2 edge_type=refutes target=n_9bec41069631
t=0087 ADD_EDGE edge_id=e_7e9c132466a3 source=n_0751d7b2391f edge_type=supports target=n_e8cb3c387d40
t=0088 ADD_EDGE edge_id=e_f9e0b862b99d source=n_b9e21ff36754 edge_type=supports target=n_fff2910ef15a
t=0089 ADD_EDGE edge_id=e_e39595fad6b0 source=n_852b90e337ca edge_type=refutes target=n_79ceffaa615f
t=0090 ADD_EDGE edge_id=e_2db18f3a4b5b source=n_01e0ac77aca3 edge_type=refutes target=n_df2d8825c5ee
t=0091 ADD_EDGE edge_id=e_0d30747ba165 source=n_6588987c8354 edge_type=supports target=n_070dace66a22
t=0092 ADD_EDGE edge_id=e_e6ea7ab36b7d source=n_7ff4d5d1525f edge_type=supports target=n_ff17b34f4ed5
t=0093 ADD_EDGE edge_id=e_87227305397e source=n_12fb43a59e80 edge_type=supports target=n_6d8553825dbb
t=0094 ADD_EDGE edge_id=e_3c97c65b1aa3 source=n_070dace66a22 edge_type=refutes target=n_8877c8578f07
t=0095 ADD_EDGE edge_id=e_28cdd6dfd412 source=n_e8cb3c387d40 edge_type=refutes target=n_37d6066a1877
t=0096 ADD_EDGE edge_id=e_7d6b6c58892f source=n_6d8553825dbb edge_type=refutes target=n_1c18472d2e51
t=0097 ADD_EDGE edge_id=e_fe282e7e136f source=n_89c2fb791af6 edge_type=supports target=n_7595639ce83e
t=0098 ADD_EDGE edge_id=e_9ca9903fc3ef source=n_1c18472d2e51 edge_type=supports target=n_74937529c44e
t=0099 ADD_EDGE edge_id=e_e145cc4e1327 source=n_46ef9884373f edge_type=supports target=n_89c2fb791af6
t=0100 ADD_EDGE edge_id=e_1a3da3a78473 source=n_7595639ce83e edge_type=refutes target=n_78057eac3e62
t=0101 ADD_EDGE edge_id=e_e108e86a1eb8 source=n_89c2fb791af6 edge_type=supports target=n_089710112000
t=0102 ADD_EDGE edge_id=e_457a77fe1774 source=n_78057eac3e62 edge_type=supports target=n_ae18d29865c4
t=0103 ADD_EDGE edge_id=e_871cda90cfdd source=n_7595639ce83e edge_type=supports target=n_a757b87e39da
t=0104 ADD_EDGE edge_id=e_0a956779d1cc source=n_ff17b34f4ed5 edge_type=refutes target=n_7f504d1deb1a
t=0105 ADD_EDGE edge_id=e_5addcb292d09 source=n_13f6a1d434f2 edge_type=supports target=n_0e3c12a2cb98
t=0106 ADD_EDGE edge_id=e_376195549036 source=n_78057eac3e62 edge_type=refutes target=n_b37277a863ec
t=0107 ADD_EDGE edge_id=e_0ddf382f3ac6 source=n_448a75956687 edge_type=refutes target=n_9d08224d9fb7
t=0108 ADD_EDGE edge_id=e_d9416d64525d source=n_fff2910ef15a edge_type=refutes target=n_eb26b5ea42f3
t=0109 ADD_EDGE edge_id=e_5bc93fe88114 source=n_852b90e337ca edge_type=supports target=n_a84fd0cb82b2
t=0110 ADD_EDGE edge_id=e_d3c377050041 source=n_7595639ce83e edge_type=supports target=n_3f9138ffe08d
t=0111 ADD_EDGE edge_id=e_832ef416856b source=n_89c2fb791af6 edge_type=refutes target=n_c4508de0c0b5
t=0112 ADD_EDGE edge_id=e_9c5191c26b61 source=n_4f851e265a06 edge_type=supports target=n_505a05fdfc8a
t=0113 ADD_EDGE edge_id=e_7baec34f387e source=n_eb26b5ea42f3 edge_type=supports target=n_6588987c8354
t=0114 ADD_EDGE edge_id=e_f946316a80c8 source=n_9d08224d9fb7 edge_type=refutes target=n_7ff4d5d1525f
t=0115 ADD_EDGE edge_id=e_ac0dae1428a5 source=n_68e4d3a30231 edge_type=refutes target=n_9e3aeba4fb4c
t=0116 ADD_EDGE edge_id=e_c57ffd8a693a source=n_ffcead97bf3e edge_type=supports target=n_01e0ac77aca3
t=0117 ADD_EDGE edge_id=e_5ee774a936eb source=n_9bec41069631 edge_type=refutes target=n_9106d7d3d638
t=0118 ADD_EDGE edge_id=e_21894a8f9487 source=n_89c2fb791af6 edge_type=refutes target=n_ffcead97bf3e
t=0119 QUERY source=n_13f6a1d434f2 target=n_74937529c44e
[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_bab5d3453972 node_type=claim
t=0001 CREATE_NODE id=n_df8eca8d7bc0 node_type=claim
t=0002 CREATE_NODE id=n_46685f57b579 node_type=claim
t=0003 CREATE_NODE id=n_79893ce79380 node_type=claim
t=0004 CREATE_NODE id=n_145dbaad5e6c node_type=claim
t=0005 CREATE_NODE id=n_71b48979ee52 node_type=claim
t=0006 CREATE_NODE id=n_663ec6540b4c node_type=claim
t=0007 CREATE_NODE id=n_c43094454dbe node_type=claim
t=0008 CREATE_NODE id=n_ce3dc23b0195 node_type=claim
t=0009 CREATE_NODE id=n_9d588821daad node_type=claim
t=0010 CREATE_NODE id=n_fb79d4e784d5 node_type=claim
t=0011 CREATE_NODE id=n_b76ee893eb77 node_type=claim
t=0012 CREATE_NODE id=n_c45444fd2001 node_type=claim
t=0013 CREATE_NODE id=n_12b4eb34d5bb node_type=claim
t=0014 CREATE_NODE id=n_a58f4ea34d1a node_type=claim
t=0015 CREATE_NODE id=n_842728d6f688 node_type=claim
t=0016 CREATE_NODE id=n_58bac8a648d8 node_type=claim
t=0017 CREATE_NODE id=n_7ab32b8efab7 node_type=claim
t=0018 CREATE_NODE id=n_068931dcebde node_type=claim
t=0019 CREATE_NODE id=n_92203c628713 node_type=claim
t=0020 CREATE_NODE id=n_762e9447c342 node_type=claim
t=0021 CREATE_NODE id=n_ed4553e2976e node_type=claim
t=0022 CREATE_NODE id=n_d22e7bdf627a node_type=claim
t=0023 CREATE_NODE id=n_6b4226adf677 node_type=claim
t=0024 CREATE_NODE id=n_57e0357edab3 node_type=claim
t=0025 CREATE_NODE id=n_ab0108a824f2 node_type=claim
t=0026 CREATE_NODE id=n_07e033bb9a9f node_type=claim
t=0027 CREATE_NODE id=n_150cb84448f5 node_type=claim
t=0028 CREATE_NODE id=n_d23a025469a3 node_type=claim
t=0029 CREATE_NODE id=n_acc63ef12c16 node_type=claim
t=0030 CREATE_NODE id=n_8e8fd1a1bf69 node_type=claim
t=0031 CREATE_NODE id=n_efcd271dc1c5 node_type=claim
t=0032 CREATE_NODE id=n_900097b4ad4d node_type=claim
t=0033 CREATE_NODE id=n_cfd392f30022 node_type=claim
t=0034 CREATE_NODE id=n_6193e527d9f8 node_type=claim
t=0035 CREATE_NODE id=n_90c8b02d4fa3 node_type=claim
t=0036 CREATE_NODE id=n_8c454fa5da2f node_type=claim
t=0037 CREATE_NODE id=n_e6724539cdce node_type=claim
t=0038 CREATE_NODE id=n_6a9db14e31f4 node_type=claim
t=0039 CREATE_NODE id=n_c0833589fafb node_type=claim
t=0040 CREATE_NODE id=n_2c9c8e09a96c node_type=claim
t=0041 CREATE_NODE id=n_bf31c08bd231 node_type=claim
t=0042 CREATE_NODE id=n_d237e44a5d94 node_type=claim
t=0043 CREATE_NODE id=n_9d3c1092c26d node_type=claim
t=0044 CREATE_NODE id=n_87fc55586449 node_type=claim
t=0045 CREATE_NODE id=n_5b149dc0b81c node_type=claim
t=0046 CREATE_NODE id=n_1c12bc312676 node_type=claim
t=0047 CREATE_NODE id=n_b43e46023c96 node_type=claim
t=0048 CREATE_NODE id=n_3d2b639d9aa6 node_type=claim
t=0049 CREATE_NODE id=n_e87ebc23af96 node_type=claim
t=0050 CREATE_NODE id=n_e315de88d70e node_type=claim
t=0051 CREATE_NODE id=n_82d3ed518b8d node_type=claim
t=0052 CREATE_NODE id=n_b14ef1f9a6b8 node_type=claim
t=0053 CREATE_NODE id=n_2c70333ba5dd node_type=claim
t=0054 CREATE_NODE id=n_2c33cee6ee4e node_type=claim
t=0055 CREATE_NODE id=n_cfab0dda3fc0 node_type=claim
t=0056 CREATE_NODE id=n_d1fa728473d0 node_type=claim
t=0057 CREATE_NODE id=n_5645c6b7c0bd node_type=claim
t=0058 CREATE_NODE id=n_862f004415a5 node_type=claim
t=0059 CREATE_NODE id=n_e98a75c0c3a1 node_type=claim
t=0060 ASSERT_ROOT node=n_c0833589fafb value=FALSE
t=0061 ADD_EDGE edge_id=e_8a8eb11e7d55 source=n_8e8fd1a1bf69 edge_type=refutes target=n_8c454fa5da2f
t=0062 ADD_EDGE edge_id=e_9796a91126d0 source=n_e6724539cdce edge_type=supports target=n_6a9db14e31f4
t=0063 ADD_EDGE edge_id=e_428187313ee2 source=n_7ab32b8efab7 edge_type=refutes target=n_e315de88d70e
t=0064 ADD_EDGE edge_id=e_7f040838c000 source=n_07e033bb9a9f edge_type=refutes target=n_71b48979ee52
t=0065 ADD_EDGE edge_id=e_42d312c3f1fa source=n_efcd271dc1c5 edge_type=refutes target=n_e6724539cdce
t=0066 ADD_EDGE edge_id=e_a735aec3c085 source=n_862f004415a5 edge_type=refutes target=n_b43e46023c96
t=0067 ADD_EDGE edge_id=e_e84d237c5074 source=n_cfab0dda3fc0 edge_type=refutes target=n_c43094454dbe
t=0068 ADD_EDGE edge_id=e_9410e4e10845 source=n_c45444fd2001 edge_type=supports target=n_bab5d3453972
t=0069 ADD_EDGE edge_id=e_ea8bae91c0be source=n_8c454fa5da2f edge_type=refutes target=n_2c70333ba5dd
t=0070 ADD_EDGE edge_id=e_e776c43e9203 source=n_e6724539cdce edge_type=refutes target=n_ed4553e2976e
t=0071 ADD_EDGE edge_id=e_8f49514a88fa source=n_fb79d4e784d5 edge_type=refutes target=n_ab0108a824f2
t=0072 ADD_EDGE edge_id=e_da2f4bedc07f source=n_145dbaad5e6c edge_type=supports target=n_862f004415a5
t=0073 ADD_EDGE edge_id=e_acd595b3ffed source=n_2c33cee6ee4e edge_type=supports target=n_d1fa728473d0
t=0074 ADD_EDGE edge_id=e_bf7c94c61a57 source=n_c43094454dbe edge_type=refutes target=n_87fc55586449
t=0075 ADD_EDGE edge_id=e_a6f58659b528 source=n_c0833589fafb edge_type=refutes target=n_b14ef1f9a6b8
t=0076 ADD_EDGE edge_id=e_99fbeb680d72 source=n_b43e46023c96 edge_type=refutes target=n_762e9447c342
t=0077 ADD_EDGE edge_id=e_61a69459cb94 source=n_e98a75c0c3a1 edge_type=supports target=n_e87ebc23af96
t=0078 ADD_EDGE edge_id=e_533898a50455 source=n_2c33cee6ee4e edge_type=supports target=n_90c8b02d4fa3
t=0079 ADD_EDGE edge_id=e_1f26eefe7fb1 source=n_07e033bb9a9f edge_type=supports target=n_6b4226adf677
t=0080 ADD_EDGE edge_id=e_29512ebb1954 source=n_d237e44a5d94 edge_type=supports target=n_ce3dc23b0195
t=0081 ADD_EDGE edge_id=e_02e4a52525e1 source=n_ab0108a824f2 edge_type=supports target=n_d23a025469a3
t=0082 ADD_EDGE edge_id=e_33cda2face4c source=n_bab5d3453972 edge_type=supports target=n_9d588821daad
t=0083 ADD_EDGE edge_id=e_84db2cc2d775 source=n_663ec6540b4c edge_type=supports target=n_2c33cee6ee4e
t=0084 ADD_EDGE edge_id=e_ecaa9a9d4d68 source=n_efcd271dc1c5 edge_type=supports target=n_e98a75c0c3a1
t=0085 ADD_EDGE edge_id=e_abfcb873884e source=n_12b4eb34d5bb edge_type=refutes target=n_c45444fd2001
t=0086 ADD_EDGE edge_id=e_c6c9f0bcea6b source=n_e6724539cdce edge_type=supports target=n_46685f57b579
t=0087 ADD_EDGE edge_id=e_ba54f3001a64 source=n_e315de88d70e edge_type=supports target=n_12b4eb34d5bb
t=0088 ADD_EDGE edge_id=e_57eefa7d8929 source=n_efcd271dc1c5 edge_type=supports target=n_9d3c1092c26d
t=0089 ADD_EDGE edge_id=e_f5dbeb4f2f6b source=n_d22e7bdf627a edge_type=refutes target=n_1c12bc312676
t=0090 ADD_EDGE edge_id=e_cf1d1debe42b source=n_c0833589fafb edge_type=supports target=n_d22e7bdf627a
t=0091 ADD_EDGE edge_id=e_6bbec9b809e4 source=n_bab5d3453972 edge_type=supports target=n_150cb84448f5
t=0092 ADD_EDGE edge_id=e_0aba5b44335a source=n_71b48979ee52 edge_type=supports target=n_145dbaad5e6c
t=0093 ADD_EDGE edge_id=e_f511fa5420f3 source=n_9d588821daad edge_type=supports target=n_d237e44a5d94
t=0094 ADD_EDGE edge_id=e_9bb0226a19f3 source=n_3d2b639d9aa6 edge_type=refutes target=n_7ab32b8efab7
t=0095 ADD_EDGE edge_id=e_ceeddbc8630b source=n_cfd392f30022 edge_type=refutes target=n_79893ce79380
t=0096 ADD_EDGE edge_id=e_c2fac5ca1366 source=n_762e9447c342 edge_type=refutes target=n_82d3ed518b8d
t=0097 ADD_EDGE edge_id=e_80f578aaa1ab source=n_fb79d4e784d5 edge_type=supports target=n_2c9c8e09a96c
t=0098 ADD_EDGE edge_id=e_acc3aa6d2e82 source=n_842728d6f688 edge_type=refutes target=n_bf31c08bd231
t=0099 ADD_EDGE edge_id=e_a7fb9cccdfd3 source=n_1c12bc312676 edge_type=refutes target=n_df8eca8d7bc0
t=0100 ADD_EDGE edge_id=e_302f7145d848 source=n_efcd271dc1c5 edge_type=refutes target=n_6193e527d9f8
t=0101 ADD_EDGE edge_id=e_0a53debb6a2b source=n_df8eca8d7bc0 edge_type=refutes target=n_b76ee893eb77
t=0102 ADD_EDGE edge_id=e_b0f139dccdc1 source=n_e98a75c0c3a1 edge_type=supports target=n_5645c6b7c0bd
t=0103 ADD_EDGE edge_id=e_23a53692b59e source=n_145dbaad5e6c edge_type=supports target=n_900097b4ad4d
t=0104 ADD_EDGE edge_id=e_a56d6965c824 source=n_fb79d4e784d5 edge_type=supports target=n_5b149dc0b81c
t=0105 ADD_EDGE edge_id=e_711c83fac31b source=n_bf31c08bd231 edge_type=refutes target=n_cfab0dda3fc0
t=0106 ADD_EDGE edge_id=e_997b27d88953 source=n_e6724539cdce edge_type=refutes target=n_fb79d4e784d5
t=0107 ADD_EDGE edge_id=e_3512ef57b547 source=n_2c70333ba5dd edge_type=supports target=n_3d2b639d9aa6
t=0108 ADD_EDGE edge_id=e_515120f4767c source=n_d1fa728473d0 edge_type=refutes target=n_842728d6f688
t=0109 ADD_EDGE edge_id=e_ed0ab4dca031 source=n_b43e46023c96 edge_type=supports target=n_a58f4ea34d1a
t=0110 ADD_EDGE edge_id=e_ab334ceab63a source=n_b76ee893eb77 edge_type=refutes target=n_8e8fd1a1bf69
t=0111 ADD_EDGE edge_id=e_8d587eebdae8 source=n_92203c628713 edge_type=supports target=n_663ec6540b4c
t=0112 ADD_EDGE edge_id=e_62d1d7426cde source=n_efcd271dc1c5 edge_type=refutes target=n_07e033bb9a9f
t=0113 ADD_EDGE edge_id=e_a8356f0a2eda source=n_07e033bb9a9f edge_type=supports target=n_cfd392f30022
t=0114 ADD_EDGE edge_id=e_080975fc2718 source=n_9d3c1092c26d edge_type=refutes target=n_57e0357edab3
t=0115 ADD_EDGE edge_id=e_04e892a96197 source=n_c43094454dbe edge_type=refutes target=n_068931dcebde
t=0116 ADD_EDGE edge_id=e_cbed3761ee88 source=n_79893ce79380 edge_type=refutes target=n_58bac8a648d8
t=0117 ADD_EDGE edge_id=e_9077a4a93e43 source=n_ce3dc23b0195 edge_type=supports target=n_92203c628713
t=0118 ADD_EDGE edge_id=e_bf90f9354fa0 source=n_9d3c1092c26d edge_type=supports target=n_acc63ef12c16
t=0119 QUERY source=n_c0833589fafb target=n_068931dcebde
[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_f9f03d1a18b7 node_type=claim
t=0001 CREATE_NODE id=n_e443f7de6d34 node_type=claim
t=0002 CREATE_NODE id=n_208200f68e02 node_type=claim
t=0003 CREATE_NODE id=n_ec147866e50f node_type=claim
t=0004 CREATE_NODE id=n_f93393511640 node_type=claim
t=0005 CREATE_NODE id=n_8773fc237a32 node_type=claim
t=0006 CREATE_NODE id=n_c8d020df34d5 node_type=claim
t=0007 CREATE_NODE id=n_cdbeee6a5dc4 node_type=claim
t=0008 CREATE_NODE id=n_d987a48b3957 node_type=claim
t=0009 CREATE_NODE id=n_0121f6ddd462 node_type=claim
t=0010 CREATE_NODE id=n_9cc53dac62c3 node_type=claim
t=0011 CREATE_NODE id=n_f3cd1fc4193d node_type=claim
t=0012 CREATE_NODE id=n_2fb41662d13c node_type=claim
t=0013 CREATE_NODE id=n_653dab6a7066 node_type=claim
t=0014 CREATE_NODE id=n_8efb7d9fa7ed node_type=claim
t=0015 CREATE_NODE id=n_e6050d907ade node_type=claim
t=0016 CREATE_NODE id=n_4c488d0572e2 node_type=claim
t=0017 CREATE_NODE id=n_fb8e673dd920 node_type=claim
t=0018 CREATE_NODE id=n_52544fe0e207 node_type=claim
t=0019 CREATE_NODE id=n_6b977b99cd9c node_type=claim
t=0020 CREATE_NODE id=n_c2ab068192b4 node_type=claim
t=0021 CREATE_NODE id=n_1e607c55e97f node_type=claim
t=0022 CREATE_NODE id=n_106268a1de10 node_type=claim
t=0023 CREATE_NODE id=n_94b0b5eef566 node_type=claim
t=0024 CREATE_NODE id=n_f897aef24be1 node_type=claim
t=0025 CREATE_NODE id=n_6e20a2700dbc node_type=claim
t=0026 CREATE_NODE id=n_468ac7b86b4b node_type=claim
t=0027 CREATE_NODE id=n_9ddf0dba62da node_type=claim
t=0028 CREATE_NODE id=n_5199584145b7 node_type=claim
t=0029 CREATE_NODE id=n_b57cdf079931 node_type=claim
t=0030 CREATE_NODE id=n_eed4648781ac node_type=claim
t=0031 CREATE_NODE id=n_0d4544d2f9c7 node_type=claim
t=0032 CREATE_NODE id=n_da434be14dcd node_type=claim
t=0033 CREATE_NODE id=n_f89d36f38766 node_type=claim
t=0034 CREATE_NODE id=n_62fe60ec748c node_type=claim
t=0035 CREATE_NODE id=n_74a2d6b06e62 node_type=claim
t=0036 CREATE_NODE id=n_50d91a0e8839 node_type=claim
t=0037 CREATE_NODE id=n_88cd11bf6c3f node_type=claim
t=0038 CREATE_NODE id=n_164ed36520ff node_type=claim
t=0039 CREATE_NODE id=n_7c42c20a220f node_type=claim
t=0040 CREATE_NODE id=n_4a01c34b4975 node_type=claim
t=0041 CREATE_NODE id=n_421ad3c19928 node_type=claim
t=0042 CREATE_NODE id=n_cbb383810b69 node_type=claim
t=0043 CREATE_NODE id=n_bbabe7d926a9 node_type=claim
t=0044 CREATE_NODE id=n_1a1a7f24c0f2 node_type=claim
t=0045 CREATE_NODE id=n_079647053016 node_type=claim
t=0046 CREATE_NODE id=n_a01b7861a318 node_type=claim
t=0047 CREATE_NODE id=n_55b45dbe6567 node_type=claim
t=0048 CREATE_NODE id=n_4d10c74e6458 node_type=claim
t=0049 CREATE_NODE id=n_4ecf6f6357e5 node_type=claim
t=0050 CREATE_NODE id=n_30d9642d6fe9 node_type=claim
t=0051 CREATE_NODE id=n_1074654cb231 node_type=claim
t=0052 CREATE_NODE id=n_294a8f6293fe node_type=claim
t=0053 CREATE_NODE id=n_d0339e9b5a07 node_type=claim
t=0054 CREATE_NODE id=n_f1b2c6833219 node_type=claim
t=0055 CREATE_NODE id=n_87df9a0f26b7 node_type=claim
t=0056 CREATE_NODE id=n_23c1dd827b47 node_type=claim
t=0057 CREATE_NODE id=n_629f53a4811b node_type=claim
t=0058 CREATE_NODE id=n_72de38148187 node_type=claim
t=0059 CREATE_NODE id=n_8a66141ddf19 node_type=claim
t=0060 ASSERT_ROOT node=n_87df9a0f26b7 value=TRUE
t=0061 ADD_EDGE edge_id=e_d081bce969bc source=n_421ad3c19928 edge_type=supports target=n_72de38148187
t=0062 ADD_EDGE edge_id=e_1b39687afa3e source=n_4ecf6f6357e5 edge_type=supports target=n_d0339e9b5a07
t=0063 ADD_EDGE edge_id=e_e5c4d4a5c863 source=n_55b45dbe6567 edge_type=refutes target=n_5199584145b7
t=0064 ADD_EDGE edge_id=e_a3acaee215cc source=n_8efb7d9fa7ed edge_type=refutes target=n_1e607c55e97f
t=0065 ADD_EDGE edge_id=e_2869bc04aa56 source=n_ec147866e50f edge_type=supports target=n_bbabe7d926a9
t=0066 ADD_EDGE edge_id=e_c9ea6f0608a5 source=n_eed4648781ac edge_type=supports target=n_a01b7861a318
t=0067 ADD_EDGE edge_id=e_6a672e567107 source=n_294a8f6293fe edge_type=refutes target=n_6e20a2700dbc
t=0068 ADD_EDGE edge_id=e_8f5e88f37243 source=n_106268a1de10 edge_type=refutes target=n_629f53a4811b
t=0069 ADD_EDGE edge_id=e_938f2c44965f source=n_0121f6ddd462 edge_type=refutes target=n_9ddf0dba62da
t=0070 ADD_EDGE edge_id=e_c8ddf292cf4c source=n_ec147866e50f edge_type=supports target=n_88cd11bf6c3f
t=0071 ADD_EDGE edge_id=e_9ba9a5506bd9 source=n_1a1a7f24c0f2 edge_type=supports target=n_c2ab068192b4
t=0072 ADD_EDGE edge_id=e_c1636f1d4fab source=n_1074654cb231 edge_type=refutes target=n_106268a1de10
t=0073 ADD_EDGE edge_id=e_617e37f1efae source=n_f3cd1fc4193d edge_type=refutes target=n_4d10c74e6458
t=0074 ADD_EDGE edge_id=e_7cd6e4e39dfc source=n_eed4648781ac edge_type=supports target=n_cdbeee6a5dc4
t=0075 ADD_EDGE edge_id=e_835d02bbf53a source=n_74a2d6b06e62 edge_type=supports target=n_f897aef24be1
t=0076 ADD_EDGE edge_id=e_2f28e3c23c15 source=n_2fb41662d13c edge_type=refutes target=n_208200f68e02
t=0077 ADD_EDGE edge_id=e_9f68a7b57dd8 source=n_94b0b5eef566 edge_type=refutes target=n_2fb41662d13c
t=0078 ADD_EDGE edge_id=e_f02dd495be45 source=n_079647053016 edge_type=refutes target=n_8efb7d9fa7ed
t=0079 ADD_EDGE edge_id=e_9921fd6aa5dc source=n_8a66141ddf19 edge_type=supports target=n_fb8e673dd920
t=0080 ADD_EDGE edge_id=e_c3e461980370 source=n_eed4648781ac edge_type=supports target=n_294a8f6293fe
t=0081 ADD_EDGE edge_id=e_2f1ff89a84fb source=n_a01b7861a318 edge_type=refutes target=n_94b0b5eef566
t=0082 ADD_EDGE edge_id=e_8967cc80e00e source=n_94b0b5eef566 edge_type=refutes target=n_b57cdf079931
t=0083 ADD_EDGE edge_id=e_8bb696d54c6a source=n_106268a1de10 edge_type=supports target=n_f9f03d1a18b7
t=0084 ADD_EDGE edge_id=e_4340d573ca37 source=n_9ddf0dba62da edge_type=supports target=n_f3cd1fc4193d
t=0085 ADD_EDGE edge_id=e_8c944f232d87 source=n_653dab6a7066 edge_type=supports target=n_079647053016
t=0086 ADD_EDGE edge_id=e_86334e2382f8 source=n_164ed36520ff edge_type=supports target=n_52544fe0e207
t=0087 ADD_EDGE edge_id=e_a135c1339ee5 source=n_4d10c74e6458 edge_type=refutes target=n_1074654cb231
t=0088 ADD_EDGE edge_id=e_dd158b564563 source=n_e443f7de6d34 edge_type=refutes target=n_164ed36520ff
t=0089 ADD_EDGE edge_id=e_7302ed2ecf61 source=n_421ad3c19928 edge_type=refutes target=n_23c1dd827b47
t=0090 ADD_EDGE edge_id=e_c3027e228da3 source=n_5199584145b7 edge_type=refutes target=n_62fe60ec748c
t=0091 ADD_EDGE edge_id=e_37a738407dca source=n_1a1a7f24c0f2 edge_type=refutes target=n_4c488d0572e2
t=0092 ADD_EDGE edge_id=e_388357a34f23 source=n_c2ab068192b4 edge_type=supports target=n_d987a48b3957
t=0093 ADD_EDGE edge_id=e_7c32b4974708 source=n_cdbeee6a5dc4 edge_type=supports target=n_8773fc237a32
t=0094 ADD_EDGE edge_id=e_cf9b69ae53a6 source=n_7c42c20a220f edge_type=supports target=n_e6050d907ade
t=0095 ADD_EDGE edge_id=e_6cc2aecdac30 source=n_da434be14dcd edge_type=refutes target=n_e443f7de6d34
t=0096 ADD_EDGE edge_id=e_f5b87110c585 source=n_ec147866e50f edge_type=supports target=n_74a2d6b06e62
t=0097 ADD_EDGE edge_id=e_2dce3395711d source=n_468ac7b86b4b edge_type=refutes target=n_55b45dbe6567
t=0098 ADD_EDGE edge_id=e_d441cca5a65c source=n_87df9a0f26b7 edge_type=supports target=n_f1b2c6833219
t=0099 ADD_EDGE edge_id=e_c7a03c2fab8b source=n_23c1dd827b47 edge_type=supports target=n_468ac7b86b4b
t=0100 ADD_EDGE edge_id=e_21258a2ac407 source=n_ec147866e50f edge_type=supports target=n_1a1a7f24c0f2
t=0101 ADD_EDGE edge_id=e_c83c1cb08872 source=n_e6050d907ade edge_type=supports target=n_9cc53dac62c3
t=0102 ADD_EDGE edge_id=e_ca6673c4346a source=n_629f53a4811b edge_type=refutes target=n_f89d36f38766
t=0103 ADD_EDGE edge_id=e_a0166a822a98 source=n_94b0b5eef566 edge_type=refutes target=n_0d4544d2f9c7
t=0104 ADD_EDGE edge_id=e_a8bf27bc02ba source=n_079647053016 edge_type=refutes target=n_cbb383810b69
t=0105 ADD_EDGE edge_id=e_a9d79b0e66db source=n_f1b2c6833219 edge_type=supports target=n_0121f6ddd462
t=0106 ADD_EDGE edge_id=e_9a0daa83f960 source=n_1a1a7f24c0f2 edge_type=supports target=n_8a66141ddf19
t=0107 ADD_EDGE edge_id=e_c099b5b49ba1 source=n_6e20a2700dbc edge_type=supports target=n_c8d020df34d5
t=0108 ADD_EDGE edge_id=e_da8e3fc3136c source=n_f89d36f38766 edge_type=supports target=n_653dab6a7066
t=0109 ADD_EDGE edge_id=e_e22b87f809b8 source=n_62fe60ec748c edge_type=refutes target=n_50d91a0e8839
t=0110 ADD_EDGE edge_id=e_df1986bd9beb source=n_1e607c55e97f edge_type=refutes target=n_421ad3c19928
t=0111 ADD_EDGE edge_id=e_62bf21624519 source=n_294a8f6293fe edge_type=supports target=n_ec147866e50f
t=0112 ADD_EDGE edge_id=e_856285365e8b source=n_294a8f6293fe edge_type=supports target=n_da434be14dcd
t=0113 ADD_EDGE edge_id=e_eda8dd0c9734 source=n_50d91a0e8839 edge_type=refutes target=n_4ecf6f6357e5
t=0114 ADD_EDGE edge_id=e_32491d4aeae2 source=n_f93393511640 edge_type=refutes target=n_7c42c20a220f
t=0115 ADD_EDGE edge_id=e_456483b51879 source=n_1a1a7f24c0f2 edge_type=refutes target=n_6b977b99cd9c
t=0116 ADD_EDGE edge_id=e_be80841cfd08 source=n_6b977b99cd9c edge_type=refutes target=n_4a01c34b4975
t=0117 ADD_EDGE edge_id=e_ea03c8808b7c source=n_4ecf6f6357e5 edge_type=refutes target=n_f93393511640
t=0118 ADD_EDGE edge_id=e_6ccf301deb1f source=n_cdbeee6a5dc4 edge_type=supports target=n_30d9642d6fe9
t=0119 QUERY source=n_87df9a0f26b7 target=n_9cc53dac62c3
[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_35aceb546bb5 node_type=claim
t=0001 CREATE_NODE id=n_589e57ec7ac2 node_type=claim
t=0002 CREATE_NODE id=n_d71bca609498 node_type=claim
t=0003 CREATE_NODE id=n_95ab505a231d node_type=claim
t=0004 CREATE_NODE id=n_8b21a03720c7 node_type=claim
t=0005 CREATE_NODE id=n_7280a3aedce9 node_type=claim
t=0006 CREATE_NODE id=n_49255bc28257 node_type=claim
t=0007 CREATE_NODE id=n_56b21a1e26b7 node_type=claim
t=0008 CREATE_NODE id=n_1f1d45ea8efe node_type=claim
t=0009 CREATE_NODE id=n_8832f91c2fef node_type=claim
t=0010 CREATE_NODE id=n_9bcf1b8a375f node_type=claim
t=0011 CREATE_NODE id=n_14cd151ec1d5 node_type=claim
t=0012 CREATE_NODE id=n_d992fb665921 node_type=claim
t=0013 CREATE_NODE id=n_775bf5400fee node_type=claim
t=0014 CREATE_NODE id=n_11562ea3ada0 node_type=claim
t=0015 CREATE_NODE id=n_e5468ffb8d9b node_type=claim
t=0016 CREATE_NODE id=n_84f5ddb6fe81 node_type=claim
t=0017 CREATE_NODE id=n_970865bb84c7 node_type=claim
t=0018 CREATE_NODE id=n_b2248fb1a471 node_type=claim
t=0019 CREATE_NODE id=n_d2e486fa226a node_type=claim
t=0020 CREATE_NODE id=n_1920a2a3ca5b node_type=claim
t=0021 CREATE_NODE id=n_b5b3a6836594 node_type=claim
t=0022 CREATE_NODE id=n_f4e5d7b5bf7e node_type=claim
t=0023 CREATE_NODE id=n_235c76dd0997 node_type=claim
t=0024 CREATE_NODE id=n_2801838e9ba5 node_type=claim
t=0025 CREATE_NODE id=n_7223f8a14bdc node_type=claim
t=0026 CREATE_NODE id=n_24ca71a1f55a node_type=claim
t=0027 CREATE_NODE id=n_62740adbde8c node_type=claim
t=0028 CREATE_NODE id=n_56763f196560 node_type=claim
t=0029 CREATE_NODE id=n_1ec8ac8cd0ad node_type=claim
t=0030 CREATE_NODE id=n_901e4e001d79 node_type=claim
t=0031 CREATE_NODE id=n_03b93d64aca1 node_type=claim
t=0032 CREATE_NODE id=n_a95a9021cdd0 node_type=claim
t=0033 CREATE_NODE id=n_5c1df9a8a7b6 node_type=claim
t=0034 CREATE_NODE id=n_4ddf5acc0dc0 node_type=claim
t=0035 CREATE_NODE id=n_d77ba97fd1be node_type=claim
t=0036 CREATE_NODE id=n_36051c0bfc2b node_type=claim
t=0037 CREATE_NODE id=n_6d008d3993d4 node_type=claim
t=0038 CREATE_NODE id=n_2eb1a63c81f3 node_type=claim
t=0039 CREATE_NODE id=n_29248a7a9d41 node_type=claim
t=0040 CREATE_NODE id=n_82ca7759dddb node_type=claim
t=0041 CREATE_NODE id=n_d777ea8348e3 node_type=claim
t=0042 CREATE_NODE id=n_4aac970fbc97 node_type=claim
t=0043 CREATE_NODE id=n_4b767756dae4 node_type=claim
t=0044 CREATE_NODE id=n_9fe736e4613b node_type=claim
t=0045 CREATE_NODE id=n_41a7560030d5 node_type=claim
t=0046 CREATE_NODE id=n_e323d9381d95 node_type=claim
t=0047 CREATE_NODE id=n_c33b052a96ef node_type=claim
t=0048 CREATE_NODE id=n_27ab9a64f077 node_type=claim
t=0049 CREATE_NODE id=n_0670c0663546 node_type=claim
t=0050 CREATE_NODE id=n_17fcbfc055e0 node_type=claim
t=0051 CREATE_NODE id=n_6bf577d76355 node_type=claim
t=0052 CREATE_NODE id=n_f2ea5cb59240 node_type=claim
t=0053 CREATE_NODE id=n_6948a9398634 node_type=claim
t=0054 CREATE_NODE id=n_cba96f048670 node_type=claim
t=0055 CREATE_NODE id=n_f721b0c185ff node_type=claim
t=0056 CREATE_NODE id=n_db54d0227800 node_type=claim
t=0057 CREATE_NODE id=n_3a58b377913f node_type=claim
t=0058 CREATE_NODE id=n_7a7681faf821 node_type=claim
t=0059 CREATE_NODE id=n_f5d10a28c4af node_type=claim
t=0060 ASSERT_ROOT node=n_56763f196560 value=FALSE
t=0061 ADD_EDGE edge_id=e_ec1624b05ef8 source=n_a95a9021cdd0 edge_type=supports target=n_17fcbfc055e0
t=0062 ADD_EDGE edge_id=e_c9cb2d4e915a source=n_7280a3aedce9 edge_type=supports target=n_9bcf1b8a375f
t=0063 ADD_EDGE edge_id=e_23d956a6dd6b source=n_0670c0663546 edge_type=refutes target=n_62740adbde8c
t=0064 ADD_EDGE edge_id=e_e2b2adbee628 source=n_d77ba97fd1be edge_type=refutes target=n_c33b052a96ef
t=0065 ADD_EDGE edge_id=e_79e72cc790a0 source=n_82ca7759dddb edge_type=supports target=n_24ca71a1f55a
t=0066 ADD_EDGE edge_id=e_08b76543d4b8 source=n_8b21a03720c7 edge_type=supports target=n_cba96f048670
t=0067 ADD_EDGE edge_id=e_7c652d2c71e5 source=n_d71bca609498 edge_type=supports target=n_4b767756dae4
t=0068 ADD_EDGE edge_id=e_cc4eac4cea84 source=n_4aac970fbc97 edge_type=supports target=n_d71bca609498
t=0069 ADD_EDGE edge_id=e_2ec3809af29b source=n_4ddf5acc0dc0 edge_type=refutes target=n_7223f8a14bdc
t=0070 ADD_EDGE edge_id=e_b4f70eeda1fc source=n_11562ea3ada0 edge_type=supports target=n_6948a9398634
t=0071 ADD_EDGE edge_id=e_33039dc75bbe source=n_4aac970fbc97 edge_type=refutes target=n_f5d10a28c4af
t=0072 ADD_EDGE edge_id=e_b9b2fe790f2a source=n_2801838e9ba5 edge_type=supports target=n_5c1df9a8a7b6
t=0073 ADD_EDGE edge_id=e_164698fcb218 source=n_235c76dd0997 edge_type=refutes target=n_e5468ffb8d9b
t=0074 ADD_EDGE edge_id=e_d43e97e88373 source=n_c33b052a96ef edge_type=supports target=n_f4e5d7b5bf7e
t=0075 ADD_EDGE edge_id=e_a5fa17ff1ace source=n_cba96f048670 edge_type=supports target=n_e323d9381d95
t=0076 ADD_EDGE edge_id=e_69729ce1d16f source=n_e323d9381d95 edge_type=supports target=n_775bf5400fee
t=0077 ADD_EDGE edge_id=e_1929dc4f5b67 source=n_235c76dd0997 edge_type=supports target=n_27ab9a64f077
t=0078 ADD_EDGE edge_id=e_24711c3a9e2b source=n_f2ea5cb59240 edge_type=refutes target=n_95ab505a231d
t=0079 ADD_EDGE edge_id=e_5ebb62e9c7fe source=n_1ec8ac8cd0ad edge_type=refutes target=n_b2248fb1a471
t=0080 ADD_EDGE edge_id=e_a7beaae8d8dd source=n_6948a9398634 edge_type=supports target=n_14cd151ec1d5
t=0081 ADD_EDGE edge_id=e_dfe6750c2b45 source=n_27ab9a64f077 edge_type=refutes target=n_84f5ddb6fe81
t=0082 ADD_EDGE edge_id=e_8a022abd5f11 source=n_e5468ffb8d9b edge_type=refutes target=n_4ddf5acc0dc0
t=0083 ADD_EDGE edge_id=e_3d406dc1e2aa source=n_7223f8a14bdc edge_type=supports target=n_d77ba97fd1be
t=0084 ADD_EDGE edge_id=e_33ed95b4117d source=n_a95a9021cdd0 edge_type=refutes target=n_49255bc28257
t=0085 ADD_EDGE edge_id=e_3bcfe8bb6225 source=n_3a58b377913f edge_type=refutes target=n_1f1d45ea8efe
t=0086 ADD_EDGE edge_id=e_55d479297eb1 source=n_36051c0bfc2b edge_type=supports target=n_1ec8ac8cd0ad
t=0087 ADD_EDGE edge_id=e_bb9a956d577d source=n_e5468ffb8d9b edge_type=supports target=n_35aceb546bb5
t=0088 ADD_EDGE edge_id=e_ca21c799267a source=n_1f1d45ea8efe edge_type=supports target=n_f721b0c185ff
t=0089 ADD_EDGE edge_id=e_5c4bc97e5353 source=n_49255bc28257 edge_type=refutes target=n_f2ea5cb59240
t=0090 ADD_EDGE edge_id=e_1c20a8287fa0 source=n_d992fb665921 edge_type=refutes target=n_589e57ec7ac2
t=0091 ADD_EDGE edge_id=e_0fd919631942 source=n_b5b3a6836594 edge_type=refutes target=n_d2e486fa226a
t=0092 ADD_EDGE edge_id=e_2e497071e288 source=n_56763f196560 edge_type=supports target=n_1920a2a3ca5b
t=0093 ADD_EDGE edge_id=e_f179ca2bab28 source=n_db54d0227800 edge_type=refutes target=n_2eb1a63c81f3
t=0094 ADD_EDGE edge_id=e_1eafa878e778 source=n_5c1df9a8a7b6 edge_type=supports target=n_0670c0663546
t=0095 ADD_EDGE edge_id=e_60cc5669b1a1 source=n_56763f196560 edge_type=refutes target=n_8b21a03720c7
t=0096 ADD_EDGE edge_id=e_b89dc83b9525 source=n_f5d10a28c4af edge_type=refutes target=n_970865bb84c7
t=0097 ADD_EDGE edge_id=e_6e05a9f60d4f source=n_24ca71a1f55a edge_type=refutes target=n_d992fb665921
t=0098 ADD_EDGE edge_id=e_79f5a538f39d source=n_36051c0bfc2b edge_type=refutes target=n_7a7681faf821
t=0099 ADD_EDGE edge_id=e_f6858cf30203 source=n_d71bca609498 edge_type=supports target=n_6bf577d76355
t=0100 ADD_EDGE edge_id=e_5dcc2f0a0bd8 source=n_6bf577d76355 edge_type=supports target=n_03b93d64aca1
t=0101 ADD_EDGE edge_id=e_22500c508ffb source=n_235c76dd0997 edge_type=refutes target=n_4aac970fbc97
t=0102 ADD_EDGE edge_id=e_d99387833e1f source=n_f5d10a28c4af edge_type=supports target=n_7280a3aedce9
t=0103 ADD_EDGE edge_id=e_4334d3200058 source=n_1ec8ac8cd0ad edge_type=refutes target=n_29248a7a9d41
t=0104 ADD_EDGE edge_id=e_bdb2bc17084f source=n_d71bca609498 edge_type=refutes target=n_9fe736e4613b
t=0105 ADD_EDGE edge_id=e_ad1ba204a02c source=n_41a7560030d5 edge_type=supports target=n_b5b3a6836594
t=0106 ADD_EDGE edge_id=e_d116fa571bb7 source=n_14cd151ec1d5 edge_type=refutes target=n_41a7560030d5
t=0107 ADD_EDGE edge_id=e_b7ef78213ef5 source=n_35aceb546bb5 edge_type=refutes target=n_db54d0227800
t=0108 ADD_EDGE edge_id=e_9eb4214c2d1b source=n_6bf577d76355 edge_type=supports target=n_6d008d3993d4
t=0109 ADD_EDGE edge_id=e_bc638f6123e0 source=n_901e4e001d79 edge_type=supports target=n_8832f91c2fef
t=0110 ADD_EDGE edge_id=e_2c0d410a84c1 source=n_f2ea5cb59240 edge_type=refutes target=n_2801838e9ba5
t=0111 ADD_EDGE edge_id=e_2e4d923492f4 source=n_d2e486fa226a edge_type=supports target=n_82ca7759dddb
t=0112 ADD_EDGE edge_id=e_04f220e0a7d7 source=n_1ec8ac8cd0ad edge_type=refutes target=n_d777ea8348e3
t=0113 ADD_EDGE edge_id=e_2c733d76d0a9 source=n_d71bca609498 edge_type=refutes target=n_36051c0bfc2b
t=0114 ADD_EDGE edge_id=e_cd10468e9648 source=n_589e57ec7ac2 edge_type=supports target=n_901e4e001d79
t=0115 ADD_EDGE edge_id=e_0062b051ad16 source=n_1f1d45ea8efe edge_type=supports target=n_a95a9021cdd0
t=0116 ADD_EDGE edge_id=e_77f1f9dc1aa2 source=n_62740adbde8c edge_type=refutes target=n_11562ea3ada0
t=0117 ADD_EDGE edge_id=e_e87a227e9a03 source=n_4aac970fbc97 edge_type=supports target=n_56b21a1e26b7
t=0118 ADD_EDGE edge_id=e_50f45c6e80a2 source=n_775bf5400fee edge_type=refutes target=n_3a58b377913f
t=0119 QUERY source=n_56763f196560 target=n_8832f91c2fef
[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_e717331d4af4 node_type=claim
t=0001 CREATE_NODE id=n_37147473421d node_type=claim
t=0002 CREATE_NODE id=n_389a1cb33da1 node_type=claim
t=0003 CREATE_NODE id=n_e97790f20e22 node_type=claim
t=0004 CREATE_NODE id=n_41f32a14d0cc node_type=claim
t=0005 CREATE_NODE id=n_f310b1598c5c node_type=claim
t=0006 CREATE_NODE id=n_d60852128007 node_type=claim
t=0007 CREATE_NODE id=n_e3ec1c130599 node_type=claim
t=0008 CREATE_NODE id=n_57dd935b6e7d node_type=claim
t=0009 CREATE_NODE id=n_763f5fed02dd node_type=claim
t=0010 CREATE_NODE id=n_00dab9d2f003 node_type=claim
t=0011 CREATE_NODE id=n_297071b0aea9 node_type=claim
t=0012 CREATE_NODE id=n_73a6d1d5bebc node_type=claim
t=0013 CREATE_NODE id=n_dbe8740584c5 node_type=claim
t=0014 CREATE_NODE id=n_9757bf27726e node_type=claim
t=0015 CREATE_NODE id=n_4438ca3fbef4 node_type=claim
t=0016 CREATE_NODE id=n_37e5a7f552ef node_type=claim
t=0017 CREATE_NODE id=n_da0acf2a525f node_type=claim
t=0018 CREATE_NODE id=n_857ac8663fd1 node_type=claim
t=0019 CREATE_NODE id=n_b4a505398805 node_type=claim
t=0020 CREATE_NODE id=n_c891a4acb3b4 node_type=claim
t=0021 CREATE_NODE id=n_4b9c1f10ffbd node_type=claim
t=0022 CREATE_NODE id=n_eacbad397f5a node_type=claim
t=0023 CREATE_NODE id=n_f7aefd481fae node_type=claim
t=0024 CREATE_NODE id=n_d4c148797a43 node_type=claim
t=0025 CREATE_NODE id=n_e61adcc3f480 node_type=claim
t=0026 CREATE_NODE id=n_7f0493f4989e node_type=claim
t=0027 CREATE_NODE id=n_63febdd7870a node_type=claim
t=0028 CREATE_NODE id=n_f8da16d4739b node_type=claim
t=0029 CREATE_NODE id=n_69a50d398d66 node_type=claim
t=0030 CREATE_NODE id=n_54dd78fbc678 node_type=claim
t=0031 CREATE_NODE id=n_11f80e5aa14d node_type=claim
t=0032 CREATE_NODE id=n_06f82c5b1c2a node_type=claim
t=0033 CREATE_NODE id=n_b0cdb8bbbeb1 node_type=claim
t=0034 CREATE_NODE id=n_bb39a084c06a node_type=claim
t=0035 CREATE_NODE id=n_d9ae599d9adf node_type=claim
t=0036 CREATE_NODE id=n_e9a03dc8998e node_type=claim
t=0037 CREATE_NODE id=n_c7c11b0e5ac9 node_type=claim
t=0038 CREATE_NODE id=n_ad32c8fa091a node_type=claim
t=0039 CREATE_NODE id=n_1b688101c890 node_type=claim
t=0040 CREATE_NODE id=n_a327e435188e node_type=claim
t=0041 CREATE_NODE id=n_85bc294e11f3 node_type=claim
t=0042 CREATE_NODE id=n_d571f2117d88 node_type=claim
t=0043 CREATE_NODE id=n_421fd556ee58 node_type=claim
t=0044 CREATE_NODE id=n_31d4d2fccb5a node_type=claim
t=0045 CREATE_NODE id=n_27d0c5141d93 node_type=claim
t=0046 CREATE_NODE id=n_761441bbbc85 node_type=claim
t=0047 CREATE_NODE id=n_6a7547df8950 node_type=claim
t=0048 CREATE_NODE id=n_48de4827281a node_type=claim
t=0049 CREATE_NODE id=n_533f1b69443a node_type=claim
t=0050 CREATE_NODE id=n_c4b8b7ebf6fc node_type=claim
t=0051 CREATE_NODE id=n_d8da539b5714 node_type=claim
t=0052 CREATE_NODE id=n_53238fb78e83 node_type=claim
t=0053 CREATE_NODE id=n_61b3a5231012 node_type=claim
t=0054 CREATE_NODE id=n_026c7132169f node_type=claim
t=0055 CREATE_NODE id=n_ef2e438a4fb2 node_type=claim
t=0056 CREATE_NODE id=n_bda0747ae2c9 node_type=claim
t=0057 CREATE_NODE id=n_abfc0f4c71ea node_type=claim
t=0058 CREATE_NODE id=n_33b358cb5c40 node_type=claim
t=0059 CREATE_NODE id=n_a633395ab20e node_type=claim
t=0060 ASSERT_ROOT node=n_c4b8b7ebf6fc value=TRUE
t=0061 ADD_EDGE edge_id=e_63b48e39c7ac source=n_ef2e438a4fb2 edge_type=supports target=n_297071b0aea9
t=0062 ADD_EDGE edge_id=e_878656717504 source=n_e3ec1c130599 edge_type=supports target=n_da0acf2a525f
t=0063 ADD_EDGE edge_id=e_2be600e04104 source=n_e3ec1c130599 edge_type=supports target=n_b4a505398805
t=0064 ADD_EDGE edge_id=e_af5a13359908 source=n_1b688101c890 edge_type=supports target=n_48de4827281a
t=0065 ADD_EDGE edge_id=e_e46f7002653d source=n_6a7547df8950 edge_type=refutes target=n_a633395ab20e
t=0066 ADD_EDGE edge_id=e_6bd87f745c7d source=n_b4a505398805 edge_type=refutes target=n_bda0747ae2c9
t=0067 ADD_EDGE edge_id=e_f5fb38cc7f87 source=n_bda0747ae2c9 edge_type=supports target=n_69a50d398d66
t=0068 ADD_EDGE edge_id=e_efd31f0fb5f4 source=n_761441bbbc85 edge_type=supports target=n_bb39a084c06a
t=0069 ADD_EDGE edge_id=e_f49f4969c9f0 source=n_ef2e438a4fb2 edge_type=supports target=n_31d4d2fccb5a
t=0070 ADD_EDGE edge_id=e_361e3f374f01 source=n_48de4827281a edge_type=supports target=n_54dd78fbc678
t=0071 ADD_EDGE edge_id=e_ec32e501ad0e source=n_b0cdb8bbbeb1 edge_type=supports target=n_06f82c5b1c2a
t=0072 ADD_EDGE edge_id=e_54a8aae7af85 source=n_a633395ab20e edge_type=refutes target=n_dbe8740584c5
t=0073 ADD_EDGE edge_id=e_a5f8301f7b5f source=n_37147473421d edge_type=supports target=n_f7aefd481fae
t=0074 ADD_EDGE edge_id=e_12d2c1e8b672 source=n_06f82c5b1c2a edge_type=refutes target=n_57dd935b6e7d
t=0075 ADD_EDGE edge_id=e_81b938401c7b source=n_ef2e438a4fb2 edge_type=supports target=n_e3ec1c130599
t=0076 ADD_EDGE edge_id=e_9b5a5c0dadcc source=n_e61adcc3f480 edge_type=supports target=n_857ac8663fd1
t=0077 ADD_EDGE edge_id=e_6707a52c42d4 source=n_d571f2117d88 edge_type=refutes target=n_11f80e5aa14d
t=0078 ADD_EDGE edge_id=e_7a7f8ea38293 source=n_d9ae599d9adf edge_type=supports target=n_d4c148797a43
t=0079 ADD_EDGE edge_id=e_c801e620c232 source=n_bb39a084c06a edge_type=refutes target=n_763f5fed02dd
t=0080 ADD_EDGE edge_id=e_b570d50a35eb source=n_e97790f20e22 edge_type=refutes target=n_026c7132169f
t=0081 ADD_EDGE edge_id=e_2a657f3e0018 source=n_33b358cb5c40 edge_type=refutes target=n_e61adcc3f480
t=0082 ADD_EDGE edge_id=e_cfcb877f5ab7 source=n_b0cdb8bbbeb1 edge_type=supports target=n_61b3a5231012
t=0083 ADD_EDGE edge_id=e_48380442da63 source=n_857ac8663fd1 edge_type=refutes target=n_d8da539b5714
t=0084 ADD_EDGE edge_id=e_b21f6f1e597e source=n_421fd556ee58 edge_type=supports target=n_c891a4acb3b4
t=0085 ADD_EDGE edge_id=e_4a8b17016f03 source=n_eacbad397f5a edge_type=refutes target=n_00dab9d2f003
t=0086 ADD_EDGE edge_id=e_0100ff0e76d9 source=n_ef2e438a4fb2 edge_type=refutes target=n_a327e435188e
t=0087 ADD_EDGE edge_id=e_cbda978348e4 source=n_f310b1598c5c edge_type=refutes target=n_9757bf27726e
t=0088 ADD_EDGE edge_id=e_367244420131 source=n_eacbad397f5a edge_type=refutes target=n_ad32c8fa091a
t=0089 ADD_EDGE edge_id=e_c05e60e854dd source=n_c4b8b7ebf6fc edge_type=refutes target=n_4438ca3fbef4
t=0090 ADD_EDGE edge_id=e_4e41296b6d8b source=n_d60852128007 edge_type=supports target=n_6a7547df8950
t=0091 ADD_EDGE edge_id=e_20caddcc6f6a source=n_d4c148797a43 edge_type=refutes target=n_37147473421d
t=0092 ADD_EDGE edge_id=e_4579d5906ae7 source=n_f8da16d4739b edge_type=refutes target=n_53238fb78e83
t=0093 ADD_EDGE edge_id=e_abd20659bd6a source=n_dbe8740584c5 edge_type=supports target=n_37e5a7f552ef
t=0094 ADD_EDGE edge_id=e_0e7027d291e0 source=n_63febdd7870a edge_type=refutes target=n_761441bbbc85
t=0095 ADD_EDGE edge_id=e_dabf61f3362b source=n_d8da539b5714 edge_type=supports target=n_eacbad397f5a
t=0096 ADD_EDGE edge_id=e_d5199ab6d6cc source=n_f7aefd481fae edge_type=supports target=n_33b358cb5c40
t=0097 ADD_EDGE edge_id=e_e57ef214d094 source=n_ef2e438a4fb2 edge_type=supports target=n_e97790f20e22
t=0098 ADD_EDGE edge_id=e_793ab5f7677e source=n_e3ec1c130599 edge_type=refutes target=n_85bc294e11f3
t=0099 ADD_EDGE edge_id=e_a7be0d5d8384 source=n_b4a505398805 edge_type=supports target=n_d571f2117d88
t=0100 ADD_EDGE edge_id=e_f2f17847456d source=n_54dd78fbc678 edge_type=supports target=n_7f0493f4989e
t=0101 ADD_EDGE edge_id=e_5ad1a20a89c2 source=n_53238fb78e83 edge_type=refutes target=n_b0cdb8bbbeb1
t=0102 ADD_EDGE edge_id=e_25f443c9599d source=n_00dab9d2f003 edge_type=supports target=n_f8da16d4739b
t=0103 ADD_EDGE edge_id=e_22899f03d63f source=n_85bc294e11f3 edge_type=supports target=n_41f32a14d0cc
t=0104 ADD_EDGE edge_id=e_675729648cae source=n_b4a505398805 edge_type=refutes target=n_389a1cb33da1
t=0105 ADD_EDGE edge_id=e_9d596ffc97ff source=n_d571f2117d88 edge_type=refutes target=n_27d0c5141d93
t=0106 ADD_EDGE edge_id=e_b157c1cbaeb3 source=n_bda0747ae2c9 edge_type=refutes target=n_63febdd7870a
t=0107 ADD_EDGE edge_id=e_a6d61aa71878 source=n_bda0747ae2c9 edge_type=supports target=n_73a6d1d5bebc
t=0108 ADD_EDGE edge_id=e_68e07bc2c510 source=n_b4a505398805 edge_type=refutes target=n_abfc0f4c71ea
t=0109 ADD_EDGE edge_id=e_ce74e09c37c1 source=n_27d0c5141d93 edge_type=refutes target=n_f310b1598c5c
t=0110 ADD_EDGE edge_id=e_243e95a6087e source=n_c7c11b0e5ac9 edge_type=supports target=n_d60852128007
t=0111 ADD_EDGE edge_id=e_ff4725a01209 source=n_27d0c5141d93 edge_type=refutes target=n_421fd556ee58
t=0112 ADD_EDGE edge_id=e_a01e8b34e915 source=n_11f80e5aa14d edge_type=refutes target=n_533f1b69443a
t=0113 ADD_EDGE edge_id=e_8cff11a35e6d source=n_27d0c5141d93 edge_type=supports target=n_4b9c1f10ffbd
t=0114 ADD_EDGE edge_id=e_3edd405722a3 source=n_4438ca3fbef4 edge_type=supports target=n_d9ae599d9adf
t=0115 ADD_EDGE edge_id=e_c59b133fc1f9 source=n_57dd935b6e7d edge_type=refutes target=n_1b688101c890
t=0116 ADD_EDGE edge_id=e_dc35a658856d source=n_da0acf2a525f edge_type=refutes target=n_e9a03dc8998e
t=0117 ADD_EDGE edge_id=e_c358ce524304 source=n_33b358cb5c40 edge_type=refutes target=n_e717331d4af4
t=0118 ADD_EDGE edge_id=e_7f4bcf3b8181 source=n_7f0493f4989e edge_type=supports target=n_c7c11b0e5ac9
t=0119 QUERY source=n_c4b8b7ebf6fc target=n_dbe8740584c5
[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_6eee218f3ece node_type=claim
t=0001 CREATE_NODE id=n_601aac1a5a72 node_type=claim
t=0002 CREATE_NODE id=n_6fa22ca8f635 node_type=claim
t=0003 CREATE_NODE id=n_118e8c1284b7 node_type=claim
t=0004 CREATE_NODE id=n_c05d6c344f11 node_type=claim
t=0005 CREATE_NODE id=n_a802d9fcf149 node_type=claim
t=0006 CREATE_NODE id=n_f0baf7c27949 node_type=claim
t=0007 CREATE_NODE id=n_b4ffb0dbc900 node_type=claim
t=0008 CREATE_NODE id=n_b03927a327ff node_type=claim
t=0009 CREATE_NODE id=n_67f4142789f5 node_type=claim
t=0010 CREATE_NODE id=n_3b0e108073a0 node_type=claim
t=0011 CREATE_NODE id=n_d0b0998007b8 node_type=claim
t=0012 CREATE_NODE id=n_4fe413e1ea15 node_type=claim
t=0013 CREATE_NODE id=n_6304e032bad8 node_type=claim
t=0014 CREATE_NODE id=n_82fceaedee59 node_type=claim
t=0015 CREATE_NODE id=n_415dd7fae772 node_type=claim
t=0016 CREATE_NODE id=n_2d68e317f8d5 node_type=claim
t=0017 CREATE_NODE id=n_3eaf397d8c47 node_type=claim
t=0018 CREATE_NODE id=n_f917117ce579 node_type=claim
t=0019 CREATE_NODE id=n_768c6bbec49f node_type=claim
t=0020 CREATE_NODE id=n_1f8d43580afc node_type=claim
t=0021 CREATE_NODE id=n_f4f5ab9e5651 node_type=claim
t=0022 CREATE_NODE id=n_1e8ffa2ce17a node_type=claim
t=0023 CREATE_NODE id=n_67f29a02a70d node_type=claim
t=0024 CREATE_NODE id=n_1d50264ff79d node_type=claim
t=0025 CREATE_NODE id=n_0d08b9454ec6 node_type=claim
t=0026 CREATE_NODE id=n_f3388b3b0aba node_type=claim
t=0027 CREATE_NODE id=n_7381415009b6 node_type=claim
t=0028 CREATE_NODE id=n_b8b9f673cf87 node_type=claim
t=0029 CREATE_NODE id=n_cbdc9323d3f8 node_type=claim
t=0030 CREATE_NODE id=n_fec20c07f288 node_type=claim
t=0031 CREATE_NODE id=n_a12b7af643cc node_type=claim
t=0032 CREATE_NODE id=n_8457d00c6934 node_type=claim
t=0033 CREATE_NODE id=n_b1600d58a0c8 node_type=claim
t=0034 CREATE_NODE id=n_98c79582358c node_type=claim
t=0035 CREATE_NODE id=n_8304226d5fc1 node_type=claim
t=0036 CREATE_NODE id=n_e35f2b999b74 node_type=claim
t=0037 CREATE_NODE id=n_9c1585c22168 node_type=claim
t=0038 CREATE_NODE id=n_8204420daa30 node_type=claim
t=0039 CREATE_NODE id=n_6cd5c2f36278 node_type=claim
t=0040 CREATE_NODE id=n_5fa9448ef2cc node_type=claim
t=0041 CREATE_NODE id=n_d0344406b067 node_type=claim
t=0042 CREATE_NODE id=n_b1dfb3d56eb0 node_type=claim
t=0043 CREATE_NODE id=n_141e7865687e node_type=claim
t=0044 CREATE_NODE id=n_b4d650fde98b node_type=claim
t=0045 CREATE_NODE id=n_2705a77854ce node_type=claim
t=0046 CREATE_NODE id=n_a4e620b4624d node_type=claim
t=0047 CREATE_NODE id=n_e33d0c0b7113 node_type=claim
t=0048 CREATE_NODE id=n_e4da411175a3 node_type=claim
t=0049 CREATE_NODE id=n_d0da0a9ef618 node_type=claim
t=0050 CREATE_NODE id=n_b860431c2205 node_type=claim
t=0051 CREATE_NODE id=n_a29d0b683c32 node_type=claim
t=0052 CREATE_NODE id=n_ed722f8ccb22 node_type=claim
t=0053 CREATE_NODE id=n_3e37683bb9c8 node_type=claim
t=0054 CREATE_NODE id=n_cb0242658fb8 node_type=claim
t=0055 CREATE_NODE id=n_8f88e62373f9 node_type=claim
t=0056 CREATE_NODE id=n_4b65b9a215b3 node_type=claim
t=0057 CREATE_NODE id=n_2ddfea4ea3bb node_type=claim
t=0058 CREATE_NODE id=n_36f5234c30c0 node_type=claim
t=0059 CREATE_NODE id=n_207e47de595d node_type=claim
t=0060 CREATE_NODE id=n_4f07cd3e84fc node_type=claim
t=0061 CREATE_NODE id=n_d7c6919b069b node_type=claim
t=0062 ASSERT_ROOT node=n_9c1585c22168 value=TRUE
t=0063 ADD_EDGE edge_id=e_8847a090f11a source=n_a12b7af643cc edge_type=refutes target=n_3eaf397d8c47
t=0064 ADD_EDGE edge_id=e_7f7e3501ffca source=n_6eee218f3ece edge_type=supports target=n_d0da0a9ef618
t=0065 ADD_EDGE edge_id=e_8d489ac99520 source=n_0d08b9454ec6 edge_type=supports target=n_118e8c1284b7
t=0066 ADD_EDGE edge_id=e_19d1cbe107b4 source=n_f4f5ab9e5651 edge_type=supports target=n_b860431c2205
t=0067 ADD_EDGE edge_id=e_0f72d37227b4 source=n_a12b7af643cc edge_type=supports target=n_a29d0b683c32
t=0068 ADD_EDGE edge_id=e_ff8e2b2892a2 source=n_a4e620b4624d edge_type=refutes target=n_b1dfb3d56eb0
t=0069 ADD_EDGE edge_id=e_c3c672e08ca2 source=n_b8b9f673cf87 edge_type=supports target=n_415dd7fae772
t=0070 ADD_EDGE edge_id=e_bcd189348eba source=n_0d08b9454ec6 edge_type=refutes target=n_d7c6919b069b
t=0071 ADD_EDGE edge_id=e_e0c743908413 source=n_141e7865687e edge_type=supports target=n_4f07cd3e84fc
t=0072 ADD_EDGE edge_id=e_b9b829945897 source=n_67f4142789f5 edge_type=supports target=n_a802d9fcf149
t=0073 ADD_EDGE edge_id=e_f99b8a879537 source=n_8304226d5fc1 edge_type=supports target=n_a12b7af643cc
t=0074 ADD_EDGE edge_id=e_7c4cc8464e4a source=n_36f5234c30c0 edge_type=supports target=n_b03927a327ff
t=0075 ADD_EDGE edge_id=e_d784d975ae93 source=n_5fa9448ef2cc edge_type=refutes target=n_b1600d58a0c8
t=0076 ADD_EDGE edge_id=e_755508579c83 source=n_b4ffb0dbc900 edge_type=refutes target=n_e35f2b999b74
t=0077 ADD_EDGE edge_id=e_fd87ac9356d5 source=n_e33d0c0b7113 edge_type=supports target=n_d0b0998007b8
t=0078 ADD_EDGE edge_id=e_d6f076c34023 source=n_98c79582358c edge_type=refutes target=n_d0344406b067
t=0079 ADD_EDGE edge_id=e_1c92fa307a92 source=n_e33d0c0b7113 edge_type=refutes target=n_768c6bbec49f
t=0080 ADD_EDGE edge_id=e_75e9859c56ad source=n_8f88e62373f9 edge_type=supports target=n_4fe413e1ea15
t=0081 ADD_EDGE edge_id=e_cc46943e7182 source=n_f917117ce579 edge_type=supports target=n_207e47de595d
t=0082 ADD_EDGE edge_id=e_f795d0d5a027 source=n_b4d650fde98b edge_type=refutes target=n_6fa22ca8f635
t=0083 ADD_EDGE edge_id=e_527a1c2b6107 source=n_118e8c1284b7 edge_type=supports target=n_f0baf7c27949
t=0084 ADD_EDGE edge_id=e_6856f155a47a source=n_cbdc9323d3f8 edge_type=refutes target=n_6304e032bad8
t=0085 ADD_EDGE edge_id=e_9eea0831a796 source=n_6eee218f3ece edge_type=supports target=n_f4f5ab9e5651
t=0086 ADD_EDGE edge_id=e_d47c6b9e60e0 source=n_601aac1a5a72 edge_type=refutes target=n_8457d00c6934
t=0087 ADD_EDGE edge_id=e_87ef5306ddc2 source=n_118e8c1284b7 edge_type=supports target=n_1f8d43580afc
t=0088 ADD_EDGE edge_id=e_91b1ce355135 source=n_601aac1a5a72 edge_type=refutes target=n_6eee218f3ece
t=0089 ADD_EDGE edge_id=e_5d77c602ff31 source=n_a12b7af643cc edge_type=supports target=n_f3388b3b0aba
t=0090 ADD_EDGE edge_id=e_4c6718d99772 source=n_4fe413e1ea15 edge_type=refutes target=n_36f5234c30c0
t=0091 ADD_EDGE edge_id=e_ee2cbad419f8 source=n_3b0e108073a0 edge_type=refutes target=n_8204420daa30
t=0092 ADD_EDGE edge_id=e_1213916a4df1 source=n_601aac1a5a72 edge_type=refutes target=n_e33d0c0b7113
t=0093 ADD_EDGE edge_id=e_681cd7fb19f7 source=n_207e47de595d edge_type=refutes target=n_a4e620b4624d
t=0094 ADD_EDGE edge_id=e_ba79f4e482bc source=n_b8b9f673cf87 edge_type=supports target=n_b4d650fde98b
t=0095 ADD_EDGE edge_id=e_de9ff9d4ac82 source=n_9c1585c22168 edge_type=refutes target=n_1e8ffa2ce17a
t=0096 ADD_EDGE edge_id=e_4d5090a26d68 source=n_f4f5ab9e5651 edge_type=supports target=n_c05d6c344f11
t=0097 ADD_EDGE edge_id=e_fee233e16649 source=n_d0344406b067 edge_type=refutes target=n_67f4142789f5
t=0098 ADD_EDGE edge_id=e_1191e95368e4 source=n_601aac1a5a72 edge_type=refutes target=n_0d08b9454ec6
t=0099 ADD_EDGE edge_id=e_974dc1540f80 source=n_36f5234c30c0 edge_type=supports target=n_4b65b9a215b3
t=0100 ADD_EDGE edge_id=e_e9acea4d2d75 source=n_cb0242658fb8 edge_type=refutes target=n_141e7865687e
t=0101 ADD_EDGE edge_id=e_0cc2a2902b24 source=n_1e8ffa2ce17a edge_type=refutes target=n_cbdc9323d3f8
t=0102 ADD_EDGE edge_id=e_bdbf96c7b828 source=n_768c6bbec49f edge_type=supports target=n_2ddfea4ea3bb
t=0103 ADD_EDGE edge_id=e_9201a56fbf26 source=n_6eee218f3ece edge_type=refutes target=n_2d68e317f8d5
t=0104 ADD_EDGE edge_id=e_fc88f1e01651 source=n_415dd7fae772 edge_type=supports target=n_7381415009b6
t=0105 ADD_EDGE edge_id=e_d5837ea43fd0 source=n_a802d9fcf149 edge_type=refutes target=n_f917117ce579
t=0106 ADD_EDGE edge_id=e_e40e05bcd0bb source=n_4b65b9a215b3 edge_type=refutes target=n_cb0242658fb8
t=0107 ADD_EDGE edge_id=e_9c0b0a54f979 source=n_4f07cd3e84fc edge_type=supports target=n_6cd5c2f36278
t=0108 ADD_EDGE edge_id=e_e7766d71fbac source=n_6304e032bad8 edge_type=supports target=n_8304226d5fc1
t=0109 ADD_EDGE edge_id=e_047c1b4ace16 source=n_415dd7fae772 edge_type=supports target=n_3e37683bb9c8
t=0110 ADD_EDGE edge_id=e_df7952452c1b source=n_e33d0c0b7113 edge_type=refutes target=n_b4ffb0dbc900
t=0111 ADD_EDGE edge_id=e_f73900de5499 source=n_e4da411175a3 edge_type=refutes target=n_5fa9448ef2cc
t=0112 ADD_EDGE edge_id=e_7a8bf90a79ca source=n_cb0242658fb8 edge_type=supports target=n_ed722f8ccb22
t=0113 ADD_EDGE edge_id=e_cf7c77aa022f source=n_6eee218f3ece edge_type=refutes target=n_1d50264ff79d
t=0114 ADD_EDGE edge_id=e_6af09d00d40b source=n_6cd5c2f36278 edge_type=refutes target=n_e4da411175a3
t=0115 ADD_EDGE edge_id=e_75d896025f6e source=n_e33d0c0b7113 edge_type=refutes target=n_b8b9f673cf87
t=0116 ADD_EDGE edge_id=e_d688dc41e89f source=n_3eaf397d8c47 edge_type=supports target=n_fec20c07f288
t=0117 ADD_EDGE edge_id=e_f605873df478 source=n_fec20c07f288 edge_type=supports target=n_8f88e62373f9
t=0118 ADD_EDGE edge_id=e_29eb02157302 source=n_8204420daa30 edge_type=refutes target=n_82fceaedee59
t=0119 ADD_EDGE edge_id=e_833b63a06266 source=n_b1600d58a0c8 edge_type=refutes target=n_98c79582358c
t=0120 ADD_EDGE edge_id=e_d61f692cd6ba source=n_b4d650fde98b edge_type=supports target=n_67f29a02a70d
t=0121 ADD_EDGE edge_id=e_2d52829864a1 source=n_b4d650fde98b edge_type=supports target=n_3b0e108073a0
t=0122 ADD_EDGE edge_id=e_09ee1af4412a source=n_f4f5ab9e5651 edge_type=supports target=n_2705a77854ce
t=0123 QUERY source=n_9c1585c22168 target=n_b1dfb3d56eb0
[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_fe70b027e04a node_type=claim
t=0001 CREATE_NODE id=n_daf827f6f508 node_type=claim
t=0002 CREATE_NODE id=n_f4ae6c8fc284 node_type=claim
t=0003 CREATE_NODE id=n_10cd9281d4c3 node_type=claim
t=0004 CREATE_NODE id=n_f85d1ae3527f node_type=claim
t=0005 CREATE_NODE id=n_f4414435066f node_type=claim
t=0006 CREATE_NODE id=n_fad3480be7c3 node_type=claim
t=0007 CREATE_NODE id=n_842b619fb33b node_type=claim
t=0008 CREATE_NODE id=n_2336f0920bb0 node_type=claim
t=0009 CREATE_NODE id=n_c2bed05774bf node_type=claim
t=0010 CREATE_NODE id=n_4e3323d9b51c node_type=claim
t=0011 CREATE_NODE id=n_53b851a1e864 node_type=claim
t=0012 CREATE_NODE id=n_043f0d3ef76a node_type=claim
t=0013 CREATE_NODE id=n_cf6b6795bad4 node_type=claim
t=0014 CREATE_NODE id=n_73071bc12ed6 node_type=claim
t=0015 CREATE_NODE id=n_edad63a3ac0e node_type=claim
t=0016 CREATE_NODE id=n_45f9560a38c8 node_type=claim
t=0017 CREATE_NODE id=n_455e1f20f9e0 node_type=claim
t=0018 CREATE_NODE id=n_88184ec8929f node_type=claim
t=0019 CREATE_NODE id=n_c0b58607d527 node_type=claim
t=0020 CREATE_NODE id=n_c83d2e2ec443 node_type=claim
t=0021 CREATE_NODE id=n_ecd139317f40 node_type=claim
t=0022 CREATE_NODE id=n_01b7845dc716 node_type=claim
t=0023 CREATE_NODE id=n_e6d0c820951a node_type=claim
t=0024 CREATE_NODE id=n_8b37484636d5 node_type=claim
t=0025 CREATE_NODE id=n_358689f72434 node_type=claim
t=0026 CREATE_NODE id=n_997e581c86ad node_type=claim
t=0027 CREATE_NODE id=n_efa267945fbf node_type=claim
t=0028 CREATE_NODE id=n_3fb2a4994402 node_type=claim
t=0029 CREATE_NODE id=n_1ae3b418ee56 node_type=claim
t=0030 CREATE_NODE id=n_7d49d212f114 node_type=claim
t=0031 CREATE_NODE id=n_b4caaaf5bc8b node_type=claim
t=0032 CREATE_NODE id=n_fd6bf7f522a7 node_type=claim
t=0033 CREATE_NODE id=n_fe0a50c9f273 node_type=claim
t=0034 CREATE_NODE id=n_bb6ef270f39a node_type=claim
t=0035 CREATE_NODE id=n_2285c51c03a0 node_type=claim
t=0036 CREATE_NODE id=n_bc57ce9cc3aa node_type=claim
t=0037 CREATE_NODE id=n_d1a90b4f4d47 node_type=claim
t=0038 CREATE_NODE id=n_118e4b62fdba node_type=claim
t=0039 CREATE_NODE id=n_9b0f32dbb1e7 node_type=claim
t=0040 CREATE_NODE id=n_826a66633c33 node_type=claim
t=0041 CREATE_NODE id=n_85449491bed7 node_type=claim
t=0042 CREATE_NODE id=n_414f8fdd078a node_type=claim
t=0043 CREATE_NODE id=n_0d0867e12c17 node_type=claim
t=0044 CREATE_NODE id=n_65b259187ac2 node_type=claim
t=0045 CREATE_NODE id=n_a94e94bc1800 node_type=claim
t=0046 CREATE_NODE id=n_9d725dcdaa75 node_type=claim
t=0047 CREATE_NODE id=n_94e139a5e1de node_type=claim
t=0048 CREATE_NODE id=n_8f30ca9d7353 node_type=claim
t=0049 CREATE_NODE id=n_bceb048591f8 node_type=claim
t=0050 CREATE_NODE id=n_653942d5ff25 node_type=claim
t=0051 CREATE_NODE id=n_2e74cb739d38 node_type=claim
t=0052 CREATE_NODE id=n_dfe2ff8166cd node_type=claim
t=0053 CREATE_NODE id=n_2841caefe623 node_type=claim
t=0054 CREATE_NODE id=n_d8fddf2831d9 node_type=claim
t=0055 CREATE_NODE id=n_92254e26b39d node_type=claim
t=0056 CREATE_NODE id=n_7c99a0f5777a node_type=claim
t=0057 CREATE_NODE id=n_440534af77d4 node_type=claim
t=0058 CREATE_NODE id=n_8128fa12b52e node_type=claim
t=0059 CREATE_NODE id=n_85ee15ea6c87 node_type=claim
t=0060 CREATE_NODE id=n_734e7f181595 node_type=claim
t=0061 CREATE_NODE id=n_fc5c016bd7a5 node_type=claim
t=0062 ASSERT_ROOT node=n_d1a90b4f4d47 value=FALSE
t=0063 ADD_EDGE edge_id=e_85b409720dfb source=n_92254e26b39d edge_type=refutes target=n_f4ae6c8fc284
t=0064 ADD_EDGE edge_id=e_bb497660cd5d source=n_2285c51c03a0 edge_type=refutes target=n_440534af77d4
t=0065 ADD_EDGE edge_id=e_fd79a96b6a40 source=n_9d725dcdaa75 edge_type=refutes target=n_c0b58607d527
t=0066 ADD_EDGE edge_id=e_02470ff9c9c8 source=n_f85d1ae3527f edge_type=supports target=n_bc57ce9cc3aa
t=0067 ADD_EDGE edge_id=e_acd47a409c69 source=n_3fb2a4994402 edge_type=supports target=n_ecd139317f40
t=0068 ADD_EDGE edge_id=e_9ba6631bfe57 source=n_bb6ef270f39a edge_type=supports target=n_1ae3b418ee56
t=0069 ADD_EDGE edge_id=e_f90bb61845ca source=n_b4caaaf5bc8b edge_type=supports target=n_53b851a1e864
t=0070 ADD_EDGE edge_id=e_363d4320e066 source=n_118e4b62fdba edge_type=supports target=n_358689f72434
t=0071 ADD_EDGE edge_id=e_e0ef3d6cf3f6 source=n_2e74cb739d38 edge_type=supports target=n_01b7845dc716
t=0072 ADD_EDGE edge_id=e_95b47fa61874 source=n_414f8fdd078a edge_type=supports target=n_8128fa12b52e
t=0073 ADD_EDGE edge_id=e_7bfd7e3acf4c source=n_7c99a0f5777a edge_type=supports target=n_455e1f20f9e0
t=0074 ADD_EDGE edge_id=e_78aba2699d65 source=n_85449491bed7 edge_type=refutes target=n_0d0867e12c17
t=0075 ADD_EDGE edge_id=e_867a3c86dfaf source=n_bceb048591f8 edge_type=supports target=n_fad3480be7c3
t=0076 ADD_EDGE edge_id=e_657ed6a32aee source=n_c83d2e2ec443 edge_type=supports target=n_9d725dcdaa75
t=0077 ADD_EDGE edge_id=e_9295f0195372 source=n_997e581c86ad edge_type=supports target=n_94e139a5e1de
t=0078 ADD_EDGE edge_id=e_77e47eed7fbd source=n_b4caaaf5bc8b edge_type=refutes target=n_414f8fdd078a
t=0079 ADD_EDGE edge_id=e_07802a887ce3 source=n_997e581c86ad edge_type=refutes target=n_e6d0c820951a
t=0080 ADD_EDGE edge_id=e_47cd6b8d6710 source=n_b4caaaf5bc8b edge_type=refutes target=n_7c99a0f5777a
t=0081 ADD_EDGE edge_id=e_773644f071ea source=n_826a66633c33 edge_type=refutes target=n_f85d1ae3527f
t=0082 ADD_EDGE edge_id=e_c79e18db4c5d source=n_f4ae6c8fc284 edge_type=refutes target=n_734e7f181595
t=0083 ADD_EDGE edge_id=e_7ac78f5aade3 source=n_b4caaaf5bc8b edge_type=supports target=n_c83d2e2ec443
t=0084 ADD_EDGE edge_id=e_3bf848be846b source=n_fc5c016bd7a5 edge_type=supports target=n_842b619fb33b
t=0085 ADD_EDGE edge_id=e_f9581f23b99a source=n_043f0d3ef76a edge_type=refutes target=n_118e4b62fdba
t=0086 ADD_EDGE edge_id=e_6da728759a71 source=n_01b7845dc716 edge_type=supports target=n_043f0d3ef76a
t=0087 ADD_EDGE edge_id=e_537005efb284 source=n_10cd9281d4c3 edge_type=refutes target=n_826a66633c33
t=0088 ADD_EDGE edge_id=e_e02c89551cdb source=n_fad3480be7c3 edge_type=refutes target=n_2e74cb739d38
t=0089 ADD_EDGE edge_id=e_9a920e1134c3 source=n_118e4b62fdba edge_type=refutes target=n_85449491bed7
t=0090 ADD_EDGE edge_id=e_981e7cd892f2 source=n_997e581c86ad edge_type=supports target=n_efa267945fbf
t=0091 ADD_EDGE edge_id=e_f3461dcf0ed5 source=n_414f8fdd078a edge_type=refutes target=n_2285c51c03a0
t=0092 ADD_EDGE edge_id=e_126b51a669de source=n_d8fddf2831d9 edge_type=supports target=n_3fb2a4994402
t=0093 ADD_EDGE edge_id=e_e2e3cf35f079 source=n_2336f0920bb0 edge_type=refutes target=n_dfe2ff8166cd
t=0094 ADD_EDGE edge_id=e_47577cf3a948 source=n_b4caaaf5bc8b edge_type=supports target=n_997e581c86ad
t=0095 ADD_EDGE edge_id=e_e2b21408f4ed source=n_65b259187ac2 edge_type=supports target=n_a94e94bc1800
t=0096 ADD_EDGE edge_id=e_d50007100258 source=n_734e7f181595 edge_type=supports target=n_45f9560a38c8
t=0097 ADD_EDGE edge_id=e_5bea72dadbb9 source=n_9d725dcdaa75 edge_type=supports target=n_edad63a3ac0e
t=0098 ADD_EDGE edge_id=e_5d6d24886c18 source=n_997e581c86ad edge_type=supports target=n_fe0a50c9f273
t=0099 ADD_EDGE edge_id=e_026ed8e35f93 source=n_0d0867e12c17 edge_type=refutes target=n_f4414435066f
t=0100 ADD_EDGE edge_id=e_bae188eeaafe source=n_f4414435066f edge_type=refutes target=n_cf6b6795bad4
t=0101 ADD_EDGE edge_id=e_abaf1ff73757 source=n_dfe2ff8166cd edge_type=supports target=n_92254e26b39d
t=0102 ADD_EDGE edge_id=e_894558bba4bc source=n_414f8fdd078a edge_type=refutes target=n_65b259187ac2
t=0103 ADD_EDGE edge_id=e_efbc25987f4f source=n_826a66633c33 edge_type=supports target=n_9b0f32dbb1e7
t=0104 ADD_EDGE edge_id=e_ecd7282945ea source=n_bc57ce9cc3aa edge_type=refutes target=n_2841caefe623
t=0105 ADD_EDGE edge_id=e_fa2521d31739 source=n_88184ec8929f edge_type=supports target=n_2336f0920bb0
t=0106 ADD_EDGE edge_id=e_ef3530453eb6 source=n_455e1f20f9e0 edge_type=refutes target=n_85ee15ea6c87
t=0107 ADD_EDGE edge_id=e_5cb3ab275da6 source=n_fd6bf7f522a7 edge_type=supports target=n_653942d5ff25
t=0108 ADD_EDGE edge_id=e_1eabe06befa4 source=n_cf6b6795bad4 edge_type=supports target=n_73071bc12ed6
t=0109 ADD_EDGE edge_id=e_6c53c941d948 source=n_45f9560a38c8 edge_type=refutes target=n_d8fddf2831d9
t=0110 ADD_EDGE edge_id=e_82b43b08fa03 source=n_fe0a50c9f273 edge_type=refutes target=n_fd6bf7f522a7
t=0111 ADD_EDGE edge_id=e_b4db772c3af1 source=n_455e1f20f9e0 edge_type=refutes target=n_fc5c016bd7a5
t=0112 ADD_EDGE edge_id=e_cf32b2120157 source=n_118e4b62fdba edge_type=refutes target=n_4e3323d9b51c
t=0113 ADD_EDGE edge_id=e_adc247faa0bf source=n_edad63a3ac0e edge_type=supports target=n_bb6ef270f39a
t=0114 ADD_EDGE edge_id=e_cb90195fb10a source=n_fd6bf7f522a7 edge_type=refutes target=n_8b37484636d5
t=0115 ADD_EDGE edge_id=e_5d83bd7c45c7 source=n_73071bc12ed6 edge_type=refutes target=n_10cd9281d4c3
t=0116 ADD_EDGE edge_id=e_e4608b805cb2 source=n_d1a90b4f4d47 edge_type=refutes target=n_bceb048591f8
t=0117 ADD_EDGE edge_id=e_f6353e106ec2 source=n_8128fa12b52e edge_type=supports target=n_7d49d212f114
t=0118 ADD_EDGE edge_id=e_7dc52c3192f2 source=n_c0b58607d527 edge_type=refutes target=n_daf827f6f508
t=0119 ADD_EDGE edge_id=e_5b6a037a9cf4 source=n_bb6ef270f39a edge_type=refutes target=n_c2bed05774bf
t=0120 ADD_EDGE edge_id=e_aa434e6e31e9 source=n_2841caefe623 edge_type=supports target=n_88184ec8929f
t=0121 ADD_EDGE edge_id=e_5d7991587ad8 source=n_fc5c016bd7a5 edge_type=supports target=n_fe70b027e04a
t=0122 ADD_EDGE edge_id=e_546afaef4339 source=n_92254e26b39d edge_type=refutes target=n_8f30ca9d7353
t=0123 QUERY source=n_d1a90b4f4d47 target=n_ecd139317f40
[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_033a2f7bf585 node_type=claim
t=0001 CREATE_NODE id=n_234fe1e97cd1 node_type=claim
t=0002 CREATE_NODE id=n_cddc0b3d8c45 node_type=claim
t=0003 CREATE_NODE id=n_c96ebb4cdde5 node_type=claim
t=0004 CREATE_NODE id=n_b3b1dfb9116a node_type=claim
t=0005 CREATE_NODE id=n_aa6a3adb11a4 node_type=claim
t=0006 CREATE_NODE id=n_5d2dde25a17f node_type=claim
t=0007 CREATE_NODE id=n_d352d4c0fefd node_type=claim
t=0008 CREATE_NODE id=n_166982d387b8 node_type=claim
t=0009 CREATE_NODE id=n_ec603cdd8b18 node_type=claim
t=0010 CREATE_NODE id=n_ac25ac7d6f02 node_type=claim
t=0011 CREATE_NODE id=n_a3d55154bd48 node_type=claim
t=0012 CREATE_NODE id=n_de7c367c3415 node_type=claim
t=0013 CREATE_NODE id=n_f315c97f9c36 node_type=claim
t=0014 CREATE_NODE id=n_86d26bcdd96c node_type=claim
t=0015 CREATE_NODE id=n_c7fe4d74c0d3 node_type=claim
t=0016 CREATE_NODE id=n_2b9666c2e0eb node_type=claim
t=0017 CREATE_NODE id=n_f51f5fd669ad node_type=claim
t=0018 CREATE_NODE id=n_5a07612b2d13 node_type=claim
t=0019 CREATE_NODE id=n_1a1f321b801a node_type=claim
t=0020 CREATE_NODE id=n_09baf5a4efb6 node_type=claim
t=0021 CREATE_NODE id=n_0e92b43f7a8f node_type=claim
t=0022 CREATE_NODE id=n_8cea6f353b49 node_type=claim
t=0023 CREATE_NODE id=n_cf1787421ec1 node_type=claim
t=0024 CREATE_NODE id=n_ed7649e18e43 node_type=claim
t=0025 CREATE_NODE id=n_6e336b6c3716 node_type=claim
t=0026 CREATE_NODE id=n_53a53dba3d51 node_type=claim
t=0027 CREATE_NODE id=n_9c0ceb20c684 node_type=claim
t=0028 CREATE_NODE id=n_02bbbe0cc53e node_type=claim
t=0029 CREATE_NODE id=n_018a1d9f3589 node_type=claim
t=0030 CREATE_NODE id=n_120391401e12 node_type=claim
t=0031 CREATE_NODE id=n_966b6c8fbab5 node_type=claim
t=0032 CREATE_NODE id=n_40655f5a6eb2 node_type=claim
t=0033 CREATE_NODE id=n_f806341a9e48 node_type=claim
t=0034 CREATE_NODE id=n_336ae9b4d99c node_type=claim
t=0035 CREATE_NODE id=n_4748fdbd75d1 node_type=claim
t=0036 CREATE_NODE id=n_5dee8e9aeed9 node_type=claim
t=0037 CREATE_NODE id=n_e33f89f895c7 node_type=claim
t=0038 CREATE_NODE id=n_5c488d5d5020 node_type=claim
t=0039 CREATE_NODE id=n_00bcc04c548c node_type=claim
t=0040 CREATE_NODE id=n_6315fba4f8f6 node_type=claim
t=0041 CREATE_NODE id=n_576589b4b833 node_type=claim
t=0042 CREATE_NODE id=n_010923a8132b node_type=claim
t=0043 CREATE_NODE id=n_90964a38d873 node_type=claim
t=0044 CREATE_NODE id=n_ef7a561a92bc node_type=claim
t=0045 CREATE_NODE id=n_909672c8fe5b node_type=claim
t=0046 CREATE_NODE id=n_2d8cf55cc9b7 node_type=claim
t=0047 CREATE_NODE id=n_1425237cf5d1 node_type=claim
t=0048 CREATE_NODE id=n_246ecdc6d09d node_type=claim
t=0049 CREATE_NODE id=n_0b6d440adae0 node_type=claim
t=0050 CREATE_NODE id=n_5aad2b2180b1 node_type=claim
t=0051 CREATE_NODE id=n_6cd6b887f512 node_type=claim
t=0052 CREATE_NODE id=n_212a44d11cc1 node_type=claim
t=0053 CREATE_NODE id=n_24d1a3682695 node_type=claim
t=0054 CREATE_NODE id=n_cacbc2a00767 node_type=claim
t=0055 CREATE_NODE id=n_9548869c0555 node_type=claim
t=0056 CREATE_NODE id=n_b10ff7e2b6cf node_type=claim
t=0057 CREATE_NODE id=n_f2e1b3299965 node_type=claim
t=0058 CREATE_NODE id=n_be3fc3b14d87 node_type=claim
t=0059 CREATE_NODE id=n_72c1dc6d73ec node_type=claim
t=0060 CREATE_NODE id=n_3300e538166b node_type=claim
t=0061 CREATE_NODE id=n_49612c075d03 node_type=claim
t=0062 ASSERT_ROOT node=n_00bcc04c548c value=TRUE
t=0063 ADD_EDGE edge_id=e_911cad23c1ad source=n_cacbc2a00767 edge_type=supports target=n_cddc0b3d8c45
t=0064 ADD_EDGE edge_id=e_c18ba6d777e0 source=n_f315c97f9c36 edge_type=refutes target=n_ac25ac7d6f02
t=0065 ADD_EDGE edge_id=e_e143835fbe99 source=n_010923a8132b edge_type=refutes target=n_909672c8fe5b
t=0066 ADD_EDGE edge_id=e_d93ae22d51cd source=n_2d8cf55cc9b7 edge_type=supports target=n_0b6d440adae0
t=0067 ADD_EDGE edge_id=e_5e66e6d95b3f source=n_2d8cf55cc9b7 edge_type=supports target=n_1a1f321b801a
t=0068 ADD_EDGE edge_id=e_7c40c2a864ea source=n_2d8cf55cc9b7 edge_type=supports target=n_f51f5fd669ad
t=0069 ADD_EDGE edge_id=e_565f86cee025 source=n_2b9666c2e0eb edge_type=refutes target=n_ed7649e18e43
t=0070 ADD_EDGE edge_id=e_3fbacb344506 source=n_00bcc04c548c edge_type=supports target=n_5aad2b2180b1
t=0071 ADD_EDGE edge_id=e_b668a3f44020 source=n_cacbc2a00767 edge_type=supports target=n_e33f89f895c7
t=0072 ADD_EDGE edge_id=e_1d6f34bec605 source=n_0e92b43f7a8f edge_type=refutes target=n_f806341a9e48
t=0073 ADD_EDGE edge_id=e_d4df3d716605 source=n_6cd6b887f512 edge_type=supports target=n_966b6c8fbab5
t=0074 ADD_EDGE edge_id=e_6efcb8dba9d0 source=n_010923a8132b edge_type=supports target=n_f2e1b3299965
t=0075 ADD_EDGE edge_id=e_6ade9551d38c source=n_6cd6b887f512 edge_type=refutes target=n_2b9666c2e0eb
t=0076 ADD_EDGE edge_id=e_b4d27302850c source=n_cf1787421ec1 edge_type=supports target=n_d352d4c0fefd
t=0077 ADD_EDGE edge_id=e_593e1229ca15 source=n_6cd6b887f512 edge_type=supports target=n_120391401e12
t=0078 ADD_EDGE edge_id=e_fc979c39f647 source=n_b3b1dfb9116a edge_type=refutes target=n_5c488d5d5020
t=0079 ADD_EDGE edge_id=e_055bd5fd4adf source=n_24d1a3682695 edge_type=supports target=n_576589b4b833
t=0080 ADD_EDGE edge_id=e_89e110c02c36 source=n_120391401e12 edge_type=refutes target=n_4748fdbd75d1
t=0081 ADD_EDGE edge_id=e_3326bdffb015 source=n_e33f89f895c7 edge_type=refutes target=n_b3b1dfb9116a
t=0082 ADD_EDGE edge_id=e_b97416a438e4 source=n_336ae9b4d99c edge_type=refutes target=n_b10ff7e2b6cf
t=0083 ADD_EDGE edge_id=e_b9a8754c9290 source=n_90964a38d873 edge_type=refutes target=n_0e92b43f7a8f
t=0084 ADD_EDGE edge_id=e_bebf5af6d7bb source=n_0b6d440adae0 edge_type=refutes target=n_de7c367c3415
t=0085 ADD_EDGE edge_id=e_bee863ae4ad2 source=n_a3d55154bd48 edge_type=refutes target=n_010923a8132b
t=0086 ADD_EDGE edge_id=e_6f548eb0b53b source=n_72c1dc6d73ec edge_type=refutes target=n_336ae9b4d99c
t=0087 ADD_EDGE edge_id=e_2668b01ff95f source=n_9c0ceb20c684 edge_type=refutes target=n_cacbc2a00767
t=0088 ADD_EDGE edge_id=e_1cfd44ea63b2 source=n_120391401e12 edge_type=refutes target=n_5a07612b2d13
t=0089 ADD_EDGE edge_id=e_d2436421a4f2 source=n_166982d387b8 edge_type=supports target=n_6e336b6c3716
t=0090 ADD_EDGE edge_id=e_919f56741da1 source=n_cf1787421ec1 edge_type=supports target=n_ef7a561a92bc
t=0091 ADD_EDGE edge_id=e_0f07c0340a00 source=n_b10ff7e2b6cf edge_type=refutes target=n_5dee8e9aeed9
t=0092 ADD_EDGE edge_id=e_b955a16eb1ed source=n_5c488d5d5020 edge_type=refutes target=n_c7fe4d74c0d3
t=0093 ADD_EDGE edge_id=e_7551cf074929 source=n_be3fc3b14d87 edge_type=supports target=n_90964a38d873
t=0094 ADD_EDGE edge_id=e_382979568eb9 source=n_53a53dba3d51 edge_type=supports target=n_c96ebb4cdde5
t=0095 ADD_EDGE edge_id=e_96d4e313eca5 source=n_6cd6b887f512 edge_type=refutes target=n_53a53dba3d51
t=0096 ADD_EDGE edge_id=e_792844957832 source=n_53a53dba3d51 edge_type=refutes target=n_09baf5a4efb6
t=0097 ADD_EDGE edge_id=e_73b77ae12b56 source=n_2b9666c2e0eb edge_type=refutes target=n_cf1787421ec1
t=0098 ADD_EDGE edge_id=e_6976817dd79c source=n_966b6c8fbab5 edge_type=refutes target=n_aa6a3adb11a4
t=0099 ADD_EDGE edge_id=e_48f35799e957 source=n_86d26bcdd96c edge_type=refutes target=n_6315fba4f8f6
t=0100 ADD_EDGE edge_id=e_a2dd6102f7e9 source=n_f806341a9e48 edge_type=supports target=n_02bbbe0cc53e
t=0101 ADD_EDGE edge_id=e_1c8cc7eac7af source=n_166982d387b8 edge_type=refutes target=n_033a2f7bf585
t=0102 ADD_EDGE edge_id=e_a95a7e9b1ea9 source=n_24d1a3682695 edge_type=supports target=n_234fe1e97cd1
t=0103 ADD_EDGE edge_id=e_2d954795bf03 source=n_2d8cf55cc9b7 edge_type=supports target=n_212a44d11cc1
t=0104 ADD_EDGE edge_id=e_00f5ca0d9c05 source=n_5dee8e9aeed9 edge_type=refutes target=n_be3fc3b14d87
t=0105 ADD_EDGE edge_id=e_d63d1d389d94 source=n_aa6a3adb11a4 edge_type=supports target=n_166982d387b8
t=0106 ADD_EDGE edge_id=e_6a68cdf7717d source=n_02bbbe0cc53e edge_type=supports target=n_246ecdc6d09d
t=0107 ADD_EDGE edge_id=e_ffeabf7f7a03 source=n_aa6a3adb11a4 edge_type=supports target=n_f315c97f9c36
t=0108 ADD_EDGE edge_id=e_bfa966b8242e source=n_5aad2b2180b1 edge_type=supports target=n_018a1d9f3589
t=0109 ADD_EDGE edge_id=e_ea15ce8c671b source=n_966b6c8fbab5 edge_type=supports target=n_2d8cf55cc9b7
t=0110 ADD_EDGE edge_id=e_4902ecc95eee source=n_b3b1dfb9116a edge_type=supports target=n_49612c075d03
t=0111 ADD_EDGE edge_id=e_2a4bb1222d99 source=n_6cd6b887f512 edge_type=supports target=n_40655f5a6eb2
t=0112 ADD_EDGE edge_id=e_1c1336c96005 source=n_909672c8fe5b edge_type=refutes target=n_5d2dde25a17f
t=0113 ADD_EDGE edge_id=e_269509396c2e source=n_246ecdc6d09d edge_type=refutes target=n_24d1a3682695
t=0114 ADD_EDGE edge_id=e_129abf331262 source=n_f315c97f9c36 edge_type=supports target=n_3300e538166b
t=0115 ADD_EDGE edge_id=e_4078c51add03 source=n_234fe1e97cd1 edge_type=refutes target=n_a3d55154bd48
t=0116 ADD_EDGE edge_id=e_b37e5a080153 source=n_ec603cdd8b18 edge_type=supports target=n_8cea6f353b49
t=0117 ADD_EDGE edge_id=e_afa0f9dabc0f source=n_166982d387b8 edge_type=supports target=n_9548869c0555
t=0118 ADD_EDGE edge_id=e_e2ad6d065c43 source=n_6315fba4f8f6 edge_type=refutes target=n_72c1dc6d73ec
t=0119 ADD_EDGE edge_id=e_30a8e1fa5be7 source=n_018a1d9f3589 edge_type=refutes target=n_86d26bcdd96c
t=0120 ADD_EDGE edge_id=e_01f8f53dec52 source=n_f51f5fd669ad edge_type=refutes target=n_ec603cdd8b18
t=0121 ADD_EDGE edge_id=e_da382427d720 source=n_f51f5fd669ad edge_type=supports target=n_1425237cf5d1
t=0122 ADD_EDGE edge_id=e_72cc8e9dbaa9 source=n_5d2dde25a17f edge_type=supports target=n_9c0ceb20c684
t=0123 QUERY source=n_00bcc04c548c target=n_c7fe4d74c0d3
[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_dc7979787b59 node_type=claim
t=0001 CREATE_NODE id=n_859c4f7c4af4 node_type=claim
t=0002 CREATE_NODE id=n_be1cf838c497 node_type=claim
t=0003 CREATE_NODE id=n_4f006072f8cf node_type=claim
t=0004 CREATE_NODE id=n_b1bb14a14818 node_type=claim
t=0005 CREATE_NODE id=n_c39ded596d46 node_type=claim
t=0006 CREATE_NODE id=n_8226d2bcd24e node_type=claim
t=0007 CREATE_NODE id=n_5c1639a4f0eb node_type=claim
t=0008 CREATE_NODE id=n_ff28072b8ad4 node_type=claim
t=0009 CREATE_NODE id=n_e335f24ad861 node_type=claim
t=0010 CREATE_NODE id=n_8fd46616a69c node_type=claim
t=0011 CREATE_NODE id=n_858473e5e071 node_type=claim
t=0012 CREATE_NODE id=n_1967500737d1 node_type=claim
t=0013 CREATE_NODE id=n_e35e5f7a667c node_type=claim
t=0014 CREATE_NODE id=n_580c97ce5a08 node_type=claim
t=0015 CREATE_NODE id=n_198c331e391b node_type=claim
t=0016 CREATE_NODE id=n_42518e9f45f7 node_type=claim
t=0017 CREATE_NODE id=n_b9a8cdc8af77 node_type=claim
t=0018 CREATE_NODE id=n_c3349369b3b1 node_type=claim
t=0019 CREATE_NODE id=n_876d231ef5fd node_type=claim
t=0020 CREATE_NODE id=n_712860614de0 node_type=claim
t=0021 CREATE_NODE id=n_53389d6978bb node_type=claim
t=0022 CREATE_NODE id=n_d0b74c55d091 node_type=claim
t=0023 CREATE_NODE id=n_b3902a742ef1 node_type=claim
t=0024 CREATE_NODE id=n_61544c77effc node_type=claim
t=0025 CREATE_NODE id=n_dc5369af52ac node_type=claim
t=0026 CREATE_NODE id=n_c7b9ff875122 node_type=claim
t=0027 CREATE_NODE id=n_25fb9a2f1698 node_type=claim
t=0028 CREATE_NODE id=n_4ddd1878fae9 node_type=claim
t=0029 CREATE_NODE id=n_843c750b0806 node_type=claim
t=0030 CREATE_NODE id=n_2997f142470e node_type=claim
t=0031 CREATE_NODE id=n_4aab8dd8cd33 node_type=claim
t=0032 CREATE_NODE id=n_934c8ccb1300 node_type=claim
t=0033 CREATE_NODE id=n_ce758663a999 node_type=claim
t=0034 CREATE_NODE id=n_9f5605b6e9e7 node_type=claim
t=0035 CREATE_NODE id=n_769d956133b4 node_type=claim
t=0036 CREATE_NODE id=n_98d261ea3dfd node_type=claim
t=0037 CREATE_NODE id=n_b5f86968bb74 node_type=claim
t=0038 CREATE_NODE id=n_8aed9162678d node_type=claim
t=0039 CREATE_NODE id=n_c39d7bb73f6c node_type=claim
t=0040 CREATE_NODE id=n_0071164daeeb node_type=claim
t=0041 CREATE_NODE id=n_452716efce65 node_type=claim
t=0042 CREATE_NODE id=n_0435f3c28ac9 node_type=claim
t=0043 CREATE_NODE id=n_f8c55e1c4dc5 node_type=claim
t=0044 CREATE_NODE id=n_c2e3a28e1245 node_type=claim
t=0045 CREATE_NODE id=n_12c7fd6ea6a8 node_type=claim
t=0046 CREATE_NODE id=n_897efeabb55a node_type=claim
t=0047 CREATE_NODE id=n_3d7028f04814 node_type=claim
t=0048 CREATE_NODE id=n_f19602ad917f node_type=claim
t=0049 CREATE_NODE id=n_0cdefef7dc2b node_type=claim
t=0050 CREATE_NODE id=n_35dafa40856b node_type=claim
t=0051 CREATE_NODE id=n_5b22bda32df9 node_type=claim
t=0052 CREATE_NODE id=n_130dcf5ae1fd node_type=claim
t=0053 CREATE_NODE id=n_5361081a2d0e node_type=claim
t=0054 CREATE_NODE id=n_02f6e7ee9e67 node_type=claim
t=0055 CREATE_NODE id=n_340deeba5159 node_type=claim
t=0056 CREATE_NODE id=n_d478ddc5120f node_type=claim
t=0057 CREATE_NODE id=n_fdd8b2c359b4 node_type=claim
t=0058 CREATE_NODE id=n_f982ff7dc0b6 node_type=claim
t=0059 CREATE_NODE id=n_848485111420 node_type=claim
t=0060 CREATE_NODE id=n_27fc80429f16 node_type=claim
t=0061 CREATE_NODE id=n_78f24abe1b0a node_type=claim
t=0062 ASSERT_ROOT node=n_02f6e7ee9e67 value=FALSE
t=0063 ADD_EDGE edge_id=e_85470f28236c source=n_12c7fd6ea6a8 edge_type=refutes target=n_c2e3a28e1245
t=0064 ADD_EDGE edge_id=e_9362be9c3906 source=n_340deeba5159 edge_type=supports target=n_8226d2bcd24e
t=0065 ADD_EDGE edge_id=e_31ae48d96327 source=n_4aab8dd8cd33 edge_type=supports target=n_be1cf838c497
t=0066 ADD_EDGE edge_id=e_4f0f920176d0 source=n_fdd8b2c359b4 edge_type=supports target=n_4aab8dd8cd33
t=0067 ADD_EDGE edge_id=e_9bfb0a513c4c source=n_ff28072b8ad4 edge_type=refutes target=n_858473e5e071
t=0068 ADD_EDGE edge_id=e_f26fb6dd3d59 source=n_f982ff7dc0b6 edge_type=supports target=n_ce758663a999
t=0069 ADD_EDGE edge_id=e_2d3747cc7da7 source=n_5361081a2d0e edge_type=refutes target=n_2997f142470e
t=0070 ADD_EDGE edge_id=e_f46b1eec6079 source=n_25fb9a2f1698 edge_type=refutes target=n_c7b9ff875122
t=0071 ADD_EDGE edge_id=e_db32224da6f4 source=n_2997f142470e edge_type=refutes target=n_12c7fd6ea6a8
t=0072 ADD_EDGE edge_id=e_22d4120ec548 source=n_b1bb14a14818 edge_type=supports target=n_c39ded596d46
t=0073 ADD_EDGE edge_id=e_c18dd8d741df source=n_02f6e7ee9e67 edge_type=supports target=n_843c750b0806
t=0074 ADD_EDGE edge_id=e_03c1a4d65c45 source=n_897efeabb55a edge_type=supports target=n_61544c77effc
t=0075 ADD_EDGE edge_id=e_4b742312f941 source=n_4f006072f8cf edge_type=supports target=n_fdd8b2c359b4
t=0076 ADD_EDGE edge_id=e_fbeab2823374 source=n_0cdefef7dc2b edge_type=supports target=n_78f24abe1b0a
t=0077 ADD_EDGE edge_id=e_d1f82805d5e2 source=n_452716efce65 edge_type=supports target=n_f8c55e1c4dc5
t=0078 ADD_EDGE edge_id=e_5ac7936dfee0 source=n_9f5605b6e9e7 edge_type=refutes target=n_dc5369af52ac
t=0079 ADD_EDGE edge_id=e_2c90bc468944 source=n_b5f86968bb74 edge_type=refutes target=n_712860614de0
t=0080 ADD_EDGE edge_id=e_08c68da658f3 source=n_fdd8b2c359b4 edge_type=supports target=n_769d956133b4
t=0081 ADD_EDGE edge_id=e_c08b9454913e source=n_580c97ce5a08 edge_type=refutes target=n_dc7979787b59
t=0082 ADD_EDGE edge_id=e_9305b58b7e66 source=n_dc7979787b59 edge_type=refutes target=n_b1bb14a14818
t=0083 ADD_EDGE edge_id=e_22ec3abf8484 source=n_4aab8dd8cd33 edge_type=supports target=n_42518e9f45f7
t=0084 ADD_EDGE edge_id=e_9712f95734e9 source=n_769d956133b4 edge_type=refutes target=n_e335f24ad861
t=0085 ADD_EDGE edge_id=e_a43b38906d65 source=n_2997f142470e edge_type=supports target=n_98d261ea3dfd
t=0086 ADD_EDGE edge_id=e_4347ca2de88b source=n_35dafa40856b edge_type=refutes target=n_8aed9162678d
t=0087 ADD_EDGE edge_id=e_7b6d8cf0ad6e source=n_876d231ef5fd edge_type=refutes target=n_5c1639a4f0eb
t=0088 ADD_EDGE edge_id=e_b90377be126c source=n_61544c77effc edge_type=refutes target=n_934c8ccb1300
t=0089 ADD_EDGE edge_id=e_63bebf73243b source=n_4f006072f8cf edge_type=supports target=n_b9a8cdc8af77
t=0090 ADD_EDGE edge_id=e_8ae246348d94 source=n_3d7028f04814 edge_type=refutes target=n_876d231ef5fd
t=0091 ADD_EDGE edge_id=e_b8930a621d62 source=n_198c331e391b edge_type=supports target=n_b3902a742ef1
t=0092 ADD_EDGE edge_id=e_135bcc49aaa9 source=n_9f5605b6e9e7 edge_type=supports target=n_35dafa40856b
t=0093 ADD_EDGE edge_id=e_4bf6fc28a2c7 source=n_0071164daeeb edge_type=refutes target=n_53389d6978bb
t=0094 ADD_EDGE edge_id=e_250405b170d0 source=n_843c750b0806 edge_type=supports target=n_580c97ce5a08
t=0095 ADD_EDGE edge_id=e_3011d4bcfd73 source=n_4f006072f8cf edge_type=refutes target=n_0071164daeeb
t=0096 ADD_EDGE edge_id=e_3ad3fa746675 source=n_8aed9162678d edge_type=refutes target=n_8fd46616a69c
t=0097 ADD_EDGE edge_id=e_1b51ccc10537 source=n_0435f3c28ac9 edge_type=refutes target=n_25fb9a2f1698
t=0098 ADD_EDGE edge_id=e_5c3c3cdd94a5 source=n_c39d7bb73f6c edge_type=refutes target=n_d478ddc5120f
t=0099 ADD_EDGE edge_id=e_3f1bb5e7f2d8 source=n_98d261ea3dfd edge_type=supports target=n_e35e5f7a667c
t=0100 ADD_EDGE edge_id=e_4b89e2f5031a source=n_8226d2bcd24e edge_type=supports target=n_859c4f7c4af4
t=0101 ADD_EDGE edge_id=e_7541fa57e845 source=n_d478ddc5120f edge_type=refutes target=n_ff28072b8ad4
t=0102 ADD_EDGE edge_id=e_edcf164815dd source=n_8fd46616a69c edge_type=refutes target=n_198c331e391b
t=0103 ADD_EDGE edge_id=e_1ddb2c499b99 source=n_858473e5e071 edge_type=supports target=n_f982ff7dc0b6
t=0104 ADD_EDGE edge_id=e_2f6f29b05d32 source=n_27fc80429f16 edge_type=supports target=n_848485111420
t=0105 ADD_EDGE edge_id=e_ca5ac7b9171d source=n_3d7028f04814 edge_type=supports target=n_130dcf5ae1fd
t=0106 ADD_EDGE edge_id=e_0a17a1ca2ba6 source=n_b3902a742ef1 edge_type=refutes target=n_c39d7bb73f6c
t=0107 ADD_EDGE edge_id=e_32e938c8cf19 source=n_42518e9f45f7 edge_type=refutes target=n_5b22bda32df9
t=0108 ADD_EDGE edge_id=e_e048bd875b97 source=n_2997f142470e edge_type=supports target=n_0435f3c28ac9
t=0109 ADD_EDGE edge_id=e_4428cdf54bc7 source=n_27fc80429f16 edge_type=supports target=n_452716efce65
t=0110 ADD_EDGE edge_id=e_26a3da98ff3e source=n_340deeba5159 edge_type=refutes target=n_4f006072f8cf
t=0111 ADD_EDGE edge_id=e_62789df395a6 source=n_f8c55e1c4dc5 edge_type=supports target=n_897efeabb55a
t=0112 ADD_EDGE edge_id=e_526642caa7a4 source=n_4f006072f8cf edge_type=supports target=n_0cdefef7dc2b
t=0113 ADD_EDGE edge_id=e_ecd08432d6d3 source=n_c39ded596d46 edge_type=refutes target=n_27fc80429f16
t=0114 ADD_EDGE edge_id=e_f4bbae85ca14 source=n_0435f3c28ac9 edge_type=refutes target=n_c3349369b3b1
t=0115 ADD_EDGE edge_id=e_9ac4b306dc06 source=n_2997f142470e edge_type=supports target=n_b5f86968bb74
t=0116 ADD_EDGE edge_id=e_d2d5d473fb17 source=n_ce758663a999 edge_type=refutes target=n_3d7028f04814
t=0117 ADD_EDGE edge_id=e_a289bbb4890d source=n_2997f142470e edge_type=refutes target=n_f19602ad917f
t=0118 ADD_EDGE edge_id=e_b502c529106a source=n_e35e5f7a667c edge_type=supports target=n_d0b74c55d091
t=0119 ADD_EDGE edge_id=e_b416370a6544 source=n_897efeabb55a edge_type=supports target=n_4ddd1878fae9
t=0120 ADD_EDGE edge_id=e_29882c937967 source=n_934c8ccb1300 edge_type=refutes target=n_9f5605b6e9e7
t=0121 ADD_EDGE edge_id=e_0da9f5f1fefc source=n_340deeba5159 edge_type=supports target=n_5361081a2d0e
t=0122 ADD_EDGE edge_id=e_6e9b5f87b33e source=n_4aab8dd8cd33 edge_type=refutes target=n_1967500737d1
t=0123 QUERY source=n_02f6e7ee9e67 target=n_5c1639a4f0eb
[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_90f900653088 node_type=claim
t=0001 CREATE_NODE id=n_1f37fd68eee9 node_type=claim
t=0002 CREATE_NODE id=n_a4fa19243da2 node_type=claim
t=0003 CREATE_NODE id=n_049465804370 node_type=claim
t=0004 CREATE_NODE id=n_92b5a1406c7c node_type=claim
t=0005 CREATE_NODE id=n_e552e672e701 node_type=claim
t=0006 CREATE_NODE id=n_114c87a8578c node_type=claim
t=0007 CREATE_NODE id=n_0846be6e05c0 node_type=claim
t=0008 CREATE_NODE id=n_8c391b0e3299 node_type=claim
t=0009 CREATE_NODE id=n_ffc3a99a5dc5 node_type=claim
t=0010 CREATE_NODE id=n_f1b7f5258690 node_type=claim
t=0011 CREATE_NODE id=n_706159c8c829 node_type=claim
t=0012 CREATE_NODE id=n_640b22257bdb node_type=claim
t=0013 CREATE_NODE id=n_aa2ec6f876a8 node_type=claim
t=0014 CREATE_NODE id=n_9e5bf31c2d00 node_type=claim
t=0015 CREATE_NODE id=n_049a151160f5 node_type=claim
t=0016 CREATE_NODE id=n_156683e0e30f node_type=claim
t=0017 CREATE_NODE id=n_6e5f759777e3 node_type=claim
t=0018 CREATE_NODE id=n_73f3a44ee926 node_type=claim
t=0019 CREATE_NODE id=n_08930cb4d2c8 node_type=claim
t=0020 CREATE_NODE id=n_676bfb7df058 node_type=claim
t=0021 CREATE_NODE id=n_29df732d52d3 node_type=claim
t=0022 CREATE_NODE id=n_047be5a271c8 node_type=claim
t=0023 CREATE_NODE id=n_554dea0a09f6 node_type=claim
t=0024 CREATE_NODE id=n_1f36faaaa6e7 node_type=claim
t=0025 CREATE_NODE id=n_2b20a599a133 node_type=claim
t=0026 CREATE_NODE id=n_ec26257372da node_type=claim
t=0027 CREATE_NODE id=n_ef15a09b2850 node_type=claim
t=0028 CREATE_NODE id=n_83df45912c36 node_type=claim
t=0029 CREATE_NODE id=n_15183894e875 node_type=claim
t=0030 CREATE_NODE id=n_ef11b9317610 node_type=claim
t=0031 CREATE_NODE id=n_1633e06ca18a node_type=claim
t=0032 CREATE_NODE id=n_06dcc0eb2087 node_type=claim
t=0033 CREATE_NODE id=n_d385c3c07457 node_type=claim
t=0034 CREATE_NODE id=n_0978746c5738 node_type=claim
t=0035 CREATE_NODE id=n_53a13c855888 node_type=claim
t=0036 CREATE_NODE id=n_7c775cc11779 node_type=claim
t=0037 CREATE_NODE id=n_81611bdd396b node_type=claim
t=0038 CREATE_NODE id=n_18f8fd71a9dd node_type=claim
t=0039 CREATE_NODE id=n_5e9d37913868 node_type=claim
t=0040 CREATE_NODE id=n_599570d47cb7 node_type=claim
t=0041 CREATE_NODE id=n_e285786cb947 node_type=claim
t=0042 CREATE_NODE id=n_d526883c763c node_type=claim
t=0043 CREATE_NODE id=n_259b142d43be node_type=claim
t=0044 CREATE_NODE id=n_3f54921931af node_type=claim
t=0045 CREATE_NODE id=n_ffad323e352a node_type=claim
t=0046 CREATE_NODE id=n_9755ae50550b node_type=claim
t=0047 CREATE_NODE id=n_13f90b1726f9 node_type=claim
t=0048 CREATE_NODE id=n_d28d9679a924 node_type=claim
t=0049 CREATE_NODE id=n_a2dbb650d1cf node_type=claim
t=0050 CREATE_NODE id=n_1288ed3196df node_type=claim
t=0051 CREATE_NODE id=n_6376fe5a9337 node_type=claim
t=0052 CREATE_NODE id=n_5fc3520826cf node_type=claim
t=0053 CREATE_NODE id=n_7596ca7012f4 node_type=claim
t=0054 CREATE_NODE id=n_96ed8de35402 node_type=claim
t=0055 CREATE_NODE id=n_13a762e66f45 node_type=claim
t=0056 CREATE_NODE id=n_a3a4e36ba762 node_type=claim
t=0057 CREATE_NODE id=n_1cbd9558a495 node_type=claim
t=0058 CREATE_NODE id=n_b130a77b01f0 node_type=claim
t=0059 CREATE_NODE id=n_0665b8fa1484 node_type=claim
t=0060 CREATE_NODE id=n_92432a62bba1 node_type=claim
t=0061 CREATE_NODE id=n_50bfb907c916 node_type=claim
t=0062 ASSERT_ROOT node=n_2b20a599a133 value=TRUE
t=0063 ADD_EDGE edge_id=e_3d4a3d13f3a1 source=n_156683e0e30f edge_type=supports target=n_554dea0a09f6
t=0064 ADD_EDGE edge_id=e_a1bdf5d15575 source=n_73f3a44ee926 edge_type=supports target=n_5fc3520826cf
t=0065 ADD_EDGE edge_id=e_1fd144145f16 source=n_049a151160f5 edge_type=supports target=n_0665b8fa1484
t=0066 ADD_EDGE edge_id=e_6f255b85e399 source=n_f1b7f5258690 edge_type=refutes target=n_50bfb907c916
t=0067 ADD_EDGE edge_id=e_a8d6a5c8d464 source=n_2b20a599a133 edge_type=supports target=n_5e9d37913868
t=0068 ADD_EDGE edge_id=e_f4ce8021b3b9 source=n_1cbd9558a495 edge_type=refutes target=n_7c775cc11779
t=0069 ADD_EDGE edge_id=e_51acc4373dc5 source=n_e552e672e701 edge_type=refutes target=n_b130a77b01f0
t=0070 ADD_EDGE edge_id=e_89e30cbca17c source=n_3f54921931af edge_type=refutes target=n_13a762e66f45
t=0071 ADD_EDGE edge_id=e_a77e3ede6f22 source=n_156683e0e30f edge_type=refutes target=n_d385c3c07457
t=0072 ADD_EDGE edge_id=e_24ff27ec3bba source=n_15183894e875 edge_type=refutes target=n_9e5bf31c2d00
t=0073 ADD_EDGE edge_id=e_43e493ad9fca source=n_156683e0e30f edge_type=supports target=n_8c391b0e3299
t=0074 ADD_EDGE edge_id=e_f72c28040d8a source=n_7c775cc11779 edge_type=refutes target=n_6e5f759777e3
t=0075 ADD_EDGE edge_id=e_1253d7073f6a source=n_9755ae50550b edge_type=supports target=n_114c87a8578c
t=0076 ADD_EDGE edge_id=e_bebec9001aba source=n_50bfb907c916 edge_type=supports target=n_90f900653088
t=0077 ADD_EDGE edge_id=e_9c6f5c7de72e source=n_81611bdd396b edge_type=refutes target=n_83df45912c36
t=0078 ADD_EDGE edge_id=e_4f4089bebf40 source=n_81611bdd396b edge_type=refutes target=n_1f36faaaa6e7
t=0079 ADD_EDGE edge_id=e_17d0d678e447 source=n_049465804370 edge_type=refutes target=n_d28d9679a924
t=0080 ADD_EDGE edge_id=e_a35e3f12d313 source=n_8c391b0e3299 edge_type=supports target=n_a3a4e36ba762
t=0081 ADD_EDGE edge_id=e_4be45dff6434 source=n_83df45912c36 edge_type=refutes target=n_92b5a1406c7c
t=0082 ADD_EDGE edge_id=e_01010ce694e0 source=n_114c87a8578c edge_type=supports target=n_1cbd9558a495
t=0083 ADD_EDGE edge_id=e_4b9d47e194d5 source=n_ef11b9317610 edge_type=supports target=n_0978746c5738
t=0084 ADD_EDGE edge_id=e_98d2e5685abf source=n_e552e672e701 edge_type=refutes target=n_06dcc0eb2087
t=0085 ADD_EDGE edge_id=e_81b2859aa55d source=n_049465804370 edge_type=supports target=n_a2dbb650d1cf
t=0086 ADD_EDGE edge_id=e_33ded42d4971 source=n_6e5f759777e3 edge_type=refutes target=n_259b142d43be
t=0087 ADD_EDGE edge_id=e_d44ccb398c7e source=n_06dcc0eb2087 edge_type=supports target=n_640b22257bdb
t=0088 ADD_EDGE edge_id=e_d45ffce48234 source=n_8c391b0e3299 edge_type=refutes target=n_81611bdd396b
t=0089 ADD_EDGE edge_id=e_3b7110544434 source=n_1f36faaaa6e7 edge_type=refutes target=n_ffad323e352a
t=0090 ADD_EDGE edge_id=e_60135212548e source=n_15183894e875 edge_type=supports target=n_29df732d52d3
t=0091 ADD_EDGE edge_id=e_6ce1b8c92fa5 source=n_13a762e66f45 edge_type=refutes target=n_92432a62bba1
t=0092 ADD_EDGE edge_id=e_2abd82cb61fa source=n_96ed8de35402 edge_type=refutes target=n_0846be6e05c0
t=0093 ADD_EDGE edge_id=e_178d041d93ac source=n_554dea0a09f6 edge_type=supports target=n_ec26257372da
t=0094 ADD_EDGE edge_id=e_14c3f781e495 source=n_13f90b1726f9 edge_type=refutes target=n_047be5a271c8
t=0095 ADD_EDGE edge_id=e_1ea569e42e71 source=n_5e9d37913868 edge_type=refutes target=n_049a151160f5
t=0096 ADD_EDGE edge_id=e_9c4d33506df8 source=n_1f37fd68eee9 edge_type=supports target=n_049465804370
t=0097 ADD_EDGE edge_id=e_fb04a0872ad9 source=n_53a13c855888 edge_type=supports target=n_1288ed3196df
t=0098 ADD_EDGE edge_id=e_cde0318cd1d3 source=n_640b22257bdb edge_type=supports target=n_3f54921931af
t=0099 ADD_EDGE edge_id=e_7fbb4815d004 source=n_a4fa19243da2 edge_type=supports target=n_53a13c855888
t=0100 ADD_EDGE edge_id=e_bb531e7854a7 source=n_554dea0a09f6 edge_type=refutes target=n_f1b7f5258690
t=0101 ADD_EDGE edge_id=e_506d65596e59 source=n_0665b8fa1484 edge_type=refutes target=n_e285786cb947
t=0102 ADD_EDGE edge_id=e_ec80984b4b19 source=n_259b142d43be edge_type=refutes target=n_676bfb7df058
t=0103 ADD_EDGE edge_id=e_1b70f5a85714 source=n_13f90b1726f9 edge_type=supports target=n_96ed8de35402
t=0104 ADD_EDGE edge_id=e_b9255c10b818 source=n_8c391b0e3299 edge_type=supports target=n_d526883c763c
t=0105 ADD_EDGE edge_id=e_558ccab097ab source=n_706159c8c829 edge_type=refutes target=n_13f90b1726f9
t=0106 ADD_EDGE edge_id=e_2d24291a2a5d source=n_d28d9679a924 edge_type=refutes target=n_a4fa19243da2
t=0107 ADD_EDGE edge_id=e_031895418c91 source=n_1f36faaaa6e7 edge_type=refutes target=n_599570d47cb7
t=0108 ADD_EDGE edge_id=e_10222d6d388c source=n_83df45912c36 edge_type=supports target=n_08930cb4d2c8
t=0109 ADD_EDGE edge_id=e_ce70c201e1dc source=n_08930cb4d2c8 edge_type=supports target=n_ef11b9317610
t=0110 ADD_EDGE edge_id=e_1b29e01e52ef source=n_1f36faaaa6e7 edge_type=supports target=n_7596ca7012f4
t=0111 ADD_EDGE edge_id=e_60016b03d5ea source=n_8c391b0e3299 edge_type=supports target=n_15183894e875
t=0112 ADD_EDGE edge_id=e_19c3788bfba9 source=n_6376fe5a9337 edge_type=supports target=n_ffc3a99a5dc5
t=0113 ADD_EDGE edge_id=e_d2837df03f96 source=n_5fc3520826cf edge_type=supports target=n_1f37fd68eee9
t=0114 ADD_EDGE edge_id=e_5c96dfaa5456 source=n_53a13c855888 edge_type=refutes target=n_9755ae50550b
t=0115 ADD_EDGE edge_id=e_1ec819d17bc9 source=n_676bfb7df058 edge_type=refutes target=n_6376fe5a9337
t=0116 ADD_EDGE edge_id=e_e47bb846207d source=n_2b20a599a133 edge_type=supports target=n_ef15a09b2850
t=0117 ADD_EDGE edge_id=e_5e65d6632378 source=n_83df45912c36 edge_type=refutes target=n_aa2ec6f876a8
t=0118 ADD_EDGE edge_id=e_b941681d86d6 source=n_e285786cb947 edge_type=supports target=n_e552e672e701
t=0119 ADD_EDGE edge_id=e_c3bb379ae75a source=n_ec26257372da edge_type=supports target=n_18f8fd71a9dd
t=0120 ADD_EDGE edge_id=e_ae6b95248aff source=n_92432a62bba1 edge_type=refutes target=n_73f3a44ee926
t=0121 ADD_EDGE edge_id=e_98a75653f6e7 source=n_aa2ec6f876a8 edge_type=refutes target=n_1633e06ca18a
t=0122 ADD_EDGE edge_id=e_5a26cfad0bbc source=n_83df45912c36 edge_type=supports target=n_706159c8c829
t=0123 QUERY source=n_2b20a599a133 target=n_ffc3a99a5dc5
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.