[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_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_824ea81e935d node_type=claim
t=0001 CREATE_NODE id=n_caaeb34d6417 node_type=claim
t=0002 CREATE_NODE id=n_fa981669e0f2 node_type=claim
t=0003 CREATE_NODE id=n_38f95f777bb1 node_type=claim
t=0004 CREATE_NODE id=n_cf4636206d9d node_type=claim
t=0005 CREATE_NODE id=n_ba31789e82d1 node_type=claim
t=0006 CREATE_NODE id=n_a4e67419824c node_type=claim
t=0007 CREATE_NODE id=n_b7deb3bdf0cb node_type=claim
t=0008 CREATE_NODE id=n_f47b09519f0b node_type=claim
t=0009 CREATE_NODE id=n_105456bce657 node_type=claim
t=0010 CREATE_NODE id=n_3a17404868db node_type=claim
t=0011 CREATE_NODE id=n_6919b3d3ee65 node_type=claim
t=0012 CREATE_NODE id=n_a56753eb4c42 node_type=claim
t=0013 CREATE_NODE id=n_1272a79c9f34 node_type=claim
t=0014 CREATE_NODE id=n_22ec30ef2d05 node_type=claim
t=0015 CREATE_NODE id=n_fd18e239a963 node_type=claim
t=0016 CREATE_NODE id=n_70470a74eb22 node_type=claim
t=0017 CREATE_NODE id=n_9c5a298865d1 node_type=claim
t=0018 CREATE_NODE id=n_268526bdd1f7 node_type=claim
t=0019 CREATE_NODE id=n_9d7d2805c4bc node_type=claim
t=0020 CREATE_NODE id=n_60228619dac8 node_type=claim
t=0021 CREATE_NODE id=n_b8f46c1afeac node_type=claim
t=0022 CREATE_NODE id=n_b32518f006e0 node_type=claim
t=0023 CREATE_NODE id=n_f26cb9b3eda0 node_type=claim
t=0024 CREATE_NODE id=n_1791e093601c node_type=claim
t=0025 CREATE_NODE id=n_8f788933f58a node_type=claim
t=0026 CREATE_NODE id=n_c337ed3a0829 node_type=claim
t=0027 CREATE_NODE id=n_78a2c07fb526 node_type=claim
t=0028 CREATE_NODE id=n_4dc0a40563fc node_type=claim
t=0029 CREATE_NODE id=n_a1f69dd2a4a2 node_type=claim
t=0030 CREATE_NODE id=n_8fb0c36a4a78 node_type=claim
t=0031 CREATE_NODE id=n_2a234147f63e node_type=claim
t=0032 CREATE_NODE id=n_44d5ab1be84c node_type=claim
t=0033 CREATE_NODE id=n_397959c5a457 node_type=claim
t=0034 CREATE_NODE id=n_a51e596711a4 node_type=claim
t=0035 CREATE_NODE id=n_aa188b86e1e0 node_type=claim
t=0036 CREATE_NODE id=n_340fbcdde31d node_type=claim
t=0037 CREATE_NODE id=n_23b89b38d9f0 node_type=claim
t=0038 CREATE_NODE id=n_096863e58833 node_type=claim
t=0039 CREATE_NODE id=n_85b5af902c1e node_type=claim
t=0040 CREATE_NODE id=n_9200a3921e1a node_type=claim
t=0041 CREATE_NODE id=n_98218111b8d3 node_type=claim
t=0042 CREATE_NODE id=n_5b37ddc43e90 node_type=claim
t=0043 CREATE_NODE id=n_b90f6c6ec14e node_type=claim
t=0044 CREATE_NODE id=n_a8fb8a5624e0 node_type=claim
t=0045 CREATE_NODE id=n_221408c6c125 node_type=claim
t=0046 CREATE_NODE id=n_38e6131be7cd node_type=claim
t=0047 CREATE_NODE id=n_e4370373876c node_type=claim
t=0048 CREATE_NODE id=n_338b71ad4a63 node_type=claim
t=0049 CREATE_NODE id=n_85051d092ca5 node_type=claim
t=0050 CREATE_NODE id=n_c933e1da3a80 node_type=claim
t=0051 CREATE_NODE id=n_18b9eaf7a2ab node_type=claim
t=0052 CREATE_NODE id=n_e718ab40d9fa node_type=claim
t=0053 CREATE_NODE id=n_0bea853ad3ad node_type=claim
t=0054 CREATE_NODE id=n_7eb2a0990c6e node_type=claim
t=0055 CREATE_NODE id=n_79d3b9048af3 node_type=claim
t=0056 CREATE_NODE id=n_a3572a97f80d node_type=claim
t=0057 CREATE_NODE id=n_eca31911aab6 node_type=claim
t=0058 CREATE_NODE id=n_57c9d69b37e6 node_type=claim
t=0059 CREATE_NODE id=n_c2a7ec3f3c8d node_type=claim
t=0060 CREATE_NODE id=n_25c7f40754ab node_type=claim
t=0061 CREATE_NODE id=n_f111f4a90e88 node_type=claim
t=0062 ASSERT_ROOT node=n_3a17404868db value=TRUE
t=0063 ADD_EDGE edge_id=e_53327542124d source=n_9c5a298865d1 edge_type=supports target=n_e718ab40d9fa
t=0064 ADD_EDGE edge_id=e_01d89088ccb7 source=n_aa188b86e1e0 edge_type=refutes target=n_caaeb34d6417
t=0065 ADD_EDGE edge_id=e_983781ab1100 source=n_7eb2a0990c6e edge_type=refutes target=n_38f95f777bb1
t=0066 ADD_EDGE edge_id=e_184a4892e749 source=n_397959c5a457 edge_type=refutes target=n_18b9eaf7a2ab
t=0067 ADD_EDGE edge_id=e_1cbe9b4bb89b source=n_b8f46c1afeac edge_type=supports target=n_fd18e239a963
t=0068 ADD_EDGE edge_id=e_3fd0b9c39e7e source=n_268526bdd1f7 edge_type=refutes target=n_78a2c07fb526
t=0069 ADD_EDGE edge_id=e_9c46aba79f21 source=n_85b5af902c1e edge_type=supports target=n_ba31789e82d1
t=0070 ADD_EDGE edge_id=e_cce964c433c3 source=n_cf4636206d9d edge_type=refutes target=n_9c5a298865d1
t=0071 ADD_EDGE edge_id=e_69384cd4b772 source=n_85051d092ca5 edge_type=refutes target=n_c2a7ec3f3c8d
t=0072 ADD_EDGE edge_id=e_3c0f4fc8802e source=n_b8f46c1afeac edge_type=refutes target=n_268526bdd1f7
t=0073 ADD_EDGE edge_id=e_c97b1817590a source=n_44d5ab1be84c edge_type=supports target=n_f111f4a90e88
t=0074 ADD_EDGE edge_id=e_615dbb727ce9 source=n_a4e67419824c edge_type=supports target=n_25c7f40754ab
t=0075 ADD_EDGE edge_id=e_267725dd3ea9 source=n_b8f46c1afeac edge_type=refutes target=n_22ec30ef2d05
t=0076 ADD_EDGE edge_id=e_398c13aceca1 source=n_78a2c07fb526 edge_type=supports target=n_eca31911aab6
t=0077 ADD_EDGE edge_id=e_4428f63423c2 source=n_f26cb9b3eda0 edge_type=refutes target=n_8fb0c36a4a78
t=0078 ADD_EDGE edge_id=e_f1a08be9eff6 source=n_18b9eaf7a2ab edge_type=supports target=n_b7deb3bdf0cb
t=0079 ADD_EDGE edge_id=e_ed555568f80a source=n_a4e67419824c edge_type=supports target=n_a56753eb4c42
t=0080 ADD_EDGE edge_id=e_52878888d282 source=n_f47b09519f0b edge_type=refutes target=n_85b5af902c1e
t=0081 ADD_EDGE edge_id=e_d02169f70349 source=n_f111f4a90e88 edge_type=supports target=n_9d7d2805c4bc
t=0082 ADD_EDGE edge_id=e_216c207e5b70 source=n_340fbcdde31d edge_type=supports target=n_6919b3d3ee65
t=0083 ADD_EDGE edge_id=e_403929fe1da2 source=n_c2a7ec3f3c8d edge_type=refutes target=n_9200a3921e1a
t=0084 ADD_EDGE edge_id=e_02f734ef05bc source=n_c933e1da3a80 edge_type=supports target=n_c337ed3a0829
t=0085 ADD_EDGE edge_id=e_0b55bf4de09b source=n_c337ed3a0829 edge_type=supports target=n_fa981669e0f2
t=0086 ADD_EDGE edge_id=e_5956d32a6c59 source=n_e4370373876c edge_type=supports target=n_2a234147f63e
t=0087 ADD_EDGE edge_id=e_7a29d2224d0f source=n_25c7f40754ab edge_type=supports target=n_a51e596711a4
t=0088 ADD_EDGE edge_id=e_1639f3c39d7a source=n_a1f69dd2a4a2 edge_type=refutes target=n_1791e093601c
t=0089 ADD_EDGE edge_id=e_87ffea408ac1 source=n_79d3b9048af3 edge_type=refutes target=n_221408c6c125
t=0090 ADD_EDGE edge_id=e_66425778562e source=n_a4e67419824c edge_type=refutes target=n_096863e58833
t=0091 ADD_EDGE edge_id=e_0af4244f5bb7 source=n_1272a79c9f34 edge_type=refutes target=n_f47b09519f0b
t=0092 ADD_EDGE edge_id=e_700de54d1b4f source=n_6919b3d3ee65 edge_type=supports target=n_85051d092ca5
t=0093 ADD_EDGE edge_id=e_a50e625a3ff8 source=n_4dc0a40563fc edge_type=refutes target=n_e4370373876c
t=0094 ADD_EDGE edge_id=e_d6fa491a3bb4 source=n_22ec30ef2d05 edge_type=refutes target=n_57c9d69b37e6
t=0095 ADD_EDGE edge_id=e_615b6488ed9c source=n_5b37ddc43e90 edge_type=refutes target=n_1272a79c9f34
t=0096 ADD_EDGE edge_id=e_ff5a276d7b24 source=n_60228619dac8 edge_type=refutes target=n_5b37ddc43e90
t=0097 ADD_EDGE edge_id=e_1673fb529024 source=n_3a17404868db edge_type=refutes target=n_aa188b86e1e0
t=0098 ADD_EDGE edge_id=e_cdfee436c47c source=n_f111f4a90e88 edge_type=refutes target=n_4dc0a40563fc
t=0099 ADD_EDGE edge_id=e_c33682332823 source=n_a56753eb4c42 edge_type=refutes target=n_cf4636206d9d
t=0100 ADD_EDGE edge_id=e_29b77131c463 source=n_70470a74eb22 edge_type=refutes target=n_a3572a97f80d
t=0101 ADD_EDGE edge_id=e_41c722e78734 source=n_a51e596711a4 edge_type=supports target=n_c933e1da3a80
t=0102 ADD_EDGE edge_id=e_1c2bced362b9 source=n_eca31911aab6 edge_type=supports target=n_a8fb8a5624e0
t=0103 ADD_EDGE edge_id=e_51dc523392ac source=n_b7deb3bdf0cb edge_type=supports target=n_23b89b38d9f0
t=0104 ADD_EDGE edge_id=e_30444e6723db source=n_25c7f40754ab edge_type=supports target=n_70470a74eb22
t=0105 ADD_EDGE edge_id=e_9fa042d81c69 source=n_c2a7ec3f3c8d edge_type=refutes target=n_98218111b8d3
t=0106 ADD_EDGE edge_id=e_5b00920e21a1 source=n_b32518f006e0 edge_type=supports target=n_340fbcdde31d
t=0107 ADD_EDGE edge_id=e_5aca44c05cc0 source=n_ba31789e82d1 edge_type=refutes target=n_397959c5a457
t=0108 ADD_EDGE edge_id=e_fbed56bcd70e source=n_caaeb34d6417 edge_type=supports target=n_38e6131be7cd
t=0109 ADD_EDGE edge_id=e_ce4bc4bdcfc7 source=n_9200a3921e1a edge_type=refutes target=n_338b71ad4a63
t=0110 ADD_EDGE edge_id=e_212a11fb3c4e source=n_e4370373876c edge_type=refutes target=n_60228619dac8
t=0111 ADD_EDGE edge_id=e_ad77b9a4ff4e source=n_221408c6c125 edge_type=supports target=n_b90f6c6ec14e
t=0112 ADD_EDGE edge_id=e_143c30a3da22 source=n_a4e67419824c edge_type=supports target=n_b8f46c1afeac
t=0113 ADD_EDGE edge_id=e_f6f99e8e2b04 source=n_a3572a97f80d edge_type=supports target=n_8f788933f58a
t=0114 ADD_EDGE edge_id=e_d1ac749e6f1b source=n_268526bdd1f7 edge_type=refutes target=n_f26cb9b3eda0
t=0115 ADD_EDGE edge_id=e_692b7f73396c source=n_338b71ad4a63 edge_type=supports target=n_7eb2a0990c6e
t=0116 ADD_EDGE edge_id=e_0cdc56e699f9 source=n_fd18e239a963 edge_type=refutes target=n_824ea81e935d
t=0117 ADD_EDGE edge_id=e_03a4ff100b68 source=n_ba31789e82d1 edge_type=supports target=n_105456bce657
t=0118 ADD_EDGE edge_id=e_4c991c466514 source=n_38e6131be7cd edge_type=supports target=n_b32518f006e0
t=0119 ADD_EDGE edge_id=e_b9a1b8f6fc1d source=n_8fb0c36a4a78 edge_type=supports target=n_0bea853ad3ad
t=0120 ADD_EDGE edge_id=e_8387b6f0c405 source=n_38f95f777bb1 edge_type=supports target=n_44d5ab1be84c
t=0121 ADD_EDGE edge_id=e_edaea46b783e source=n_a4e67419824c edge_type=supports target=n_a1f69dd2a4a2
t=0122 ADD_EDGE edge_id=e_a92b225989c6 source=n_a4e67419824c edge_type=refutes target=n_79d3b9048af3
t=0123 QUERY source=n_3a17404868db target=n_23b89b38d9f0
[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_b90d4fc8d456 node_type=claim
t=0001 CREATE_NODE id=n_a25f5d2957e0 node_type=claim
t=0002 CREATE_NODE id=n_2355cf2bc561 node_type=claim
t=0003 CREATE_NODE id=n_e2a84d08ac6e node_type=claim
t=0004 CREATE_NODE id=n_1be1ab4bc050 node_type=claim
t=0005 CREATE_NODE id=n_1e075d094713 node_type=claim
t=0006 CREATE_NODE id=n_dc6db6128f42 node_type=claim
t=0007 CREATE_NODE id=n_3537bd022580 node_type=claim
t=0008 CREATE_NODE id=n_5475625d7cde node_type=claim
t=0009 CREATE_NODE id=n_abc79e48e0ad node_type=claim
t=0010 CREATE_NODE id=n_5d0e932f3974 node_type=claim
t=0011 CREATE_NODE id=n_11f23dd11cfb node_type=claim
t=0012 CREATE_NODE id=n_65726f7be4f4 node_type=claim
t=0013 CREATE_NODE id=n_43338fa0bbcd node_type=claim
t=0014 CREATE_NODE id=n_cb1f3294b153 node_type=claim
t=0015 CREATE_NODE id=n_2551fb1d14b5 node_type=claim
t=0016 CREATE_NODE id=n_b9bc3ec60d19 node_type=claim
t=0017 CREATE_NODE id=n_0530eaadc89c node_type=claim
t=0018 CREATE_NODE id=n_fe880b423477 node_type=claim
t=0019 CREATE_NODE id=n_f7173dc24491 node_type=claim
t=0020 CREATE_NODE id=n_57c5306d937c node_type=claim
t=0021 CREATE_NODE id=n_ea8aed454f85 node_type=claim
t=0022 CREATE_NODE id=n_24605dafe4ab node_type=claim
t=0023 CREATE_NODE id=n_95687e5b19de node_type=claim
t=0024 CREATE_NODE id=n_416023e2b720 node_type=claim
t=0025 CREATE_NODE id=n_c527cec720aa node_type=claim
t=0026 CREATE_NODE id=n_72ab42ce251a node_type=claim
t=0027 CREATE_NODE id=n_89cc4bcb591e node_type=claim
t=0028 CREATE_NODE id=n_ed4ad0249b58 node_type=claim
t=0029 CREATE_NODE id=n_eaa0d1b76ca6 node_type=claim
t=0030 CREATE_NODE id=n_e2ba85098b69 node_type=claim
t=0031 CREATE_NODE id=n_dcdc7548335b node_type=claim
t=0032 CREATE_NODE id=n_f8bef52e5458 node_type=claim
t=0033 CREATE_NODE id=n_9e01d352a558 node_type=claim
t=0034 CREATE_NODE id=n_a9360a8dd877 node_type=claim
t=0035 CREATE_NODE id=n_37a1535cffa1 node_type=claim
t=0036 CREATE_NODE id=n_3324434a3759 node_type=claim
t=0037 CREATE_NODE id=n_26eedc117417 node_type=claim
t=0038 CREATE_NODE id=n_4a79661b9683 node_type=claim
t=0039 CREATE_NODE id=n_540186d439f3 node_type=claim
t=0040 CREATE_NODE id=n_442bf81eea28 node_type=claim
t=0041 CREATE_NODE id=n_c49f44d16f5d node_type=claim
t=0042 CREATE_NODE id=n_1da9a6b64975 node_type=claim
t=0043 CREATE_NODE id=n_fbe02be8860e node_type=claim
t=0044 CREATE_NODE id=n_261fc422e68e node_type=claim
t=0045 CREATE_NODE id=n_99910fcca451 node_type=claim
t=0046 CREATE_NODE id=n_88f691b6638c node_type=claim
t=0047 CREATE_NODE id=n_597562b3e3c4 node_type=claim
t=0048 CREATE_NODE id=n_dba364e592c4 node_type=claim
t=0049 CREATE_NODE id=n_b9478cfbe38b node_type=claim
t=0050 CREATE_NODE id=n_0a588f6a25c9 node_type=claim
t=0051 CREATE_NODE id=n_119a2ade127e node_type=claim
t=0052 CREATE_NODE id=n_fa5a0af5ad8f node_type=claim
t=0053 CREATE_NODE id=n_418d57c6b954 node_type=claim
t=0054 CREATE_NODE id=n_5b9b7ce209b6 node_type=claim
t=0055 CREATE_NODE id=n_0a82cacf4655 node_type=claim
t=0056 CREATE_NODE id=n_0e2c8faebc41 node_type=claim
t=0057 CREATE_NODE id=n_25e262d1f77d node_type=claim
t=0058 CREATE_NODE id=n_d704e50e586f node_type=claim
t=0059 CREATE_NODE id=n_19a47dc65bee node_type=claim
t=0060 CREATE_NODE id=n_ebac2e02aa16 node_type=claim
t=0061 CREATE_NODE id=n_a1d0cc9bb7a2 node_type=claim
t=0062 CREATE_NODE id=n_b6d0467c109e node_type=claim
t=0063 CREATE_NODE id=n_fdbf310fa283 node_type=claim
t=0064 ASSERT_ROOT node=n_abc79e48e0ad value=TRUE
t=0065 ADD_EDGE edge_id=e_15a640afb65c source=n_597562b3e3c4 edge_type=refutes target=n_540186d439f3
t=0066 ADD_EDGE edge_id=e_3aa9aaca8019 source=n_a1d0cc9bb7a2 edge_type=supports target=n_37a1535cffa1
t=0067 ADD_EDGE edge_id=e_433f53897a6b source=n_e2a84d08ac6e edge_type=refutes target=n_5b9b7ce209b6
t=0068 ADD_EDGE edge_id=e_222817a20b37 source=n_b90d4fc8d456 edge_type=refutes target=n_3324434a3759
t=0069 ADD_EDGE edge_id=e_826486621323 source=n_fbe02be8860e edge_type=supports target=n_4a79661b9683
t=0070 ADD_EDGE edge_id=e_3693bf559ce5 source=n_5475625d7cde edge_type=supports target=n_43338fa0bbcd
t=0071 ADD_EDGE edge_id=e_68e5c9f84221 source=n_0e2c8faebc41 edge_type=refutes target=n_b9478cfbe38b
t=0072 ADD_EDGE edge_id=e_8acd696e2cb1 source=n_ea8aed454f85 edge_type=refutes target=n_fbe02be8860e
t=0073 ADD_EDGE edge_id=e_99a68685be7b source=n_88f691b6638c edge_type=refutes target=n_dcdc7548335b
t=0074 ADD_EDGE edge_id=e_ae2b9e553179 source=n_0530eaadc89c edge_type=refutes target=n_72ab42ce251a
t=0075 ADD_EDGE edge_id=e_9fc1cbbd3606 source=n_1be1ab4bc050 edge_type=supports target=n_24605dafe4ab
t=0076 ADD_EDGE edge_id=e_bf0c98e641c1 source=n_65726f7be4f4 edge_type=supports target=n_418d57c6b954
t=0077 ADD_EDGE edge_id=e_7fc57c9fe1c2 source=n_0a82cacf4655 edge_type=refutes target=n_1be1ab4bc050
t=0078 ADD_EDGE edge_id=e_31c5e7b26d5f source=n_9e01d352a558 edge_type=supports target=n_a25f5d2957e0
t=0079 ADD_EDGE edge_id=e_617410257419 source=n_57c5306d937c edge_type=refutes target=n_0a82cacf4655
t=0080 ADD_EDGE edge_id=e_fa8b8b0b22ba source=n_ebac2e02aa16 edge_type=supports target=n_88f691b6638c
t=0081 ADD_EDGE edge_id=e_c74bfa4383fe source=n_dc6db6128f42 edge_type=refutes target=n_89cc4bcb591e
t=0082 ADD_EDGE edge_id=e_e39de25ee0f1 source=n_fbe02be8860e edge_type=refutes target=n_f7173dc24491
t=0083 ADD_EDGE edge_id=e_d69bc19ef209 source=n_b9478cfbe38b edge_type=refutes target=n_dc6db6128f42
t=0084 ADD_EDGE edge_id=e_4ee6b4bea6c4 source=n_dcdc7548335b edge_type=refutes target=n_261fc422e68e
t=0085 ADD_EDGE edge_id=e_aa058386f4b4 source=n_597562b3e3c4 edge_type=supports target=n_c49f44d16f5d
t=0086 ADD_EDGE edge_id=e_288a5c299f4c source=n_3324434a3759 edge_type=refutes target=n_1e075d094713
t=0087 ADD_EDGE edge_id=e_6c0d675f3466 source=n_5d0e932f3974 edge_type=supports target=n_99910fcca451
t=0088 ADD_EDGE edge_id=e_0cce6ebec3b8 source=n_0530eaadc89c edge_type=supports target=n_d704e50e586f
t=0089 ADD_EDGE edge_id=e_e8c0826c8f52 source=n_5b9b7ce209b6 edge_type=supports target=n_e2ba85098b69
t=0090 ADD_EDGE edge_id=e_23e420788602 source=n_89cc4bcb591e edge_type=refutes target=n_fe880b423477
t=0091 ADD_EDGE edge_id=e_f9997304e600 source=n_dc6db6128f42 edge_type=supports target=n_95687e5b19de
t=0092 ADD_EDGE edge_id=e_012188ba2cdd source=n_19a47dc65bee edge_type=supports target=n_b90d4fc8d456
t=0093 ADD_EDGE edge_id=e_04f7e3e47723 source=n_119a2ade127e edge_type=supports target=n_57c5306d937c
t=0094 ADD_EDGE edge_id=e_30ab9dedd484 source=n_88f691b6638c edge_type=supports target=n_a1d0cc9bb7a2
t=0095 ADD_EDGE edge_id=e_a50d6c14d168 source=n_eaa0d1b76ca6 edge_type=refutes target=n_c527cec720aa
t=0096 ADD_EDGE edge_id=e_c1ce48b97148 source=n_0a588f6a25c9 edge_type=refutes target=n_dba364e592c4
t=0097 ADD_EDGE edge_id=e_5c7c6a6b5b17 source=n_418d57c6b954 edge_type=refutes target=n_9e01d352a558
t=0098 ADD_EDGE edge_id=e_a390f8249a45 source=n_c49f44d16f5d edge_type=supports target=n_11f23dd11cfb
t=0099 ADD_EDGE edge_id=e_12e563300e6a source=n_a9360a8dd877 edge_type=refutes target=n_2355cf2bc561
t=0100 ADD_EDGE edge_id=e_0015e7ece03e source=n_d704e50e586f edge_type=refutes target=n_b6d0467c109e
t=0101 ADD_EDGE edge_id=e_576238a7bd68 source=n_442bf81eea28 edge_type=supports target=n_e2a84d08ac6e
t=0102 ADD_EDGE edge_id=e_3763410edb9d source=n_ebac2e02aa16 edge_type=supports target=n_0530eaadc89c
t=0103 ADD_EDGE edge_id=e_01c6f9e50967 source=n_9e01d352a558 edge_type=refutes target=n_442bf81eea28
t=0104 ADD_EDGE edge_id=e_88fa1cc3482e source=n_2551fb1d14b5 edge_type=supports target=n_26eedc117417
t=0105 ADD_EDGE edge_id=e_2603fe6748d0 source=n_ebac2e02aa16 edge_type=refutes target=n_5475625d7cde
t=0106 ADD_EDGE edge_id=e_3a80e23f0b6b source=n_fe880b423477 edge_type=supports target=n_ed4ad0249b58
t=0107 ADD_EDGE edge_id=e_ed537df38043 source=n_72ab42ce251a edge_type=refutes target=n_fa5a0af5ad8f
t=0108 ADD_EDGE edge_id=e_147884f09b86 source=n_ed4ad0249b58 edge_type=refutes target=n_119a2ade127e
t=0109 ADD_EDGE edge_id=e_1417997ca5a9 source=n_ebac2e02aa16 edge_type=supports target=n_0a588f6a25c9
t=0110 ADD_EDGE edge_id=e_1b7536f9a93c source=n_e2ba85098b69 edge_type=supports target=n_25e262d1f77d
t=0111 ADD_EDGE edge_id=e_41f2d6cd5288 source=n_2355cf2bc561 edge_type=refutes target=n_19a47dc65bee
t=0112 ADD_EDGE edge_id=e_71f74f0a5dfc source=n_ea8aed454f85 edge_type=supports target=n_f8bef52e5458
t=0113 ADD_EDGE edge_id=e_49dc0c1fb293 source=n_d704e50e586f edge_type=supports target=n_2551fb1d14b5
t=0114 ADD_EDGE edge_id=e_448fca0507b6 source=n_72ab42ce251a edge_type=supports target=n_ea8aed454f85
t=0115 ADD_EDGE edge_id=e_a995f48200cc source=n_43338fa0bbcd edge_type=supports target=n_cb1f3294b153
t=0116 ADD_EDGE edge_id=e_5f803c7a56d6 source=n_24605dafe4ab edge_type=supports target=n_65726f7be4f4
t=0117 ADD_EDGE edge_id=e_fba83a69b168 source=n_b9bc3ec60d19 edge_type=supports target=n_5d0e932f3974
t=0118 ADD_EDGE edge_id=e_0a6273000152 source=n_1da9a6b64975 edge_type=supports target=n_3537bd022580
t=0119 ADD_EDGE edge_id=e_e4404a3ee2ff source=n_fdbf310fa283 edge_type=refutes target=n_0e2c8faebc41
t=0120 ADD_EDGE edge_id=e_77ae104b4905 source=n_3324434a3759 edge_type=refutes target=n_b9bc3ec60d19
t=0121 ADD_EDGE edge_id=e_a192b41b4041 source=n_ebac2e02aa16 edge_type=refutes target=n_416023e2b720
t=0122 ADD_EDGE edge_id=e_682a4b090982 source=n_ebac2e02aa16 edge_type=refutes target=n_1da9a6b64975
t=0123 ADD_EDGE edge_id=e_5ae818776582 source=n_5475625d7cde edge_type=supports target=n_597562b3e3c4
t=0124 ADD_EDGE edge_id=e_9ea6942b534f source=n_e2ba85098b69 edge_type=supports target=n_a9360a8dd877
t=0125 ADD_EDGE edge_id=e_96b656c28046 source=n_abc79e48e0ad edge_type=refutes target=n_fdbf310fa283
t=0126 ADD_EDGE edge_id=e_e582210b7296 source=n_43338fa0bbcd edge_type=refutes target=n_eaa0d1b76ca6
t=0127 QUERY source=n_abc79e48e0ad target=n_99910fcca451
[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_2d98b6525b53 node_type=claim
t=0001 CREATE_NODE id=n_a4d98f97cb98 node_type=claim
t=0002 CREATE_NODE id=n_d544dcb6e242 node_type=claim
t=0003 CREATE_NODE id=n_fdf1416dea0c node_type=claim
t=0004 CREATE_NODE id=n_623c3ceb234b node_type=claim
t=0005 CREATE_NODE id=n_de1aa64873d3 node_type=claim
t=0006 CREATE_NODE id=n_a9343b0a636a node_type=claim
t=0007 CREATE_NODE id=n_81e048f16427 node_type=claim
t=0008 CREATE_NODE id=n_35ae9b6a3499 node_type=claim
t=0009 CREATE_NODE id=n_af3c8cf74b54 node_type=claim
t=0010 CREATE_NODE id=n_4901acb4d50b node_type=claim
t=0011 CREATE_NODE id=n_3af249ce6201 node_type=claim
t=0012 CREATE_NODE id=n_936c0ec49d72 node_type=claim
t=0013 CREATE_NODE id=n_33282089d60f node_type=claim
t=0014 CREATE_NODE id=n_d704cdc3b8b8 node_type=claim
t=0015 CREATE_NODE id=n_8e1020623ca9 node_type=claim
t=0016 CREATE_NODE id=n_0f1ac80746e8 node_type=claim
t=0017 CREATE_NODE id=n_3b225f8c4d03 node_type=claim
t=0018 CREATE_NODE id=n_abe3c8509062 node_type=claim
t=0019 CREATE_NODE id=n_45fe63b90ff4 node_type=claim
t=0020 CREATE_NODE id=n_3ede658305f9 node_type=claim
t=0021 CREATE_NODE id=n_73090b9b3093 node_type=claim
t=0022 CREATE_NODE id=n_d5e4baf32325 node_type=claim
t=0023 CREATE_NODE id=n_eeb213711cc8 node_type=claim
t=0024 CREATE_NODE id=n_438aec037edf node_type=claim
t=0025 CREATE_NODE id=n_10812f4af6cb node_type=claim
t=0026 CREATE_NODE id=n_1c77ac790c11 node_type=claim
t=0027 CREATE_NODE id=n_ee589f05d72e node_type=claim
t=0028 CREATE_NODE id=n_d7bb9070dbb1 node_type=claim
t=0029 CREATE_NODE id=n_6140b06e8178 node_type=claim
t=0030 CREATE_NODE id=n_f24e527eed6a node_type=claim
t=0031 CREATE_NODE id=n_afb498d901af node_type=claim
t=0032 CREATE_NODE id=n_86ae905d8a22 node_type=claim
t=0033 CREATE_NODE id=n_c0d100fb14ab node_type=claim
t=0034 CREATE_NODE id=n_0470a893d898 node_type=claim
t=0035 CREATE_NODE id=n_8367b173c73c node_type=claim
t=0036 CREATE_NODE id=n_1a4f5a0e694e node_type=claim
t=0037 CREATE_NODE id=n_2b2455ccb9e0 node_type=claim
t=0038 CREATE_NODE id=n_febaf02ea57c node_type=claim
t=0039 CREATE_NODE id=n_0a1c1d5f99ee node_type=claim
t=0040 CREATE_NODE id=n_bada2c732c61 node_type=claim
t=0041 CREATE_NODE id=n_c14c6897b59c node_type=claim
t=0042 CREATE_NODE id=n_9093c47e0ebe node_type=claim
t=0043 CREATE_NODE id=n_e02572077e5b node_type=claim
t=0044 CREATE_NODE id=n_b0b551bd4137 node_type=claim
t=0045 CREATE_NODE id=n_1e5b121c9342 node_type=claim
t=0046 CREATE_NODE id=n_c4453115515e node_type=claim
t=0047 CREATE_NODE id=n_42c4413a037e node_type=claim
t=0048 CREATE_NODE id=n_6832c9b24800 node_type=claim
t=0049 CREATE_NODE id=n_0459ee495645 node_type=claim
t=0050 CREATE_NODE id=n_2fcebc2def8b node_type=claim
t=0051 CREATE_NODE id=n_f7bcdb38a87d node_type=claim
t=0052 CREATE_NODE id=n_cadf3e45df7f node_type=claim
t=0053 CREATE_NODE id=n_a50e6e688670 node_type=claim
t=0054 CREATE_NODE id=n_67fb87efac19 node_type=claim
t=0055 CREATE_NODE id=n_0cfc8d5026cb node_type=claim
t=0056 CREATE_NODE id=n_a1899271a6a7 node_type=claim
t=0057 CREATE_NODE id=n_1b34d3f5578e node_type=claim
t=0058 CREATE_NODE id=n_75853f9ef258 node_type=claim
t=0059 CREATE_NODE id=n_74086c246b97 node_type=claim
t=0060 CREATE_NODE id=n_a2edde868f88 node_type=claim
t=0061 CREATE_NODE id=n_2095de41a8b2 node_type=claim
t=0062 CREATE_NODE id=n_ada93b7e2eb0 node_type=claim
t=0063 CREATE_NODE id=n_8c3302ca66d4 node_type=claim
t=0064 ASSERT_ROOT node=n_8367b173c73c value=TRUE
t=0065 ADD_EDGE edge_id=e_99a3a5c1922d source=n_0470a893d898 edge_type=supports target=n_10812f4af6cb
t=0066 ADD_EDGE edge_id=e_17002aa650ce source=n_e02572077e5b edge_type=refutes target=n_35ae9b6a3499
t=0067 ADD_EDGE edge_id=e_58be5f6086db source=n_2fcebc2def8b edge_type=refutes target=n_af3c8cf74b54
t=0068 ADD_EDGE edge_id=e_2ff31bbba8d8 source=n_9093c47e0ebe edge_type=supports target=n_b0b551bd4137
t=0069 ADD_EDGE edge_id=e_88bcc9c17b31 source=n_f24e527eed6a edge_type=refutes target=n_45fe63b90ff4
t=0070 ADD_EDGE edge_id=e_c0a0a53f5e0b source=n_af3c8cf74b54 edge_type=refutes target=n_a1899271a6a7
t=0071 ADD_EDGE edge_id=e_2bdb0c0b75c0 source=n_75853f9ef258 edge_type=supports target=n_0a1c1d5f99ee
t=0072 ADD_EDGE edge_id=e_f963f7a7e394 source=n_73090b9b3093 edge_type=supports target=n_0f1ac80746e8
t=0073 ADD_EDGE edge_id=e_4d28cba1ea38 source=n_4901acb4d50b edge_type=supports target=n_fdf1416dea0c
t=0074 ADD_EDGE edge_id=e_d8f904feb124 source=n_45fe63b90ff4 edge_type=refutes target=n_c14c6897b59c
t=0075 ADD_EDGE edge_id=e_67c681f35a35 source=n_4901acb4d50b edge_type=supports target=n_2d98b6525b53
t=0076 ADD_EDGE edge_id=e_7b8a6288b1e9 source=n_d704cdc3b8b8 edge_type=refutes target=n_1e5b121c9342
t=0077 ADD_EDGE edge_id=e_fe62d389229e source=n_0470a893d898 edge_type=refutes target=n_d7bb9070dbb1
t=0078 ADD_EDGE edge_id=e_48ee87748c8b source=n_3ede658305f9 edge_type=refutes target=n_1c77ac790c11
t=0079 ADD_EDGE edge_id=e_123213cdf245 source=n_623c3ceb234b edge_type=supports target=n_2095de41a8b2
t=0080 ADD_EDGE edge_id=e_c4a9cf866976 source=n_2b2455ccb9e0 edge_type=supports target=n_cadf3e45df7f
t=0081 ADD_EDGE edge_id=e_b998c2a97b18 source=n_73090b9b3093 edge_type=supports target=n_a50e6e688670
t=0082 ADD_EDGE edge_id=e_b83ce282bfd2 source=n_cadf3e45df7f edge_type=supports target=n_bada2c732c61
t=0083 ADD_EDGE edge_id=e_1c9a98e725dc source=n_a4d98f97cb98 edge_type=supports target=n_438aec037edf
t=0084 ADD_EDGE edge_id=e_2708ecb75259 source=n_ee589f05d72e edge_type=refutes target=n_3ede658305f9
t=0085 ADD_EDGE edge_id=e_3587f562a99a source=n_d7bb9070dbb1 edge_type=supports target=n_abe3c8509062
t=0086 ADD_EDGE edge_id=e_4e11b861595b source=n_c0d100fb14ab edge_type=supports target=n_eeb213711cc8
t=0087 ADD_EDGE edge_id=e_5de5f6d4cd9e source=n_ada93b7e2eb0 edge_type=refutes target=n_c0d100fb14ab
t=0088 ADD_EDGE edge_id=e_8b318f94dc4f source=n_ada93b7e2eb0 edge_type=supports target=n_2fcebc2def8b
t=0089 ADD_EDGE edge_id=e_c2295d9e55c6 source=n_d5e4baf32325 edge_type=supports target=n_81e048f16427
t=0090 ADD_EDGE edge_id=e_bc25f6d7555d source=n_0a1c1d5f99ee edge_type=refutes target=n_0cfc8d5026cb
t=0091 ADD_EDGE edge_id=e_6a1583b87c52 source=n_b0b551bd4137 edge_type=supports target=n_a4d98f97cb98
t=0092 ADD_EDGE edge_id=e_6bfbf511f4c4 source=n_6140b06e8178 edge_type=supports target=n_d5e4baf32325
t=0093 ADD_EDGE edge_id=e_6c6d6e8557b2 source=n_4901acb4d50b edge_type=refutes target=n_febaf02ea57c
t=0094 ADD_EDGE edge_id=e_0df17edf0a61 source=n_2fcebc2def8b edge_type=refutes target=n_3af249ce6201
t=0095 ADD_EDGE edge_id=e_76245b3d30a0 source=n_8e1020623ca9 edge_type=supports target=n_f7bcdb38a87d
t=0096 ADD_EDGE edge_id=e_55eebee6b701 source=n_8c3302ca66d4 edge_type=refutes target=n_ee589f05d72e
t=0097 ADD_EDGE edge_id=e_594350d21bdf source=n_8367b173c73c edge_type=refutes target=n_9093c47e0ebe
t=0098 ADD_EDGE edge_id=e_a1cffa27fd2c source=n_c4453115515e edge_type=supports target=n_4901acb4d50b
t=0099 ADD_EDGE edge_id=e_83cd342366cb source=n_81e048f16427 edge_type=supports target=n_8e1020623ca9
t=0100 ADD_EDGE edge_id=e_868fd9a3b101 source=n_623c3ceb234b edge_type=refutes target=n_6140b06e8178
t=0101 ADD_EDGE edge_id=e_3e35084b23a6 source=n_a4d98f97cb98 edge_type=supports target=n_0459ee495645
t=0102 ADD_EDGE edge_id=e_da5e9ae45147 source=n_1c77ac790c11 edge_type=refutes target=n_936c0ec49d72
t=0103 ADD_EDGE edge_id=e_6a720a56e2e4 source=n_2fcebc2def8b edge_type=refutes target=n_1b34d3f5578e
t=0104 ADD_EDGE edge_id=e_65819a5fb56d source=n_0a1c1d5f99ee edge_type=refutes target=n_afb498d901af
t=0105 ADD_EDGE edge_id=e_096418046037 source=n_35ae9b6a3499 edge_type=supports target=n_6832c9b24800
t=0106 ADD_EDGE edge_id=e_7856804dd697 source=n_3af249ce6201 edge_type=refutes target=n_73090b9b3093
t=0107 ADD_EDGE edge_id=e_1675c358be60 source=n_86ae905d8a22 edge_type=refutes target=n_3b225f8c4d03
t=0108 ADD_EDGE edge_id=e_79bedc666963 source=n_d704cdc3b8b8 edge_type=refutes target=n_a9343b0a636a
t=0109 ADD_EDGE edge_id=e_c9d4e0ee0177 source=n_ada93b7e2eb0 edge_type=supports target=n_d704cdc3b8b8
t=0110 ADD_EDGE edge_id=e_3016983adead source=n_10812f4af6cb edge_type=refutes target=n_c4453115515e
t=0111 ADD_EDGE edge_id=e_505958eb2f8a source=n_67fb87efac19 edge_type=supports target=n_e02572077e5b
t=0112 ADD_EDGE edge_id=e_d51439566f98 source=n_f7bcdb38a87d edge_type=refutes target=n_86ae905d8a22
t=0113 ADD_EDGE edge_id=e_41ead158864e source=n_2b2455ccb9e0 edge_type=supports target=n_a2edde868f88
t=0114 ADD_EDGE edge_id=e_126913965c76 source=n_6832c9b24800 edge_type=refutes target=n_8c3302ca66d4
t=0115 ADD_EDGE edge_id=e_47b75b25afab source=n_0459ee495645 edge_type=refutes target=n_75853f9ef258
t=0116 ADD_EDGE edge_id=e_728257cb8630 source=n_ada93b7e2eb0 edge_type=refutes target=n_1a4f5a0e694e
t=0117 ADD_EDGE edge_id=e_5a39bf6a5fa8 source=n_0470a893d898 edge_type=refutes target=n_ada93b7e2eb0
t=0118 ADD_EDGE edge_id=e_097eb3d4fe6f source=n_9093c47e0ebe edge_type=supports target=n_42c4413a037e
t=0119 ADD_EDGE edge_id=e_b3d05ea5e36d source=n_0470a893d898 edge_type=supports target=n_74086c246b97
t=0120 ADD_EDGE edge_id=e_a84831da4711 source=n_c0d100fb14ab edge_type=supports target=n_d544dcb6e242
t=0121 ADD_EDGE edge_id=e_01dfb3ad5e59 source=n_afb498d901af edge_type=supports target=n_623c3ceb234b
t=0122 ADD_EDGE edge_id=e_deffe243c9b5 source=n_c14c6897b59c edge_type=supports target=n_67fb87efac19
t=0123 ADD_EDGE edge_id=e_c4fff4623a3c source=n_33282089d60f edge_type=refutes target=n_de1aa64873d3
t=0124 ADD_EDGE edge_id=e_d8c44ebfe65c source=n_c0d100fb14ab edge_type=refutes target=n_33282089d60f
t=0125 ADD_EDGE edge_id=e_9e64a3a6cead source=n_3b225f8c4d03 edge_type=refutes target=n_f24e527eed6a
t=0126 ADD_EDGE edge_id=e_e33b9aa1e9b1 source=n_33282089d60f edge_type=supports target=n_2b2455ccb9e0
t=0127 QUERY source=n_8367b173c73c target=n_936c0ec49d72
[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_02a8fc14ba79 node_type=claim
t=0001 CREATE_NODE id=n_8f123b5567d8 node_type=claim
t=0002 CREATE_NODE id=n_719f6c72e371 node_type=claim
t=0003 CREATE_NODE id=n_d96e69784215 node_type=claim
t=0004 CREATE_NODE id=n_32311fdf43d0 node_type=claim
t=0005 CREATE_NODE id=n_0a7e68fcc348 node_type=claim
t=0006 CREATE_NODE id=n_577ae9f2ef5f node_type=claim
t=0007 CREATE_NODE id=n_562dbb9e8f04 node_type=claim
t=0008 CREATE_NODE id=n_a2aa48b0b5ff node_type=claim
t=0009 CREATE_NODE id=n_4a38dfcfd5aa node_type=claim
t=0010 CREATE_NODE id=n_2e7863c1306c node_type=claim
t=0011 CREATE_NODE id=n_cc12a913dc49 node_type=claim
t=0012 CREATE_NODE id=n_9aeb77aefffa node_type=claim
t=0013 CREATE_NODE id=n_681575a2f0a2 node_type=claim
t=0014 CREATE_NODE id=n_9cc9b0701637 node_type=claim
t=0015 CREATE_NODE id=n_cbdabdff12ed node_type=claim
t=0016 CREATE_NODE id=n_7dbb3fcdcac3 node_type=claim
t=0017 CREATE_NODE id=n_c75ab4c4e6b6 node_type=claim
t=0018 CREATE_NODE id=n_685568acd626 node_type=claim
t=0019 CREATE_NODE id=n_bd1f1fe5232c node_type=claim
t=0020 CREATE_NODE id=n_ec1e763f529f node_type=claim
t=0021 CREATE_NODE id=n_1d8eadf04844 node_type=claim
t=0022 CREATE_NODE id=n_9adf8a5f6d81 node_type=claim
t=0023 CREATE_NODE id=n_799e3d449f24 node_type=claim
t=0024 CREATE_NODE id=n_0634fefc62e8 node_type=claim
t=0025 CREATE_NODE id=n_4696e9305097 node_type=claim
t=0026 CREATE_NODE id=n_f8c40866bdc8 node_type=claim
t=0027 CREATE_NODE id=n_9acf25bc4a2c node_type=claim
t=0028 CREATE_NODE id=n_0b8515a585e7 node_type=claim
t=0029 CREATE_NODE id=n_bbe68f847d0f node_type=claim
t=0030 CREATE_NODE id=n_d9dff537455d node_type=claim
t=0031 CREATE_NODE id=n_8808a6a2b930 node_type=claim
t=0032 CREATE_NODE id=n_e7e9bc6a3e51 node_type=claim
t=0033 CREATE_NODE id=n_d241de1549fd node_type=claim
t=0034 CREATE_NODE id=n_921b1141b4fb node_type=claim
t=0035 CREATE_NODE id=n_3268bd5bd31a node_type=claim
t=0036 CREATE_NODE id=n_35e231fce88e node_type=claim
t=0037 CREATE_NODE id=n_8bda6a292f47 node_type=claim
t=0038 CREATE_NODE id=n_0c8b8ca6abfa node_type=claim
t=0039 CREATE_NODE id=n_71c67d7b00ba node_type=claim
t=0040 CREATE_NODE id=n_c66008bda1c7 node_type=claim
t=0041 CREATE_NODE id=n_5382a3d75b39 node_type=claim
t=0042 CREATE_NODE id=n_c1fafcd11e27 node_type=claim
t=0043 CREATE_NODE id=n_068a06180d60 node_type=claim
t=0044 CREATE_NODE id=n_6e7a29edfe40 node_type=claim
t=0045 CREATE_NODE id=n_15dcf0c1e70d node_type=claim
t=0046 CREATE_NODE id=n_52d189041d88 node_type=claim
t=0047 CREATE_NODE id=n_5d0033dadfb6 node_type=claim
t=0048 CREATE_NODE id=n_8f0d2dfcb5f4 node_type=claim
t=0049 CREATE_NODE id=n_0a49b987907f node_type=claim
t=0050 CREATE_NODE id=n_cbb59ba4c4b5 node_type=claim
t=0051 CREATE_NODE id=n_33ed50f7160f node_type=claim
t=0052 CREATE_NODE id=n_4bce6b75f322 node_type=claim
t=0053 CREATE_NODE id=n_d9d339e899e3 node_type=claim
t=0054 CREATE_NODE id=n_60ea42e14dff node_type=claim
t=0055 CREATE_NODE id=n_79658d434f50 node_type=claim
t=0056 CREATE_NODE id=n_b1a9916dad0f node_type=claim
t=0057 CREATE_NODE id=n_8a1dd6b15d21 node_type=claim
t=0058 CREATE_NODE id=n_115e420c0440 node_type=claim
t=0059 CREATE_NODE id=n_d5d4aec36674 node_type=claim
t=0060 CREATE_NODE id=n_71266e9b3da5 node_type=claim
t=0061 CREATE_NODE id=n_1f58fb236970 node_type=claim
t=0062 CREATE_NODE id=n_9f925750b3ee node_type=claim
t=0063 CREATE_NODE id=n_d44a952d9c63 node_type=claim
t=0064 CREATE_NODE id=n_a4d1f8bc3226 node_type=claim
t=0065 CREATE_NODE id=n_ed0d65f34485 node_type=claim
t=0066 ASSERT_ROOT node=n_562dbb9e8f04 value=TRUE
t=0067 ADD_EDGE edge_id=e_164ae71fc852 source=n_79658d434f50 edge_type=supports target=n_4bce6b75f322
t=0068 ADD_EDGE edge_id=e_19557d8c598d source=n_921b1141b4fb edge_type=refutes target=n_1d8eadf04844
t=0069 ADD_EDGE edge_id=e_3be0bc92d44f source=n_35e231fce88e edge_type=supports target=n_c75ab4c4e6b6
t=0070 ADD_EDGE edge_id=e_71461ca1059e source=n_5382a3d75b39 edge_type=refutes target=n_0a49b987907f
t=0071 ADD_EDGE edge_id=e_855f2c04fd07 source=n_7dbb3fcdcac3 edge_type=supports target=n_5382a3d75b39
t=0072 ADD_EDGE edge_id=e_66e7b63ef0e1 source=n_1d8eadf04844 edge_type=supports target=n_d9d339e899e3
t=0073 ADD_EDGE edge_id=e_9e593fe2c198 source=n_a4d1f8bc3226 edge_type=supports target=n_0a7e68fcc348
t=0074 ADD_EDGE edge_id=e_cad65cc3668f source=n_52d189041d88 edge_type=supports target=n_2e7863c1306c
t=0075 ADD_EDGE edge_id=e_4ea473ef58e5 source=n_15dcf0c1e70d edge_type=refutes target=n_c66008bda1c7
t=0076 ADD_EDGE edge_id=e_075aa90a6a85 source=n_5d0033dadfb6 edge_type=supports target=n_4a38dfcfd5aa
t=0077 ADD_EDGE edge_id=e_0f75f917e3dd source=n_9adf8a5f6d81 edge_type=supports target=n_bd1f1fe5232c
t=0078 ADD_EDGE edge_id=e_2824ee294793 source=n_4696e9305097 edge_type=refutes target=n_7dbb3fcdcac3
t=0079 ADD_EDGE edge_id=e_452c0f6fce75 source=n_71c67d7b00ba edge_type=refutes target=n_0c8b8ca6abfa
t=0080 ADD_EDGE edge_id=e_5b34954ead44 source=n_e7e9bc6a3e51 edge_type=supports target=n_a2aa48b0b5ff
t=0081 ADD_EDGE edge_id=e_e082600141e4 source=n_71c67d7b00ba edge_type=refutes target=n_3268bd5bd31a
t=0082 ADD_EDGE edge_id=e_e15de66e0c8c source=n_cc12a913dc49 edge_type=supports target=n_02a8fc14ba79
t=0083 ADD_EDGE edge_id=e_1001bd151197 source=n_9f925750b3ee edge_type=refutes target=n_ec1e763f529f
t=0084 ADD_EDGE edge_id=e_6a298d69044a source=n_685568acd626 edge_type=refutes target=n_d9dff537455d
t=0085 ADD_EDGE edge_id=e_ebdc98f37609 source=n_bd1f1fe5232c edge_type=refutes target=n_cc12a913dc49
t=0086 ADD_EDGE edge_id=e_d1fa9528fce3 source=n_ec1e763f529f edge_type=supports target=n_b1a9916dad0f
t=0087 ADD_EDGE edge_id=e_e80bbe6b40df source=n_0a49b987907f edge_type=supports target=n_068a06180d60
t=0088 ADD_EDGE edge_id=e_258c2acccfc6 source=n_9aeb77aefffa edge_type=refutes target=n_f8c40866bdc8
t=0089 ADD_EDGE edge_id=e_b17a0e6cc454 source=n_2e7863c1306c edge_type=refutes target=n_32311fdf43d0
t=0090 ADD_EDGE edge_id=e_0a56adb494b3 source=n_115e420c0440 edge_type=refutes target=n_8f123b5567d8
t=0091 ADD_EDGE edge_id=e_8570bbf36ff9 source=n_0c8b8ca6abfa edge_type=refutes target=n_bbe68f847d0f
t=0092 ADD_EDGE edge_id=e_aa4dce8bacee source=n_9f925750b3ee edge_type=supports target=n_35e231fce88e
t=0093 ADD_EDGE edge_id=e_00c7d09a9ee6 source=n_d9dff537455d edge_type=supports target=n_d5d4aec36674
t=0094 ADD_EDGE edge_id=e_18a394da83c6 source=n_a4d1f8bc3226 edge_type=refutes target=n_9aeb77aefffa
t=0095 ADD_EDGE edge_id=e_cd743c11b570 source=n_6e7a29edfe40 edge_type=supports target=n_719f6c72e371
t=0096 ADD_EDGE edge_id=e_9caa559b9cd3 source=n_681575a2f0a2 edge_type=supports target=n_d44a952d9c63
t=0097 ADD_EDGE edge_id=e_233dfc59c1ad source=n_8a1dd6b15d21 edge_type=supports target=n_71c67d7b00ba
t=0098 ADD_EDGE edge_id=e_29bbaea6e647 source=n_a2aa48b0b5ff edge_type=supports target=n_71266e9b3da5
t=0099 ADD_EDGE edge_id=e_35ede3fae2a3 source=n_562dbb9e8f04 edge_type=supports target=n_8f0d2dfcb5f4
t=0100 ADD_EDGE edge_id=e_3cc3da2f43fe source=n_0b8515a585e7 edge_type=supports target=n_52d189041d88
t=0101 ADD_EDGE edge_id=e_7b8be348b59a source=n_6e7a29edfe40 edge_type=supports target=n_9f925750b3ee
t=0102 ADD_EDGE edge_id=e_2479d0a2ab42 source=n_c66008bda1c7 edge_type=supports target=n_9adf8a5f6d81
t=0103 ADD_EDGE edge_id=e_fdd4ba75803e source=n_681575a2f0a2 edge_type=supports target=n_d96e69784215
t=0104 ADD_EDGE edge_id=e_24109e5b5ac6 source=n_a4d1f8bc3226 edge_type=refutes target=n_6e7a29edfe40
t=0105 ADD_EDGE edge_id=e_b8c082c46a3a source=n_02a8fc14ba79 edge_type=refutes target=n_577ae9f2ef5f
t=0106 ADD_EDGE edge_id=e_251acc966ede source=n_799e3d449f24 edge_type=refutes target=n_921b1141b4fb
t=0107 ADD_EDGE edge_id=e_aa9731b03ce7 source=n_8a1dd6b15d21 edge_type=refutes target=n_a4d1f8bc3226
t=0108 ADD_EDGE edge_id=e_bdfcad12f73a source=n_b1a9916dad0f edge_type=supports target=n_5d0033dadfb6
t=0109 ADD_EDGE edge_id=e_dd32ee4f2fbf source=n_60ea42e14dff edge_type=refutes target=n_cbb59ba4c4b5
t=0110 ADD_EDGE edge_id=e_ca33938b87a2 source=n_d9d339e899e3 edge_type=refutes target=n_685568acd626
t=0111 ADD_EDGE edge_id=e_313ff0694af9 source=n_35e231fce88e edge_type=refutes target=n_cbdabdff12ed
t=0112 ADD_EDGE edge_id=e_50f4c5d16300 source=n_8f123b5567d8 edge_type=refutes target=n_799e3d449f24
t=0113 ADD_EDGE edge_id=e_db74c8ded2c1 source=n_d9dff537455d edge_type=refutes target=n_15dcf0c1e70d
t=0114 ADD_EDGE edge_id=e_da78f5aeaf87 source=n_71c67d7b00ba edge_type=supports target=n_c1fafcd11e27
t=0115 ADD_EDGE edge_id=e_bdc7ef66adb7 source=n_6e7a29edfe40 edge_type=supports target=n_1f58fb236970
t=0116 ADD_EDGE edge_id=e_853d93fe6d87 source=n_115e420c0440 edge_type=supports target=n_8bda6a292f47
t=0117 ADD_EDGE edge_id=e_0d5e9af4a276 source=n_681575a2f0a2 edge_type=refutes target=n_e7e9bc6a3e51
t=0118 ADD_EDGE edge_id=e_077fe7656f15 source=n_32311fdf43d0 edge_type=refutes target=n_4696e9305097
t=0119 ADD_EDGE edge_id=e_a5cc0cfd7d40 source=n_562dbb9e8f04 edge_type=refutes target=n_9cc9b0701637
t=0120 ADD_EDGE edge_id=e_47a987ac5173 source=n_a4d1f8bc3226 edge_type=supports target=n_9acf25bc4a2c
t=0121 ADD_EDGE edge_id=e_aa394ece2e45 source=n_068a06180d60 edge_type=supports target=n_79658d434f50
t=0122 ADD_EDGE edge_id=e_8e8b3792a40d source=n_577ae9f2ef5f edge_type=supports target=n_0b8515a585e7
t=0123 ADD_EDGE edge_id=e_18dbe0e8fe68 source=n_681575a2f0a2 edge_type=refutes target=n_8a1dd6b15d21
t=0124 ADD_EDGE edge_id=e_c36ceea826da source=n_8f0d2dfcb5f4 edge_type=refutes target=n_0634fefc62e8
t=0125 ADD_EDGE edge_id=e_eda17250bf54 source=n_b1a9916dad0f edge_type=refutes target=n_60ea42e14dff
t=0126 ADD_EDGE edge_id=e_a99ddb9dc004 source=n_9acf25bc4a2c edge_type=supports target=n_8808a6a2b930
t=0127 ADD_EDGE edge_id=e_768167c3ab19 source=n_0634fefc62e8 edge_type=refutes target=n_115e420c0440
t=0128 ADD_EDGE edge_id=e_4a42940d02c5 source=n_681575a2f0a2 edge_type=supports target=n_33ed50f7160f
t=0129 ADD_EDGE edge_id=e_0879ffc08677 source=n_35e231fce88e edge_type=refutes target=n_ed0d65f34485
t=0130 ADD_EDGE edge_id=e_81b04930d623 source=n_8f0d2dfcb5f4 edge_type=refutes target=n_d241de1549fd
t=0131 QUERY source=n_562dbb9e8f04 target=n_4bce6b75f322
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_53b3ce15cfc5 node_type=claim
t=0001 CREATE_NODE id=n_e7b0c5aef2b2 node_type=claim
t=0002 CREATE_NODE id=n_212e16099436 node_type=claim
t=0003 CREATE_NODE id=n_9c27919acb62 node_type=claim
t=0004 CREATE_NODE id=n_1d2420cfe209 node_type=claim
t=0005 CREATE_NODE id=n_e36836eccac4 node_type=claim
t=0006 CREATE_NODE id=n_c0b89912e1f9 node_type=claim
t=0007 CREATE_NODE id=n_8aefcddb92c4 node_type=claim
t=0008 CREATE_NODE id=n_987eed74e99f node_type=claim
t=0009 CREATE_NODE id=n_b96f49836886 node_type=claim
t=0010 CREATE_NODE id=n_8115fb8832e0 node_type=claim
t=0011 CREATE_NODE id=n_9f7c05179636 node_type=claim
t=0012 CREATE_NODE id=n_417d93d8f80d node_type=claim
t=0013 CREATE_NODE id=n_96fce535a1cf node_type=claim
t=0014 CREATE_NODE id=n_b4825e268a8e node_type=claim
t=0015 CREATE_NODE id=n_aa11c96f612f node_type=claim
t=0016 CREATE_NODE id=n_57db2fa0b212 node_type=claim
t=0017 CREATE_NODE id=n_49223fbda26f node_type=claim
t=0018 CREATE_NODE id=n_76001eb78d23 node_type=claim
t=0019 CREATE_NODE id=n_501314c49be2 node_type=claim
t=0020 CREATE_NODE id=n_b93ca44faf2c node_type=claim
t=0021 CREATE_NODE id=n_e7b419cbb0c6 node_type=claim
t=0022 CREATE_NODE id=n_2386bf22eb74 node_type=claim
t=0023 CREATE_NODE id=n_129513c94557 node_type=claim
t=0024 CREATE_NODE id=n_6c1cf10f7ac3 node_type=claim
t=0025 CREATE_NODE id=n_d5b091079abe node_type=claim
t=0026 CREATE_NODE id=n_ca891686e6f2 node_type=claim
t=0027 CREATE_NODE id=n_d179877e3a73 node_type=claim
t=0028 CREATE_NODE id=n_ebb8fab36600 node_type=claim
t=0029 CREATE_NODE id=n_27165446e1e8 node_type=claim
t=0030 CREATE_NODE id=n_7deceacd3707 node_type=claim
t=0031 CREATE_NODE id=n_5b2900d08488 node_type=claim
t=0032 CREATE_NODE id=n_2e8b2fdb7639 node_type=claim
t=0033 CREATE_NODE id=n_14380a91a27a node_type=claim
t=0034 CREATE_NODE id=n_24897dad9c88 node_type=claim
t=0035 CREATE_NODE id=n_8fc1e8448895 node_type=claim
t=0036 CREATE_NODE id=n_53060c226485 node_type=claim
t=0037 CREATE_NODE id=n_b866632cfe95 node_type=claim
t=0038 CREATE_NODE id=n_523c40ebed7c node_type=claim
t=0039 CREATE_NODE id=n_8f1638e9fdc5 node_type=claim
t=0040 CREATE_NODE id=n_14cf8089c9c2 node_type=claim
t=0041 CREATE_NODE id=n_eb084bd0910e node_type=claim
t=0042 CREATE_NODE id=n_08f3e6484ed4 node_type=claim
t=0043 CREATE_NODE id=n_175d25f4039f node_type=claim
t=0044 CREATE_NODE id=n_7933270e7b42 node_type=claim
t=0045 CREATE_NODE id=n_414f54f08208 node_type=claim
t=0046 CREATE_NODE id=n_db20a048a9f8 node_type=claim
t=0047 CREATE_NODE id=n_bf0d94e1c3f7 node_type=claim
t=0048 CREATE_NODE id=n_59d14c457fb3 node_type=claim
t=0049 CREATE_NODE id=n_8ebe694afded node_type=claim
t=0050 CREATE_NODE id=n_f76e3d25fbcd node_type=claim
t=0051 CREATE_NODE id=n_033e0b2d661c node_type=claim
t=0052 CREATE_NODE id=n_7c246645dabe node_type=claim
t=0053 CREATE_NODE id=n_edd86e3eb043 node_type=claim
t=0054 CREATE_NODE id=n_cc485b1dcf15 node_type=claim
t=0055 CREATE_NODE id=n_edac70260c89 node_type=claim
t=0056 CREATE_NODE id=n_8d87ca6a14a0 node_type=claim
t=0057 CREATE_NODE id=n_63959b7f50e5 node_type=claim
t=0058 CREATE_NODE id=n_ec93b3b41543 node_type=claim
t=0059 CREATE_NODE id=n_a90f5c452da7 node_type=claim
t=0060 CREATE_NODE id=n_4e6922b3bd5d node_type=claim
t=0061 CREATE_NODE id=n_c6479ded9ca6 node_type=claim
t=0062 CREATE_NODE id=n_938fc8ca55af node_type=claim
t=0063 CREATE_NODE id=n_5779af2e43c7 node_type=claim
t=0064 CREATE_NODE id=n_40014ce38d2d node_type=claim
t=0065 CREATE_NODE id=n_6eb1573a1b3b node_type=claim
t=0066 ASSERT_ROOT node=n_d179877e3a73 value=TRUE
t=0067 ADD_EDGE edge_id=e_fa8aa0265b16 source=n_27165446e1e8 edge_type=refutes target=n_14cf8089c9c2
t=0068 ADD_EDGE edge_id=e_ef7acfc4a04a source=n_938fc8ca55af edge_type=supports target=n_2e8b2fdb7639
t=0069 ADD_EDGE edge_id=e_85dc6eb4fcb2 source=n_175d25f4039f edge_type=supports target=n_edd86e3eb043
t=0070 ADD_EDGE edge_id=e_103fbe395a85 source=n_4e6922b3bd5d edge_type=supports target=n_63959b7f50e5
t=0071 ADD_EDGE edge_id=e_634f8ab9efec source=n_7933270e7b42 edge_type=supports target=n_7c246645dabe
t=0072 ADD_EDGE edge_id=e_26537fd4d896 source=n_ec93b3b41543 edge_type=refutes target=n_49223fbda26f
t=0073 ADD_EDGE edge_id=e_619f9c06656d source=n_8f1638e9fdc5 edge_type=supports target=n_ebb8fab36600
t=0074 ADD_EDGE edge_id=e_f8f4937b4d47 source=n_2386bf22eb74 edge_type=refutes target=n_8115fb8832e0
t=0075 ADD_EDGE edge_id=e_4cb57199b25c source=n_7deceacd3707 edge_type=refutes target=n_6c1cf10f7ac3
t=0076 ADD_EDGE edge_id=e_a33b25138255 source=n_8ebe694afded edge_type=supports target=n_b96f49836886
t=0077 ADD_EDGE edge_id=e_0093d4b658bc source=n_523c40ebed7c edge_type=refutes target=n_501314c49be2
t=0078 ADD_EDGE edge_id=e_8b1cf6efe926 source=n_db20a048a9f8 edge_type=supports target=n_8aefcddb92c4
t=0079 ADD_EDGE edge_id=e_0d7687af2905 source=n_ebb8fab36600 edge_type=supports target=n_7deceacd3707
t=0080 ADD_EDGE edge_id=e_012e1e4dd297 source=n_76001eb78d23 edge_type=supports target=n_f76e3d25fbcd
t=0081 ADD_EDGE edge_id=e_90fbcf82b822 source=n_b4825e268a8e edge_type=refutes target=n_14380a91a27a
t=0082 ADD_EDGE edge_id=e_c09b3933d360 source=n_e36836eccac4 edge_type=refutes target=n_edac70260c89
t=0083 ADD_EDGE edge_id=e_8e76a6646056 source=n_27165446e1e8 edge_type=refutes target=n_9c27919acb62
t=0084 ADD_EDGE edge_id=e_d7d6a928b218 source=n_08f3e6484ed4 edge_type=refutes target=n_8d87ca6a14a0
t=0085 ADD_EDGE edge_id=e_c30526393de4 source=n_b93ca44faf2c edge_type=supports target=n_b4825e268a8e
t=0086 ADD_EDGE edge_id=e_a46a30972f68 source=n_40014ce38d2d edge_type=refutes target=n_96fce535a1cf
t=0087 ADD_EDGE edge_id=e_fa2af06f2a03 source=n_14380a91a27a edge_type=supports target=n_175d25f4039f
t=0088 ADD_EDGE edge_id=e_9064f5cd443c source=n_2e8b2fdb7639 edge_type=supports target=n_417d93d8f80d
t=0089 ADD_EDGE edge_id=e_5719396993ed source=n_7c246645dabe edge_type=supports target=n_ec93b3b41543
t=0090 ADD_EDGE edge_id=e_0bd9049cb490 source=n_b866632cfe95 edge_type=refutes target=n_a90f5c452da7
t=0091 ADD_EDGE edge_id=e_5790b1525159 source=n_53b3ce15cfc5 edge_type=refutes target=n_e7b419cbb0c6
t=0092 ADD_EDGE edge_id=e_e79c27aecf8b source=n_7deceacd3707 edge_type=refutes target=n_2386bf22eb74
t=0093 ADD_EDGE edge_id=e_2d9e4ec978b9 source=n_523c40ebed7c edge_type=refutes target=n_6eb1573a1b3b
t=0094 ADD_EDGE edge_id=e_672bed80f19e source=n_ec93b3b41543 edge_type=refutes target=n_e7b0c5aef2b2
t=0095 ADD_EDGE edge_id=e_6aef5ae8825d source=n_175d25f4039f edge_type=refutes target=n_5779af2e43c7
t=0096 ADD_EDGE edge_id=e_83d172e61826 source=n_033e0b2d661c edge_type=refutes target=n_bf0d94e1c3f7
t=0097 ADD_EDGE edge_id=e_2726c0889aac source=n_27165446e1e8 edge_type=refutes target=n_e36836eccac4
t=0098 ADD_EDGE edge_id=e_a5a2acb5f8cb source=n_aa11c96f612f edge_type=refutes target=n_53b3ce15cfc5
t=0099 ADD_EDGE edge_id=e_90fd00b1dbe1 source=n_cc485b1dcf15 edge_type=refutes target=n_938fc8ca55af
t=0100 ADD_EDGE edge_id=e_d066dd3f6a28 source=n_1d2420cfe209 edge_type=supports target=n_b93ca44faf2c
t=0101 ADD_EDGE edge_id=e_136e6b31d15a source=n_53b3ce15cfc5 edge_type=supports target=n_5b2900d08488
t=0102 ADD_EDGE edge_id=e_2d93de5dd5bb source=n_96fce535a1cf edge_type=refutes target=n_212e16099436
t=0103 ADD_EDGE edge_id=e_c679b1232317 source=n_c6479ded9ca6 edge_type=supports target=n_ca891686e6f2
t=0104 ADD_EDGE edge_id=e_60ec9c8b4585 source=n_bf0d94e1c3f7 edge_type=refutes target=n_8ebe694afded
t=0105 ADD_EDGE edge_id=e_4f5e24e13025 source=n_6eb1573a1b3b edge_type=refutes target=n_40014ce38d2d
t=0106 ADD_EDGE edge_id=e_51a5966bb98f source=n_ca891686e6f2 edge_type=supports target=n_aa11c96f612f
t=0107 ADD_EDGE edge_id=e_3a419fcc139e source=n_987eed74e99f edge_type=supports target=n_76001eb78d23
t=0108 ADD_EDGE edge_id=e_8da1345fd8f6 source=n_eb084bd0910e edge_type=refutes target=n_523c40ebed7c
t=0109 ADD_EDGE edge_id=e_d3174aba4235 source=n_ebb8fab36600 edge_type=supports target=n_b866632cfe95
t=0110 ADD_EDGE edge_id=e_b4c8daf0dc58 source=n_c0b89912e1f9 edge_type=supports target=n_db20a048a9f8
t=0111 ADD_EDGE edge_id=e_f5e6306d9586 source=n_24897dad9c88 edge_type=refutes target=n_08f3e6484ed4
t=0112 ADD_EDGE edge_id=e_cb41e9c5daf1 source=n_63959b7f50e5 edge_type=refutes target=n_7933270e7b42
t=0113 ADD_EDGE edge_id=e_2ac3ffcff64b source=n_27165446e1e8 edge_type=refutes target=n_9f7c05179636
t=0114 ADD_EDGE edge_id=e_5993bfd93d21 source=n_8f1638e9fdc5 edge_type=refutes target=n_27165446e1e8
t=0115 ADD_EDGE edge_id=e_8bf8388f2a32 source=n_414f54f08208 edge_type=supports target=n_cc485b1dcf15
t=0116 ADD_EDGE edge_id=e_e2a897541bfa source=n_987eed74e99f edge_type=supports target=n_c6479ded9ca6
t=0117 ADD_EDGE edge_id=e_e21f0ad83a89 source=n_c6479ded9ca6 edge_type=refutes target=n_eb084bd0910e
t=0118 ADD_EDGE edge_id=e_04118c21d725 source=n_8aefcddb92c4 edge_type=refutes target=n_1d2420cfe209
t=0119 ADD_EDGE edge_id=e_3f6082ac434d source=n_b96f49836886 edge_type=supports target=n_129513c94557
t=0120 ADD_EDGE edge_id=e_c5e2785d8441 source=n_2e8b2fdb7639 edge_type=supports target=n_033e0b2d661c
t=0121 ADD_EDGE edge_id=e_a50e60c3fb71 source=n_b96f49836886 edge_type=supports target=n_8fc1e8448895
t=0122 ADD_EDGE edge_id=e_5a2c49af1ab2 source=n_501314c49be2 edge_type=supports target=n_53060c226485
t=0123 ADD_EDGE edge_id=e_09ed406b10a3 source=n_5779af2e43c7 edge_type=supports target=n_24897dad9c88
t=0124 ADD_EDGE edge_id=e_4c5be33aaa7c source=n_8d87ca6a14a0 edge_type=refutes target=n_4e6922b3bd5d
t=0125 ADD_EDGE edge_id=e_ae344deeaed6 source=n_ca891686e6f2 edge_type=supports target=n_d5b091079abe
t=0126 ADD_EDGE edge_id=e_25f7ad183e0f source=n_d179877e3a73 edge_type=supports target=n_c0b89912e1f9
t=0127 ADD_EDGE edge_id=e_ee2dd007c068 source=n_eb084bd0910e edge_type=refutes target=n_8f1638e9fdc5
t=0128 ADD_EDGE edge_id=e_82fbd1fd785f source=n_8fc1e8448895 edge_type=supports target=n_59d14c457fb3
t=0129 ADD_EDGE edge_id=e_47b801032416 source=n_e7b0c5aef2b2 edge_type=supports target=n_414f54f08208
t=0130 ADD_EDGE edge_id=e_ab0b63d310e8 source=n_27165446e1e8 edge_type=supports target=n_57db2fa0b212
t=0131 QUERY source=n_d179877e3a73 target=n_59d14c457fb3
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_59c58a6529d1 node_type=claim
t=0001 CREATE_NODE id=n_21717637710a node_type=claim
t=0002 CREATE_NODE id=n_0a5e85e2c188 node_type=claim
t=0003 CREATE_NODE id=n_3e8dc894648e node_type=claim
t=0004 CREATE_NODE id=n_1f4ed2b8d2b8 node_type=claim
t=0005 CREATE_NODE id=n_0cc583f7adfa node_type=claim
t=0006 CREATE_NODE id=n_8511484ba09c node_type=claim
t=0007 CREATE_NODE id=n_e5ed9c1e6c8c node_type=claim
t=0008 CREATE_NODE id=n_bfbc6aef0ea1 node_type=claim
t=0009 CREATE_NODE id=n_67dde85d9265 node_type=claim
t=0010 CREATE_NODE id=n_415eb425c396 node_type=claim
t=0011 CREATE_NODE id=n_05b172a27fbc node_type=claim
t=0012 CREATE_NODE id=n_5909674a0033 node_type=claim
t=0013 CREATE_NODE id=n_4e73add55ca9 node_type=claim
t=0014 CREATE_NODE id=n_d47adcb9520f node_type=claim
t=0015 CREATE_NODE id=n_bd757903501d node_type=claim
t=0016 CREATE_NODE id=n_f292edbc23cf node_type=claim
t=0017 CREATE_NODE id=n_3feea95a3020 node_type=claim
t=0018 CREATE_NODE id=n_f1139da00c2c node_type=claim
t=0019 CREATE_NODE id=n_9c1aa7e9eaac node_type=claim
t=0020 CREATE_NODE id=n_ecc22326cd59 node_type=claim
t=0021 CREATE_NODE id=n_cf29e34c6b5e node_type=claim
t=0022 CREATE_NODE id=n_60fc3ea5beea node_type=claim
t=0023 CREATE_NODE id=n_471611677f15 node_type=claim
t=0024 CREATE_NODE id=n_4a33b1801062 node_type=claim
t=0025 CREATE_NODE id=n_a24d23bb65e1 node_type=claim
t=0026 CREATE_NODE id=n_9f7de0fbb640 node_type=claim
t=0027 CREATE_NODE id=n_88fa843a0644 node_type=claim
t=0028 CREATE_NODE id=n_7a14190fabf4 node_type=claim
t=0029 CREATE_NODE id=n_6a8e138223ed node_type=claim
t=0030 CREATE_NODE id=n_15ed7a37a2f1 node_type=claim
t=0031 CREATE_NODE id=n_a3c5da467ff0 node_type=claim
t=0032 CREATE_NODE id=n_50c54e82826d node_type=claim
t=0033 CREATE_NODE id=n_af39c27a1329 node_type=claim
t=0034 CREATE_NODE id=n_dba6148bc632 node_type=claim
t=0035 CREATE_NODE id=n_a60bc641757e node_type=claim
t=0036 CREATE_NODE id=n_7947bf037c89 node_type=claim
t=0037 CREATE_NODE id=n_dfd6f27f9eb8 node_type=claim
t=0038 CREATE_NODE id=n_62aa59e7fc08 node_type=claim
t=0039 CREATE_NODE id=n_f3f0737a31c8 node_type=claim
t=0040 CREATE_NODE id=n_7aa86313f81b node_type=claim
t=0041 CREATE_NODE id=n_3c383d435087 node_type=claim
t=0042 CREATE_NODE id=n_07de68745589 node_type=claim
t=0043 CREATE_NODE id=n_c9d0cfa02975 node_type=claim
t=0044 CREATE_NODE id=n_6223468a63b1 node_type=claim
t=0045 CREATE_NODE id=n_db4c73447764 node_type=claim
t=0046 CREATE_NODE id=n_96cb3ce23f1f node_type=claim
t=0047 CREATE_NODE id=n_17051887af28 node_type=claim
t=0048 CREATE_NODE id=n_e312e0f77a1f node_type=claim
t=0049 CREATE_NODE id=n_d03ae2e6eb43 node_type=claim
t=0050 CREATE_NODE id=n_b54664d2369b node_type=claim
t=0051 CREATE_NODE id=n_214794ff31ed node_type=claim
t=0052 CREATE_NODE id=n_ae6921905f86 node_type=claim
t=0053 CREATE_NODE id=n_90d4b008c0b2 node_type=claim
t=0054 CREATE_NODE id=n_4f3f49972991 node_type=claim
t=0055 CREATE_NODE id=n_7d2b258b82e6 node_type=claim
t=0056 CREATE_NODE id=n_19f794187724 node_type=claim
t=0057 CREATE_NODE id=n_6340a7d5aed3 node_type=claim
t=0058 CREATE_NODE id=n_ce865713e4cc node_type=claim
t=0059 CREATE_NODE id=n_848f14760107 node_type=claim
t=0060 CREATE_NODE id=n_04ad8408fc97 node_type=claim
t=0061 CREATE_NODE id=n_ebf20c0dbed1 node_type=claim
t=0062 CREATE_NODE id=n_bebc024cf361 node_type=claim
t=0063 CREATE_NODE id=n_72212f156a11 node_type=claim
t=0064 CREATE_NODE id=n_5242c6b40e59 node_type=claim
t=0065 CREATE_NODE id=n_bf5a1632605b node_type=claim
t=0066 CREATE_NODE id=n_e1540ebaf2f1 node_type=claim
t=0067 CREATE_NODE id=n_28ec381c1fcb node_type=claim
t=0068 ASSERT_ROOT node=n_6340a7d5aed3 value=TRUE
t=0069 ADD_EDGE edge_id=e_af7a1356d211 source=n_67dde85d9265 edge_type=refutes target=n_e1540ebaf2f1
t=0070 ADD_EDGE edge_id=e_4ab8fc964d12 source=n_4f3f49972991 edge_type=refutes target=n_96cb3ce23f1f
t=0071 ADD_EDGE edge_id=e_dc1ddfc90ed8 source=n_96cb3ce23f1f edge_type=supports target=n_5242c6b40e59
t=0072 ADD_EDGE edge_id=e_bbfd5061491f source=n_04ad8408fc97 edge_type=supports target=n_7947bf037c89
t=0073 ADD_EDGE edge_id=e_3e7c9e8751e2 source=n_7aa86313f81b edge_type=refutes target=n_3c383d435087
t=0074 ADD_EDGE edge_id=e_074f5954bcdd source=n_a3c5da467ff0 edge_type=supports target=n_af39c27a1329
t=0075 ADD_EDGE edge_id=e_ef9baf012544 source=n_7d2b258b82e6 edge_type=refutes target=n_15ed7a37a2f1
t=0076 ADD_EDGE edge_id=e_d297a4d1e942 source=n_50c54e82826d edge_type=refutes target=n_9f7de0fbb640
t=0077 ADD_EDGE edge_id=e_55d41b3be749 source=n_90d4b008c0b2 edge_type=refutes target=n_7d2b258b82e6
t=0078 ADD_EDGE edge_id=e_790f0887b350 source=n_7947bf037c89 edge_type=supports target=n_bfbc6aef0ea1
t=0079 ADD_EDGE edge_id=e_45dbc5470c23 source=n_4a33b1801062 edge_type=refutes target=n_e312e0f77a1f
t=0080 ADD_EDGE edge_id=e_2643cec766db source=n_0a5e85e2c188 edge_type=supports target=n_7a14190fabf4
t=0081 ADD_EDGE edge_id=e_362b04f6956d source=n_59c58a6529d1 edge_type=supports target=n_ce865713e4cc
t=0082 ADD_EDGE edge_id=e_94202df63b0a source=n_6223468a63b1 edge_type=refutes target=n_bf5a1632605b
t=0083 ADD_EDGE edge_id=e_2c47e5a88443 source=n_a60bc641757e edge_type=supports target=n_04ad8408fc97
t=0084 ADD_EDGE edge_id=e_706052d70b34 source=n_a24d23bb65e1 edge_type=refutes target=n_3feea95a3020
t=0085 ADD_EDGE edge_id=e_e41e3a511838 source=n_0a5e85e2c188 edge_type=refutes target=n_7aa86313f81b
t=0086 ADD_EDGE edge_id=e_2e5c5ef9623f source=n_f3f0737a31c8 edge_type=supports target=n_4f3f49972991
t=0087 ADD_EDGE edge_id=e_9819c5c402e8 source=n_dfd6f27f9eb8 edge_type=supports target=n_4a33b1801062
t=0088 ADD_EDGE edge_id=e_7dbefca0eedc source=n_72212f156a11 edge_type=refutes target=n_214794ff31ed
t=0089 ADD_EDGE edge_id=e_100bd4fa7224 source=n_e312e0f77a1f edge_type=supports target=n_bd757903501d
t=0090 ADD_EDGE edge_id=e_3f128f6d36c3 source=n_7a14190fabf4 edge_type=supports target=n_28ec381c1fcb
t=0091 ADD_EDGE edge_id=e_37803713306c source=n_7947bf037c89 edge_type=refutes target=n_17051887af28
t=0092 ADD_EDGE edge_id=e_d365da174673 source=n_3e8dc894648e edge_type=supports target=n_b54664d2369b
t=0093 ADD_EDGE edge_id=e_d9f329aece6e source=n_62aa59e7fc08 edge_type=supports target=n_dfd6f27f9eb8
t=0094 ADD_EDGE edge_id=e_4d0deacf0a98 source=n_ebf20c0dbed1 edge_type=supports target=n_67dde85d9265
t=0095 ADD_EDGE edge_id=e_7c39ba06f1e5 source=n_214794ff31ed edge_type=supports target=n_ae6921905f86
t=0096 ADD_EDGE edge_id=e_b5071fe30165 source=n_04ad8408fc97 edge_type=refutes target=n_6a8e138223ed
t=0097 ADD_EDGE edge_id=e_2e690b77372d source=n_7aa86313f81b edge_type=supports target=n_a24d23bb65e1
t=0098 ADD_EDGE edge_id=e_7375fb841eb0 source=n_04ad8408fc97 edge_type=refutes target=n_0a5e85e2c188
t=0099 ADD_EDGE edge_id=e_07025b9fbf74 source=n_db4c73447764 edge_type=supports target=n_88fa843a0644
t=0100 ADD_EDGE edge_id=e_2e545eb4f6c1 source=n_6340a7d5aed3 edge_type=refutes target=n_60fc3ea5beea
t=0101 ADD_EDGE edge_id=e_a40d7ea3e137 source=n_72212f156a11 edge_type=supports target=n_21717637710a
t=0102 ADD_EDGE edge_id=e_145a9931d83e source=n_415eb425c396 edge_type=supports target=n_bebc024cf361
t=0103 ADD_EDGE edge_id=e_fe5867d70313 source=n_a24d23bb65e1 edge_type=supports target=n_07de68745589
t=0104 ADD_EDGE edge_id=e_3edcc70cedbc source=n_ecc22326cd59 edge_type=supports target=n_9c1aa7e9eaac
t=0105 ADD_EDGE edge_id=e_f6cd06b134b6 source=n_a24d23bb65e1 edge_type=refutes target=n_50c54e82826d
t=0106 ADD_EDGE edge_id=e_27ee53d4fb2a source=n_bd757903501d edge_type=refutes target=n_ecc22326cd59
t=0107 ADD_EDGE edge_id=e_5e1258e9cb44 source=n_88fa843a0644 edge_type=refutes target=n_90d4b008c0b2
t=0108 ADD_EDGE edge_id=e_23f4101904cb source=n_8511484ba09c edge_type=refutes target=n_f3f0737a31c8
t=0109 ADD_EDGE edge_id=e_93bbdc765cc6 source=n_bebc024cf361 edge_type=supports target=n_ebf20c0dbed1
t=0110 ADD_EDGE edge_id=e_3681886adf19 source=n_50c54e82826d edge_type=refutes target=n_d47adcb9520f
t=0111 ADD_EDGE edge_id=e_5c9f7a4e352f source=n_72212f156a11 edge_type=refutes target=n_3e8dc894648e
t=0112 ADD_EDGE edge_id=e_4e182f61f073 source=n_bebc024cf361 edge_type=refutes target=n_f292edbc23cf
t=0113 ADD_EDGE edge_id=e_d154d1329324 source=n_7a14190fabf4 edge_type=refutes target=n_848f14760107
t=0114 ADD_EDGE edge_id=e_c7ed72b023a3 source=n_cf29e34c6b5e edge_type=refutes target=n_05b172a27fbc
t=0115 ADD_EDGE edge_id=e_0a5ade51ed5e source=n_ce865713e4cc edge_type=supports target=n_415eb425c396
t=0116 ADD_EDGE edge_id=e_39887126804c source=n_e312e0f77a1f edge_type=supports target=n_0cc583f7adfa
t=0117 ADD_EDGE edge_id=e_52c65c749b5b source=n_0a5e85e2c188 edge_type=supports target=n_e5ed9c1e6c8c
t=0118 ADD_EDGE edge_id=e_c50f9158ac5e source=n_5242c6b40e59 edge_type=supports target=n_471611677f15
t=0119 ADD_EDGE edge_id=e_fdd386a36b1c source=n_6a8e138223ed edge_type=refutes target=n_1f4ed2b8d2b8
t=0120 ADD_EDGE edge_id=e_9d8753d0fbb6 source=n_c9d0cfa02975 edge_type=refutes target=n_d03ae2e6eb43
t=0121 ADD_EDGE edge_id=e_3317c0f4a6f2 source=n_72212f156a11 edge_type=supports target=n_5909674a0033
t=0122 ADD_EDGE edge_id=e_73f075bd9e13 source=n_0a5e85e2c188 edge_type=refutes target=n_cf29e34c6b5e
t=0123 ADD_EDGE edge_id=e_2a40d52cd469 source=n_a3c5da467ff0 edge_type=refutes target=n_8511484ba09c
t=0124 ADD_EDGE edge_id=e_ab7ac7e64f63 source=n_7a14190fabf4 edge_type=supports target=n_72212f156a11
t=0125 ADD_EDGE edge_id=e_55bf4a4a5191 source=n_471611677f15 edge_type=supports target=n_6223468a63b1
t=0126 ADD_EDGE edge_id=e_a8b59cc4ccf5 source=n_60fc3ea5beea edge_type=refutes target=n_62aa59e7fc08
t=0127 ADD_EDGE edge_id=e_59e71e34cb14 source=n_a60bc641757e edge_type=refutes target=n_f1139da00c2c
t=0128 ADD_EDGE edge_id=e_c4e4b256317b source=n_ecc22326cd59 edge_type=refutes target=n_db4c73447764
t=0129 ADD_EDGE edge_id=e_e6dae692ab75 source=n_50c54e82826d edge_type=supports target=n_19f794187724
t=0130 ADD_EDGE edge_id=e_f3367076e9af source=n_d47adcb9520f edge_type=refutes target=n_c9d0cfa02975
t=0131 ADD_EDGE edge_id=e_008604ef0f91 source=n_e1540ebaf2f1 edge_type=refutes target=n_a3c5da467ff0
t=0132 ADD_EDGE edge_id=e_0fad6871f59a source=n_15ed7a37a2f1 edge_type=supports target=n_59c58a6529d1
t=0133 ADD_EDGE edge_id=e_4e355a5f0c02 source=n_bf5a1632605b edge_type=supports target=n_4e73add55ca9
t=0134 ADD_EDGE edge_id=e_235bcfb38c93 source=n_7a14190fabf4 edge_type=supports target=n_dba6148bc632
t=0135 QUERY source=n_6340a7d5aed3 target=n_4e73add55ca9
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_4d3fd9c4912c node_type=claim
t=0001 CREATE_NODE id=n_d95559f3e686 node_type=claim
t=0002 CREATE_NODE id=n_76b70948692d node_type=claim
t=0003 CREATE_NODE id=n_77a4e5e7bd34 node_type=claim
t=0004 CREATE_NODE id=n_b74f00f7f967 node_type=claim
t=0005 CREATE_NODE id=n_50c3216434d5 node_type=claim
t=0006 CREATE_NODE id=n_55bcf7a7dc08 node_type=claim
t=0007 CREATE_NODE id=n_6e6683005c10 node_type=claim
t=0008 CREATE_NODE id=n_44d946f7ccaa node_type=claim
t=0009 CREATE_NODE id=n_40e90242c327 node_type=claim
t=0010 CREATE_NODE id=n_55a5216f723d node_type=claim
t=0011 CREATE_NODE id=n_b30bbbde09cc node_type=claim
t=0012 CREATE_NODE id=n_9a67180d7acf node_type=claim
t=0013 CREATE_NODE id=n_417ddfa57713 node_type=claim
t=0014 CREATE_NODE id=n_8febfbb2ff2a node_type=claim
t=0015 CREATE_NODE id=n_9f0404e3df01 node_type=claim
t=0016 CREATE_NODE id=n_94f26185ed22 node_type=claim
t=0017 CREATE_NODE id=n_6e1209207e39 node_type=claim
t=0018 CREATE_NODE id=n_93dd638fee5c node_type=claim
t=0019 CREATE_NODE id=n_3ab16cd6dae1 node_type=claim
t=0020 CREATE_NODE id=n_e90edca3aaf8 node_type=claim
t=0021 CREATE_NODE id=n_c51ae9894831 node_type=claim
t=0022 CREATE_NODE id=n_d596a1288411 node_type=claim
t=0023 CREATE_NODE id=n_e70f0ca762b3 node_type=claim
t=0024 CREATE_NODE id=n_a1afa51b749d node_type=claim
t=0025 CREATE_NODE id=n_0bf40dffda3e node_type=claim
t=0026 CREATE_NODE id=n_21e8f0debc2e node_type=claim
t=0027 CREATE_NODE id=n_f19553e503e5 node_type=claim
t=0028 CREATE_NODE id=n_9f176a3b1dbc node_type=claim
t=0029 CREATE_NODE id=n_8d1decf11fca node_type=claim
t=0030 CREATE_NODE id=n_01ff8ebd9ea2 node_type=claim
t=0031 CREATE_NODE id=n_70558951d353 node_type=claim
t=0032 CREATE_NODE id=n_0367e5e2836b node_type=claim
t=0033 CREATE_NODE id=n_08ecfa1eaa51 node_type=claim
t=0034 CREATE_NODE id=n_8deb90899d74 node_type=claim
t=0035 CREATE_NODE id=n_bcf9328b87c1 node_type=claim
t=0036 CREATE_NODE id=n_4f2a1bc84346 node_type=claim
t=0037 CREATE_NODE id=n_af2b1028aba8 node_type=claim
t=0038 CREATE_NODE id=n_8854415c4c67 node_type=claim
t=0039 CREATE_NODE id=n_9141ee2a133a node_type=claim
t=0040 CREATE_NODE id=n_ccd7c2a6cf6a node_type=claim
t=0041 CREATE_NODE id=n_059382373fa8 node_type=claim
t=0042 CREATE_NODE id=n_63f962287285 node_type=claim
t=0043 CREATE_NODE id=n_fab2f1aee10c node_type=claim
t=0044 CREATE_NODE id=n_c394b4c885ef node_type=claim
t=0045 CREATE_NODE id=n_df59b0d7ce15 node_type=claim
t=0046 CREATE_NODE id=n_344c2a55ff38 node_type=claim
t=0047 CREATE_NODE id=n_7fb2e3a8969f node_type=claim
t=0048 CREATE_NODE id=n_c111b93bb76d node_type=claim
t=0049 CREATE_NODE id=n_3a0ef994f2d8 node_type=claim
t=0050 CREATE_NODE id=n_1444a0e8df8d node_type=claim
t=0051 CREATE_NODE id=n_960e729013ff node_type=claim
t=0052 CREATE_NODE id=n_3ef5e02dde7a node_type=claim
t=0053 CREATE_NODE id=n_ff7bbd477c67 node_type=claim
t=0054 CREATE_NODE id=n_11fedd476c62 node_type=claim
t=0055 CREATE_NODE id=n_4390b56696bd node_type=claim
t=0056 CREATE_NODE id=n_dabc8121e1ff node_type=claim
t=0057 CREATE_NODE id=n_fee34b1d6af4 node_type=claim
t=0058 CREATE_NODE id=n_65e50d65a827 node_type=claim
t=0059 CREATE_NODE id=n_65562484f8cc node_type=claim
t=0060 CREATE_NODE id=n_13f79e8e1efa node_type=claim
t=0061 CREATE_NODE id=n_542e1c03e500 node_type=claim
t=0062 CREATE_NODE id=n_4842a382f9ef node_type=claim
t=0063 CREATE_NODE id=n_9f190b5265f9 node_type=claim
t=0064 CREATE_NODE id=n_1d6bc5f4c11c node_type=claim
t=0065 CREATE_NODE id=n_6c10dec6d691 node_type=claim
t=0066 CREATE_NODE id=n_6cb77e24f5e5 node_type=claim
t=0067 CREATE_NODE id=n_ae959cf0a742 node_type=claim
t=0068 ASSERT_ROOT node=n_059382373fa8 value=TRUE
t=0069 ADD_EDGE edge_id=e_23b01cc13406 source=n_542e1c03e500 edge_type=supports target=n_e70f0ca762b3
t=0070 ADD_EDGE edge_id=e_884468f7190a source=n_0367e5e2836b edge_type=refutes target=n_21e8f0debc2e
t=0071 ADD_EDGE edge_id=e_47a79e2d6b14 source=n_63f962287285 edge_type=refutes target=n_af2b1028aba8
t=0072 ADD_EDGE edge_id=e_cffb2cc642c2 source=n_6e1209207e39 edge_type=supports target=n_65562484f8cc
t=0073 ADD_EDGE edge_id=e_5649025cd2f5 source=n_40e90242c327 edge_type=refutes target=n_11fedd476c62
t=0074 ADD_EDGE edge_id=e_61ac2c0d3ab9 source=n_af2b1028aba8 edge_type=supports target=n_9a67180d7acf
t=0075 ADD_EDGE edge_id=e_5214a079830a source=n_4390b56696bd edge_type=supports target=n_c51ae9894831
t=0076 ADD_EDGE edge_id=e_faf1ca5d81a1 source=n_059382373fa8 edge_type=refutes target=n_c394b4c885ef
t=0077 ADD_EDGE edge_id=e_5e806aa800e7 source=n_ccd7c2a6cf6a edge_type=supports target=n_344c2a55ff38
t=0078 ADD_EDGE edge_id=e_ce0863799178 source=n_9f176a3b1dbc edge_type=supports target=n_44d946f7ccaa
t=0079 ADD_EDGE edge_id=e_337b9558d06b source=n_e90edca3aaf8 edge_type=supports target=n_65e50d65a827
t=0080 ADD_EDGE edge_id=e_3d9c0fcd913c source=n_9f0404e3df01 edge_type=refutes target=n_4842a382f9ef
t=0081 ADD_EDGE edge_id=e_55540d613591 source=n_50c3216434d5 edge_type=supports target=n_3a0ef994f2d8
t=0082 ADD_EDGE edge_id=e_0636c3b881ec source=n_af2b1028aba8 edge_type=refutes target=n_bcf9328b87c1
t=0083 ADD_EDGE edge_id=e_c91106009ab5 source=n_af2b1028aba8 edge_type=refutes target=n_01ff8ebd9ea2
t=0084 ADD_EDGE edge_id=e_fce4437cc22f source=n_c394b4c885ef edge_type=supports target=n_ff7bbd477c67
t=0085 ADD_EDGE edge_id=e_9965434a4fff source=n_70558951d353 edge_type=refutes target=n_7fb2e3a8969f
t=0086 ADD_EDGE edge_id=e_2cf626c94e39 source=n_fee34b1d6af4 edge_type=refutes target=n_63f962287285
t=0087 ADD_EDGE edge_id=e_cfa6ecf2c2f4 source=n_f19553e503e5 edge_type=supports target=n_9141ee2a133a
t=0088 ADD_EDGE edge_id=e_26ee8d403a09 source=n_344c2a55ff38 edge_type=supports target=n_f19553e503e5
t=0089 ADD_EDGE edge_id=e_29cf4e32dcd8 source=n_1444a0e8df8d edge_type=supports target=n_0bf40dffda3e
t=0090 ADD_EDGE edge_id=e_444772bc5e80 source=n_55bcf7a7dc08 edge_type=refutes target=n_6c10dec6d691
t=0091 ADD_EDGE edge_id=e_fdbbdded0842 source=n_01ff8ebd9ea2 edge_type=supports target=n_960e729013ff
t=0092 ADD_EDGE edge_id=e_8ad907275a87 source=n_9a67180d7acf edge_type=supports target=n_4d3fd9c4912c
t=0093 ADD_EDGE edge_id=e_4d61325cb32c source=n_6e1209207e39 edge_type=supports target=n_13f79e8e1efa
t=0094 ADD_EDGE edge_id=e_478d72c07628 source=n_65e50d65a827 edge_type=supports target=n_55bcf7a7dc08
t=0095 ADD_EDGE edge_id=e_212e0b8b8c75 source=n_fee34b1d6af4 edge_type=refutes target=n_d596a1288411
t=0096 ADD_EDGE edge_id=e_0da003567f84 source=n_4d3fd9c4912c edge_type=refutes target=n_1d6bc5f4c11c
t=0097 ADD_EDGE edge_id=e_4b704495dfa9 source=n_6cb77e24f5e5 edge_type=supports target=n_ccd7c2a6cf6a
t=0098 ADD_EDGE edge_id=e_d5c18da4d39a source=n_d95559f3e686 edge_type=refutes target=n_50c3216434d5
t=0099 ADD_EDGE edge_id=e_11d479a34748 source=n_344c2a55ff38 edge_type=supports target=n_a1afa51b749d
t=0100 ADD_EDGE edge_id=e_248850fbb311 source=n_70558951d353 edge_type=supports target=n_9f176a3b1dbc
t=0101 ADD_EDGE edge_id=e_6650840b8a02 source=n_3a0ef994f2d8 edge_type=refutes target=n_4390b56696bd
t=0102 ADD_EDGE edge_id=e_6d0f842ef550 source=n_c111b93bb76d edge_type=refutes target=n_55a5216f723d
t=0103 ADD_EDGE edge_id=e_cccb9c0b883f source=n_ff7bbd477c67 edge_type=refutes target=n_e90edca3aaf8
t=0104 ADD_EDGE edge_id=e_82989543d9a2 source=n_6e6683005c10 edge_type=supports target=n_3ef5e02dde7a
t=0105 ADD_EDGE edge_id=e_971092f36210 source=n_fab2f1aee10c edge_type=refutes target=n_40e90242c327
t=0106 ADD_EDGE edge_id=e_f37c6edf0564 source=n_1444a0e8df8d edge_type=supports target=n_94f26185ed22
t=0107 ADD_EDGE edge_id=e_e258ed8cba27 source=n_77a4e5e7bd34 edge_type=supports target=n_df59b0d7ce15
t=0108 ADD_EDGE edge_id=e_f88040fed0f3 source=n_3ef5e02dde7a edge_type=supports target=n_8febfbb2ff2a
t=0109 ADD_EDGE edge_id=e_6bef457df55b source=n_1d6bc5f4c11c edge_type=refutes target=n_93dd638fee5c
t=0110 ADD_EDGE edge_id=e_dee271bc0c63 source=n_9a67180d7acf edge_type=refutes target=n_70558951d353
t=0111 ADD_EDGE edge_id=e_604e3b53f288 source=n_76b70948692d edge_type=refutes target=n_4f2a1bc84346
t=0112 ADD_EDGE edge_id=e_0e1e1b226e6e source=n_ae959cf0a742 edge_type=supports target=n_6cb77e24f5e5
t=0113 ADD_EDGE edge_id=e_83399dacd59d source=n_9f0404e3df01 edge_type=refutes target=n_9f190b5265f9
t=0114 ADD_EDGE edge_id=e_3d9b26a65b41 source=n_55bcf7a7dc08 edge_type=refutes target=n_8854415c4c67
t=0115 ADD_EDGE edge_id=e_6b4830116f4d source=n_9141ee2a133a edge_type=supports target=n_b30bbbde09cc
t=0116 ADD_EDGE edge_id=e_6ea3eacb1ca4 source=n_1444a0e8df8d edge_type=supports target=n_542e1c03e500
t=0117 ADD_EDGE edge_id=e_d834b0204276 source=n_63f962287285 edge_type=refutes target=n_6e1209207e39
t=0118 ADD_EDGE edge_id=e_155b6a605e13 source=n_c51ae9894831 edge_type=supports target=n_c111b93bb76d
t=0119 ADD_EDGE edge_id=e_6892a90ce6c4 source=n_af2b1028aba8 edge_type=refutes target=n_dabc8121e1ff
t=0120 ADD_EDGE edge_id=e_5da9de962632 source=n_08ecfa1eaa51 edge_type=supports target=n_8d1decf11fca
t=0121 ADD_EDGE edge_id=e_1a954329ddf7 source=n_01ff8ebd9ea2 edge_type=refutes target=n_77a4e5e7bd34
t=0122 ADD_EDGE edge_id=e_cf63e74d1939 source=n_8febfbb2ff2a edge_type=supports target=n_ae959cf0a742
t=0123 ADD_EDGE edge_id=e_e1e2d54d7d7b source=n_4f2a1bc84346 edge_type=refutes target=n_fab2f1aee10c
t=0124 ADD_EDGE edge_id=e_94d300104434 source=n_55a5216f723d edge_type=refutes target=n_0367e5e2836b
t=0125 ADD_EDGE edge_id=e_e9b6e2d27b0f source=n_6c10dec6d691 edge_type=refutes target=n_76b70948692d
t=0126 ADD_EDGE edge_id=e_94f8992c3a1c source=n_08ecfa1eaa51 edge_type=supports target=n_417ddfa57713
t=0127 ADD_EDGE edge_id=e_7538475ed8d5 source=n_9141ee2a133a edge_type=refutes target=n_3ab16cd6dae1
t=0128 ADD_EDGE edge_id=e_edcba4888e33 source=n_fee34b1d6af4 edge_type=refutes target=n_08ecfa1eaa51
t=0129 ADD_EDGE edge_id=e_71889060d8e6 source=n_542e1c03e500 edge_type=supports target=n_b74f00f7f967
t=0130 ADD_EDGE edge_id=e_6e22fff70503 source=n_b30bbbde09cc edge_type=supports target=n_d95559f3e686
t=0131 ADD_EDGE edge_id=e_848e384f3879 source=n_6e1209207e39 edge_type=refutes target=n_8deb90899d74
t=0132 ADD_EDGE edge_id=e_60835bb71857 source=n_11fedd476c62 edge_type=refutes target=n_6e6683005c10
t=0133 ADD_EDGE edge_id=e_c2f7f77c3401 source=n_417ddfa57713 edge_type=supports target=n_9f0404e3df01
t=0134 ADD_EDGE edge_id=e_018aa16aba72 source=n_1444a0e8df8d edge_type=refutes target=n_fee34b1d6af4
t=0135 QUERY source=n_059382373fa8 target=n_0367e5e2836b
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.