[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_b91f2e363c94 node_type=claim
t=0001 CREATE_NODE id=n_b439ad92e8ec node_type=claim
t=0002 CREATE_NODE id=n_00654b094744 node_type=claim
t=0003 CREATE_NODE id=n_6878068e72a3 node_type=claim
t=0004 CREATE_NODE id=n_72df73f089fc node_type=claim
t=0005 CREATE_NODE id=n_58888297eb63 node_type=claim
t=0006 CREATE_NODE id=n_1a9fbfc738c7 node_type=claim
t=0007 CREATE_NODE id=n_eeafe1c5c502 node_type=claim
t=0008 CREATE_NODE id=n_1e5233419b0a node_type=claim
t=0009 CREATE_NODE id=n_4549d835d9bf node_type=claim
t=0010 CREATE_NODE id=n_7b44fd70b47c node_type=claim
t=0011 CREATE_NODE id=n_8949dd264f20 node_type=claim
t=0012 CREATE_NODE id=n_ae1478c07dd6 node_type=claim
t=0013 CREATE_NODE id=n_9edff43d8452 node_type=claim
t=0014 CREATE_NODE id=n_c01a0f504eab node_type=claim
t=0015 CREATE_NODE id=n_36cb3c80b5e4 node_type=claim
t=0016 CREATE_NODE id=n_367f693073ea node_type=claim
t=0017 CREATE_NODE id=n_4cd822020fad node_type=claim
t=0018 CREATE_NODE id=n_4c8553a3e14d node_type=claim
t=0019 CREATE_NODE id=n_3b49fd0a3adf node_type=claim
t=0020 CREATE_NODE id=n_ea549c50ab58 node_type=claim
t=0021 CREATE_NODE id=n_144e5f9b62db node_type=claim
t=0022 CREATE_NODE id=n_b74447e672f9 node_type=claim
t=0023 CREATE_NODE id=n_d29f6c73eaef node_type=claim
t=0024 CREATE_NODE id=n_1d03055611f7 node_type=claim
t=0025 CREATE_NODE id=n_120e2b4c4ee7 node_type=claim
t=0026 CREATE_NODE id=n_348da1d56a51 node_type=claim
t=0027 CREATE_NODE id=n_a2de11193571 node_type=claim
t=0028 CREATE_NODE id=n_0897a0cdb045 node_type=claim
t=0029 CREATE_NODE id=n_921784e9a9bc node_type=claim
t=0030 CREATE_NODE id=n_3fcacc1be951 node_type=claim
t=0031 CREATE_NODE id=n_30201fd8aa5d node_type=claim
t=0032 CREATE_NODE id=n_ea2a72e57150 node_type=claim
t=0033 CREATE_NODE id=n_620c4106b9f5 node_type=claim
t=0034 CREATE_NODE id=n_c6433b9ab70e node_type=claim
t=0035 CREATE_NODE id=n_c66f6c88a7e7 node_type=claim
t=0036 CREATE_NODE id=n_75bc4f450f76 node_type=claim
t=0037 CREATE_NODE id=n_f0814a41314a node_type=claim
t=0038 CREATE_NODE id=n_2a51f37b7cdd node_type=claim
t=0039 CREATE_NODE id=n_1933674bc1dc node_type=claim
t=0040 CREATE_NODE id=n_12583f49f3f9 node_type=claim
t=0041 CREATE_NODE id=n_36bcd1ad1815 node_type=claim
t=0042 CREATE_NODE id=n_ab91dee7ee03 node_type=claim
t=0043 CREATE_NODE id=n_8b20ad7e72b5 node_type=claim
t=0044 CREATE_NODE id=n_bf57dcc17e93 node_type=claim
t=0045 CREATE_NODE id=n_d2cb448d1954 node_type=claim
t=0046 CREATE_NODE id=n_e06a11f11c9f node_type=claim
t=0047 CREATE_NODE id=n_3a8ef8ea6444 node_type=claim
t=0048 CREATE_NODE id=n_75df1216f706 node_type=claim
t=0049 CREATE_NODE id=n_a3ce389160f2 node_type=claim
t=0050 CREATE_NODE id=n_e8feba7fae17 node_type=claim
t=0051 CREATE_NODE id=n_2c051ffbb0f8 node_type=claim
t=0052 CREATE_NODE id=n_cecb4d74430b node_type=claim
t=0053 CREATE_NODE id=n_63efff23c7c2 node_type=claim
t=0054 CREATE_NODE id=n_1ec3ffa1d341 node_type=claim
t=0055 CREATE_NODE id=n_6faee1406ece node_type=claim
t=0056 CREATE_NODE id=n_2b68122ac3e4 node_type=claim
t=0057 CREATE_NODE id=n_2457a56f5e66 node_type=claim
t=0058 CREATE_NODE id=n_4c3b2d5995be node_type=claim
t=0059 CREATE_NODE id=n_2cceabfd02a8 node_type=claim
t=0060 CREATE_NODE id=n_f28491f550c8 node_type=claim
t=0061 CREATE_NODE id=n_61744493826b node_type=claim
t=0062 CREATE_NODE id=n_29b2cca414de node_type=claim
t=0063 CREATE_NODE id=n_1d41b7b88759 node_type=claim
t=0064 CREATE_NODE id=n_d8e7bbf0e477 node_type=claim
t=0065 CREATE_NODE id=n_16c249fcd92a node_type=claim
t=0066 CREATE_NODE id=n_297561f53c30 node_type=claim
t=0067 CREATE_NODE id=n_66b42e9770be node_type=claim
t=0068 CREATE_NODE id=n_7d1d25232b24 node_type=claim
t=0069 CREATE_NODE id=n_972f509a2adf node_type=claim
t=0070 ASSERT_ROOT node=n_1d03055611f7 value=TRUE
t=0071 ADD_EDGE edge_id=e_ebf51d305094 source=n_a2de11193571 edge_type=supports target=n_36bcd1ad1815
t=0072 ADD_EDGE edge_id=e_8ba089c55652 source=n_a3ce389160f2 edge_type=refutes target=n_75df1216f706
t=0073 ADD_EDGE edge_id=e_8e170d1c8811 source=n_e06a11f11c9f edge_type=supports target=n_6878068e72a3
t=0074 ADD_EDGE edge_id=e_a31da65ca07d source=n_7b44fd70b47c edge_type=refutes target=n_cecb4d74430b
t=0075 ADD_EDGE edge_id=e_ce2cce8f93ff source=n_2cceabfd02a8 edge_type=supports target=n_a3ce389160f2
t=0076 ADD_EDGE edge_id=e_2965fced4972 source=n_eeafe1c5c502 edge_type=refutes target=n_3fcacc1be951
t=0077 ADD_EDGE edge_id=e_88e814f45e65 source=n_620c4106b9f5 edge_type=supports target=n_7b44fd70b47c
t=0078 ADD_EDGE edge_id=e_6f377f257e53 source=n_c66f6c88a7e7 edge_type=refutes target=n_36cb3c80b5e4
t=0079 ADD_EDGE edge_id=e_a82aeed730c2 source=n_4cd822020fad edge_type=supports target=n_972f509a2adf
t=0080 ADD_EDGE edge_id=e_dabc94ad8bb6 source=n_ab91dee7ee03 edge_type=supports target=n_620c4106b9f5
t=0081 ADD_EDGE edge_id=e_3e957ab38bc7 source=n_75bc4f450f76 edge_type=supports target=n_8949dd264f20
t=0082 ADD_EDGE edge_id=e_5244f26cedf6 source=n_d8e7bbf0e477 edge_type=supports target=n_2a51f37b7cdd
t=0083 ADD_EDGE edge_id=e_31492c12856f source=n_72df73f089fc edge_type=refutes target=n_d8e7bbf0e477
t=0084 ADD_EDGE edge_id=e_870f014d77cf source=n_2cceabfd02a8 edge_type=refutes target=n_0897a0cdb045
t=0085 ADD_EDGE edge_id=e_195990a49a1b source=n_cecb4d74430b edge_type=supports target=n_3b49fd0a3adf
t=0086 ADD_EDGE edge_id=e_8b0d99722d31 source=n_3b49fd0a3adf edge_type=refutes target=n_b91f2e363c94
t=0087 ADD_EDGE edge_id=e_d2b1a9579ff3 source=n_3fcacc1be951 edge_type=refutes target=n_12583f49f3f9
t=0088 ADD_EDGE edge_id=e_bd77e22330f8 source=n_e8feba7fae17 edge_type=refutes target=n_c66f6c88a7e7
t=0089 ADD_EDGE edge_id=e_32eaec24749d source=n_2cceabfd02a8 edge_type=refutes target=n_3a8ef8ea6444
t=0090 ADD_EDGE edge_id=e_cb856ac367a5 source=n_4c8553a3e14d edge_type=supports target=n_ab91dee7ee03
t=0091 ADD_EDGE edge_id=e_4660f312a62b source=n_d2cb448d1954 edge_type=refutes target=n_4c3b2d5995be
t=0092 ADD_EDGE edge_id=e_c9c806140c8b source=n_36cb3c80b5e4 edge_type=supports target=n_4549d835d9bf
t=0093 ADD_EDGE edge_id=e_7ccd4f3c8993 source=n_1d03055611f7 edge_type=refutes target=n_61744493826b
t=0094 ADD_EDGE edge_id=e_e62fe795dd4f source=n_b91f2e363c94 edge_type=supports target=n_921784e9a9bc
t=0095 ADD_EDGE edge_id=e_74003fcbcd9f source=n_2b68122ac3e4 edge_type=refutes target=n_1a9fbfc738c7
t=0096 ADD_EDGE edge_id=e_8bc1354821a8 source=n_972f509a2adf edge_type=refutes target=n_00654b094744
t=0097 ADD_EDGE edge_id=e_96f2140f1188 source=n_2c051ffbb0f8 edge_type=refutes target=n_d2cb448d1954
t=0098 ADD_EDGE edge_id=e_e6f96350c8bc source=n_6faee1406ece edge_type=refutes target=n_a2de11193571
t=0099 ADD_EDGE edge_id=e_405dab998ce6 source=n_c6433b9ab70e edge_type=refutes target=n_1e5233419b0a
t=0100 ADD_EDGE edge_id=e_b009340784e2 source=n_2cceabfd02a8 edge_type=supports target=n_367f693073ea
t=0101 ADD_EDGE edge_id=e_7934593b2e63 source=n_2b68122ac3e4 edge_type=refutes target=n_63efff23c7c2
t=0102 ADD_EDGE edge_id=e_a870ac0e40fc source=n_972f509a2adf edge_type=supports target=n_7d1d25232b24
t=0103 ADD_EDGE edge_id=e_4ec18c1a72ee source=n_58888297eb63 edge_type=supports target=n_1d41b7b88759
t=0104 ADD_EDGE edge_id=e_88936b4fdb17 source=n_f28491f550c8 edge_type=supports target=n_2c051ffbb0f8
t=0105 ADD_EDGE edge_id=e_83b34717c824 source=n_4cd822020fad edge_type=refutes target=n_b74447e672f9
t=0106 ADD_EDGE edge_id=e_ff6d6f9612e3 source=n_c01a0f504eab edge_type=supports target=n_f28491f550c8
t=0107 ADD_EDGE edge_id=e_546de111d3fe source=n_348da1d56a51 edge_type=supports target=n_1933674bc1dc
t=0108 ADD_EDGE edge_id=e_fb9241991fda source=n_0897a0cdb045 edge_type=supports target=n_16c249fcd92a
t=0109 ADD_EDGE edge_id=e_37b0e1d78169 source=n_58888297eb63 edge_type=refutes target=n_75bc4f450f76
t=0110 ADD_EDGE edge_id=e_ca56bbafe8d3 source=n_3fcacc1be951 edge_type=refutes target=n_1ec3ffa1d341
t=0111 ADD_EDGE edge_id=e_c1ce7a6d6225 source=n_16c249fcd92a edge_type=refutes target=n_297561f53c30
t=0112 ADD_EDGE edge_id=e_8c420fccee4a source=n_1d41b7b88759 edge_type=supports target=n_ea549c50ab58
t=0113 ADD_EDGE edge_id=e_25351a73e4ae source=n_3a8ef8ea6444 edge_type=supports target=n_6faee1406ece
t=0114 ADD_EDGE edge_id=e_3b5389c7f275 source=n_f0814a41314a edge_type=supports target=n_66b42e9770be
t=0115 ADD_EDGE edge_id=e_d63b2736a8dc source=n_d29f6c73eaef edge_type=refutes target=n_ea2a72e57150
t=0116 ADD_EDGE edge_id=e_3710201ea5d2 source=n_29b2cca414de edge_type=supports target=n_b439ad92e8ec
t=0117 ADD_EDGE edge_id=e_bceb988c3c3f source=n_e06a11f11c9f edge_type=refutes target=n_eeafe1c5c502
t=0118 ADD_EDGE edge_id=e_44ac943f2f67 source=n_61744493826b edge_type=supports target=n_72df73f089fc
t=0119 ADD_EDGE edge_id=e_070c067403ce source=n_36cb3c80b5e4 edge_type=refutes target=n_ae1478c07dd6
t=0120 ADD_EDGE edge_id=e_8d2c08055786 source=n_58888297eb63 edge_type=refutes target=n_d29f6c73eaef
t=0121 ADD_EDGE edge_id=e_fc3747235e9e source=n_63efff23c7c2 edge_type=supports target=n_30201fd8aa5d
t=0122 ADD_EDGE edge_id=e_bc435a33ccfa source=n_b439ad92e8ec edge_type=supports target=n_bf57dcc17e93
t=0123 ADD_EDGE edge_id=e_651f95a98591 source=n_4cd822020fad edge_type=supports target=n_2457a56f5e66
t=0124 ADD_EDGE edge_id=e_df72b62f3079 source=n_120e2b4c4ee7 edge_type=refutes target=n_9edff43d8452
t=0125 ADD_EDGE edge_id=e_5c4e7d883e62 source=n_921784e9a9bc edge_type=refutes target=n_29b2cca414de
t=0126 ADD_EDGE edge_id=e_64e1135b03fb source=n_2cceabfd02a8 edge_type=refutes target=n_58888297eb63
t=0127 ADD_EDGE edge_id=e_0c8d1d5e4066 source=n_30201fd8aa5d edge_type=supports target=n_c01a0f504eab
t=0128 ADD_EDGE edge_id=e_f4b5a1300251 source=n_b439ad92e8ec edge_type=supports target=n_8b20ad7e72b5
t=0129 ADD_EDGE edge_id=e_76145745002b source=n_58888297eb63 edge_type=refutes target=n_120e2b4c4ee7
t=0130 ADD_EDGE edge_id=e_a7df74c8aab1 source=n_2457a56f5e66 edge_type=supports target=n_e06a11f11c9f
t=0131 ADD_EDGE edge_id=e_5c30916edc40 source=n_66b42e9770be edge_type=refutes target=n_2b68122ac3e4
t=0132 ADD_EDGE edge_id=e_6447321714d6 source=n_1e5233419b0a edge_type=refutes target=n_f0814a41314a
t=0133 ADD_EDGE edge_id=e_f02c31c9e545 source=n_4cd822020fad edge_type=supports target=n_2cceabfd02a8
t=0134 ADD_EDGE edge_id=e_01d26eecee63 source=n_2a51f37b7cdd edge_type=supports target=n_e8feba7fae17
t=0135 ADD_EDGE edge_id=e_377380068993 source=n_a3ce389160f2 edge_type=supports target=n_348da1d56a51
t=0136 ADD_EDGE edge_id=e_3690901f6dcb source=n_36cb3c80b5e4 edge_type=refutes target=n_4c8553a3e14d
t=0137 ADD_EDGE edge_id=e_3508b10c35d4 source=n_8b20ad7e72b5 edge_type=supports target=n_c6433b9ab70e
t=0138 ADD_EDGE edge_id=e_1afed699f07c source=n_3a8ef8ea6444 edge_type=refutes target=n_144e5f9b62db
t=0139 QUERY source=n_1d03055611f7 target=n_4c3b2d5995be
[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_206b1bce551e node_type=claim
t=0001 CREATE_NODE id=n_b761a3101ba8 node_type=claim
t=0002 CREATE_NODE id=n_6bd572828c2f node_type=claim
t=0003 CREATE_NODE id=n_c83e466e0e20 node_type=claim
t=0004 CREATE_NODE id=n_9d5dd0d0641c node_type=claim
t=0005 CREATE_NODE id=n_8f4bb29c66f0 node_type=claim
t=0006 CREATE_NODE id=n_0bc2f5fedc8b node_type=claim
t=0007 CREATE_NODE id=n_eb78434f8c4e node_type=claim
t=0008 CREATE_NODE id=n_5601febe725a node_type=claim
t=0009 CREATE_NODE id=n_76f55273bd19 node_type=claim
t=0010 CREATE_NODE id=n_86958ea29225 node_type=claim
t=0011 CREATE_NODE id=n_a56a6d82410d node_type=claim
t=0012 CREATE_NODE id=n_052035aab14c node_type=claim
t=0013 CREATE_NODE id=n_b67eb7cf66d1 node_type=claim
t=0014 CREATE_NODE id=n_2e6ad8fe6ce3 node_type=claim
t=0015 CREATE_NODE id=n_eb7b6e2dc382 node_type=claim
t=0016 CREATE_NODE id=n_b080192e355f node_type=claim
t=0017 CREATE_NODE id=n_21aef5f27c3f node_type=claim
t=0018 CREATE_NODE id=n_9ef28628ea85 node_type=claim
t=0019 CREATE_NODE id=n_0fefe4c0d029 node_type=claim
t=0020 CREATE_NODE id=n_f829c7c27071 node_type=claim
t=0021 CREATE_NODE id=n_002a4b5c62cf node_type=claim
t=0022 CREATE_NODE id=n_a62af9ba3315 node_type=claim
t=0023 CREATE_NODE id=n_553ba09de609 node_type=claim
t=0024 CREATE_NODE id=n_1a1718d4f27b node_type=claim
t=0025 CREATE_NODE id=n_27dd2762d501 node_type=claim
t=0026 CREATE_NODE id=n_e462e9d87a08 node_type=claim
t=0027 CREATE_NODE id=n_1136dc68bb28 node_type=claim
t=0028 CREATE_NODE id=n_1d29a7c804b8 node_type=claim
t=0029 CREATE_NODE id=n_90a0e857b088 node_type=claim
t=0030 CREATE_NODE id=n_7822d1dd2e9b node_type=claim
t=0031 CREATE_NODE id=n_01c22b3d112b node_type=claim
t=0032 CREATE_NODE id=n_aa423b3a3caf node_type=claim
t=0033 CREATE_NODE id=n_b1eec6fc77f9 node_type=claim
t=0034 CREATE_NODE id=n_2ee4412f7edd node_type=claim
t=0035 CREATE_NODE id=n_8222fac10b60 node_type=claim
t=0036 CREATE_NODE id=n_8bf9379ec4cb node_type=claim
t=0037 CREATE_NODE id=n_831c295f8d38 node_type=claim
t=0038 CREATE_NODE id=n_8cff641eaabd node_type=claim
t=0039 CREATE_NODE id=n_96cb94bf44c1 node_type=claim
t=0040 CREATE_NODE id=n_d9082cac17cf node_type=claim
t=0041 CREATE_NODE id=n_9625fe84da2e node_type=claim
t=0042 CREATE_NODE id=n_b17a3d6307f6 node_type=claim
t=0043 CREATE_NODE id=n_d397d0df350d node_type=claim
t=0044 CREATE_NODE id=n_2141d035e4ec node_type=claim
t=0045 CREATE_NODE id=n_1dca1fbefd6d node_type=claim
t=0046 CREATE_NODE id=n_e0d89fadfde6 node_type=claim
t=0047 CREATE_NODE id=n_a58a18766619 node_type=claim
t=0048 CREATE_NODE id=n_e40705a58cad node_type=claim
t=0049 CREATE_NODE id=n_a680bdf71e25 node_type=claim
t=0050 CREATE_NODE id=n_9bf411a622a6 node_type=claim
t=0051 CREATE_NODE id=n_358c6cd00032 node_type=claim
t=0052 CREATE_NODE id=n_aa966000f174 node_type=claim
t=0053 CREATE_NODE id=n_7f493cc2606e node_type=claim
t=0054 CREATE_NODE id=n_ad5ef8541976 node_type=claim
t=0055 CREATE_NODE id=n_efa5b6f2e615 node_type=claim
t=0056 CREATE_NODE id=n_13ddf86d3a4d node_type=claim
t=0057 CREATE_NODE id=n_6e8b3fd7e1d6 node_type=claim
t=0058 CREATE_NODE id=n_3c29df93d01c node_type=claim
t=0059 CREATE_NODE id=n_edb035edbdcd node_type=claim
t=0060 CREATE_NODE id=n_2182700279c0 node_type=claim
t=0061 CREATE_NODE id=n_993faf8fe6e7 node_type=claim
t=0062 CREATE_NODE id=n_b482c75ebcb0 node_type=claim
t=0063 CREATE_NODE id=n_d62b47474afc node_type=claim
t=0064 CREATE_NODE id=n_ead4a93320be node_type=claim
t=0065 CREATE_NODE id=n_4d437512b39d node_type=claim
t=0066 CREATE_NODE id=n_12a53eef42bc node_type=claim
t=0067 CREATE_NODE id=n_d08d033090ac node_type=claim
t=0068 CREATE_NODE id=n_e359e0161bc9 node_type=claim
t=0069 CREATE_NODE id=n_bbf82dd44073 node_type=claim
t=0070 ASSERT_ROOT node=n_96cb94bf44c1 value=TRUE
t=0071 ADD_EDGE edge_id=e_e03d0b6d09e8 source=n_1a1718d4f27b edge_type=refutes target=n_21aef5f27c3f
t=0072 ADD_EDGE edge_id=e_f10f92f49a95 source=n_8bf9379ec4cb edge_type=refutes target=n_27dd2762d501
t=0073 ADD_EDGE edge_id=e_60b4a43397ae source=n_1d29a7c804b8 edge_type=refutes target=n_a58a18766619
t=0074 ADD_EDGE edge_id=e_e4fd2ebd7432 source=n_eb78434f8c4e edge_type=refutes target=n_edb035edbdcd
t=0075 ADD_EDGE edge_id=e_42505e2031fc source=n_7f493cc2606e edge_type=refutes target=n_e359e0161bc9
t=0076 ADD_EDGE edge_id=e_73af3cf80074 source=n_eb78434f8c4e edge_type=refutes target=n_a62af9ba3315
t=0077 ADD_EDGE edge_id=e_b27af5013827 source=n_6bd572828c2f edge_type=supports target=n_358c6cd00032
t=0078 ADD_EDGE edge_id=e_f8b735224dc8 source=n_ead4a93320be edge_type=supports target=n_d08d033090ac
t=0079 ADD_EDGE edge_id=e_0498a5b9995a source=n_5601febe725a edge_type=supports target=n_aa966000f174
t=0080 ADD_EDGE edge_id=e_73511edcc4e9 source=n_a58a18766619 edge_type=supports target=n_e40705a58cad
t=0081 ADD_EDGE edge_id=e_e37d1f43e3b2 source=n_27dd2762d501 edge_type=refutes target=n_b1eec6fc77f9
t=0082 ADD_EDGE edge_id=e_f7f9790073b6 source=n_ad5ef8541976 edge_type=supports target=n_1136dc68bb28
t=0083 ADD_EDGE edge_id=e_b1114ecce58b source=n_2141d035e4ec edge_type=refutes target=n_a680bdf71e25
t=0084 ADD_EDGE edge_id=e_082793ea8bd1 source=n_13ddf86d3a4d edge_type=supports target=n_206b1bce551e
t=0085 ADD_EDGE edge_id=e_415c0f740725 source=n_993faf8fe6e7 edge_type=supports target=n_2e6ad8fe6ce3
t=0086 ADD_EDGE edge_id=e_464e6427a3bc source=n_8cff641eaabd edge_type=supports target=n_0fefe4c0d029
t=0087 ADD_EDGE edge_id=e_647770f0c19e source=n_27dd2762d501 edge_type=refutes target=n_e0d89fadfde6
t=0088 ADD_EDGE edge_id=e_11c1a66e2415 source=n_7f493cc2606e edge_type=refutes target=n_b761a3101ba8
t=0089 ADD_EDGE edge_id=e_3c7c4071e72b source=n_76f55273bd19 edge_type=refutes target=n_d397d0df350d
t=0090 ADD_EDGE edge_id=e_6c881d9750ac source=n_e0d89fadfde6 edge_type=refutes target=n_2182700279c0
t=0091 ADD_EDGE edge_id=e_f2a15d284704 source=n_bbf82dd44073 edge_type=supports target=n_002a4b5c62cf
t=0092 ADD_EDGE edge_id=e_74d889360608 source=n_206b1bce551e edge_type=refutes target=n_b080192e355f
t=0093 ADD_EDGE edge_id=e_efe57e854d90 source=n_e0d89fadfde6 edge_type=refutes target=n_f829c7c27071
t=0094 ADD_EDGE edge_id=e_2e57d594e922 source=n_6bd572828c2f edge_type=refutes target=n_9ef28628ea85
t=0095 ADD_EDGE edge_id=e_248e607b91ce source=n_01c22b3d112b edge_type=supports target=n_4d437512b39d
t=0096 ADD_EDGE edge_id=e_15e76a83fcab source=n_7822d1dd2e9b edge_type=refutes target=n_ad5ef8541976
t=0097 ADD_EDGE edge_id=e_53e498ecd4d9 source=n_002a4b5c62cf edge_type=supports target=n_7822d1dd2e9b
t=0098 ADD_EDGE edge_id=e_ade4c5f9833b source=n_e0d89fadfde6 edge_type=refutes target=n_553ba09de609
t=0099 ADD_EDGE edge_id=e_74c1faa6345d source=n_b67eb7cf66d1 edge_type=refutes target=n_9625fe84da2e
t=0100 ADD_EDGE edge_id=e_0c12905c3788 source=n_052035aab14c edge_type=supports target=n_1d29a7c804b8
t=0101 ADD_EDGE edge_id=e_e366b5a2e27f source=n_d08d033090ac edge_type=refutes target=n_13ddf86d3a4d
t=0102 ADD_EDGE edge_id=e_49bb9a2b81d9 source=n_b67eb7cf66d1 edge_type=refutes target=n_052035aab14c
t=0103 ADD_EDGE edge_id=e_5f8eb825b834 source=n_2141d035e4ec edge_type=refutes target=n_01c22b3d112b
t=0104 ADD_EDGE edge_id=e_79bc45c1541c source=n_a62af9ba3315 edge_type=supports target=n_8222fac10b60
t=0105 ADD_EDGE edge_id=e_d595402fe0fb source=n_d62b47474afc edge_type=refutes target=n_aa423b3a3caf
t=0106 ADD_EDGE edge_id=e_6eeb5f58b8c3 source=n_86958ea29225 edge_type=refutes target=n_b17a3d6307f6
t=0107 ADD_EDGE edge_id=e_25ee9f762f91 source=n_d397d0df350d edge_type=refutes target=n_b67eb7cf66d1
t=0108 ADD_EDGE edge_id=e_920d55791fed source=n_21aef5f27c3f edge_type=refutes target=n_8cff641eaabd
t=0109 ADD_EDGE edge_id=e_e86df9854dc9 source=n_e40705a58cad edge_type=supports target=n_0bc2f5fedc8b
t=0110 ADD_EDGE edge_id=e_c4e23994511b source=n_90a0e857b088 edge_type=refutes target=n_6e8b3fd7e1d6
t=0111 ADD_EDGE edge_id=e_b4e036126e42 source=n_5601febe725a edge_type=supports target=n_8f4bb29c66f0
t=0112 ADD_EDGE edge_id=e_d0a98a1685ef source=n_0bc2f5fedc8b edge_type=supports target=n_ead4a93320be
t=0113 ADD_EDGE edge_id=e_0702208403a6 source=n_3c29df93d01c edge_type=supports target=n_e462e9d87a08
t=0114 ADD_EDGE edge_id=e_4b95aed1eb06 source=n_8bf9379ec4cb edge_type=refutes target=n_1dca1fbefd6d
t=0115 ADD_EDGE edge_id=e_957089ccf3e2 source=n_96cb94bf44c1 edge_type=refutes target=n_2ee4412f7edd
t=0116 ADD_EDGE edge_id=e_d0de2f4d515e source=n_d62b47474afc edge_type=supports target=n_9d5dd0d0641c
t=0117 ADD_EDGE edge_id=e_545c3a9e0857 source=n_8bf9379ec4cb edge_type=supports target=n_2141d035e4ec
t=0118 ADD_EDGE edge_id=e_5b93408b7d03 source=n_12a53eef42bc edge_type=refutes target=n_76f55273bd19
t=0119 ADD_EDGE edge_id=e_1723714fe848 source=n_e462e9d87a08 edge_type=refutes target=n_12a53eef42bc
t=0120 ADD_EDGE edge_id=e_cb78f60ab907 source=n_9ef28628ea85 edge_type=supports target=n_7f493cc2606e
t=0121 ADD_EDGE edge_id=e_21ac82335aec source=n_0fefe4c0d029 edge_type=refutes target=n_90a0e857b088
t=0122 ADD_EDGE edge_id=e_e4ccb5968202 source=n_a62af9ba3315 edge_type=supports target=n_d9082cac17cf
t=0123 ADD_EDGE edge_id=e_cc513718a881 source=n_d9082cac17cf edge_type=supports target=n_9bf411a622a6
t=0124 ADD_EDGE edge_id=e_189df0bc6765 source=n_7f493cc2606e edge_type=supports target=n_993faf8fe6e7
t=0125 ADD_EDGE edge_id=e_95f5cf5cdf3b source=n_6e8b3fd7e1d6 edge_type=supports target=n_c83e466e0e20
t=0126 ADD_EDGE edge_id=e_70fa39d059ec source=n_8bf9379ec4cb edge_type=refutes target=n_b482c75ebcb0
t=0127 ADD_EDGE edge_id=e_a83e98eb78cd source=n_8bf9379ec4cb edge_type=supports target=n_6bd572828c2f
t=0128 ADD_EDGE edge_id=e_141c60f26033 source=n_c83e466e0e20 edge_type=supports target=n_bbf82dd44073
t=0129 ADD_EDGE edge_id=e_cd00c7dab107 source=n_86958ea29225 edge_type=supports target=n_efa5b6f2e615
t=0130 ADD_EDGE edge_id=e_c977798b8c2c source=n_2ee4412f7edd edge_type=supports target=n_1a1718d4f27b
t=0131 ADD_EDGE edge_id=e_819e615287d5 source=n_7f493cc2606e edge_type=supports target=n_eb78434f8c4e
t=0132 ADD_EDGE edge_id=e_2363e2a62cd4 source=n_2141d035e4ec edge_type=supports target=n_d62b47474afc
t=0133 ADD_EDGE edge_id=e_b6c13a349e6b source=n_993faf8fe6e7 edge_type=supports target=n_a56a6d82410d
t=0134 ADD_EDGE edge_id=e_82118f818891 source=n_efa5b6f2e615 edge_type=supports target=n_3c29df93d01c
t=0135 ADD_EDGE edge_id=e_974f4184ba4a source=n_1136dc68bb28 edge_type=supports target=n_86958ea29225
t=0136 ADD_EDGE edge_id=e_ec96253f5cc0 source=n_8bf9379ec4cb edge_type=supports target=n_5601febe725a
t=0137 ADD_EDGE edge_id=e_5010c0d49173 source=n_a62af9ba3315 edge_type=refutes target=n_eb7b6e2dc382
t=0138 ADD_EDGE edge_id=e_cec2f2402681 source=n_1a1718d4f27b edge_type=refutes target=n_831c295f8d38
t=0139 QUERY source=n_96cb94bf44c1 target=n_206b1bce551e
[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_ca88faf4cc2e node_type=claim
t=0001 CREATE_NODE id=n_3932b581fe75 node_type=claim
t=0002 CREATE_NODE id=n_6de0d37d85bd node_type=claim
t=0003 CREATE_NODE id=n_dbe12e32a02d node_type=claim
t=0004 CREATE_NODE id=n_e76d3d31857c node_type=claim
t=0005 CREATE_NODE id=n_14b877afd3f1 node_type=claim
t=0006 CREATE_NODE id=n_b5caf069c334 node_type=claim
t=0007 CREATE_NODE id=n_d2e6ad0f3531 node_type=claim
t=0008 CREATE_NODE id=n_48bd597f22eb node_type=claim
t=0009 CREATE_NODE id=n_49abf5a6a8b5 node_type=claim
t=0010 CREATE_NODE id=n_a98538f336aa node_type=claim
t=0011 CREATE_NODE id=n_dc45c0a2eefc node_type=claim
t=0012 CREATE_NODE id=n_898226e73cef node_type=claim
t=0013 CREATE_NODE id=n_ee6acb50e34a node_type=claim
t=0014 CREATE_NODE id=n_e8f8668381c0 node_type=claim
t=0015 CREATE_NODE id=n_241cd3c04db0 node_type=claim
t=0016 CREATE_NODE id=n_54bbd2958e91 node_type=claim
t=0017 CREATE_NODE id=n_060c60ea8c8c node_type=claim
t=0018 CREATE_NODE id=n_f187a2d39d45 node_type=claim
t=0019 CREATE_NODE id=n_f767e2705ef7 node_type=claim
t=0020 CREATE_NODE id=n_852bf43cb042 node_type=claim
t=0021 CREATE_NODE id=n_2a6e799ee31d node_type=claim
t=0022 CREATE_NODE id=n_bfef274642dc node_type=claim
t=0023 CREATE_NODE id=n_22e32ef2f531 node_type=claim
t=0024 CREATE_NODE id=n_0423180605dc node_type=claim
t=0025 CREATE_NODE id=n_b7435e1b9dab node_type=claim
t=0026 CREATE_NODE id=n_d91994d78ccd node_type=claim
t=0027 CREATE_NODE id=n_9548f67c583b node_type=claim
t=0028 CREATE_NODE id=n_98620d9ad5b9 node_type=claim
t=0029 CREATE_NODE id=n_732b56d6e507 node_type=claim
t=0030 CREATE_NODE id=n_d34df494070d node_type=claim
t=0031 CREATE_NODE id=n_5e8f861e35af node_type=claim
t=0032 CREATE_NODE id=n_499ddef32527 node_type=claim
t=0033 CREATE_NODE id=n_5e31b935e7ca node_type=claim
t=0034 CREATE_NODE id=n_f9a6c4d225a6 node_type=claim
t=0035 CREATE_NODE id=n_3c48fb2a8bd0 node_type=claim
t=0036 CREATE_NODE id=n_19fc90ab08ee node_type=claim
t=0037 CREATE_NODE id=n_80abb218ec00 node_type=claim
t=0038 CREATE_NODE id=n_4e7d673fa1d7 node_type=claim
t=0039 CREATE_NODE id=n_e44941a8e386 node_type=claim
t=0040 CREATE_NODE id=n_b14e29d1700f node_type=claim
t=0041 CREATE_NODE id=n_5dc1d385a5bf node_type=claim
t=0042 CREATE_NODE id=n_7b31a1640f58 node_type=claim
t=0043 CREATE_NODE id=n_56c0c211ca75 node_type=claim
t=0044 CREATE_NODE id=n_2925a274c250 node_type=claim
t=0045 CREATE_NODE id=n_a293b0fdb437 node_type=claim
t=0046 CREATE_NODE id=n_2e43df500449 node_type=claim
t=0047 CREATE_NODE id=n_966f8f822e06 node_type=claim
t=0048 CREATE_NODE id=n_923788851d14 node_type=claim
t=0049 CREATE_NODE id=n_fd88ceff8b0c node_type=claim
t=0050 CREATE_NODE id=n_3c69765c61d4 node_type=claim
t=0051 CREATE_NODE id=n_0ff4df0d2d45 node_type=claim
t=0052 CREATE_NODE id=n_d22956880f1e node_type=claim
t=0053 CREATE_NODE id=n_7957fb3a7eac node_type=claim
t=0054 CREATE_NODE id=n_5b26d57b5eb5 node_type=claim
t=0055 CREATE_NODE id=n_6174de53fc22 node_type=claim
t=0056 CREATE_NODE id=n_1890454d453b node_type=claim
t=0057 CREATE_NODE id=n_8073d5e927b6 node_type=claim
t=0058 CREATE_NODE id=n_6172890a0a51 node_type=claim
t=0059 CREATE_NODE id=n_8ecf038f48fa node_type=claim
t=0060 CREATE_NODE id=n_4d1170211740 node_type=claim
t=0061 CREATE_NODE id=n_c66fefbecffa node_type=claim
t=0062 CREATE_NODE id=n_e01ceae8baef node_type=claim
t=0063 CREATE_NODE id=n_a2757239bbaa node_type=claim
t=0064 CREATE_NODE id=n_a5ded298773c node_type=claim
t=0065 CREATE_NODE id=n_173a19a6e833 node_type=claim
t=0066 CREATE_NODE id=n_ad6424a486da node_type=claim
t=0067 CREATE_NODE id=n_a89be2e81a57 node_type=claim
t=0068 CREATE_NODE id=n_f28ab71b6c08 node_type=claim
t=0069 CREATE_NODE id=n_c2bd6634c877 node_type=claim
t=0070 CREATE_NODE id=n_fcca49bfaf94 node_type=claim
t=0071 CREATE_NODE id=n_c8ccd2dc3508 node_type=claim
t=0072 ASSERT_ROOT node=n_6172890a0a51 value=TRUE
t=0073 ADD_EDGE edge_id=e_eebaba629345 source=n_8ecf038f48fa edge_type=supports target=n_0423180605dc
t=0074 ADD_EDGE edge_id=e_cbd462c9e38a source=n_e76d3d31857c edge_type=supports target=n_a293b0fdb437
t=0075 ADD_EDGE edge_id=e_6cc022cc8333 source=n_2a6e799ee31d edge_type=supports target=n_4d1170211740
t=0076 ADD_EDGE edge_id=e_3a447f4bbc7a source=n_1890454d453b edge_type=supports target=n_499ddef32527
t=0077 ADD_EDGE edge_id=e_1f27158c2f10 source=n_c2bd6634c877 edge_type=refutes target=n_ca88faf4cc2e
t=0078 ADD_EDGE edge_id=e_4e275f56c092 source=n_c8ccd2dc3508 edge_type=refutes target=n_56c0c211ca75
t=0079 ADD_EDGE edge_id=e_f68dacfbbb31 source=n_8ecf038f48fa edge_type=refutes target=n_6174de53fc22
t=0080 ADD_EDGE edge_id=e_bcea837d123d source=n_ca88faf4cc2e edge_type=refutes target=n_e44941a8e386
t=0081 ADD_EDGE edge_id=e_7e164b2141d9 source=n_898226e73cef edge_type=refutes target=n_5b26d57b5eb5
t=0082 ADD_EDGE edge_id=e_e3fe3b083b48 source=n_923788851d14 edge_type=supports target=n_f767e2705ef7
t=0083 ADD_EDGE edge_id=e_0daa1449dafe source=n_732b56d6e507 edge_type=supports target=n_a98538f336aa
t=0084 ADD_EDGE edge_id=e_61d3a3aafee7 source=n_1890454d453b edge_type=supports target=n_e8f8668381c0
t=0085 ADD_EDGE edge_id=e_e6e3939a8900 source=n_ca88faf4cc2e edge_type=refutes target=n_2e43df500449
t=0086 ADD_EDGE edge_id=e_0d03fd4c261e source=n_ee6acb50e34a edge_type=refutes target=n_49abf5a6a8b5
t=0087 ADD_EDGE edge_id=e_905fc4784ab3 source=n_a2757239bbaa edge_type=supports target=n_852bf43cb042
t=0088 ADD_EDGE edge_id=e_fb3e2a2e9684 source=n_2a6e799ee31d edge_type=refutes target=n_dc45c0a2eefc
t=0089 ADD_EDGE edge_id=e_1f9ddad11dd6 source=n_d22956880f1e edge_type=supports target=n_e01ceae8baef
t=0090 ADD_EDGE edge_id=e_fafecc34c7f5 source=n_5dc1d385a5bf edge_type=supports target=n_1890454d453b
t=0091 ADD_EDGE edge_id=e_df3344981fe1 source=n_dbe12e32a02d edge_type=refutes target=n_f28ab71b6c08
t=0092 ADD_EDGE edge_id=e_082673f59d4f source=n_7b31a1640f58 edge_type=supports target=n_b5caf069c334
t=0093 ADD_EDGE edge_id=e_04662e5b9359 source=n_f187a2d39d45 edge_type=supports target=n_14b877afd3f1
t=0094 ADD_EDGE edge_id=e_2668982f4aa0 source=n_ca88faf4cc2e edge_type=supports target=n_ee6acb50e34a
t=0095 ADD_EDGE edge_id=e_6d2ce5e604d6 source=n_0423180605dc edge_type=refutes target=n_9548f67c583b
t=0096 ADD_EDGE edge_id=e_4775d86b0733 source=n_ad6424a486da edge_type=supports target=n_4e7d673fa1d7
t=0097 ADD_EDGE edge_id=e_0469fee38e4e source=n_fd88ceff8b0c edge_type=refutes target=n_0ff4df0d2d45
t=0098 ADD_EDGE edge_id=e_8f1b7ab0661a source=n_ee6acb50e34a edge_type=supports target=n_3932b581fe75
t=0099 ADD_EDGE edge_id=e_438f5a470c33 source=n_2a6e799ee31d edge_type=refutes target=n_a2757239bbaa
t=0100 ADD_EDGE edge_id=e_c526257f2945 source=n_8ecf038f48fa edge_type=refutes target=n_2a6e799ee31d
t=0101 ADD_EDGE edge_id=e_dd681a122076 source=n_b7435e1b9dab edge_type=refutes target=n_2925a274c250
t=0102 ADD_EDGE edge_id=e_6826ff4add8a source=n_0423180605dc edge_type=refutes target=n_a89be2e81a57
t=0103 ADD_EDGE edge_id=e_2f42dc25e741 source=n_ee6acb50e34a edge_type=refutes target=n_7957fb3a7eac
t=0104 ADD_EDGE edge_id=e_e775274e7415 source=n_6172890a0a51 edge_type=supports target=n_22e32ef2f531
t=0105 ADD_EDGE edge_id=e_5ca6ade30096 source=n_c66fefbecffa edge_type=supports target=n_5e8f861e35af
t=0106 ADD_EDGE edge_id=e_11bac2c25651 source=n_3c69765c61d4 edge_type=refutes target=n_8073d5e927b6
t=0107 ADD_EDGE edge_id=e_093f6676fd81 source=n_241cd3c04db0 edge_type=refutes target=n_3c69765c61d4
t=0108 ADD_EDGE edge_id=e_62bff4bee321 source=n_1890454d453b edge_type=refutes target=n_d2e6ad0f3531
t=0109 ADD_EDGE edge_id=e_1f94f460e878 source=n_e01ceae8baef edge_type=supports target=n_dbe12e32a02d
t=0110 ADD_EDGE edge_id=e_5a4c575246f2 source=n_3c48fb2a8bd0 edge_type=supports target=n_b14e29d1700f
t=0111 ADD_EDGE edge_id=e_9ec8b8797582 source=n_a98538f336aa edge_type=refutes target=n_ad6424a486da
t=0112 ADD_EDGE edge_id=e_6fddc5dc77e5 source=n_3c48fb2a8bd0 edge_type=supports target=n_7b31a1640f58
t=0113 ADD_EDGE edge_id=e_c7eacafec673 source=n_2925a274c250 edge_type=supports target=n_5e31b935e7ca
t=0114 ADD_EDGE edge_id=e_9ae7a17ec9e3 source=n_b5caf069c334 edge_type=refutes target=n_48bd597f22eb
t=0115 ADD_EDGE edge_id=e_c0edc3c7da22 source=n_14b877afd3f1 edge_type=supports target=n_898226e73cef
t=0116 ADD_EDGE edge_id=e_ad0a50c3f556 source=n_898226e73cef edge_type=supports target=n_b7435e1b9dab
t=0117 ADD_EDGE edge_id=e_fc379687a159 source=n_8073d5e927b6 edge_type=refutes target=n_fd88ceff8b0c
t=0118 ADD_EDGE edge_id=e_4760ce0fefa2 source=n_173a19a6e833 edge_type=refutes target=n_19fc90ab08ee
t=0119 ADD_EDGE edge_id=e_2c09c1e1faa1 source=n_ca88faf4cc2e edge_type=supports target=n_c66fefbecffa
t=0120 ADD_EDGE edge_id=e_5b9d371214c9 source=n_923788851d14 edge_type=refutes target=n_e76d3d31857c
t=0121 ADD_EDGE edge_id=e_7da137d33b6f source=n_f28ab71b6c08 edge_type=supports target=n_966f8f822e06
t=0122 ADD_EDGE edge_id=e_4a8aabcd702c source=n_49abf5a6a8b5 edge_type=supports target=n_98620d9ad5b9
t=0123 ADD_EDGE edge_id=e_6fc602a9cb1b source=n_0ff4df0d2d45 edge_type=supports target=n_3c48fb2a8bd0
t=0124 ADD_EDGE edge_id=e_bfa9919c2955 source=n_a5ded298773c edge_type=supports target=n_fcca49bfaf94
t=0125 ADD_EDGE edge_id=e_d24741ae8170 source=n_54bbd2958e91 edge_type=supports target=n_a5ded298773c
t=0126 ADD_EDGE edge_id=e_244ef90c78cd source=n_0423180605dc edge_type=refutes target=n_5dc1d385a5bf
t=0127 ADD_EDGE edge_id=e_55e2080c804c source=n_fcca49bfaf94 edge_type=supports target=n_173a19a6e833
t=0128 ADD_EDGE edge_id=e_cf441bdcb3c7 source=n_22e32ef2f531 edge_type=supports target=n_54bbd2958e91
t=0129 ADD_EDGE edge_id=e_832f01c0304c source=n_c2bd6634c877 edge_type=refutes target=n_d91994d78ccd
t=0130 ADD_EDGE edge_id=e_22b2324657cb source=n_b5caf069c334 edge_type=supports target=n_bfef274642dc
t=0131 ADD_EDGE edge_id=e_28084119a87a source=n_4e7d673fa1d7 edge_type=refutes target=n_060c60ea8c8c
t=0132 ADD_EDGE edge_id=e_9c604e62642a source=n_0423180605dc edge_type=refutes target=n_923788851d14
t=0133 ADD_EDGE edge_id=e_3baa64a64da1 source=n_1890454d453b edge_type=refutes target=n_c2bd6634c877
t=0134 ADD_EDGE edge_id=e_ba052dcd573d source=n_c2bd6634c877 edge_type=supports target=n_d34df494070d
t=0135 ADD_EDGE edge_id=e_7f2f9fef3a89 source=n_19fc90ab08ee edge_type=refutes target=n_732b56d6e507
t=0136 ADD_EDGE edge_id=e_fd372b9182f7 source=n_5dc1d385a5bf edge_type=refutes target=n_6de0d37d85bd
t=0137 ADD_EDGE edge_id=e_b07d024fae25 source=n_5e31b935e7ca edge_type=refutes target=n_241cd3c04db0
t=0138 ADD_EDGE edge_id=e_21b6c77ae73a source=n_dbe12e32a02d edge_type=refutes target=n_80abb218ec00
t=0139 ADD_EDGE edge_id=e_59fc50fd7ab9 source=n_966f8f822e06 edge_type=supports target=n_f187a2d39d45
t=0140 ADD_EDGE edge_id=e_4a0dceaf6520 source=n_1890454d453b edge_type=refutes target=n_c8ccd2dc3508
t=0141 ADD_EDGE edge_id=e_9c8a18bd4de4 source=n_ee6acb50e34a edge_type=refutes target=n_f9a6c4d225a6
t=0142 ADD_EDGE edge_id=e_d6c543d076d2 source=n_060c60ea8c8c edge_type=supports target=n_d22956880f1e
t=0143 QUERY source=n_6172890a0a51 target=n_48bd597f22eb
[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_07109fd83e1c node_type=claim
t=0001 CREATE_NODE id=n_35f26b2d2f88 node_type=claim
t=0002 CREATE_NODE id=n_59f120778275 node_type=claim
t=0003 CREATE_NODE id=n_11bf78be94d5 node_type=claim
t=0004 CREATE_NODE id=n_3f45bf9053b4 node_type=claim
t=0005 CREATE_NODE id=n_57045707d1ad node_type=claim
t=0006 CREATE_NODE id=n_bb0bfb931c62 node_type=claim
t=0007 CREATE_NODE id=n_2c2b2af71e49 node_type=claim
t=0008 CREATE_NODE id=n_2f12b5502eab node_type=claim
t=0009 CREATE_NODE id=n_bccb23211c91 node_type=claim
t=0010 CREATE_NODE id=n_df3bf0b35c80 node_type=claim
t=0011 CREATE_NODE id=n_8c477ffbc95b node_type=claim
t=0012 CREATE_NODE id=n_13423c48b760 node_type=claim
t=0013 CREATE_NODE id=n_996038b4d0e9 node_type=claim
t=0014 CREATE_NODE id=n_5090f13040f1 node_type=claim
t=0015 CREATE_NODE id=n_00cdace9af8c node_type=claim
t=0016 CREATE_NODE id=n_ec59e4799199 node_type=claim
t=0017 CREATE_NODE id=n_e29287c01248 node_type=claim
t=0018 CREATE_NODE id=n_178808c1316b node_type=claim
t=0019 CREATE_NODE id=n_f7a79f845265 node_type=claim
t=0020 CREATE_NODE id=n_018c08bc7942 node_type=claim
t=0021 CREATE_NODE id=n_3be936acd3a3 node_type=claim
t=0022 CREATE_NODE id=n_e000c7abce53 node_type=claim
t=0023 CREATE_NODE id=n_dc783cc64bed node_type=claim
t=0024 CREATE_NODE id=n_89f513be81a0 node_type=claim
t=0025 CREATE_NODE id=n_b6ea5fa6195d node_type=claim
t=0026 CREATE_NODE id=n_98b37783f885 node_type=claim
t=0027 CREATE_NODE id=n_34cdbf1ed687 node_type=claim
t=0028 CREATE_NODE id=n_567f8ea7866f node_type=claim
t=0029 CREATE_NODE id=n_84380063b724 node_type=claim
t=0030 CREATE_NODE id=n_8d2b6be75fab node_type=claim
t=0031 CREATE_NODE id=n_3d5396ddf4cb node_type=claim
t=0032 CREATE_NODE id=n_b6f9ff8e8bed node_type=claim
t=0033 CREATE_NODE id=n_d64d8335fb14 node_type=claim
t=0034 CREATE_NODE id=n_723581cc29fc node_type=claim
t=0035 CREATE_NODE id=n_67db116c4a11 node_type=claim
t=0036 CREATE_NODE id=n_157537595309 node_type=claim
t=0037 CREATE_NODE id=n_d6ccbf656267 node_type=claim
t=0038 CREATE_NODE id=n_725c79cfedd5 node_type=claim
t=0039 CREATE_NODE id=n_07284a48bea8 node_type=claim
t=0040 CREATE_NODE id=n_8e7c4eec5755 node_type=claim
t=0041 CREATE_NODE id=n_954bcc580a07 node_type=claim
t=0042 CREATE_NODE id=n_77015bf60d92 node_type=claim
t=0043 CREATE_NODE id=n_214ff88139a9 node_type=claim
t=0044 CREATE_NODE id=n_0661421ede25 node_type=claim
t=0045 CREATE_NODE id=n_24394eb96984 node_type=claim
t=0046 CREATE_NODE id=n_0300bb4c7a64 node_type=claim
t=0047 CREATE_NODE id=n_ab7e1b3f999c node_type=claim
t=0048 CREATE_NODE id=n_89244ccf9f5c node_type=claim
t=0049 CREATE_NODE id=n_49782fdaec5e node_type=claim
t=0050 CREATE_NODE id=n_9082315e319e node_type=claim
t=0051 CREATE_NODE id=n_392f1eb5eede node_type=claim
t=0052 CREATE_NODE id=n_38e229e18c62 node_type=claim
t=0053 CREATE_NODE id=n_bfb654792440 node_type=claim
t=0054 CREATE_NODE id=n_d250008797f1 node_type=claim
t=0055 CREATE_NODE id=n_8dc29ad84086 node_type=claim
t=0056 CREATE_NODE id=n_509cf3f0863a node_type=claim
t=0057 CREATE_NODE id=n_458976cc2f28 node_type=claim
t=0058 CREATE_NODE id=n_cdecd2aa1f5b node_type=claim
t=0059 CREATE_NODE id=n_6d8e93b1641d node_type=claim
t=0060 CREATE_NODE id=n_4cf5a357654c node_type=claim
t=0061 CREATE_NODE id=n_5a0a593849bb node_type=claim
t=0062 CREATE_NODE id=n_86fbab870033 node_type=claim
t=0063 CREATE_NODE id=n_35f36dcda04f node_type=claim
t=0064 CREATE_NODE id=n_10cfe8d6eca6 node_type=claim
t=0065 CREATE_NODE id=n_47349777d2a5 node_type=claim
t=0066 CREATE_NODE id=n_45e9ea4eab33 node_type=claim
t=0067 CREATE_NODE id=n_4027dde7c612 node_type=claim
t=0068 CREATE_NODE id=n_de68e8f0edda node_type=claim
t=0069 CREATE_NODE id=n_8eb88b33d6f3 node_type=claim
t=0070 CREATE_NODE id=n_cd8525cb5065 node_type=claim
t=0071 CREATE_NODE id=n_a385fb4b5a5f node_type=claim
t=0072 ASSERT_ROOT node=n_89f513be81a0 value=TRUE
t=0073 ADD_EDGE edge_id=e_0fb9aba7b571 source=n_e000c7abce53 edge_type=refutes target=n_392f1eb5eede
t=0074 ADD_EDGE edge_id=e_8a427326b6fb source=n_89f513be81a0 edge_type=refutes target=n_49782fdaec5e
t=0075 ADD_EDGE edge_id=e_f96712aee406 source=n_0661421ede25 edge_type=supports target=n_157537595309
t=0076 ADD_EDGE edge_id=e_e5e91c9134ee source=n_b6ea5fa6195d edge_type=refutes target=n_567f8ea7866f
t=0077 ADD_EDGE edge_id=e_a32f48e518c8 source=n_67db116c4a11 edge_type=refutes target=n_84380063b724
t=0078 ADD_EDGE edge_id=e_4d23d95ad943 source=n_178808c1316b edge_type=supports target=n_11bf78be94d5
t=0079 ADD_EDGE edge_id=e_b0fe7f925fc9 source=n_8d2b6be75fab edge_type=supports target=n_e000c7abce53
t=0080 ADD_EDGE edge_id=e_2c41a1f4df0a source=n_07284a48bea8 edge_type=refutes target=n_458976cc2f28
t=0081 ADD_EDGE edge_id=e_a26fa91fb333 source=n_cd8525cb5065 edge_type=refutes target=n_b6f9ff8e8bed
t=0082 ADD_EDGE edge_id=e_08873cd1272d source=n_86fbab870033 edge_type=supports target=n_10cfe8d6eca6
t=0083 ADD_EDGE edge_id=e_e9e592e1b740 source=n_07284a48bea8 edge_type=supports target=n_954bcc580a07
t=0084 ADD_EDGE edge_id=e_011065938d0e source=n_ec59e4799199 edge_type=supports target=n_e29287c01248
t=0085 ADD_EDGE edge_id=e_c77ab9d5a309 source=n_38e229e18c62 edge_type=supports target=n_dc783cc64bed
t=0086 ADD_EDGE edge_id=e_ec9fac9e403a source=n_392f1eb5eede edge_type=supports target=n_0661421ede25
t=0087 ADD_EDGE edge_id=e_d73ccb866e34 source=n_e29287c01248 edge_type=supports target=n_509cf3f0863a
t=0088 ADD_EDGE edge_id=e_e655b65f3ee8 source=n_98b37783f885 edge_type=supports target=n_0300bb4c7a64
t=0089 ADD_EDGE edge_id=e_35b53ff25c3a source=n_de68e8f0edda edge_type=refutes target=n_3f45bf9053b4
t=0090 ADD_EDGE edge_id=e_742a21381666 source=n_84380063b724 edge_type=supports target=n_89244ccf9f5c
t=0091 ADD_EDGE edge_id=e_f979a8b25cdf source=n_5090f13040f1 edge_type=supports target=n_8eb88b33d6f3
t=0092 ADD_EDGE edge_id=e_b7310b24a6c4 source=n_47349777d2a5 edge_type=supports target=n_34cdbf1ed687
t=0093 ADD_EDGE edge_id=e_7820631a9c0f source=n_5090f13040f1 edge_type=refutes target=n_d250008797f1
t=0094 ADD_EDGE edge_id=e_34e2a2423bff source=n_509cf3f0863a edge_type=refutes target=n_5a0a593849bb
t=0095 ADD_EDGE edge_id=e_1572bc0e3454 source=n_9082315e319e edge_type=supports target=n_b6ea5fa6195d
t=0096 ADD_EDGE edge_id=e_5179c55d2d35 source=n_723581cc29fc edge_type=refutes target=n_ab7e1b3f999c
t=0097 ADD_EDGE edge_id=e_79c3b0c53444 source=n_84380063b724 edge_type=supports target=n_725c79cfedd5
t=0098 ADD_EDGE edge_id=e_3165bad37a51 source=n_6d8e93b1641d edge_type=refutes target=n_214ff88139a9
t=0099 ADD_EDGE edge_id=e_02da46ea231a source=n_a385fb4b5a5f edge_type=refutes target=n_8e7c4eec5755
t=0100 ADD_EDGE edge_id=e_0042db69d05a source=n_35f36dcda04f edge_type=supports target=n_24394eb96984
t=0101 ADD_EDGE edge_id=e_c1ac54dfd713 source=n_49782fdaec5e edge_type=supports target=n_8c477ffbc95b
t=0102 ADD_EDGE edge_id=e_dc8f3f2a0af6 source=n_5090f13040f1 edge_type=refutes target=n_cd8525cb5065
t=0103 ADD_EDGE edge_id=e_bdf42f065547 source=n_4027dde7c612 edge_type=refutes target=n_bb0bfb931c62
t=0104 ADD_EDGE edge_id=e_def38a22c799 source=n_0300bb4c7a64 edge_type=refutes target=n_3be936acd3a3
t=0105 ADD_EDGE edge_id=e_6ffa7dbe03a1 source=n_8dc29ad84086 edge_type=supports target=n_98b37783f885
t=0106 ADD_EDGE edge_id=e_9e8a91cefaa0 source=n_bb0bfb931c62 edge_type=supports target=n_723581cc29fc
t=0107 ADD_EDGE edge_id=e_6c9a53641f42 source=n_07109fd83e1c edge_type=supports target=n_35f36dcda04f
t=0108 ADD_EDGE edge_id=e_cfd17a8ad5b3 source=n_86fbab870033 edge_type=refutes target=n_8dc29ad84086
t=0109 ADD_EDGE edge_id=e_5449f7b71d65 source=n_ec59e4799199 edge_type=refutes target=n_9082315e319e
t=0110 ADD_EDGE edge_id=e_5492b3aa5cba source=n_67db116c4a11 edge_type=refutes target=n_bfb654792440
t=0111 ADD_EDGE edge_id=e_09a90c8a781d source=n_38e229e18c62 edge_type=supports target=n_df3bf0b35c80
t=0112 ADD_EDGE edge_id=e_0aba7250c1cb source=n_ec59e4799199 edge_type=refutes target=n_d64d8335fb14
t=0113 ADD_EDGE edge_id=e_371d5836e832 source=n_3f45bf9053b4 edge_type=supports target=n_47349777d2a5
t=0114 ADD_EDGE edge_id=e_53003e806f0a source=n_ab7e1b3f999c edge_type=supports target=n_cdecd2aa1f5b
t=0115 ADD_EDGE edge_id=e_7e87e985102c source=n_cdecd2aa1f5b edge_type=refutes target=n_bccb23211c91
t=0116 ADD_EDGE edge_id=e_d8c43e3fabc8 source=n_3be936acd3a3 edge_type=refutes target=n_178808c1316b
t=0117 ADD_EDGE edge_id=e_c1a5de55ad37 source=n_5090f13040f1 edge_type=refutes target=n_3d5396ddf4cb
t=0118 ADD_EDGE edge_id=e_aa120308d45f source=n_d64d8335fb14 edge_type=supports target=n_f7a79f845265
t=0119 ADD_EDGE edge_id=e_de48b779d044 source=n_3d5396ddf4cb edge_type=refutes target=n_45e9ea4eab33
t=0120 ADD_EDGE edge_id=e_01fa9c9897a8 source=n_38e229e18c62 edge_type=supports target=n_35f26b2d2f88
t=0121 ADD_EDGE edge_id=e_0a695af7aaf6 source=n_018c08bc7942 edge_type=refutes target=n_4cf5a357654c
t=0122 ADD_EDGE edge_id=e_358588e33764 source=n_5090f13040f1 edge_type=supports target=n_38e229e18c62
t=0123 ADD_EDGE edge_id=e_99e61b6cb311 source=n_ec59e4799199 edge_type=supports target=n_5090f13040f1
t=0124 ADD_EDGE edge_id=e_c6a1b5432bd7 source=n_8e7c4eec5755 edge_type=refutes target=n_07109fd83e1c
t=0125 ADD_EDGE edge_id=e_0ebd281c3e25 source=n_5090f13040f1 edge_type=refutes target=n_996038b4d0e9
t=0126 ADD_EDGE edge_id=e_c051af5daf97 source=n_5090f13040f1 edge_type=refutes target=n_de68e8f0edda
t=0127 ADD_EDGE edge_id=e_dbb652a5f61a source=n_57045707d1ad edge_type=refutes target=n_77015bf60d92
t=0128 ADD_EDGE edge_id=e_07cb5943ce10 source=n_2c2b2af71e49 edge_type=refutes target=n_07284a48bea8
t=0129 ADD_EDGE edge_id=e_8339b533e100 source=n_67db116c4a11 edge_type=supports target=n_ec59e4799199
t=0130 ADD_EDGE edge_id=e_0f972fd7e22a source=n_77015bf60d92 edge_type=supports target=n_6d8e93b1641d
t=0131 ADD_EDGE edge_id=e_fea71c1efa86 source=n_8c477ffbc95b edge_type=supports target=n_4027dde7c612
t=0132 ADD_EDGE edge_id=e_dcf5aaba8107 source=n_de68e8f0edda edge_type=refutes target=n_2f12b5502eab
t=0133 ADD_EDGE edge_id=e_a8756832bb5e source=n_157537595309 edge_type=supports target=n_00cdace9af8c
t=0134 ADD_EDGE edge_id=e_2316f73296ce source=n_df3bf0b35c80 edge_type=refutes target=n_13423c48b760
t=0135 ADD_EDGE edge_id=e_176b61ca732c source=n_157537595309 edge_type=supports target=n_2c2b2af71e49
t=0136 ADD_EDGE edge_id=e_55faa29c317d source=n_bfb654792440 edge_type=refutes target=n_d6ccbf656267
t=0137 ADD_EDGE edge_id=e_a8439147651e source=n_11bf78be94d5 edge_type=supports target=n_a385fb4b5a5f
t=0138 ADD_EDGE edge_id=e_b6b58a3d34d7 source=n_954bcc580a07 edge_type=supports target=n_86fbab870033
t=0139 ADD_EDGE edge_id=e_6d64d62ec226 source=n_cdecd2aa1f5b edge_type=supports target=n_8d2b6be75fab
t=0140 ADD_EDGE edge_id=e_1bf60f6e5347 source=n_b6ea5fa6195d edge_type=refutes target=n_59f120778275
t=0141 ADD_EDGE edge_id=e_aa3c6c5b5d28 source=n_24394eb96984 edge_type=refutes target=n_57045707d1ad
t=0142 ADD_EDGE edge_id=e_1f0a0261672f source=n_67db116c4a11 edge_type=refutes target=n_018c08bc7942
t=0143 QUERY source=n_89f513be81a0 target=n_214ff88139a9
[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_42e66e50e3c0 node_type=claim
t=0001 CREATE_NODE id=n_5cd6309cbec9 node_type=claim
t=0002 CREATE_NODE id=n_6a0bf9b94a55 node_type=claim
t=0003 CREATE_NODE id=n_6941680bda2f node_type=claim
t=0004 CREATE_NODE id=n_f7a844508e10 node_type=claim
t=0005 CREATE_NODE id=n_a6400d070353 node_type=claim
t=0006 CREATE_NODE id=n_333a07e8a56a node_type=claim
t=0007 CREATE_NODE id=n_acaa64e67f8d node_type=claim
t=0008 CREATE_NODE id=n_124812e3af93 node_type=claim
t=0009 CREATE_NODE id=n_7bd2c4694a6a node_type=claim
t=0010 CREATE_NODE id=n_d6227469cab7 node_type=claim
t=0011 CREATE_NODE id=n_0de16ef4b9a3 node_type=claim
t=0012 CREATE_NODE id=n_48721df92eb3 node_type=claim
t=0013 CREATE_NODE id=n_d73614a4f80a node_type=claim
t=0014 CREATE_NODE id=n_8b02b9f70808 node_type=claim
t=0015 CREATE_NODE id=n_4e150aa8f7e8 node_type=claim
t=0016 CREATE_NODE id=n_5e26161cfd81 node_type=claim
t=0017 CREATE_NODE id=n_7672b3931c98 node_type=claim
t=0018 CREATE_NODE id=n_5d6a330d0fed node_type=claim
t=0019 CREATE_NODE id=n_4d2bd1bf61ec node_type=claim
t=0020 CREATE_NODE id=n_338726ea70bb node_type=claim
t=0021 CREATE_NODE id=n_8e3f932839c0 node_type=claim
t=0022 CREATE_NODE id=n_b8f8335b92d3 node_type=claim
t=0023 CREATE_NODE id=n_c104383abdf9 node_type=claim
t=0024 CREATE_NODE id=n_16fbf826b1bf node_type=claim
t=0025 CREATE_NODE id=n_ede4012e7589 node_type=claim
t=0026 CREATE_NODE id=n_2d0f2e500b5b node_type=claim
t=0027 CREATE_NODE id=n_3dc72fc4dead node_type=claim
t=0028 CREATE_NODE id=n_1b34003f9658 node_type=claim
t=0029 CREATE_NODE id=n_6a96af6a21fd node_type=claim
t=0030 CREATE_NODE id=n_9bb1d7872da9 node_type=claim
t=0031 CREATE_NODE id=n_af04142b9793 node_type=claim
t=0032 CREATE_NODE id=n_0277553fd6b9 node_type=claim
t=0033 CREATE_NODE id=n_0a6c386eace1 node_type=claim
t=0034 CREATE_NODE id=n_55166bee437c node_type=claim
t=0035 CREATE_NODE id=n_ee2548c77722 node_type=claim
t=0036 CREATE_NODE id=n_f757f2586fd6 node_type=claim
t=0037 CREATE_NODE id=n_43038299b13f node_type=claim
t=0038 CREATE_NODE id=n_0b1fc9d155a3 node_type=claim
t=0039 CREATE_NODE id=n_ab1067d9a23f node_type=claim
t=0040 CREATE_NODE id=n_8eeffad19799 node_type=claim
t=0041 CREATE_NODE id=n_71ef88989c14 node_type=claim
t=0042 CREATE_NODE id=n_ca1dc8285c13 node_type=claim
t=0043 CREATE_NODE id=n_214adf9b410b node_type=claim
t=0044 CREATE_NODE id=n_8cfdd0c399ea node_type=claim
t=0045 CREATE_NODE id=n_3cccb0da4a7a node_type=claim
t=0046 CREATE_NODE id=n_6416bc43c499 node_type=claim
t=0047 CREATE_NODE id=n_f4929430e7bd node_type=claim
t=0048 CREATE_NODE id=n_65488ef8785a node_type=claim
t=0049 CREATE_NODE id=n_bdf5ae8dc513 node_type=claim
t=0050 CREATE_NODE id=n_ca28b9b11c07 node_type=claim
t=0051 CREATE_NODE id=n_0e1cdfc194af node_type=claim
t=0052 CREATE_NODE id=n_49e9b8a74297 node_type=claim
t=0053 CREATE_NODE id=n_c2bf924f8122 node_type=claim
t=0054 CREATE_NODE id=n_714ce9b3fd6b node_type=claim
t=0055 CREATE_NODE id=n_bbb21878ad10 node_type=claim
t=0056 CREATE_NODE id=n_7b2ba0810a60 node_type=claim
t=0057 CREATE_NODE id=n_77afb714fe53 node_type=claim
t=0058 CREATE_NODE id=n_924e8e5009c1 node_type=claim
t=0059 CREATE_NODE id=n_cab5809e95bb node_type=claim
t=0060 CREATE_NODE id=n_3b6bc2287d2d node_type=claim
t=0061 CREATE_NODE id=n_141606bc036b node_type=claim
t=0062 CREATE_NODE id=n_1c5233b0bc6b node_type=claim
t=0063 CREATE_NODE id=n_4e8fe8af3222 node_type=claim
t=0064 CREATE_NODE id=n_7d99d269cc3a node_type=claim
t=0065 CREATE_NODE id=n_8029ff20b840 node_type=claim
t=0066 CREATE_NODE id=n_29ef5710d901 node_type=claim
t=0067 CREATE_NODE id=n_f044eed688a2 node_type=claim
t=0068 CREATE_NODE id=n_1d2e6a363990 node_type=claim
t=0069 CREATE_NODE id=n_dcd554739d8f node_type=claim
t=0070 CREATE_NODE id=n_34fe5074567c node_type=claim
t=0071 CREATE_NODE id=n_a5d48fae84e9 node_type=claim
t=0072 CREATE_NODE id=n_bccf0d42a621 node_type=claim
t=0073 CREATE_NODE id=n_ddba283c8dac node_type=claim
t=0074 ASSERT_ROOT node=n_43038299b13f value=TRUE
t=0075 ADD_EDGE edge_id=e_aab0ca8377f4 source=n_ddba283c8dac edge_type=refutes target=n_af04142b9793
t=0076 ADD_EDGE edge_id=e_fbcb76c031c7 source=n_0de16ef4b9a3 edge_type=supports target=n_c2bf924f8122
t=0077 ADD_EDGE edge_id=e_a010e320dde0 source=n_29ef5710d901 edge_type=refutes target=n_4e150aa8f7e8
t=0078 ADD_EDGE edge_id=e_5be16e82f489 source=n_acaa64e67f8d edge_type=supports target=n_34fe5074567c
t=0079 ADD_EDGE edge_id=e_533f28ff214f source=n_a6400d070353 edge_type=refutes target=n_c104383abdf9
t=0080 ADD_EDGE edge_id=e_52d2d897345f source=n_6a0bf9b94a55 edge_type=supports target=n_ddba283c8dac
t=0081 ADD_EDGE edge_id=e_9df98005243f source=n_9bb1d7872da9 edge_type=refutes target=n_a5d48fae84e9
t=0082 ADD_EDGE edge_id=e_ab3afe647605 source=n_214adf9b410b edge_type=refutes target=n_9bb1d7872da9
t=0083 ADD_EDGE edge_id=e_6a359b4291ac source=n_1c5233b0bc6b edge_type=refutes target=n_338726ea70bb
t=0084 ADD_EDGE edge_id=e_329e1d47492d source=n_f4929430e7bd edge_type=supports target=n_55166bee437c
t=0085 ADD_EDGE edge_id=e_adc7624841a6 source=n_ede4012e7589 edge_type=supports target=n_6416bc43c499
t=0086 ADD_EDGE edge_id=e_bf7e624821b6 source=n_bbb21878ad10 edge_type=refutes target=n_5cd6309cbec9
t=0087 ADD_EDGE edge_id=e_6791da256f51 source=n_f7a844508e10 edge_type=supports target=n_cab5809e95bb
t=0088 ADD_EDGE edge_id=e_6fb450e489a9 source=n_af04142b9793 edge_type=refutes target=n_6941680bda2f
t=0089 ADD_EDGE edge_id=e_158a88f40439 source=n_0b1fc9d155a3 edge_type=supports target=n_4e8fe8af3222
t=0090 ADD_EDGE edge_id=e_913aa4cdb0b6 source=n_2d0f2e500b5b edge_type=supports target=n_ca28b9b11c07
t=0091 ADD_EDGE edge_id=e_e9ab0dcd5677 source=n_c2bf924f8122 edge_type=refutes target=n_1b34003f9658
t=0092 ADD_EDGE edge_id=e_0be3fa1439e2 source=n_f044eed688a2 edge_type=supports target=n_ede4012e7589
t=0093 ADD_EDGE edge_id=e_6a421487eb1a source=n_333a07e8a56a edge_type=refutes target=n_8b02b9f70808
t=0094 ADD_EDGE edge_id=e_3527a04e6c48 source=n_16fbf826b1bf edge_type=refutes target=n_ab1067d9a23f
t=0095 ADD_EDGE edge_id=e_5b53f7858c9c source=n_2d0f2e500b5b edge_type=refutes target=n_8cfdd0c399ea
t=0096 ADD_EDGE edge_id=e_1762d696e028 source=n_3b6bc2287d2d edge_type=refutes target=n_d73614a4f80a
t=0097 ADD_EDGE edge_id=e_7d9badab94d4 source=n_3dc72fc4dead edge_type=refutes target=n_0277553fd6b9
t=0098 ADD_EDGE edge_id=e_82ed4e8db85e source=n_4e150aa8f7e8 edge_type=refutes target=n_f4929430e7bd
t=0099 ADD_EDGE edge_id=e_2854142b0258 source=n_d6227469cab7 edge_type=supports target=n_333a07e8a56a
t=0100 ADD_EDGE edge_id=e_51cf5e401899 source=n_a5d48fae84e9 edge_type=refutes target=n_6a0bf9b94a55
t=0101 ADD_EDGE edge_id=e_da657ae43cf2 source=n_3cccb0da4a7a edge_type=refutes target=n_8e3f932839c0
t=0102 ADD_EDGE edge_id=e_e7eac14cf269 source=n_0b1fc9d155a3 edge_type=supports target=n_f757f2586fd6
t=0103 ADD_EDGE edge_id=e_d635c484859e source=n_ca1dc8285c13 edge_type=refutes target=n_4d2bd1bf61ec
t=0104 ADD_EDGE edge_id=e_3ab18bb54c19 source=n_4d2bd1bf61ec edge_type=refutes target=n_0e1cdfc194af
t=0105 ADD_EDGE edge_id=e_20bca44c1a0b source=n_1d2e6a363990 edge_type=supports target=n_5d6a330d0fed
t=0106 ADD_EDGE edge_id=e_a763b7342291 source=n_4e8fe8af3222 edge_type=refutes target=n_48721df92eb3
t=0107 ADD_EDGE edge_id=e_f4bd8d97deb8 source=n_3b6bc2287d2d edge_type=supports target=n_924e8e5009c1
t=0108 ADD_EDGE edge_id=e_9b22c6ee9617 source=n_8029ff20b840 edge_type=supports target=n_b8f8335b92d3
t=0109 ADD_EDGE edge_id=e_d574928f3a06 source=n_34fe5074567c edge_type=supports target=n_71ef88989c14
t=0110 ADD_EDGE edge_id=e_a7b19a19bd07 source=n_6941680bda2f edge_type=supports target=n_d6227469cab7
t=0111 ADD_EDGE edge_id=e_37c69b718953 source=n_ee2548c77722 edge_type=refutes target=n_f044eed688a2
t=0112 ADD_EDGE edge_id=e_2f29e7b4e954 source=n_124812e3af93 edge_type=supports target=n_141606bc036b
t=0113 ADD_EDGE edge_id=e_064d11663222 source=n_5cd6309cbec9 edge_type=refutes target=n_7bd2c4694a6a
t=0114 ADD_EDGE edge_id=e_7aa427971449 source=n_d73614a4f80a edge_type=supports target=n_0b1fc9d155a3
t=0115 ADD_EDGE edge_id=e_4f05891c6f08 source=n_7672b3931c98 edge_type=supports target=n_7d99d269cc3a
t=0116 ADD_EDGE edge_id=e_2c42371cb6e7 source=n_d6227469cab7 edge_type=refutes target=n_714ce9b3fd6b
t=0117 ADD_EDGE edge_id=e_3aed76cedf63 source=n_ab1067d9a23f edge_type=supports target=n_bbb21878ad10
t=0118 ADD_EDGE edge_id=e_06a4cad23826 source=n_c104383abdf9 edge_type=supports target=n_0de16ef4b9a3
t=0119 ADD_EDGE edge_id=e_00572a604d49 source=n_0b1fc9d155a3 edge_type=supports target=n_8eeffad19799
t=0120 ADD_EDGE edge_id=e_2055821bf99f source=n_8cfdd0c399ea edge_type=supports target=n_49e9b8a74297
t=0121 ADD_EDGE edge_id=e_d0eb3cc5b6d9 source=n_8b02b9f70808 edge_type=supports target=n_ee2548c77722
t=0122 ADD_EDGE edge_id=e_c8a402197053 source=n_2d0f2e500b5b edge_type=refutes target=n_8029ff20b840
t=0123 ADD_EDGE edge_id=e_c4ddb457e4ab source=n_924e8e5009c1 edge_type=supports target=n_f7a844508e10
t=0124 ADD_EDGE edge_id=e_3c97e53ac586 source=n_43038299b13f edge_type=refutes target=n_214adf9b410b
t=0125 ADD_EDGE edge_id=e_84ba3f7ff0fd source=n_7672b3931c98 edge_type=supports target=n_3cccb0da4a7a
t=0126 ADD_EDGE edge_id=e_6c0d338ca6c2 source=n_0277553fd6b9 edge_type=refutes target=n_dcd554739d8f
t=0127 ADD_EDGE edge_id=e_bf793d953af4 source=n_bdf5ae8dc513 edge_type=refutes target=n_ca1dc8285c13
t=0128 ADD_EDGE edge_id=e_bfa67f5ba342 source=n_0277553fd6b9 edge_type=supports target=n_bccf0d42a621
t=0129 ADD_EDGE edge_id=e_ea0f82ec02c0 source=n_7bd2c4694a6a edge_type=supports target=n_a6400d070353
t=0130 ADD_EDGE edge_id=e_29e392b649c9 source=n_2d0f2e500b5b edge_type=refutes target=n_acaa64e67f8d
t=0131 ADD_EDGE edge_id=e_facce0d5c1b8 source=n_d6227469cab7 edge_type=supports target=n_0a6c386eace1
t=0132 ADD_EDGE edge_id=e_ec4e03ae236c source=n_bdf5ae8dc513 edge_type=supports target=n_7b2ba0810a60
t=0133 ADD_EDGE edge_id=e_ea86a8e9cfbb source=n_2d0f2e500b5b edge_type=supports target=n_42e66e50e3c0
t=0134 ADD_EDGE edge_id=e_0975e493a437 source=n_af04142b9793 edge_type=refutes target=n_65488ef8785a
t=0135 ADD_EDGE edge_id=e_1031408e0465 source=n_3b6bc2287d2d edge_type=refutes target=n_2d0f2e500b5b
t=0136 ADD_EDGE edge_id=e_4db685b3c6f9 source=n_5d6a330d0fed edge_type=refutes target=n_124812e3af93
t=0137 ADD_EDGE edge_id=e_6b58601b47a7 source=n_ca1dc8285c13 edge_type=supports target=n_5e26161cfd81
t=0138 ADD_EDGE edge_id=e_20e19434aed7 source=n_924e8e5009c1 edge_type=refutes target=n_bdf5ae8dc513
t=0139 ADD_EDGE edge_id=e_2d404184621e source=n_ca28b9b11c07 edge_type=supports target=n_3dc72fc4dead
t=0140 ADD_EDGE edge_id=e_9942b09e96f9 source=n_8b02b9f70808 edge_type=supports target=n_77afb714fe53
t=0141 ADD_EDGE edge_id=e_69b68cc55ce6 source=n_bdf5ae8dc513 edge_type=refutes target=n_7672b3931c98
t=0142 ADD_EDGE edge_id=e_bc66582923d7 source=n_55166bee437c edge_type=supports target=n_1d2e6a363990
t=0143 ADD_EDGE edge_id=e_3252297e2508 source=n_ca1dc8285c13 edge_type=supports target=n_1c5233b0bc6b
t=0144 ADD_EDGE edge_id=e_73ff402f47cb source=n_cab5809e95bb edge_type=refutes target=n_6a96af6a21fd
t=0145 ADD_EDGE edge_id=e_c969ad0fcaa6 source=n_6416bc43c499 edge_type=refutes target=n_29ef5710d901
t=0146 ADD_EDGE edge_id=e_6740248c154b source=n_141606bc036b edge_type=refutes target=n_16fbf826b1bf
t=0147 QUERY source=n_43038299b13f target=n_1b34003f9658
[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_75fe95a04a53 node_type=claim
t=0001 CREATE_NODE id=n_5e78880320f3 node_type=claim
t=0002 CREATE_NODE id=n_b5350788aa86 node_type=claim
t=0003 CREATE_NODE id=n_62af1446d37f node_type=claim
t=0004 CREATE_NODE id=n_3d043fe972eb node_type=claim
t=0005 CREATE_NODE id=n_12edb356e403 node_type=claim
t=0006 CREATE_NODE id=n_51730ebfb727 node_type=claim
t=0007 CREATE_NODE id=n_e66bd299250e node_type=claim
t=0008 CREATE_NODE id=n_1acf2df5f2e9 node_type=claim
t=0009 CREATE_NODE id=n_f98aa33e0550 node_type=claim
t=0010 CREATE_NODE id=n_4d22daad9f91 node_type=claim
t=0011 CREATE_NODE id=n_68cbe1cd782d node_type=claim
t=0012 CREATE_NODE id=n_db577613d9cd node_type=claim
t=0013 CREATE_NODE id=n_d744b63c44f0 node_type=claim
t=0014 CREATE_NODE id=n_41707f51de31 node_type=claim
t=0015 CREATE_NODE id=n_7ff6a87251e8 node_type=claim
t=0016 CREATE_NODE id=n_5c5e70c51cd9 node_type=claim
t=0017 CREATE_NODE id=n_0cf0119b148b node_type=claim
t=0018 CREATE_NODE id=n_d88ff2a69a1f node_type=claim
t=0019 CREATE_NODE id=n_d9b29614fbc3 node_type=claim
t=0020 CREATE_NODE id=n_910e22e72f5b node_type=claim
t=0021 CREATE_NODE id=n_efb309f72d12 node_type=claim
t=0022 CREATE_NODE id=n_b1de1c8473c5 node_type=claim
t=0023 CREATE_NODE id=n_7bad739d484e node_type=claim
t=0024 CREATE_NODE id=n_0960a4a0ff13 node_type=claim
t=0025 CREATE_NODE id=n_e89bdacb48cc node_type=claim
t=0026 CREATE_NODE id=n_9bee5add47c5 node_type=claim
t=0027 CREATE_NODE id=n_ee84bf7a9ab2 node_type=claim
t=0028 CREATE_NODE id=n_a4a9540756a9 node_type=claim
t=0029 CREATE_NODE id=n_3997c27225a8 node_type=claim
t=0030 CREATE_NODE id=n_90f1b2096942 node_type=claim
t=0031 CREATE_NODE id=n_744278aa46da node_type=claim
t=0032 CREATE_NODE id=n_3804edeea00c node_type=claim
t=0033 CREATE_NODE id=n_51d5afee3ca5 node_type=claim
t=0034 CREATE_NODE id=n_4f5d1283b88d node_type=claim
t=0035 CREATE_NODE id=n_a483c9cb2184 node_type=claim
t=0036 CREATE_NODE id=n_97ab7684351a node_type=claim
t=0037 CREATE_NODE id=n_b33d52664e88 node_type=claim
t=0038 CREATE_NODE id=n_b038b5598ce8 node_type=claim
t=0039 CREATE_NODE id=n_220183d1ef01 node_type=claim
t=0040 CREATE_NODE id=n_c3cac4691f03 node_type=claim
t=0041 CREATE_NODE id=n_c0248f4a5b64 node_type=claim
t=0042 CREATE_NODE id=n_9232cdbb8178 node_type=claim
t=0043 CREATE_NODE id=n_9f849ef3cfad node_type=claim
t=0044 CREATE_NODE id=n_b7f503046232 node_type=claim
t=0045 CREATE_NODE id=n_f2e9cddecc79 node_type=claim
t=0046 CREATE_NODE id=n_e7d5a03dfed0 node_type=claim
t=0047 CREATE_NODE id=n_b569cc33d26d node_type=claim
t=0048 CREATE_NODE id=n_fa57d77f84f4 node_type=claim
t=0049 CREATE_NODE id=n_f6ca49dca485 node_type=claim
t=0050 CREATE_NODE id=n_e3cce7fb38ad node_type=claim
t=0051 CREATE_NODE id=n_f4d7009b5fa9 node_type=claim
t=0052 CREATE_NODE id=n_3930c2338f7f node_type=claim
t=0053 CREATE_NODE id=n_2f59ea6ff503 node_type=claim
t=0054 CREATE_NODE id=n_84484f438c47 node_type=claim
t=0055 CREATE_NODE id=n_0f20c155eae8 node_type=claim
t=0056 CREATE_NODE id=n_e3746b629ca8 node_type=claim
t=0057 CREATE_NODE id=n_1d6b1af66996 node_type=claim
t=0058 CREATE_NODE id=n_d8f12ad7f433 node_type=claim
t=0059 CREATE_NODE id=n_db638f89dba2 node_type=claim
t=0060 CREATE_NODE id=n_c1e88d8cbb2c node_type=claim
t=0061 CREATE_NODE id=n_ff8a8d79a79f node_type=claim
t=0062 CREATE_NODE id=n_42317570b2a8 node_type=claim
t=0063 CREATE_NODE id=n_53ca0d5b729b node_type=claim
t=0064 CREATE_NODE id=n_5eb6bb0348bd node_type=claim
t=0065 CREATE_NODE id=n_690added06fb node_type=claim
t=0066 CREATE_NODE id=n_a7ff176f622f node_type=claim
t=0067 CREATE_NODE id=n_bfbf305bfbb4 node_type=claim
t=0068 CREATE_NODE id=n_673e6b1af6db node_type=claim
t=0069 CREATE_NODE id=n_1f8dff8cf993 node_type=claim
t=0070 CREATE_NODE id=n_af9c2847b7f9 node_type=claim
t=0071 CREATE_NODE id=n_73711158fe80 node_type=claim
t=0072 CREATE_NODE id=n_1c2a12707342 node_type=claim
t=0073 CREATE_NODE id=n_478938d4b3bc node_type=claim
t=0074 ASSERT_ROOT node=n_f98aa33e0550 value=TRUE
t=0075 ADD_EDGE edge_id=e_866050bd9bfb source=n_690added06fb edge_type=refutes target=n_9bee5add47c5
t=0076 ADD_EDGE edge_id=e_4994cbb3e2b6 source=n_9232cdbb8178 edge_type=supports target=n_b33d52664e88
t=0077 ADD_EDGE edge_id=e_482519b7ef1f source=n_f4d7009b5fa9 edge_type=supports target=n_d744b63c44f0
t=0078 ADD_EDGE edge_id=e_8b0ea4bb45e6 source=n_1f8dff8cf993 edge_type=refutes target=n_75fe95a04a53
t=0079 ADD_EDGE edge_id=e_8d69e14608a2 source=n_0f20c155eae8 edge_type=refutes target=n_84484f438c47
t=0080 ADD_EDGE edge_id=e_655567a25f83 source=n_62af1446d37f edge_type=refutes target=n_a7ff176f622f
t=0081 ADD_EDGE edge_id=e_8ddf8a0d1643 source=n_51d5afee3ca5 edge_type=supports target=n_5eb6bb0348bd
t=0082 ADD_EDGE edge_id=e_1b1b130fb770 source=n_97ab7684351a edge_type=supports target=n_12edb356e403
t=0083 ADD_EDGE edge_id=e_0d9e566d6613 source=n_a4a9540756a9 edge_type=supports target=n_a483c9cb2184
t=0084 ADD_EDGE edge_id=e_f16c5bafee1a source=n_12edb356e403 edge_type=supports target=n_53ca0d5b729b
t=0085 ADD_EDGE edge_id=e_e5a89a7b7d0b source=n_f98aa33e0550 edge_type=supports target=n_c3cac4691f03
t=0086 ADD_EDGE edge_id=e_027e5241b8c3 source=n_9232cdbb8178 edge_type=refutes target=n_68cbe1cd782d
t=0087 ADD_EDGE edge_id=e_1e12b1adb813 source=n_b569cc33d26d edge_type=supports target=n_0960a4a0ff13
t=0088 ADD_EDGE edge_id=e_57954c44c789 source=n_b33d52664e88 edge_type=supports target=n_4f5d1283b88d
t=0089 ADD_EDGE edge_id=e_dafc56ea6a68 source=n_ee84bf7a9ab2 edge_type=refutes target=n_1acf2df5f2e9
t=0090 ADD_EDGE edge_id=e_dac0c4aacfa5 source=n_f98aa33e0550 edge_type=refutes target=n_b038b5598ce8
t=0091 ADD_EDGE edge_id=e_0c2b93599870 source=n_a483c9cb2184 edge_type=refutes target=n_b1de1c8473c5
t=0092 ADD_EDGE edge_id=e_95174d11cdad source=n_ff8a8d79a79f edge_type=supports target=n_910e22e72f5b
t=0093 ADD_EDGE edge_id=e_857d25351530 source=n_af9c2847b7f9 edge_type=refutes target=n_3930c2338f7f
t=0094 ADD_EDGE edge_id=e_98f6ec44b8e1 source=n_ff8a8d79a79f edge_type=supports target=n_db638f89dba2
t=0095 ADD_EDGE edge_id=e_dbbd342fd96d source=n_7ff6a87251e8 edge_type=supports target=n_42317570b2a8
t=0096 ADD_EDGE edge_id=e_0eab64e3311d source=n_b1de1c8473c5 edge_type=refutes target=n_2f59ea6ff503
t=0097 ADD_EDGE edge_id=e_93739f622fcb source=n_690added06fb edge_type=refutes target=n_9f849ef3cfad
t=0098 ADD_EDGE edge_id=e_43f7ad22b43b source=n_220183d1ef01 edge_type=refutes target=n_3997c27225a8
t=0099 ADD_EDGE edge_id=e_13fe87f16b63 source=n_f6ca49dca485 edge_type=refutes target=n_0cf0119b148b
t=0100 ADD_EDGE edge_id=e_901d126e38a0 source=n_d9b29614fbc3 edge_type=refutes target=n_d8f12ad7f433
t=0101 ADD_EDGE edge_id=e_f8839d70b509 source=n_41707f51de31 edge_type=supports target=n_4d22daad9f91
t=0102 ADD_EDGE edge_id=e_07454b77a7f5 source=n_75fe95a04a53 edge_type=refutes target=n_73711158fe80
t=0103 ADD_EDGE edge_id=e_4cf23eae7368 source=n_b33d52664e88 edge_type=supports target=n_bfbf305bfbb4
t=0104 ADD_EDGE edge_id=e_9c6a857a8d18 source=n_7ff6a87251e8 edge_type=supports target=n_3804edeea00c
t=0105 ADD_EDGE edge_id=e_ea5650340ba6 source=n_9232cdbb8178 edge_type=supports target=n_51d5afee3ca5
t=0106 ADD_EDGE edge_id=e_4b338841cc41 source=n_b038b5598ce8 edge_type=refutes target=n_c1e88d8cbb2c
t=0107 ADD_EDGE edge_id=e_f596b1549dc9 source=n_c1e88d8cbb2c edge_type=supports target=n_e7d5a03dfed0
t=0108 ADD_EDGE edge_id=e_cdcd488aaa2c source=n_db577613d9cd edge_type=supports target=n_f6ca49dca485
t=0109 ADD_EDGE edge_id=e_904fdfc5820b source=n_e3746b629ca8 edge_type=refutes target=n_3d043fe972eb
t=0110 ADD_EDGE edge_id=e_128420825564 source=n_c0248f4a5b64 edge_type=refutes target=n_51730ebfb727
t=0111 ADD_EDGE edge_id=e_96885a58a9d5 source=n_68cbe1cd782d edge_type=supports target=n_b5350788aa86
t=0112 ADD_EDGE edge_id=e_69a7e9f1ba6d source=n_9232cdbb8178 edge_type=supports target=n_5e78880320f3
t=0113 ADD_EDGE edge_id=e_735a20941cad source=n_d88ff2a69a1f edge_type=supports target=n_0f20c155eae8
t=0114 ADD_EDGE edge_id=e_e54024388d41 source=n_f4d7009b5fa9 edge_type=supports target=n_673e6b1af6db
t=0115 ADD_EDGE edge_id=e_176de9165e67 source=n_84484f438c47 edge_type=supports target=n_d9b29614fbc3
t=0116 ADD_EDGE edge_id=e_32591cbeef23 source=n_db577613d9cd edge_type=refutes target=n_62af1446d37f
t=0117 ADD_EDGE edge_id=e_4657cbd7621e source=n_b33d52664e88 edge_type=refutes target=n_c0248f4a5b64
t=0118 ADD_EDGE edge_id=e_48d5bee3d6f3 source=n_3930c2338f7f edge_type=refutes target=n_b7f503046232
t=0119 ADD_EDGE edge_id=e_4ebd444d8d3d source=n_e3746b629ca8 edge_type=refutes target=n_690added06fb
t=0120 ADD_EDGE edge_id=e_8ea65cbc1296 source=n_1c2a12707342 edge_type=supports target=n_efb309f72d12
t=0121 ADD_EDGE edge_id=e_7e207b18ce4d source=n_0960a4a0ff13 edge_type=supports target=n_1c2a12707342
t=0122 ADD_EDGE edge_id=e_f3dd7eab06ce source=n_e66bd299250e edge_type=refutes target=n_e3cce7fb38ad
t=0123 ADD_EDGE edge_id=e_c6ecadf50276 source=n_53ca0d5b729b edge_type=refutes target=n_e66bd299250e
t=0124 ADD_EDGE edge_id=e_6274133f5bf1 source=n_d8f12ad7f433 edge_type=supports target=n_b569cc33d26d
t=0125 ADD_EDGE edge_id=e_e8a77a2a5266 source=n_5eb6bb0348bd edge_type=supports target=n_90f1b2096942
t=0126 ADD_EDGE edge_id=e_985a7d0c0f2d source=n_b33d52664e88 edge_type=supports target=n_7ff6a87251e8
t=0127 ADD_EDGE edge_id=e_638fa36a8506 source=n_c1e88d8cbb2c edge_type=refutes target=n_f2e9cddecc79
t=0128 ADD_EDGE edge_id=e_19d4e1c0d8b3 source=n_a7ff176f622f edge_type=refutes target=n_744278aa46da
t=0129 ADD_EDGE edge_id=e_b1f855e1dddc source=n_e3cce7fb38ad edge_type=supports target=n_5c5e70c51cd9
t=0130 ADD_EDGE edge_id=e_ab3a161bb9a1 source=n_220183d1ef01 edge_type=supports target=n_7bad739d484e
t=0131 ADD_EDGE edge_id=e_3e5cc6904545 source=n_75fe95a04a53 edge_type=supports target=n_97ab7684351a
t=0132 ADD_EDGE edge_id=e_039779946ed5 source=n_1d6b1af66996 edge_type=refutes target=n_a4a9540756a9
t=0133 ADD_EDGE edge_id=e_3b29d2847eab source=n_e7d5a03dfed0 edge_type=refutes target=n_d88ff2a69a1f
t=0134 ADD_EDGE edge_id=e_c0f5e92d00a9 source=n_4d22daad9f91 edge_type=refutes target=n_af9c2847b7f9
t=0135 ADD_EDGE edge_id=e_ccb5519cc8ee source=n_9232cdbb8178 edge_type=supports target=n_e89bdacb48cc
t=0136 ADD_EDGE edge_id=e_8af4e67d0068 source=n_68cbe1cd782d edge_type=supports target=n_fa57d77f84f4
t=0137 ADD_EDGE edge_id=e_370e879c311d source=n_9232cdbb8178 edge_type=refutes target=n_e3746b629ca8
t=0138 ADD_EDGE edge_id=e_13a920b95b67 source=n_2f59ea6ff503 edge_type=refutes target=n_478938d4b3bc
t=0139 ADD_EDGE edge_id=e_b24bb03962fe source=n_bfbf305bfbb4 edge_type=refutes target=n_f4d7009b5fa9
t=0140 ADD_EDGE edge_id=e_1f62c9cc3cff source=n_478938d4b3bc edge_type=supports target=n_41707f51de31
t=0141 ADD_EDGE edge_id=e_0612c87bdb0f source=n_9232cdbb8178 edge_type=supports target=n_db577613d9cd
t=0142 ADD_EDGE edge_id=e_b00b4586b5c4 source=n_1acf2df5f2e9 edge_type=refutes target=n_1f8dff8cf993
t=0143 ADD_EDGE edge_id=e_88fdc33b287e source=n_e3cce7fb38ad edge_type=refutes target=n_1d6b1af66996
t=0144 ADD_EDGE edge_id=e_0d4c64dfbb48 source=n_d744b63c44f0 edge_type=refutes target=n_ff8a8d79a79f
t=0145 ADD_EDGE edge_id=e_1aa196a7b6c7 source=n_42317570b2a8 edge_type=supports target=n_220183d1ef01
t=0146 ADD_EDGE edge_id=e_20814d3558c7 source=n_efb309f72d12 edge_type=refutes target=n_ee84bf7a9ab2
t=0147 QUERY source=n_f98aa33e0550 target=n_b7f503046232
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.