[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_d070436757f5 node_type=claim
t=0001 CREATE_NODE id=n_7eccb18d0bdf node_type=claim
t=0002 CREATE_NODE id=n_1e6180d24547 node_type=claim
t=0003 CREATE_NODE id=n_edd5e32060df node_type=claim
t=0004 CREATE_NODE id=n_3925cb408d18 node_type=claim
t=0005 CREATE_NODE id=n_c8030dd2346b node_type=claim
t=0006 CREATE_NODE id=n_97c52c906efb node_type=claim
t=0007 CREATE_NODE id=n_6a3e6bea29c6 node_type=claim
t=0008 CREATE_NODE id=n_3fde512d81d5 node_type=claim
t=0009 CREATE_NODE id=n_2ade9907c013 node_type=claim
t=0010 CREATE_NODE id=n_cde9e3c9fa9a node_type=claim
t=0011 CREATE_NODE id=n_c88b46222d5d node_type=claim
t=0012 CREATE_NODE id=n_b6aeea7f65cc node_type=claim
t=0013 CREATE_NODE id=n_c88ecfc6f0d5 node_type=claim
t=0014 CREATE_NODE id=n_e11e1f500724 node_type=claim
t=0015 CREATE_NODE id=n_3170ea4feea6 node_type=claim
t=0016 CREATE_NODE id=n_06d6eb70666b node_type=claim
t=0017 CREATE_NODE id=n_bf2bc5de0f05 node_type=claim
t=0018 CREATE_NODE id=n_91f4d4111d1c node_type=claim
t=0019 CREATE_NODE id=n_43d1c1313bd2 node_type=claim
t=0020 CREATE_NODE id=n_623eee50037d node_type=claim
t=0021 CREATE_NODE id=n_8884578e433a node_type=claim
t=0022 CREATE_NODE id=n_584ce81d3034 node_type=claim
t=0023 CREATE_NODE id=n_4fb3b52ab6f2 node_type=claim
t=0024 CREATE_NODE id=n_2a0e3a3fbf3b node_type=claim
t=0025 CREATE_NODE id=n_e6d45e93712f node_type=claim
t=0026 CREATE_NODE id=n_3752eeb4a5d1 node_type=claim
t=0027 CREATE_NODE id=n_f64c5bc36805 node_type=claim
t=0028 CREATE_NODE id=n_4d114a67a052 node_type=claim
t=0029 CREATE_NODE id=n_7a20c2981d3d node_type=claim
t=0030 CREATE_NODE id=n_38d46c2d909a node_type=claim
t=0031 CREATE_NODE id=n_5f7d5190cdd8 node_type=claim
t=0032 CREATE_NODE id=n_81080f2693bf node_type=claim
t=0033 CREATE_NODE id=n_3fee95bb241e node_type=claim
t=0034 CREATE_NODE id=n_eba920ecd124 node_type=claim
t=0035 CREATE_NODE id=n_ed5409bdcfda node_type=claim
t=0036 CREATE_NODE id=n_a3b8176a6b37 node_type=claim
t=0037 CREATE_NODE id=n_cb2d08d8064a node_type=claim
t=0038 CREATE_NODE id=n_4c3341d728cc node_type=claim
t=0039 CREATE_NODE id=n_3b72a7e29ae3 node_type=claim
t=0040 CREATE_NODE id=n_134cbd666912 node_type=claim
t=0041 CREATE_NODE id=n_07edaa9dcecc node_type=claim
t=0042 CREATE_NODE id=n_12de6fffd524 node_type=claim
t=0043 CREATE_NODE id=n_4c935f8076bb node_type=claim
t=0044 CREATE_NODE id=n_8d0e07d525a9 node_type=claim
t=0045 CREATE_NODE id=n_dd8cae475417 node_type=claim
t=0046 CREATE_NODE id=n_6b05028e2b8c node_type=claim
t=0047 CREATE_NODE id=n_8a2227b279d7 node_type=claim
t=0048 CREATE_NODE id=n_d5b341a9f0d0 node_type=claim
t=0049 CREATE_NODE id=n_42a55f80bf78 node_type=claim
t=0050 CREATE_NODE id=n_5c07a4b771da node_type=claim
t=0051 CREATE_NODE id=n_a869a7031e49 node_type=claim
t=0052 CREATE_NODE id=n_ceba86c99fd4 node_type=claim
t=0053 CREATE_NODE id=n_de583e955f29 node_type=claim
t=0054 CREATE_NODE id=n_1dfbc5574757 node_type=claim
t=0055 CREATE_NODE id=n_c21c409525a8 node_type=claim
t=0056 CREATE_NODE id=n_cd18dc123f43 node_type=claim
t=0057 CREATE_NODE id=n_c341c19a894a node_type=claim
t=0058 CREATE_NODE id=n_eba9e07eb093 node_type=claim
t=0059 CREATE_NODE id=n_2fbba315f0f6 node_type=claim
t=0060 CREATE_NODE id=n_86e48ec27a5a node_type=claim
t=0061 CREATE_NODE id=n_00094f90e0ad node_type=claim
t=0062 CREATE_NODE id=n_a293d2826806 node_type=claim
t=0063 CREATE_NODE id=n_122b9655d621 node_type=claim
t=0064 CREATE_NODE id=n_a132c3c288ea node_type=claim
t=0065 CREATE_NODE id=n_8d5ebbf5950f node_type=claim
t=0066 CREATE_NODE id=n_a836d6a0dfa0 node_type=claim
t=0067 CREATE_NODE id=n_ef6fcb683e24 node_type=claim
t=0068 CREATE_NODE id=n_608eea2c6f33 node_type=claim
t=0069 CREATE_NODE id=n_6a8168fd264b node_type=claim
t=0070 ASSERT_ROOT node=n_8d5ebbf5950f value=TRUE
t=0071 ADD_EDGE edge_id=e_92de8b618bab source=n_3b72a7e29ae3 edge_type=refutes target=n_42a55f80bf78
t=0072 ADD_EDGE edge_id=e_f762289d8b05 source=n_38d46c2d909a edge_type=supports target=n_3fee95bb241e
t=0073 ADD_EDGE edge_id=e_f929300048d0 source=n_7eccb18d0bdf edge_type=supports target=n_4c3341d728cc
t=0074 ADD_EDGE edge_id=e_100096ccbfb7 source=n_86e48ec27a5a edge_type=refutes target=n_3170ea4feea6
t=0075 ADD_EDGE edge_id=e_a73374a70638 source=n_8a2227b279d7 edge_type=refutes target=n_c88b46222d5d
t=0076 ADD_EDGE edge_id=e_2f6f1aa577a3 source=n_608eea2c6f33 edge_type=refutes target=n_d5b341a9f0d0
t=0077 ADD_EDGE edge_id=e_838ca5e27c22 source=n_8d5ebbf5950f edge_type=refutes target=n_6a8168fd264b
t=0078 ADD_EDGE edge_id=e_c9593b9ee489 source=n_bf2bc5de0f05 edge_type=refutes target=n_122b9655d621
t=0079 ADD_EDGE edge_id=e_b17d4896854f source=n_a293d2826806 edge_type=supports target=n_00094f90e0ad
t=0080 ADD_EDGE edge_id=e_d6cffbfe22b7 source=n_c341c19a894a edge_type=supports target=n_ceba86c99fd4
t=0081 ADD_EDGE edge_id=e_a99e4dd9b0f3 source=n_ef6fcb683e24 edge_type=supports target=n_b6aeea7f65cc
t=0082 ADD_EDGE edge_id=e_89c591343e11 source=n_38d46c2d909a edge_type=supports target=n_6b05028e2b8c
t=0083 ADD_EDGE edge_id=e_4b9da0a7a640 source=n_c21c409525a8 edge_type=supports target=n_8884578e433a
t=0084 ADD_EDGE edge_id=e_9510d72749f7 source=n_4fb3b52ab6f2 edge_type=supports target=n_97c52c906efb
t=0085 ADD_EDGE edge_id=e_0766e78a1cfd source=n_edd5e32060df edge_type=refutes target=n_c8030dd2346b
t=0086 ADD_EDGE edge_id=e_3f595a3597c8 source=n_a869a7031e49 edge_type=refutes target=n_eba9e07eb093
t=0087 ADD_EDGE edge_id=e_a9f65ba05154 source=n_4fb3b52ab6f2 edge_type=supports target=n_8a2227b279d7
t=0088 ADD_EDGE edge_id=e_a43c558d52db source=n_86e48ec27a5a edge_type=refutes target=n_623eee50037d
t=0089 ADD_EDGE edge_id=e_62bf951a6e29 source=n_3170ea4feea6 edge_type=supports target=n_43d1c1313bd2
t=0090 ADD_EDGE edge_id=e_8a53f9384b39 source=n_d5b341a9f0d0 edge_type=refutes target=n_2fbba315f0f6
t=0091 ADD_EDGE edge_id=e_282aa4c4d5a1 source=n_3fee95bb241e edge_type=supports target=n_1dfbc5574757
t=0092 ADD_EDGE edge_id=e_1207b4ffc6f9 source=n_1e6180d24547 edge_type=refutes target=n_5c07a4b771da
t=0093 ADD_EDGE edge_id=e_6371e0d2e8cc source=n_b6aeea7f65cc edge_type=supports target=n_7eccb18d0bdf
t=0094 ADD_EDGE edge_id=e_85a05946c5ae source=n_edd5e32060df edge_type=supports target=n_a3b8176a6b37
t=0095 ADD_EDGE edge_id=e_29cf65290670 source=n_2a0e3a3fbf3b edge_type=refutes target=n_6a3e6bea29c6
t=0096 ADD_EDGE edge_id=e_d229036715e1 source=n_c8030dd2346b edge_type=refutes target=n_ed5409bdcfda
t=0097 ADD_EDGE edge_id=e_8bc29941a19e source=n_38d46c2d909a edge_type=refutes target=n_86e48ec27a5a
t=0098 ADD_EDGE edge_id=e_0339255bbeaf source=n_8884578e433a edge_type=supports target=n_e6d45e93712f
t=0099 ADD_EDGE edge_id=e_95a9dd453ca0 source=n_38d46c2d909a edge_type=supports target=n_81080f2693bf
t=0100 ADD_EDGE edge_id=e_3fd1b720b6e6 source=n_e11e1f500724 edge_type=refutes target=n_4c935f8076bb
t=0101 ADD_EDGE edge_id=e_bbd0b4706930 source=n_f64c5bc36805 edge_type=supports target=n_a293d2826806
t=0102 ADD_EDGE edge_id=e_7e37e79e5de8 source=n_3fde512d81d5 edge_type=refutes target=n_e11e1f500724
t=0103 ADD_EDGE edge_id=e_6e0c062977ab source=n_5c07a4b771da edge_type=supports target=n_3fde512d81d5
t=0104 ADD_EDGE edge_id=e_a5923db1a824 source=n_c8030dd2346b edge_type=refutes target=n_c88ecfc6f0d5
t=0105 ADD_EDGE edge_id=e_093a428d878f source=n_43d1c1313bd2 edge_type=supports target=n_134cbd666912
t=0106 ADD_EDGE edge_id=e_0801b8bc0042 source=n_a836d6a0dfa0 edge_type=refutes target=n_8d0e07d525a9
t=0107 ADD_EDGE edge_id=e_16212ba2f99f source=n_eba9e07eb093 edge_type=supports target=n_f64c5bc36805
t=0108 ADD_EDGE edge_id=e_50c4be993928 source=n_06d6eb70666b edge_type=supports target=n_ef6fcb683e24
t=0109 ADD_EDGE edge_id=e_f252c8e68eff source=n_a132c3c288ea edge_type=supports target=n_de583e955f29
t=0110 ADD_EDGE edge_id=e_abcb1a50d510 source=n_edd5e32060df edge_type=refutes target=n_5f7d5190cdd8
t=0111 ADD_EDGE edge_id=e_c83ba3cb713a source=n_91f4d4111d1c edge_type=refutes target=n_a132c3c288ea
t=0112 ADD_EDGE edge_id=e_d7637f131932 source=n_a132c3c288ea edge_type=refutes target=n_dd8cae475417
t=0113 ADD_EDGE edge_id=e_e64686746e64 source=n_4c3341d728cc edge_type=supports target=n_4fb3b52ab6f2
t=0114 ADD_EDGE edge_id=e_bbd4a835f303 source=n_c88ecfc6f0d5 edge_type=refutes target=n_eba920ecd124
t=0115 ADD_EDGE edge_id=e_fc8d25d97117 source=n_e11e1f500724 edge_type=refutes target=n_06d6eb70666b
t=0116 ADD_EDGE edge_id=e_231966d14ba5 source=n_6a3e6bea29c6 edge_type=refutes target=n_584ce81d3034
t=0117 ADD_EDGE edge_id=e_d19e5fe04b00 source=n_6a8168fd264b edge_type=refutes target=n_1e6180d24547
t=0118 ADD_EDGE edge_id=e_2f453976d6ae source=n_91f4d4111d1c edge_type=supports target=n_12de6fffd524
t=0119 ADD_EDGE edge_id=e_d3cce62e894a source=n_6b05028e2b8c edge_type=refutes target=n_c21c409525a8
t=0120 ADD_EDGE edge_id=e_6592007c1237 source=n_122b9655d621 edge_type=supports target=n_07edaa9dcecc
t=0121 ADD_EDGE edge_id=e_427d1bd85aa5 source=n_c21c409525a8 edge_type=refutes target=n_d070436757f5
t=0122 ADD_EDGE edge_id=e_fc96a1483413 source=n_4d114a67a052 edge_type=refutes target=n_a836d6a0dfa0
t=0123 ADD_EDGE edge_id=e_411ebe17b1b3 source=n_ed5409bdcfda edge_type=supports target=n_cb2d08d8064a
t=0124 ADD_EDGE edge_id=e_a9375602bc34 source=n_00094f90e0ad edge_type=supports target=n_608eea2c6f33
t=0125 ADD_EDGE edge_id=e_b15b40e1f76a source=n_ed5409bdcfda edge_type=supports target=n_3b72a7e29ae3
t=0126 ADD_EDGE edge_id=e_7dabf82d828e source=n_c88ecfc6f0d5 edge_type=supports target=n_cd18dc123f43
t=0127 ADD_EDGE edge_id=e_98e99f88ff16 source=n_f64c5bc36805 edge_type=refutes target=n_2ade9907c013
t=0128 ADD_EDGE edge_id=e_8ff75ad9fdc1 source=n_584ce81d3034 edge_type=supports target=n_bf2bc5de0f05
t=0129 ADD_EDGE edge_id=e_513c04502e98 source=n_4d114a67a052 edge_type=refutes target=n_91f4d4111d1c
t=0130 ADD_EDGE edge_id=e_c8b5461aa040 source=n_623eee50037d edge_type=supports target=n_4d114a67a052
t=0131 ADD_EDGE edge_id=e_20d5b018f7b5 source=n_a132c3c288ea edge_type=refutes target=n_7a20c2981d3d
t=0132 ADD_EDGE edge_id=e_f2828ff01a21 source=n_c88b46222d5d edge_type=supports target=n_3752eeb4a5d1
t=0133 ADD_EDGE edge_id=e_0eaa6f7484c2 source=n_c88b46222d5d edge_type=refutes target=n_a869a7031e49
t=0134 ADD_EDGE edge_id=e_ca7247b0b9cb source=n_edd5e32060df edge_type=supports target=n_3925cb408d18
t=0135 ADD_EDGE edge_id=e_552f7b2c18b3 source=n_cde9e3c9fa9a edge_type=supports target=n_2a0e3a3fbf3b
t=0136 ADD_EDGE edge_id=e_846061e19f21 source=n_2fbba315f0f6 edge_type=refutes target=n_cde9e3c9fa9a
t=0137 ADD_EDGE edge_id=e_ef5fa9343e25 source=n_07edaa9dcecc edge_type=refutes target=n_c341c19a894a
t=0138 ADD_EDGE edge_id=e_ed2d07d8f53a source=n_38d46c2d909a edge_type=supports target=n_edd5e32060df
t=0139 QUERY source=n_8d5ebbf5950f target=n_ceba86c99fd4
[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_d94f188a4f29 node_type=claim
t=0001 CREATE_NODE id=n_2475d5b9e859 node_type=claim
t=0002 CREATE_NODE id=n_aff2ce36a808 node_type=claim
t=0003 CREATE_NODE id=n_252df007e72d node_type=claim
t=0004 CREATE_NODE id=n_b42c4866566c node_type=claim
t=0005 CREATE_NODE id=n_de645ca311d2 node_type=claim
t=0006 CREATE_NODE id=n_4a5db050b800 node_type=claim
t=0007 CREATE_NODE id=n_d1bc662b5ecf node_type=claim
t=0008 CREATE_NODE id=n_c5ce7dae39b5 node_type=claim
t=0009 CREATE_NODE id=n_8e8a054d52ea node_type=claim
t=0010 CREATE_NODE id=n_cba0520f9f98 node_type=claim
t=0011 CREATE_NODE id=n_f3399ef51194 node_type=claim
t=0012 CREATE_NODE id=n_2d2b7df801be node_type=claim
t=0013 CREATE_NODE id=n_390420777a02 node_type=claim
t=0014 CREATE_NODE id=n_8de642ddea1e node_type=claim
t=0015 CREATE_NODE id=n_71ec1ddf88fa node_type=claim
t=0016 CREATE_NODE id=n_8f3686c8fce0 node_type=claim
t=0017 CREATE_NODE id=n_eb7fc65b02e6 node_type=claim
t=0018 CREATE_NODE id=n_3c56d3b7b984 node_type=claim
t=0019 CREATE_NODE id=n_38e0f795e435 node_type=claim
t=0020 CREATE_NODE id=n_1d49d6f6c2c7 node_type=claim
t=0021 CREATE_NODE id=n_82e1cd298501 node_type=claim
t=0022 CREATE_NODE id=n_5b1c0c189e76 node_type=claim
t=0023 CREATE_NODE id=n_5927ed2fb62a node_type=claim
t=0024 CREATE_NODE id=n_eff757eb062f node_type=claim
t=0025 CREATE_NODE id=n_105c2a832263 node_type=claim
t=0026 CREATE_NODE id=n_90cb89e616be node_type=claim
t=0027 CREATE_NODE id=n_618f828350f9 node_type=claim
t=0028 CREATE_NODE id=n_eeea74eec9a9 node_type=claim
t=0029 CREATE_NODE id=n_8f6b1212ba5c node_type=claim
t=0030 CREATE_NODE id=n_2084c4c912e3 node_type=claim
t=0031 CREATE_NODE id=n_3156cb655342 node_type=claim
t=0032 CREATE_NODE id=n_1624f5f2c721 node_type=claim
t=0033 CREATE_NODE id=n_1aee6f610a39 node_type=claim
t=0034 CREATE_NODE id=n_e2faec70d3b9 node_type=claim
t=0035 CREATE_NODE id=n_3c1f6274333e node_type=claim
t=0036 CREATE_NODE id=n_76a51b125503 node_type=claim
t=0037 CREATE_NODE id=n_d142063f5110 node_type=claim
t=0038 CREATE_NODE id=n_8332862e2140 node_type=claim
t=0039 CREATE_NODE id=n_f228e3ff551d node_type=claim
t=0040 CREATE_NODE id=n_03f9e9db6de7 node_type=claim
t=0041 CREATE_NODE id=n_018608cbdcce node_type=claim
t=0042 CREATE_NODE id=n_97914e5bcf21 node_type=claim
t=0043 CREATE_NODE id=n_d9fcafd3ff9c node_type=claim
t=0044 CREATE_NODE id=n_6fa78f3023f0 node_type=claim
t=0045 CREATE_NODE id=n_8af7879c3f52 node_type=claim
t=0046 CREATE_NODE id=n_6908d25a6b81 node_type=claim
t=0047 CREATE_NODE id=n_42cd28e2f867 node_type=claim
t=0048 CREATE_NODE id=n_1b18a22c7e36 node_type=claim
t=0049 CREATE_NODE id=n_3cb3145beb31 node_type=claim
t=0050 CREATE_NODE id=n_325e649a78f4 node_type=claim
t=0051 CREATE_NODE id=n_bc936fbc9347 node_type=claim
t=0052 CREATE_NODE id=n_2b758f123832 node_type=claim
t=0053 CREATE_NODE id=n_97fb084e3f79 node_type=claim
t=0054 CREATE_NODE id=n_7a0562a9a2d5 node_type=claim
t=0055 CREATE_NODE id=n_2438845fd1ce node_type=claim
t=0056 CREATE_NODE id=n_591c6f76fe0b node_type=claim
t=0057 CREATE_NODE id=n_d6dadd6cb17c node_type=claim
t=0058 CREATE_NODE id=n_0790f25fc2f8 node_type=claim
t=0059 CREATE_NODE id=n_bc8e32cdb127 node_type=claim
t=0060 CREATE_NODE id=n_b8a0c758f346 node_type=claim
t=0061 CREATE_NODE id=n_5c89258a1828 node_type=claim
t=0062 CREATE_NODE id=n_c070965e61b4 node_type=claim
t=0063 CREATE_NODE id=n_7a7fcdadd283 node_type=claim
t=0064 CREATE_NODE id=n_a2f7a4e06497 node_type=claim
t=0065 CREATE_NODE id=n_a51f7ef9f405 node_type=claim
t=0066 CREATE_NODE id=n_bcd788968c8c node_type=claim
t=0067 CREATE_NODE id=n_029a464ffdf3 node_type=claim
t=0068 CREATE_NODE id=n_6cbd4c8dc6e4 node_type=claim
t=0069 CREATE_NODE id=n_8da87d890b55 node_type=claim
t=0070 CREATE_NODE id=n_b1813011a905 node_type=claim
t=0071 CREATE_NODE id=n_0c1292404719 node_type=claim
t=0072 ASSERT_ROOT node=n_c070965e61b4 value=FALSE
t=0073 ADD_EDGE edge_id=e_fd6c16a96ad9 source=n_3c56d3b7b984 edge_type=refutes target=n_a2f7a4e06497
t=0074 ADD_EDGE edge_id=e_45048fdbd5ab source=n_6cbd4c8dc6e4 edge_type=supports target=n_018608cbdcce
t=0075 ADD_EDGE edge_id=e_35df6644f4e3 source=n_8de642ddea1e edge_type=supports target=n_d94f188a4f29
t=0076 ADD_EDGE edge_id=e_8ed073250aec source=n_82e1cd298501 edge_type=supports target=n_325e649a78f4
t=0077 ADD_EDGE edge_id=e_9c5e3a552092 source=n_1aee6f610a39 edge_type=supports target=n_8e8a054d52ea
t=0078 ADD_EDGE edge_id=e_20df51b33bb8 source=n_8e8a054d52ea edge_type=refutes target=n_bc936fbc9347
t=0079 ADD_EDGE edge_id=e_c8815d657b95 source=n_6908d25a6b81 edge_type=supports target=n_105c2a832263
t=0080 ADD_EDGE edge_id=e_7d71c8ae5d7d source=n_aff2ce36a808 edge_type=supports target=n_c5ce7dae39b5
t=0081 ADD_EDGE edge_id=e_3f1a9a4ebe3d source=n_d9fcafd3ff9c edge_type=supports target=n_38e0f795e435
t=0082 ADD_EDGE edge_id=e_9c83af86c9f7 source=n_a51f7ef9f405 edge_type=supports target=n_eeea74eec9a9
t=0083 ADD_EDGE edge_id=e_644d9cd5e957 source=n_bc936fbc9347 edge_type=refutes target=n_8de642ddea1e
t=0084 ADD_EDGE edge_id=e_02279f13c832 source=n_5c89258a1828 edge_type=supports target=n_a51f7ef9f405
t=0085 ADD_EDGE edge_id=e_dd218c0b4dc1 source=n_591c6f76fe0b edge_type=supports target=n_b8a0c758f346
t=0086 ADD_EDGE edge_id=e_c5e7027c6c68 source=n_5b1c0c189e76 edge_type=supports target=n_618f828350f9
t=0087 ADD_EDGE edge_id=e_9420ce90edab source=n_029a464ffdf3 edge_type=supports target=n_82e1cd298501
t=0088 ADD_EDGE edge_id=e_27edcba21e26 source=n_618f828350f9 edge_type=refutes target=n_8da87d890b55
t=0089 ADD_EDGE edge_id=e_5b326081d6db source=n_7a7fcdadd283 edge_type=supports target=n_76a51b125503
t=0090 ADD_EDGE edge_id=e_88d9cdccb93f source=n_8f3686c8fce0 edge_type=supports target=n_f228e3ff551d
t=0091 ADD_EDGE edge_id=e_49d09208f605 source=n_2d2b7df801be edge_type=refutes target=n_bcd788968c8c
t=0092 ADD_EDGE edge_id=e_dbd9d8ab6753 source=n_b8a0c758f346 edge_type=supports target=n_7a7fcdadd283
t=0093 ADD_EDGE edge_id=e_75a67ed4fcdc source=n_c070965e61b4 edge_type=refutes target=n_71ec1ddf88fa
t=0094 ADD_EDGE edge_id=e_292d8cb33a1a source=n_d94f188a4f29 edge_type=supports target=n_2084c4c912e3
t=0095 ADD_EDGE edge_id=e_bf42bc4933d8 source=n_eeea74eec9a9 edge_type=supports target=n_6fa78f3023f0
t=0096 ADD_EDGE edge_id=e_c20f0c83e7bf source=n_bcd788968c8c edge_type=supports target=n_cba0520f9f98
t=0097 ADD_EDGE edge_id=e_d66dabd0326c source=n_7a7fcdadd283 edge_type=refutes target=n_1b18a22c7e36
t=0098 ADD_EDGE edge_id=e_00e3c053db70 source=n_90cb89e616be edge_type=refutes target=n_03f9e9db6de7
t=0099 ADD_EDGE edge_id=e_02abf505738a source=n_bcd788968c8c edge_type=refutes target=n_5b1c0c189e76
t=0100 ADD_EDGE edge_id=e_c1240ab0296a source=n_3156cb655342 edge_type=refutes target=n_3c1f6274333e
t=0101 ADD_EDGE edge_id=e_42f28ed735c5 source=n_d6dadd6cb17c edge_type=refutes target=n_0790f25fc2f8
t=0102 ADD_EDGE edge_id=e_db68c8ec3f51 source=n_97fb084e3f79 edge_type=refutes target=n_d9fcafd3ff9c
t=0103 ADD_EDGE edge_id=e_fc490bd9e761 source=n_591c6f76fe0b edge_type=supports target=n_f3399ef51194
t=0104 ADD_EDGE edge_id=e_4bf4eab15097 source=n_591c6f76fe0b edge_type=refutes target=n_42cd28e2f867
t=0105 ADD_EDGE edge_id=e_687e310b831c source=n_3156cb655342 edge_type=refutes target=n_4a5db050b800
t=0106 ADD_EDGE edge_id=e_0640c3abd0ae source=n_42cd28e2f867 edge_type=refutes target=n_2438845fd1ce
t=0107 ADD_EDGE edge_id=e_e76554af19ae source=n_b42c4866566c edge_type=refutes target=n_2d2b7df801be
t=0108 ADD_EDGE edge_id=e_2b5ceda40c4d source=n_4a5db050b800 edge_type=supports target=n_eb7fc65b02e6
t=0109 ADD_EDGE edge_id=e_a52b400cce26 source=n_0c1292404719 edge_type=supports target=n_8332862e2140
t=0110 ADD_EDGE edge_id=e_6c67f7e3b4fd source=n_252df007e72d edge_type=refutes target=n_3cb3145beb31
t=0111 ADD_EDGE edge_id=e_9d43e6503af8 source=n_1624f5f2c721 edge_type=refutes target=n_7a0562a9a2d5
t=0112 ADD_EDGE edge_id=e_c8f922194997 source=n_2b758f123832 edge_type=refutes target=n_1d49d6f6c2c7
t=0113 ADD_EDGE edge_id=e_9eb9b1a2e0be source=n_6908d25a6b81 edge_type=refutes target=n_8f6b1212ba5c
t=0114 ADD_EDGE edge_id=e_4b4eab925d1c source=n_a2f7a4e06497 edge_type=refutes target=n_90cb89e616be
t=0115 ADD_EDGE edge_id=e_33bc17540e56 source=n_4a5db050b800 edge_type=supports target=n_bc8e32cdb127
t=0116 ADD_EDGE edge_id=e_a06c7423992f source=n_8da87d890b55 edge_type=refutes target=n_8f3686c8fce0
t=0117 ADD_EDGE edge_id=e_76b2c032a259 source=n_d1bc662b5ecf edge_type=supports target=n_aff2ce36a808
t=0118 ADD_EDGE edge_id=e_11a2a1b96dbb source=n_029a464ffdf3 edge_type=refutes target=n_d6dadd6cb17c
t=0119 ADD_EDGE edge_id=e_d4f88beb33d6 source=n_2084c4c912e3 edge_type=supports target=n_1624f5f2c721
t=0120 ADD_EDGE edge_id=e_09b6b729822a source=n_8f6b1212ba5c edge_type=supports target=n_2475d5b9e859
t=0121 ADD_EDGE edge_id=e_4df4b94af51a source=n_1d49d6f6c2c7 edge_type=refutes target=n_8af7879c3f52
t=0122 ADD_EDGE edge_id=e_6d68340bf92f source=n_2475d5b9e859 edge_type=refutes target=n_d1bc662b5ecf
t=0123 ADD_EDGE edge_id=e_2021729eb335 source=n_8332862e2140 edge_type=refutes target=n_5c89258a1828
t=0124 ADD_EDGE edge_id=e_782804849051 source=n_0c1292404719 edge_type=refutes target=n_97914e5bcf21
t=0125 ADD_EDGE edge_id=e_2c64781680eb source=n_3156cb655342 edge_type=supports target=n_029a464ffdf3
t=0126 ADD_EDGE edge_id=e_aa74c32ee6f9 source=n_d6dadd6cb17c edge_type=supports target=n_5927ed2fb62a
t=0127 ADD_EDGE edge_id=e_2834de4602d9 source=n_90cb89e616be edge_type=supports target=n_b1813011a905
t=0128 ADD_EDGE edge_id=e_3aa375457057 source=n_71ec1ddf88fa edge_type=supports target=n_de645ca311d2
t=0129 ADD_EDGE edge_id=e_3e1202114929 source=n_105c2a832263 edge_type=refutes target=n_d142063f5110
t=0130 ADD_EDGE edge_id=e_33d09258de94 source=n_7a0562a9a2d5 edge_type=refutes target=n_b42c4866566c
t=0131 ADD_EDGE edge_id=e_88cc7c0ec049 source=n_f228e3ff551d edge_type=supports target=n_0c1292404719
t=0132 ADD_EDGE edge_id=e_038022d96134 source=n_591c6f76fe0b edge_type=refutes target=n_252df007e72d
t=0133 ADD_EDGE edge_id=e_4736c4958e8d source=n_eb7fc65b02e6 edge_type=refutes target=n_e2faec70d3b9
t=0134 ADD_EDGE edge_id=e_3db7fd5aca6c source=n_38e0f795e435 edge_type=refutes target=n_1aee6f610a39
t=0135 ADD_EDGE edge_id=e_edf3ffa7ea29 source=n_eff757eb062f edge_type=supports target=n_97fb084e3f79
t=0136 ADD_EDGE edge_id=e_932d00b24bd6 source=n_2b758f123832 edge_type=supports target=n_390420777a02
t=0137 ADD_EDGE edge_id=e_996c72d4ad8e source=n_8f6b1212ba5c edge_type=supports target=n_591c6f76fe0b
t=0138 ADD_EDGE edge_id=e_36772a33e3db source=n_6fa78f3023f0 edge_type=refutes target=n_3c56d3b7b984
t=0139 ADD_EDGE edge_id=e_04886c6a3d7b source=n_8af7879c3f52 edge_type=supports target=n_6cbd4c8dc6e4
t=0140 ADD_EDGE edge_id=e_dec1b024775c source=n_f3399ef51194 edge_type=supports target=n_2b758f123832
t=0141 ADD_EDGE edge_id=e_13bef7e1fe32 source=n_2475d5b9e859 edge_type=refutes target=n_3156cb655342
t=0142 ADD_EDGE edge_id=e_27a4898e452c source=n_71ec1ddf88fa edge_type=refutes target=n_eff757eb062f
t=0143 QUERY source=n_c070965e61b4 target=n_b1813011a905
[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_560b19a88a3a node_type=claim
t=0001 CREATE_NODE id=n_5fceb97c0637 node_type=claim
t=0002 CREATE_NODE id=n_21d1a0f257f7 node_type=claim
t=0003 CREATE_NODE id=n_fea035944673 node_type=claim
t=0004 CREATE_NODE id=n_434cbcf7cc4a node_type=claim
t=0005 CREATE_NODE id=n_1e7a842d51fc node_type=claim
t=0006 CREATE_NODE id=n_6bf908298d1e node_type=claim
t=0007 CREATE_NODE id=n_2fcbf0b42193 node_type=claim
t=0008 CREATE_NODE id=n_65f129b75405 node_type=claim
t=0009 CREATE_NODE id=n_039c0b0799e3 node_type=claim
t=0010 CREATE_NODE id=n_81dcaf7b8511 node_type=claim
t=0011 CREATE_NODE id=n_bc3679951cc9 node_type=claim
t=0012 CREATE_NODE id=n_deccf889ed55 node_type=claim
t=0013 CREATE_NODE id=n_d8832583fa50 node_type=claim
t=0014 CREATE_NODE id=n_a94b2cd57c31 node_type=claim
t=0015 CREATE_NODE id=n_ddc4a44add2b node_type=claim
t=0016 CREATE_NODE id=n_5779937fba2e node_type=claim
t=0017 CREATE_NODE id=n_8e66764fa113 node_type=claim
t=0018 CREATE_NODE id=n_949cb250e14f node_type=claim
t=0019 CREATE_NODE id=n_4afce8f81452 node_type=claim
t=0020 CREATE_NODE id=n_9a996a805675 node_type=claim
t=0021 CREATE_NODE id=n_0508c762d93e node_type=claim
t=0022 CREATE_NODE id=n_c45f424f4429 node_type=claim
t=0023 CREATE_NODE id=n_81c0ce162af6 node_type=claim
t=0024 CREATE_NODE id=n_a4993c29637b node_type=claim
t=0025 CREATE_NODE id=n_97b416035995 node_type=claim
t=0026 CREATE_NODE id=n_72e2f9de991a node_type=claim
t=0027 CREATE_NODE id=n_bb02777fceda node_type=claim
t=0028 CREATE_NODE id=n_99b2582569e7 node_type=claim
t=0029 CREATE_NODE id=n_82c74e417766 node_type=claim
t=0030 CREATE_NODE id=n_c783ae12be3c node_type=claim
t=0031 CREATE_NODE id=n_5315c459c66a node_type=claim
t=0032 CREATE_NODE id=n_7e25e372d284 node_type=claim
t=0033 CREATE_NODE id=n_2639e9fe737e node_type=claim
t=0034 CREATE_NODE id=n_bcfff048c707 node_type=claim
t=0035 CREATE_NODE id=n_f3146b091f2c node_type=claim
t=0036 CREATE_NODE id=n_44a5f4379349 node_type=claim
t=0037 CREATE_NODE id=n_d311944bb6f4 node_type=claim
t=0038 CREATE_NODE id=n_c632a8ecc0b9 node_type=claim
t=0039 CREATE_NODE id=n_862edd6aafa2 node_type=claim
t=0040 CREATE_NODE id=n_1c35d8d1b261 node_type=claim
t=0041 CREATE_NODE id=n_440e4e3844b4 node_type=claim
t=0042 CREATE_NODE id=n_603828e7107d node_type=claim
t=0043 CREATE_NODE id=n_bab1876533ae node_type=claim
t=0044 CREATE_NODE id=n_e04e043a1773 node_type=claim
t=0045 CREATE_NODE id=n_6caaffdb4ac1 node_type=claim
t=0046 CREATE_NODE id=n_f15dd422b854 node_type=claim
t=0047 CREATE_NODE id=n_11b303d3b582 node_type=claim
t=0048 CREATE_NODE id=n_064d4d812ea8 node_type=claim
t=0049 CREATE_NODE id=n_6a3a32879f5b node_type=claim
t=0050 CREATE_NODE id=n_ddf625fc2160 node_type=claim
t=0051 CREATE_NODE id=n_e3ad9dd605a7 node_type=claim
t=0052 CREATE_NODE id=n_ec50a5e99729 node_type=claim
t=0053 CREATE_NODE id=n_d6ba6c8f7578 node_type=claim
t=0054 CREATE_NODE id=n_c0d04078bf29 node_type=claim
t=0055 CREATE_NODE id=n_c1b8df21d2d9 node_type=claim
t=0056 CREATE_NODE id=n_f32bd7aab8fc node_type=claim
t=0057 CREATE_NODE id=n_ee0e14a9e93c node_type=claim
t=0058 CREATE_NODE id=n_f2d364ffbe76 node_type=claim
t=0059 CREATE_NODE id=n_553a715a07d7 node_type=claim
t=0060 CREATE_NODE id=n_ab1a7495ff02 node_type=claim
t=0061 CREATE_NODE id=n_ab139984c5f4 node_type=claim
t=0062 CREATE_NODE id=n_1bc52daf99f0 node_type=claim
t=0063 CREATE_NODE id=n_1a4866a6c01c node_type=claim
t=0064 CREATE_NODE id=n_59c0c614af91 node_type=claim
t=0065 CREATE_NODE id=n_cede5da8bbb5 node_type=claim
t=0066 CREATE_NODE id=n_0d2868191cf3 node_type=claim
t=0067 CREATE_NODE id=n_cf17b479ec61 node_type=claim
t=0068 CREATE_NODE id=n_0c8d5dbb21ac node_type=claim
t=0069 CREATE_NODE id=n_32fa4652191e node_type=claim
t=0070 CREATE_NODE id=n_a757ed3a31d3 node_type=claim
t=0071 CREATE_NODE id=n_edb1b71ca05e node_type=claim
t=0072 ASSERT_ROOT node=n_ec50a5e99729 value=TRUE
t=0073 ADD_EDGE edge_id=e_c8b33c5e3877 source=n_064d4d812ea8 edge_type=refutes target=n_5fceb97c0637
t=0074 ADD_EDGE edge_id=e_3d1bbc7b17d8 source=n_e3ad9dd605a7 edge_type=refutes target=n_5779937fba2e
t=0075 ADD_EDGE edge_id=e_9039ba9f5dd5 source=n_862edd6aafa2 edge_type=supports target=n_039c0b0799e3
t=0076 ADD_EDGE edge_id=e_befa9802e3ed source=n_f15dd422b854 edge_type=supports target=n_1e7a842d51fc
t=0077 ADD_EDGE edge_id=e_57f43da5fb9a source=n_d311944bb6f4 edge_type=supports target=n_2fcbf0b42193
t=0078 ADD_EDGE edge_id=e_5da3b0043146 source=n_a757ed3a31d3 edge_type=supports target=n_99b2582569e7
t=0079 ADD_EDGE edge_id=e_8099df90ca4a source=n_a757ed3a31d3 edge_type=supports target=n_5315c459c66a
t=0080 ADD_EDGE edge_id=e_a3deeaa83d82 source=n_cf17b479ec61 edge_type=supports target=n_ab139984c5f4
t=0081 ADD_EDGE edge_id=e_2fb46496c991 source=n_32fa4652191e edge_type=refutes target=n_a4993c29637b
t=0082 ADD_EDGE edge_id=e_5b460efb8324 source=n_039c0b0799e3 edge_type=refutes target=n_7e25e372d284
t=0083 ADD_EDGE edge_id=e_022154264e3c source=n_ee0e14a9e93c edge_type=refutes target=n_81dcaf7b8511
t=0084 ADD_EDGE edge_id=e_def9785156ab source=n_21d1a0f257f7 edge_type=supports target=n_553a715a07d7
t=0085 ADD_EDGE edge_id=e_cbe64035a758 source=n_ec50a5e99729 edge_type=refutes target=n_9a996a805675
t=0086 ADD_EDGE edge_id=e_7e1706d248c1 source=n_ab139984c5f4 edge_type=supports target=n_deccf889ed55
t=0087 ADD_EDGE edge_id=e_3c0be209aa4a source=n_7e25e372d284 edge_type=supports target=n_fea035944673
t=0088 ADD_EDGE edge_id=e_e7cd7664c96b source=n_a757ed3a31d3 edge_type=supports target=n_81c0ce162af6
t=0089 ADD_EDGE edge_id=e_e84d677cbcab source=n_c783ae12be3c edge_type=refutes target=n_1a4866a6c01c
t=0090 ADD_EDGE edge_id=e_24b993cbab68 source=n_cf17b479ec61 edge_type=supports target=n_c632a8ecc0b9
t=0091 ADD_EDGE edge_id=e_b1e253386c7d source=n_9a996a805675 edge_type=refutes target=n_32fa4652191e
t=0092 ADD_EDGE edge_id=e_fc0f38c16bd6 source=n_fea035944673 edge_type=supports target=n_bc3679951cc9
t=0093 ADD_EDGE edge_id=e_64731d9d6a61 source=n_553a715a07d7 edge_type=supports target=n_f3146b091f2c
t=0094 ADD_EDGE edge_id=e_0b198089b0f4 source=n_11b303d3b582 edge_type=refutes target=n_949cb250e14f
t=0095 ADD_EDGE edge_id=e_f6aa06759f6d source=n_edb1b71ca05e edge_type=supports target=n_21d1a0f257f7
t=0096 ADD_EDGE edge_id=e_157ec9c8f95d source=n_a94b2cd57c31 edge_type=refutes target=n_f15dd422b854
t=0097 ADD_EDGE edge_id=e_03a1f98bcb90 source=n_cf17b479ec61 edge_type=refutes target=n_e3ad9dd605a7
t=0098 ADD_EDGE edge_id=e_650065c006fc source=n_65f129b75405 edge_type=refutes target=n_064d4d812ea8
t=0099 ADD_EDGE edge_id=e_9ad808556e9e source=n_f2d364ffbe76 edge_type=supports target=n_0c8d5dbb21ac
t=0100 ADD_EDGE edge_id=e_393aea974d95 source=n_039c0b0799e3 edge_type=supports target=n_434cbcf7cc4a
t=0101 ADD_EDGE edge_id=e_a7aa8a6876f3 source=n_ab139984c5f4 edge_type=refutes target=n_bb02777fceda
t=0102 ADD_EDGE edge_id=e_c33196b2fa5b source=n_bab1876533ae edge_type=refutes target=n_8e66764fa113
t=0103 ADD_EDGE edge_id=e_8f1112590efe source=n_ddf625fc2160 edge_type=refutes target=n_0d2868191cf3
t=0104 ADD_EDGE edge_id=e_c6a18af57c96 source=n_ab1a7495ff02 edge_type=supports target=n_440e4e3844b4
t=0105 ADD_EDGE edge_id=e_e46fa7e915c1 source=n_bcfff048c707 edge_type=refutes target=n_ddf625fc2160
t=0106 ADD_EDGE edge_id=e_ff64b8e81c85 source=n_f3146b091f2c edge_type=refutes target=n_d6ba6c8f7578
t=0107 ADD_EDGE edge_id=e_ed25d218cf1a source=n_d311944bb6f4 edge_type=refutes target=n_97b416035995
t=0108 ADD_EDGE edge_id=e_0eeda1970c13 source=n_65f129b75405 edge_type=refutes target=n_44a5f4379349
t=0109 ADD_EDGE edge_id=e_39ef313cbca6 source=n_1e7a842d51fc edge_type=refutes target=n_edb1b71ca05e
t=0110 ADD_EDGE edge_id=e_0b060bb02c65 source=n_d311944bb6f4 edge_type=refutes target=n_c45f424f4429
t=0111 ADD_EDGE edge_id=e_b560fb49c3c2 source=n_cf17b479ec61 edge_type=supports target=n_603828e7107d
t=0112 ADD_EDGE edge_id=e_18cc3f239535 source=n_cede5da8bbb5 edge_type=refutes target=n_65f129b75405
t=0113 ADD_EDGE edge_id=e_efc4f35ba5ab source=n_2639e9fe737e edge_type=supports target=n_ee0e14a9e93c
t=0114 ADD_EDGE edge_id=e_a299ccf20c17 source=n_72e2f9de991a edge_type=refutes target=n_f2d364ffbe76
t=0115 ADD_EDGE edge_id=e_49d2bb366324 source=n_bcfff048c707 edge_type=supports target=n_cf17b479ec61
t=0116 ADD_EDGE edge_id=e_9df8e55aaeae source=n_0508c762d93e edge_type=supports target=n_6bf908298d1e
t=0117 ADD_EDGE edge_id=e_30f6cd93d2fe source=n_bcfff048c707 edge_type=supports target=n_ddc4a44add2b
t=0118 ADD_EDGE edge_id=e_0ba1fc719a53 source=n_6bf908298d1e edge_type=supports target=n_f32bd7aab8fc
t=0119 ADD_EDGE edge_id=e_a87ea4cb7fff source=n_ab1a7495ff02 edge_type=supports target=n_c1b8df21d2d9
t=0120 ADD_EDGE edge_id=e_6fd5086f2aa0 source=n_bcfff048c707 edge_type=refutes target=n_11b303d3b582
t=0121 ADD_EDGE edge_id=e_7a68648847d9 source=n_a4993c29637b edge_type=refutes target=n_1c35d8d1b261
t=0122 ADD_EDGE edge_id=e_1211d3af1b2f source=n_d8832583fa50 edge_type=supports target=n_59c0c614af91
t=0123 ADD_EDGE edge_id=e_ee73e472544f source=n_bcfff048c707 edge_type=supports target=n_e04e043a1773
t=0124 ADD_EDGE edge_id=e_462cba641fb5 source=n_1c35d8d1b261 edge_type=refutes target=n_cede5da8bbb5
t=0125 ADD_EDGE edge_id=e_79402ed52f14 source=n_d6ba6c8f7578 edge_type=supports target=n_0508c762d93e
t=0126 ADD_EDGE edge_id=e_6315582f950b source=n_603828e7107d edge_type=supports target=n_d8832583fa50
t=0127 ADD_EDGE edge_id=e_47d1f5b9b465 source=n_bcfff048c707 edge_type=supports target=n_4afce8f81452
t=0128 ADD_EDGE edge_id=e_430dcc910f8c source=n_8e66764fa113 edge_type=supports target=n_6a3a32879f5b
t=0129 ADD_EDGE edge_id=e_d96d97168c2f source=n_d8832583fa50 edge_type=refutes target=n_1bc52daf99f0
t=0130 ADD_EDGE edge_id=e_5fc532eee080 source=n_560b19a88a3a edge_type=refutes target=n_bab1876533ae
t=0131 ADD_EDGE edge_id=e_9bcc5a293c49 source=n_6caaffdb4ac1 edge_type=refutes target=n_862edd6aafa2
t=0132 ADD_EDGE edge_id=e_4aad1e018cd1 source=n_6bf908298d1e edge_type=supports target=n_c0d04078bf29
t=0133 ADD_EDGE edge_id=e_db8b424bca3e source=n_2639e9fe737e edge_type=supports target=n_bcfff048c707
t=0134 ADD_EDGE edge_id=e_41c7418a9699 source=n_4afce8f81452 edge_type=refutes target=n_c783ae12be3c
t=0135 ADD_EDGE edge_id=e_8f30ed9c80e4 source=n_949cb250e14f edge_type=refutes target=n_82c74e417766
t=0136 ADD_EDGE edge_id=e_c8bb9ffad6fc source=n_bc3679951cc9 edge_type=supports target=n_a94b2cd57c31
t=0137 ADD_EDGE edge_id=e_2968481ccee2 source=n_0c8d5dbb21ac edge_type=refutes target=n_6caaffdb4ac1
t=0138 ADD_EDGE edge_id=e_f487b0a4db34 source=n_949cb250e14f edge_type=refutes target=n_ab1a7495ff02
t=0139 ADD_EDGE edge_id=e_c59d3557c8cb source=n_e3ad9dd605a7 edge_type=refutes target=n_a757ed3a31d3
t=0140 ADD_EDGE edge_id=e_53f858483231 source=n_5fceb97c0637 edge_type=supports target=n_560b19a88a3a
t=0141 ADD_EDGE edge_id=e_2cecf475ccaf source=n_6a3a32879f5b edge_type=refutes target=n_72e2f9de991a
t=0142 ADD_EDGE edge_id=e_6dcd13a17cc1 source=n_2639e9fe737e edge_type=supports target=n_d311944bb6f4
t=0143 QUERY source=n_ec50a5e99729 target=n_6bf908298d1e
[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_93404f394293 node_type=claim
t=0001 CREATE_NODE id=n_120440520ef0 node_type=claim
t=0002 CREATE_NODE id=n_d2a4139b7f10 node_type=claim
t=0003 CREATE_NODE id=n_086c55094d0f node_type=claim
t=0004 CREATE_NODE id=n_0a71558d43a7 node_type=claim
t=0005 CREATE_NODE id=n_694fc9c51582 node_type=claim
t=0006 CREATE_NODE id=n_7402d9a6e892 node_type=claim
t=0007 CREATE_NODE id=n_86066bb18e46 node_type=claim
t=0008 CREATE_NODE id=n_6be87fd4fe46 node_type=claim
t=0009 CREATE_NODE id=n_f641e82e9a28 node_type=claim
t=0010 CREATE_NODE id=n_9af5f1ec6c18 node_type=claim
t=0011 CREATE_NODE id=n_b313b3ba8a8e node_type=claim
t=0012 CREATE_NODE id=n_c3ace77ee79e node_type=claim
t=0013 CREATE_NODE id=n_9fd3ab8e8b60 node_type=claim
t=0014 CREATE_NODE id=n_8043519af977 node_type=claim
t=0015 CREATE_NODE id=n_fe7952d1a4ad node_type=claim
t=0016 CREATE_NODE id=n_070737bdc803 node_type=claim
t=0017 CREATE_NODE id=n_a0a1b3f13c38 node_type=claim
t=0018 CREATE_NODE id=n_1c0d8be4d841 node_type=claim
t=0019 CREATE_NODE id=n_4e99a296c885 node_type=claim
t=0020 CREATE_NODE id=n_cb4112e8de9e node_type=claim
t=0021 CREATE_NODE id=n_63339b81d513 node_type=claim
t=0022 CREATE_NODE id=n_e4b694a58d02 node_type=claim
t=0023 CREATE_NODE id=n_22a33a680d4b node_type=claim
t=0024 CREATE_NODE id=n_67cc960c6e19 node_type=claim
t=0025 CREATE_NODE id=n_9caedbcd97e4 node_type=claim
t=0026 CREATE_NODE id=n_3c97a0ad0b60 node_type=claim
t=0027 CREATE_NODE id=n_8eaecd98bd1b node_type=claim
t=0028 CREATE_NODE id=n_1884c37dc54a node_type=claim
t=0029 CREATE_NODE id=n_b67f7847c688 node_type=claim
t=0030 CREATE_NODE id=n_a7bf8a392883 node_type=claim
t=0031 CREATE_NODE id=n_957cec81bf0d node_type=claim
t=0032 CREATE_NODE id=n_594ec06922d9 node_type=claim
t=0033 CREATE_NODE id=n_18570f8430fe node_type=claim
t=0034 CREATE_NODE id=n_e2bd123a0998 node_type=claim
t=0035 CREATE_NODE id=n_f8c444af15b8 node_type=claim
t=0036 CREATE_NODE id=n_cfb5a42cbcd0 node_type=claim
t=0037 CREATE_NODE id=n_b86a113360a9 node_type=claim
t=0038 CREATE_NODE id=n_afb530dc1cae node_type=claim
t=0039 CREATE_NODE id=n_b70653b55cf8 node_type=claim
t=0040 CREATE_NODE id=n_548e44899421 node_type=claim
t=0041 CREATE_NODE id=n_48fa083fa9de node_type=claim
t=0042 CREATE_NODE id=n_b51f12f32ba5 node_type=claim
t=0043 CREATE_NODE id=n_537fb6670dfe node_type=claim
t=0044 CREATE_NODE id=n_c37e8eca173f node_type=claim
t=0045 CREATE_NODE id=n_4ed2ae6baaf8 node_type=claim
t=0046 CREATE_NODE id=n_7eff354b4170 node_type=claim
t=0047 CREATE_NODE id=n_87160bad2c9e node_type=claim
t=0048 CREATE_NODE id=n_961ee07a6668 node_type=claim
t=0049 CREATE_NODE id=n_fa0c3f91cde7 node_type=claim
t=0050 CREATE_NODE id=n_fcfa8004cb1b node_type=claim
t=0051 CREATE_NODE id=n_26b8494872fa node_type=claim
t=0052 CREATE_NODE id=n_1a2b3c3e7d70 node_type=claim
t=0053 CREATE_NODE id=n_81fde7798d71 node_type=claim
t=0054 CREATE_NODE id=n_8497adb42c6b node_type=claim
t=0055 CREATE_NODE id=n_38393888ec06 node_type=claim
t=0056 CREATE_NODE id=n_2f2d098933e6 node_type=claim
t=0057 CREATE_NODE id=n_893ac40c9461 node_type=claim
t=0058 CREATE_NODE id=n_ac1a3ad167fa node_type=claim
t=0059 CREATE_NODE id=n_2dd1a130af7b node_type=claim
t=0060 CREATE_NODE id=n_e27f45a917d2 node_type=claim
t=0061 CREATE_NODE id=n_fdf1270c16e0 node_type=claim
t=0062 CREATE_NODE id=n_5be9804d43eb node_type=claim
t=0063 CREATE_NODE id=n_90704f5b274f node_type=claim
t=0064 CREATE_NODE id=n_aa789856a5b1 node_type=claim
t=0065 CREATE_NODE id=n_cef4e6c0809d node_type=claim
t=0066 CREATE_NODE id=n_1dace3117175 node_type=claim
t=0067 CREATE_NODE id=n_80eff13cf535 node_type=claim
t=0068 CREATE_NODE id=n_90ade98162b0 node_type=claim
t=0069 CREATE_NODE id=n_c44ad03ec7f8 node_type=claim
t=0070 CREATE_NODE id=n_8ea8ac5c51f1 node_type=claim
t=0071 CREATE_NODE id=n_7893d789732e node_type=claim
t=0072 ASSERT_ROOT node=n_7402d9a6e892 value=FALSE
t=0073 ADD_EDGE edge_id=e_459c33f61362 source=n_9caedbcd97e4 edge_type=supports target=n_537fb6670dfe
t=0074 ADD_EDGE edge_id=e_3b74ae470eb6 source=n_070737bdc803 edge_type=supports target=n_fa0c3f91cde7
t=0075 ADD_EDGE edge_id=e_af0cadde7a5f source=n_3c97a0ad0b60 edge_type=refutes target=n_b313b3ba8a8e
t=0076 ADD_EDGE edge_id=e_1620d3912363 source=n_9caedbcd97e4 edge_type=supports target=n_cb4112e8de9e
t=0077 ADD_EDGE edge_id=e_e50d45471ab7 source=n_67cc960c6e19 edge_type=refutes target=n_7eff354b4170
t=0078 ADD_EDGE edge_id=e_d47b7b183a83 source=n_4ed2ae6baaf8 edge_type=supports target=n_ac1a3ad167fa
t=0079 ADD_EDGE edge_id=e_770157fbdca5 source=n_87160bad2c9e edge_type=refutes target=n_957cec81bf0d
t=0080 ADD_EDGE edge_id=e_a34cac29d3dc source=n_e4b694a58d02 edge_type=supports target=n_070737bdc803
t=0081 ADD_EDGE edge_id=e_84cc09967a75 source=n_f8c444af15b8 edge_type=refutes target=n_90ade98162b0
t=0082 ADD_EDGE edge_id=e_76ca0c8cd00f source=n_957cec81bf0d edge_type=supports target=n_9fd3ab8e8b60
t=0083 ADD_EDGE edge_id=e_e8601583f253 source=n_22a33a680d4b edge_type=refutes target=n_1a2b3c3e7d70
t=0084 ADD_EDGE edge_id=e_64d3b4a08ed1 source=n_7893d789732e edge_type=refutes target=n_81fde7798d71
t=0085 ADD_EDGE edge_id=e_c131b5ad963c source=n_2f2d098933e6 edge_type=refutes target=n_893ac40c9461
t=0086 ADD_EDGE edge_id=e_9cbeeb42eae4 source=n_9caedbcd97e4 edge_type=refutes target=n_6be87fd4fe46
t=0087 ADD_EDGE edge_id=e_a19132f611b1 source=n_9caedbcd97e4 edge_type=refutes target=n_c44ad03ec7f8
t=0088 ADD_EDGE edge_id=e_5f1ea20cdab0 source=n_c3ace77ee79e edge_type=refutes target=n_f8c444af15b8
t=0089 ADD_EDGE edge_id=e_d8ae5cf5dd21 source=n_cfb5a42cbcd0 edge_type=refutes target=n_1dace3117175
t=0090 ADD_EDGE edge_id=e_8ac4cc5ba03a source=n_120440520ef0 edge_type=refutes target=n_d2a4139b7f10
t=0091 ADD_EDGE edge_id=e_20b2bf3293a0 source=n_c44ad03ec7f8 edge_type=supports target=n_e2bd123a0998
t=0092 ADD_EDGE edge_id=e_d253f4556087 source=n_9af5f1ec6c18 edge_type=refutes target=n_c3ace77ee79e
t=0093 ADD_EDGE edge_id=e_eecfeed4bec0 source=n_4ed2ae6baaf8 edge_type=refutes target=n_22a33a680d4b
t=0094 ADD_EDGE edge_id=e_4210714171d4 source=n_aa789856a5b1 edge_type=refutes target=n_b86a113360a9
t=0095 ADD_EDGE edge_id=e_474c69d6b22c source=n_086c55094d0f edge_type=refutes target=n_e4b694a58d02
t=0096 ADD_EDGE edge_id=e_54a05af4185d source=n_8ea8ac5c51f1 edge_type=supports target=n_e27f45a917d2
t=0097 ADD_EDGE edge_id=e_3772204dcbcf source=n_9caedbcd97e4 edge_type=supports target=n_fcfa8004cb1b
t=0098 ADD_EDGE edge_id=e_5c36902d5eca source=n_18570f8430fe edge_type=supports target=n_26b8494872fa
t=0099 ADD_EDGE edge_id=e_c7344a094fd4 source=n_90ade98162b0 edge_type=refutes target=n_086c55094d0f
t=0100 ADD_EDGE edge_id=e_60d672bb568e source=n_0a71558d43a7 edge_type=supports target=n_1884c37dc54a
t=0101 ADD_EDGE edge_id=e_ac0d899ce590 source=n_22a33a680d4b edge_type=refutes target=n_2f2d098933e6
t=0102 ADD_EDGE edge_id=e_3f8ff5da4c35 source=n_18570f8430fe edge_type=supports target=n_fe7952d1a4ad
t=0103 ADD_EDGE edge_id=e_848eb71c5c80 source=n_e4b694a58d02 edge_type=supports target=n_cef4e6c0809d
t=0104 ADD_EDGE edge_id=e_38a79b34b938 source=n_2dd1a130af7b edge_type=supports target=n_93404f394293
t=0105 ADD_EDGE edge_id=e_caf07d03a708 source=n_80eff13cf535 edge_type=refutes target=n_fdf1270c16e0
t=0106 ADD_EDGE edge_id=e_7c23e4c68d6d source=n_9caedbcd97e4 edge_type=refutes target=n_18570f8430fe
t=0107 ADD_EDGE edge_id=e_e1bc4539c541 source=n_c44ad03ec7f8 edge_type=supports target=n_aa789856a5b1
t=0108 ADD_EDGE edge_id=e_6a8cd8e71728 source=n_67cc960c6e19 edge_type=supports target=n_a0a1b3f13c38
t=0109 ADD_EDGE edge_id=e_57be84a28848 source=n_86066bb18e46 edge_type=supports target=n_694fc9c51582
t=0110 ADD_EDGE edge_id=e_e1579fa1d255 source=n_b67f7847c688 edge_type=supports target=n_63339b81d513
t=0111 ADD_EDGE edge_id=e_169349d4dc7d source=n_fcfa8004cb1b edge_type=refutes target=n_48fa083fa9de
t=0112 ADD_EDGE edge_id=e_4c662852f86b source=n_a7bf8a392883 edge_type=refutes target=n_8ea8ac5c51f1
t=0113 ADD_EDGE edge_id=e_7f16ec411b4b source=n_1884c37dc54a edge_type=supports target=n_90704f5b274f
t=0114 ADD_EDGE edge_id=e_f45e15261b8c source=n_cfb5a42cbcd0 edge_type=supports target=n_5be9804d43eb
t=0115 ADD_EDGE edge_id=e_985f0a7e72d5 source=n_d2a4139b7f10 edge_type=supports target=n_9af5f1ec6c18
t=0116 ADD_EDGE edge_id=e_c74aa35145b3 source=n_961ee07a6668 edge_type=supports target=n_0a71558d43a7
t=0117 ADD_EDGE edge_id=e_9519cec617bf source=n_c37e8eca173f edge_type=refutes target=n_67cc960c6e19
t=0118 ADD_EDGE edge_id=e_d4d02233f7e1 source=n_9fd3ab8e8b60 edge_type=refutes target=n_8eaecd98bd1b
t=0119 ADD_EDGE edge_id=e_581183474737 source=n_26b8494872fa edge_type=refutes target=n_3c97a0ad0b60
t=0120 ADD_EDGE edge_id=e_8173ec03f37a source=n_7402d9a6e892 edge_type=supports target=n_2dd1a130af7b
t=0121 ADD_EDGE edge_id=e_6693ef000b6a source=n_9fd3ab8e8b60 edge_type=supports target=n_86066bb18e46
t=0122 ADD_EDGE edge_id=e_994b77f44ec8 source=n_26b8494872fa edge_type=supports target=n_8497adb42c6b
t=0123 ADD_EDGE edge_id=e_96c9ad68424d source=n_26b8494872fa edge_type=supports target=n_b67f7847c688
t=0124 ADD_EDGE edge_id=e_7b3a4fc92a17 source=n_8043519af977 edge_type=refutes target=n_a7bf8a392883
t=0125 ADD_EDGE edge_id=e_866319f93f7b source=n_18570f8430fe edge_type=supports target=n_38393888ec06
t=0126 ADD_EDGE edge_id=e_a1c1a13d9203 source=n_893ac40c9461 edge_type=refutes target=n_1c0d8be4d841
t=0127 ADD_EDGE edge_id=e_358abe771722 source=n_594ec06922d9 edge_type=supports target=n_b70653b55cf8
t=0128 ADD_EDGE edge_id=e_82970b6f74b8 source=n_67cc960c6e19 edge_type=supports target=n_80eff13cf535
t=0129 ADD_EDGE edge_id=e_7ec4eb8db438 source=n_694fc9c51582 edge_type=supports target=n_cfb5a42cbcd0
t=0130 ADD_EDGE edge_id=e_4c2e151ef58a source=n_b86a113360a9 edge_type=refutes target=n_afb530dc1cae
t=0131 ADD_EDGE edge_id=e_1dc540d98075 source=n_81fde7798d71 edge_type=refutes target=n_8043519af977
t=0132 ADD_EDGE edge_id=e_2bea81ecd9b1 source=n_e27f45a917d2 edge_type=supports target=n_4e99a296c885
t=0133 ADD_EDGE edge_id=e_be5d0bd47485 source=n_070737bdc803 edge_type=supports target=n_f641e82e9a28
t=0134 ADD_EDGE edge_id=e_1f2e1ceac4e0 source=n_5be9804d43eb edge_type=refutes target=n_961ee07a6668
t=0135 ADD_EDGE edge_id=e_8a988bacd548 source=n_9caedbcd97e4 edge_type=refutes target=n_4ed2ae6baaf8
t=0136 ADD_EDGE edge_id=e_e8f7bf695968 source=n_90704f5b274f edge_type=supports target=n_120440520ef0
t=0137 ADD_EDGE edge_id=e_a5208a506505 source=n_93404f394293 edge_type=refutes target=n_7893d789732e
t=0138 ADD_EDGE edge_id=e_62347c40ced5 source=n_9caedbcd97e4 edge_type=refutes target=n_c37e8eca173f
t=0139 ADD_EDGE edge_id=e_f1dc328ecef6 source=n_4ed2ae6baaf8 edge_type=supports target=n_b51f12f32ba5
t=0140 ADD_EDGE edge_id=e_5523c4df7a4a source=n_548e44899421 edge_type=refutes target=n_87160bad2c9e
t=0141 ADD_EDGE edge_id=e_cc4be4186550 source=n_4e99a296c885 edge_type=refutes target=n_548e44899421
t=0142 ADD_EDGE edge_id=e_344aaf0a226f source=n_3c97a0ad0b60 edge_type=supports target=n_594ec06922d9
t=0143 QUERY source=n_7402d9a6e892 target=n_fa0c3f91cde7
[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_a3e4a097599d node_type=claim
t=0001 CREATE_NODE id=n_027f826fc624 node_type=claim
t=0002 CREATE_NODE id=n_dce3f27ef9f1 node_type=claim
t=0003 CREATE_NODE id=n_ffdc7900e451 node_type=claim
t=0004 CREATE_NODE id=n_619d285d473c node_type=claim
t=0005 CREATE_NODE id=n_ca932c3a74b5 node_type=claim
t=0006 CREATE_NODE id=n_ad16bea9a5c0 node_type=claim
t=0007 CREATE_NODE id=n_a2365b42d611 node_type=claim
t=0008 CREATE_NODE id=n_97b768cb1d14 node_type=claim
t=0009 CREATE_NODE id=n_50ab8ead51ce node_type=claim
t=0010 CREATE_NODE id=n_2b68a6fb4ce5 node_type=claim
t=0011 CREATE_NODE id=n_7886d2eaceb5 node_type=claim
t=0012 CREATE_NODE id=n_825782a89dda node_type=claim
t=0013 CREATE_NODE id=n_a8a56becfe54 node_type=claim
t=0014 CREATE_NODE id=n_23d06b4cdba5 node_type=claim
t=0015 CREATE_NODE id=n_7f7e36fc02d1 node_type=claim
t=0016 CREATE_NODE id=n_44874dc19395 node_type=claim
t=0017 CREATE_NODE id=n_f69fbec6aee3 node_type=claim
t=0018 CREATE_NODE id=n_af3d7f2009f4 node_type=claim
t=0019 CREATE_NODE id=n_06f12d0bcb8c node_type=claim
t=0020 CREATE_NODE id=n_4a9ef91ce93f node_type=claim
t=0021 CREATE_NODE id=n_c87c6f2f0451 node_type=claim
t=0022 CREATE_NODE id=n_c66bba7f20e2 node_type=claim
t=0023 CREATE_NODE id=n_861ca4ab5959 node_type=claim
t=0024 CREATE_NODE id=n_6a4c371e86f9 node_type=claim
t=0025 CREATE_NODE id=n_764fc357fb94 node_type=claim
t=0026 CREATE_NODE id=n_3743855b8adf node_type=claim
t=0027 CREATE_NODE id=n_4dc88f4112a8 node_type=claim
t=0028 CREATE_NODE id=n_32029ba9b93c node_type=claim
t=0029 CREATE_NODE id=n_ae269de5202e node_type=claim
t=0030 CREATE_NODE id=n_3889ece73284 node_type=claim
t=0031 CREATE_NODE id=n_134dc374ed0e node_type=claim
t=0032 CREATE_NODE id=n_bd68ddd0b71f node_type=claim
t=0033 CREATE_NODE id=n_17502b5955b5 node_type=claim
t=0034 CREATE_NODE id=n_deaec1c5bc3d node_type=claim
t=0035 CREATE_NODE id=n_620cebc8c215 node_type=claim
t=0036 CREATE_NODE id=n_f715bda09cbf node_type=claim
t=0037 CREATE_NODE id=n_d7290954892a node_type=claim
t=0038 CREATE_NODE id=n_cf4600e5a192 node_type=claim
t=0039 CREATE_NODE id=n_ad46cce3c978 node_type=claim
t=0040 CREATE_NODE id=n_4b444d1c5350 node_type=claim
t=0041 CREATE_NODE id=n_8d4c2ec0c509 node_type=claim
t=0042 CREATE_NODE id=n_6dea0f344369 node_type=claim
t=0043 CREATE_NODE id=n_695de4656bfb node_type=claim
t=0044 CREATE_NODE id=n_814609508997 node_type=claim
t=0045 CREATE_NODE id=n_402483ec6f32 node_type=claim
t=0046 CREATE_NODE id=n_cd700bdbdb84 node_type=claim
t=0047 CREATE_NODE id=n_0f919cdb1d59 node_type=claim
t=0048 CREATE_NODE id=n_37979da4e373 node_type=claim
t=0049 CREATE_NODE id=n_d4ed105837e8 node_type=claim
t=0050 CREATE_NODE id=n_5b2af5e3e60f node_type=claim
t=0051 CREATE_NODE id=n_b163f769575c node_type=claim
t=0052 CREATE_NODE id=n_ae76148f0c67 node_type=claim
t=0053 CREATE_NODE id=n_a8aa4fc89873 node_type=claim
t=0054 CREATE_NODE id=n_225d62f9af55 node_type=claim
t=0055 CREATE_NODE id=n_f3a0a981cfac node_type=claim
t=0056 CREATE_NODE id=n_16d2b7bca306 node_type=claim
t=0057 CREATE_NODE id=n_688e6d3e8b8d node_type=claim
t=0058 CREATE_NODE id=n_bb23bf255adf node_type=claim
t=0059 CREATE_NODE id=n_68e8faa046ae node_type=claim
t=0060 CREATE_NODE id=n_2c1464ac2b22 node_type=claim
t=0061 CREATE_NODE id=n_f8071c4becd7 node_type=claim
t=0062 CREATE_NODE id=n_6dda71201b8a node_type=claim
t=0063 CREATE_NODE id=n_eaf46813d25d node_type=claim
t=0064 CREATE_NODE id=n_f8147bf11904 node_type=claim
t=0065 CREATE_NODE id=n_dd75fba34f1d node_type=claim
t=0066 CREATE_NODE id=n_442a7bcc8011 node_type=claim
t=0067 CREATE_NODE id=n_d2ff91d52ffa node_type=claim
t=0068 CREATE_NODE id=n_5c393b27a737 node_type=claim
t=0069 CREATE_NODE id=n_1691607e2899 node_type=claim
t=0070 CREATE_NODE id=n_f7cbd9209085 node_type=claim
t=0071 CREATE_NODE id=n_eeb35472654b node_type=claim
t=0072 ASSERT_ROOT node=n_23d06b4cdba5 value=TRUE
t=0073 ADD_EDGE edge_id=e_ca77af3a3d2a source=n_50ab8ead51ce edge_type=refutes target=n_5b2af5e3e60f
t=0074 ADD_EDGE edge_id=e_27de463c012c source=n_8d4c2ec0c509 edge_type=refutes target=n_825782a89dda
t=0075 ADD_EDGE edge_id=e_19bc1c10ac1b source=n_deaec1c5bc3d edge_type=refutes target=n_764fc357fb94
t=0076 ADD_EDGE edge_id=e_503d2d71b9d8 source=n_6dea0f344369 edge_type=supports target=n_619d285d473c
t=0077 ADD_EDGE edge_id=e_e37e3308cca3 source=n_97b768cb1d14 edge_type=refutes target=n_b163f769575c
t=0078 ADD_EDGE edge_id=e_bbea089fa7d1 source=n_ffdc7900e451 edge_type=refutes target=n_68e8faa046ae
t=0079 ADD_EDGE edge_id=e_d55a0f8906d6 source=n_5b2af5e3e60f edge_type=supports target=n_027f826fc624
t=0080 ADD_EDGE edge_id=e_bcf783bd0272 source=n_23d06b4cdba5 edge_type=refutes target=n_d7290954892a
t=0081 ADD_EDGE edge_id=e_7de87e57e38e source=n_1691607e2899 edge_type=supports target=n_695de4656bfb
t=0082 ADD_EDGE edge_id=e_721264a01c1b source=n_06f12d0bcb8c edge_type=refutes target=n_2c1464ac2b22
t=0083 ADD_EDGE edge_id=e_f479277f8b73 source=n_3889ece73284 edge_type=refutes target=n_bb23bf255adf
t=0084 ADD_EDGE edge_id=e_5c7cf7361ca5 source=n_5c393b27a737 edge_type=supports target=n_6dea0f344369
t=0085 ADD_EDGE edge_id=e_e444b032c833 source=n_0f919cdb1d59 edge_type=refutes target=n_ad16bea9a5c0
t=0086 ADD_EDGE edge_id=e_2d1bd7f50b09 source=n_ae269de5202e edge_type=refutes target=n_16d2b7bca306
t=0087 ADD_EDGE edge_id=e_816fe7afd39c source=n_027f826fc624 edge_type=refutes target=n_3743855b8adf
t=0088 ADD_EDGE edge_id=e_616b763fb893 source=n_ae76148f0c67 edge_type=supports target=n_f3a0a981cfac
t=0089 ADD_EDGE edge_id=e_31aadbc36a7a source=n_a3e4a097599d edge_type=supports target=n_ffdc7900e451
t=0090 ADD_EDGE edge_id=e_0b2635327cb2 source=n_027f826fc624 edge_type=supports target=n_6dda71201b8a
t=0091 ADD_EDGE edge_id=e_c2837809e3b1 source=n_af3d7f2009f4 edge_type=refutes target=n_225d62f9af55
t=0092 ADD_EDGE edge_id=e_d307ca6b0354 source=n_1691607e2899 edge_type=refutes target=n_dce3f27ef9f1
t=0093 ADD_EDGE edge_id=e_91f5cb2cc403 source=n_ad46cce3c978 edge_type=supports target=n_c87c6f2f0451
t=0094 ADD_EDGE edge_id=e_41fbe54e98f4 source=n_eaf46813d25d edge_type=supports target=n_688e6d3e8b8d
t=0095 ADD_EDGE edge_id=e_c6780d799f38 source=n_861ca4ab5959 edge_type=refutes target=n_134dc374ed0e
t=0096 ADD_EDGE edge_id=e_f81e4523a3a1 source=n_695de4656bfb edge_type=refutes target=n_620cebc8c215
t=0097 ADD_EDGE edge_id=e_6f357685af64 source=n_cd700bdbdb84 edge_type=refutes target=n_3889ece73284
t=0098 ADD_EDGE edge_id=e_b738b7634788 source=n_620cebc8c215 edge_type=supports target=n_32029ba9b93c
t=0099 ADD_EDGE edge_id=e_270fe6c6954a source=n_225d62f9af55 edge_type=supports target=n_44874dc19395
t=0100 ADD_EDGE edge_id=e_a88b522a8631 source=n_7f7e36fc02d1 edge_type=supports target=n_bd68ddd0b71f
t=0101 ADD_EDGE edge_id=e_94ca474ca572 source=n_861ca4ab5959 edge_type=refutes target=n_f715bda09cbf
t=0102 ADD_EDGE edge_id=e_b94a0dcc1490 source=n_d7290954892a edge_type=supports target=n_a3e4a097599d
t=0103 ADD_EDGE edge_id=e_96795b8ae999 source=n_134dc374ed0e edge_type=supports target=n_ca932c3a74b5
t=0104 ADD_EDGE edge_id=e_44ceb60fe1ac source=n_688e6d3e8b8d edge_type=supports target=n_deaec1c5bc3d
t=0105 ADD_EDGE edge_id=e_5ac29dd47d8d source=n_d2ff91d52ffa edge_type=supports target=n_ae269de5202e
t=0106 ADD_EDGE edge_id=e_15caebf0178a source=n_8d4c2ec0c509 edge_type=supports target=n_4a9ef91ce93f
t=0107 ADD_EDGE edge_id=e_c83d75edb392 source=n_06f12d0bcb8c edge_type=refutes target=n_37979da4e373
t=0108 ADD_EDGE edge_id=e_f528f62b6222 source=n_134dc374ed0e edge_type=refutes target=n_a8a56becfe54
t=0109 ADD_EDGE edge_id=e_d6078896be12 source=n_f7cbd9209085 edge_type=supports target=n_cd700bdbdb84
t=0110 ADD_EDGE edge_id=e_a6d49e52c376 source=n_16d2b7bca306 edge_type=refutes target=n_2b68a6fb4ce5
t=0111 ADD_EDGE edge_id=e_cb5b698c7f25 source=n_f69fbec6aee3 edge_type=supports target=n_8d4c2ec0c509
t=0112 ADD_EDGE edge_id=e_0234204b14f3 source=n_f3a0a981cfac edge_type=supports target=n_d2ff91d52ffa
t=0113 ADD_EDGE edge_id=e_28807bc551b2 source=n_c87c6f2f0451 edge_type=refutes target=n_f7cbd9209085
t=0114 ADD_EDGE edge_id=e_33db015e4dde source=n_68e8faa046ae edge_type=supports target=n_eaf46813d25d
t=0115 ADD_EDGE edge_id=e_a12de1f4afe0 source=n_825782a89dda edge_type=refutes target=n_1691607e2899
t=0116 ADD_EDGE edge_id=e_f9b644be1953 source=n_f69fbec6aee3 edge_type=supports target=n_861ca4ab5959
t=0117 ADD_EDGE edge_id=e_252cdd053fab source=n_695de4656bfb edge_type=refutes target=n_442a7bcc8011
t=0118 ADD_EDGE edge_id=e_dd1fbfff6d00 source=n_688e6d3e8b8d edge_type=refutes target=n_a8aa4fc89873
t=0119 ADD_EDGE edge_id=e_674034516781 source=n_f69fbec6aee3 edge_type=supports target=n_50ab8ead51ce
t=0120 ADD_EDGE edge_id=e_1043794005b2 source=n_814609508997 edge_type=supports target=n_7886d2eaceb5
t=0121 ADD_EDGE edge_id=e_6d18d54362ef source=n_764fc357fb94 edge_type=refutes target=n_06f12d0bcb8c
t=0122 ADD_EDGE edge_id=e_34a8e6489c69 source=n_5c393b27a737 edge_type=supports target=n_6a4c371e86f9
t=0123 ADD_EDGE edge_id=e_b8cde74759e5 source=n_cf4600e5a192 edge_type=refutes target=n_402483ec6f32
t=0124 ADD_EDGE edge_id=e_0e58d17fc29c source=n_619d285d473c edge_type=supports target=n_ae76148f0c67
t=0125 ADD_EDGE edge_id=e_dd4fba27819b source=n_f69fbec6aee3 edge_type=refutes target=n_eeb35472654b
t=0126 ADD_EDGE edge_id=e_12d04493545a source=n_861ca4ab5959 edge_type=refutes target=n_814609508997
t=0127 ADD_EDGE edge_id=e_1a16bda4641c source=n_225d62f9af55 edge_type=supports target=n_d4ed105837e8
t=0128 ADD_EDGE edge_id=e_f141d375597a source=n_027f826fc624 edge_type=refutes target=n_f8071c4becd7
t=0129 ADD_EDGE edge_id=e_c79037423c21 source=n_8d4c2ec0c509 edge_type=supports target=n_7f7e36fc02d1
t=0130 ADD_EDGE edge_id=e_d5686ee372fa source=n_402483ec6f32 edge_type=refutes target=n_5c393b27a737
t=0131 ADD_EDGE edge_id=e_0f883f4fe0fa source=n_861ca4ab5959 edge_type=supports target=n_97b768cb1d14
t=0132 ADD_EDGE edge_id=e_e6e62479dff2 source=n_4dc88f4112a8 edge_type=refutes target=n_af3d7f2009f4
t=0133 ADD_EDGE edge_id=e_fdcfc0f90d51 source=n_825782a89dda edge_type=supports target=n_dd75fba34f1d
t=0134 ADD_EDGE edge_id=e_c5ffe9e43fd9 source=n_44874dc19395 edge_type=supports target=n_cf4600e5a192
t=0135 ADD_EDGE edge_id=e_7e66e89cef84 source=n_442a7bcc8011 edge_type=supports target=n_f8147bf11904
t=0136 ADD_EDGE edge_id=e_40db04a4cca4 source=n_2c1464ac2b22 edge_type=supports target=n_4dc88f4112a8
t=0137 ADD_EDGE edge_id=e_dd241c62a52f source=n_7886d2eaceb5 edge_type=refutes target=n_a2365b42d611
t=0138 ADD_EDGE edge_id=e_47fcf1d2cea6 source=n_6dda71201b8a edge_type=refutes target=n_4b444d1c5350
t=0139 ADD_EDGE edge_id=e_acc11eaba131 source=n_2b68a6fb4ce5 edge_type=supports target=n_ad46cce3c978
t=0140 ADD_EDGE edge_id=e_5fd805f828db source=n_825782a89dda edge_type=refutes target=n_c66bba7f20e2
t=0141 ADD_EDGE edge_id=e_436867803190 source=n_825782a89dda edge_type=supports target=n_17502b5955b5
t=0142 ADD_EDGE edge_id=e_69a72d2d3b01 source=n_c66bba7f20e2 edge_type=refutes target=n_0f919cdb1d59
t=0143 QUERY source=n_23d06b4cdba5 target=n_bb23bf255adf
[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_171b381991b3 node_type=claim
t=0001 CREATE_NODE id=n_ce56c2ccc917 node_type=claim
t=0002 CREATE_NODE id=n_6a40560ea86f node_type=claim
t=0003 CREATE_NODE id=n_2062e4b962a1 node_type=claim
t=0004 CREATE_NODE id=n_89da1ed58127 node_type=claim
t=0005 CREATE_NODE id=n_00159c381813 node_type=claim
t=0006 CREATE_NODE id=n_9bd434ba7492 node_type=claim
t=0007 CREATE_NODE id=n_d1158b1cf706 node_type=claim
t=0008 CREATE_NODE id=n_e8c27e14d049 node_type=claim
t=0009 CREATE_NODE id=n_a50725764b1a node_type=claim
t=0010 CREATE_NODE id=n_05aae65e0926 node_type=claim
t=0011 CREATE_NODE id=n_abd6f343d08a node_type=claim
t=0012 CREATE_NODE id=n_44bb89ecdc5b node_type=claim
t=0013 CREATE_NODE id=n_025947528050 node_type=claim
t=0014 CREATE_NODE id=n_8f8dc95428ef node_type=claim
t=0015 CREATE_NODE id=n_9946bb5ef8a1 node_type=claim
t=0016 CREATE_NODE id=n_0001deb4cfdc node_type=claim
t=0017 CREATE_NODE id=n_a3f23f61ceab node_type=claim
t=0018 CREATE_NODE id=n_35ed583d78c3 node_type=claim
t=0019 CREATE_NODE id=n_ce6387c0c5c0 node_type=claim
t=0020 CREATE_NODE id=n_a458e2f47625 node_type=claim
t=0021 CREATE_NODE id=n_ae17c484b0e1 node_type=claim
t=0022 CREATE_NODE id=n_f88b573a64ee node_type=claim
t=0023 CREATE_NODE id=n_fdc2eaf86fd8 node_type=claim
t=0024 CREATE_NODE id=n_094255b4b355 node_type=claim
t=0025 CREATE_NODE id=n_7392b904af12 node_type=claim
t=0026 CREATE_NODE id=n_aefbe914fb95 node_type=claim
t=0027 CREATE_NODE id=n_c856b5059630 node_type=claim
t=0028 CREATE_NODE id=n_35f68c0ef518 node_type=claim
t=0029 CREATE_NODE id=n_408312b5e361 node_type=claim
t=0030 CREATE_NODE id=n_941eeed5f981 node_type=claim
t=0031 CREATE_NODE id=n_d1307cb3477d node_type=claim
t=0032 CREATE_NODE id=n_6d48a617f4aa node_type=claim
t=0033 CREATE_NODE id=n_f02da5faad2c node_type=claim
t=0034 CREATE_NODE id=n_75ff3a75e0a9 node_type=claim
t=0035 CREATE_NODE id=n_39f21836402e node_type=claim
t=0036 CREATE_NODE id=n_ade9c6459e13 node_type=claim
t=0037 CREATE_NODE id=n_945434156314 node_type=claim
t=0038 CREATE_NODE id=n_85651c36bd46 node_type=claim
t=0039 CREATE_NODE id=n_410e86cba23f node_type=claim
t=0040 CREATE_NODE id=n_0c9e10ed91a5 node_type=claim
t=0041 CREATE_NODE id=n_c0ead678a34f node_type=claim
t=0042 CREATE_NODE id=n_751503a82015 node_type=claim
t=0043 CREATE_NODE id=n_21575aad9772 node_type=claim
t=0044 CREATE_NODE id=n_caefdf60b546 node_type=claim
t=0045 CREATE_NODE id=n_fc8b1955eaff node_type=claim
t=0046 CREATE_NODE id=n_d2b6b3bb0abf node_type=claim
t=0047 CREATE_NODE id=n_13559aa7f962 node_type=claim
t=0048 CREATE_NODE id=n_ce1295c6a3d7 node_type=claim
t=0049 CREATE_NODE id=n_2d92ed6c8dff node_type=claim
t=0050 CREATE_NODE id=n_bced387a7452 node_type=claim
t=0051 CREATE_NODE id=n_246315523602 node_type=claim
t=0052 CREATE_NODE id=n_8ed2448bf71f node_type=claim
t=0053 CREATE_NODE id=n_4f03f82177d9 node_type=claim
t=0054 CREATE_NODE id=n_1a9a0c31a19c node_type=claim
t=0055 CREATE_NODE id=n_9b43fde67e2b node_type=claim
t=0056 CREATE_NODE id=n_4b825c459e5c node_type=claim
t=0057 CREATE_NODE id=n_9ab8774d4eda node_type=claim
t=0058 CREATE_NODE id=n_86ed563f80d9 node_type=claim
t=0059 CREATE_NODE id=n_faa87dde6200 node_type=claim
t=0060 CREATE_NODE id=n_747a6980ff18 node_type=claim
t=0061 CREATE_NODE id=n_19f45ed51289 node_type=claim
t=0062 CREATE_NODE id=n_580d2d9d7de0 node_type=claim
t=0063 CREATE_NODE id=n_7ca8acb1561b node_type=claim
t=0064 CREATE_NODE id=n_1fdb61b55819 node_type=claim
t=0065 CREATE_NODE id=n_bfda5e803123 node_type=claim
t=0066 CREATE_NODE id=n_3b6624db2f77 node_type=claim
t=0067 CREATE_NODE id=n_1a9cecfabc52 node_type=claim
t=0068 CREATE_NODE id=n_8853c31f00fd node_type=claim
t=0069 CREATE_NODE id=n_592fc21340d1 node_type=claim
t=0070 CREATE_NODE id=n_29d06b87e518 node_type=claim
t=0071 CREATE_NODE id=n_f5688b9db07c node_type=claim
t=0072 ASSERT_ROOT node=n_29d06b87e518 value=FALSE
t=0073 ADD_EDGE edge_id=e_ac4df748ae74 source=n_85651c36bd46 edge_type=supports target=n_094255b4b355
t=0074 ADD_EDGE edge_id=e_bce0192e1f21 source=n_410e86cba23f edge_type=supports target=n_a50725764b1a
t=0075 ADD_EDGE edge_id=e_67f844b05f42 source=n_0001deb4cfdc edge_type=refutes target=n_75ff3a75e0a9
t=0076 ADD_EDGE edge_id=e_ebae82417aa4 source=n_f88b573a64ee edge_type=supports target=n_13559aa7f962
t=0077 ADD_EDGE edge_id=e_4988760861c7 source=n_2d92ed6c8dff edge_type=refutes target=n_1fdb61b55819
t=0078 ADD_EDGE edge_id=e_6b705c439bcf source=n_2d92ed6c8dff edge_type=supports target=n_747a6980ff18
t=0079 ADD_EDGE edge_id=e_5cd768eb3503 source=n_751503a82015 edge_type=refutes target=n_fc8b1955eaff
t=0080 ADD_EDGE edge_id=e_8b9078686d55 source=n_6d48a617f4aa edge_type=refutes target=n_580d2d9d7de0
t=0081 ADD_EDGE edge_id=e_37c4b196aed5 source=n_0c9e10ed91a5 edge_type=refutes target=n_7ca8acb1561b
t=0082 ADD_EDGE edge_id=e_58ae54f34b00 source=n_f88b573a64ee edge_type=supports target=n_f02da5faad2c
t=0083 ADD_EDGE edge_id=e_9b2792c6034d source=n_2d92ed6c8dff edge_type=refutes target=n_751503a82015
t=0084 ADD_EDGE edge_id=e_ae328164ab58 source=n_c0ead678a34f edge_type=supports target=n_00159c381813
t=0085 ADD_EDGE edge_id=e_b64c53365bc6 source=n_13559aa7f962 edge_type=supports target=n_1a9cecfabc52
t=0086 ADD_EDGE edge_id=e_15e47d615f8b source=n_747a6980ff18 edge_type=supports target=n_0c9e10ed91a5
t=0087 ADD_EDGE edge_id=e_22308806e26f source=n_592fc21340d1 edge_type=supports target=n_4f03f82177d9
t=0088 ADD_EDGE edge_id=e_2f1de2deff35 source=n_2d92ed6c8dff edge_type=supports target=n_9b43fde67e2b
t=0089 ADD_EDGE edge_id=e_d613e5157eb0 source=n_751503a82015 edge_type=supports target=n_8f8dc95428ef
t=0090 ADD_EDGE edge_id=e_d98c9dfb3619 source=n_171b381991b3 edge_type=refutes target=n_ce6387c0c5c0
t=0091 ADD_EDGE edge_id=e_3858ab95eb2e source=n_2062e4b962a1 edge_type=supports target=n_7392b904af12
t=0092 ADD_EDGE edge_id=e_6b7d760c926a source=n_abd6f343d08a edge_type=refutes target=n_d1158b1cf706
t=0093 ADD_EDGE edge_id=e_12b13a362110 source=n_bfda5e803123 edge_type=supports target=n_592fc21340d1
t=0094 ADD_EDGE edge_id=e_4c0a2ad765cb source=n_751503a82015 edge_type=refutes target=n_410e86cba23f
t=0095 ADD_EDGE edge_id=e_f5271b37a94b source=n_85651c36bd46 edge_type=refutes target=n_35ed583d78c3
t=0096 ADD_EDGE edge_id=e_d434440ce952 source=n_2d92ed6c8dff edge_type=supports target=n_85651c36bd46
t=0097 ADD_EDGE edge_id=e_9731d4631fc2 source=n_e8c27e14d049 edge_type=refutes target=n_89da1ed58127
t=0098 ADD_EDGE edge_id=e_108eef9d47ee source=n_747a6980ff18 edge_type=supports target=n_9946bb5ef8a1
t=0099 ADD_EDGE edge_id=e_33e5a8fa1028 source=n_29d06b87e518 edge_type=refutes target=n_19f45ed51289
t=0100 ADD_EDGE edge_id=e_9646ca98a63a source=n_f88b573a64ee edge_type=supports target=n_f5688b9db07c
t=0101 ADD_EDGE edge_id=e_487bc11e55ff source=n_89da1ed58127 edge_type=supports target=n_d1307cb3477d
t=0102 ADD_EDGE edge_id=e_27178bb490a0 source=n_4b825c459e5c edge_type=refutes target=n_a3f23f61ceab
t=0103 ADD_EDGE edge_id=e_d234dfe05ad0 source=n_941eeed5f981 edge_type=supports target=n_ce56c2ccc917
t=0104 ADD_EDGE edge_id=e_c3cef04446d3 source=n_05aae65e0926 edge_type=refutes target=n_39f21836402e
t=0105 ADD_EDGE edge_id=e_77da87e9dc32 source=n_44bb89ecdc5b edge_type=supports target=n_fdc2eaf86fd8
t=0106 ADD_EDGE edge_id=e_c71aff088c95 source=n_abd6f343d08a edge_type=refutes target=n_ade9c6459e13
t=0107 ADD_EDGE edge_id=e_92b1810a2d61 source=n_a3f23f61ceab edge_type=refutes target=n_abd6f343d08a
t=0108 ADD_EDGE edge_id=e_e8c534d38b20 source=n_85651c36bd46 edge_type=supports target=n_bced387a7452
t=0109 ADD_EDGE edge_id=e_d9fd93cd39c3 source=n_025947528050 edge_type=supports target=n_6d48a617f4aa
t=0110 ADD_EDGE edge_id=e_ac795b68eec9 source=n_9ab8774d4eda edge_type=refutes target=n_9bd434ba7492
t=0111 ADD_EDGE edge_id=e_1957f42a06ab source=n_bced387a7452 edge_type=refutes target=n_2062e4b962a1
t=0112 ADD_EDGE edge_id=e_63d7381881d8 source=n_bced387a7452 edge_type=refutes target=n_8ed2448bf71f
t=0113 ADD_EDGE edge_id=e_03bd3c65b3a3 source=n_d2b6b3bb0abf edge_type=supports target=n_21575aad9772
t=0114 ADD_EDGE edge_id=e_d62d101c4309 source=n_d1158b1cf706 edge_type=refutes target=n_171b381991b3
t=0115 ADD_EDGE edge_id=e_0cab5681daab source=n_fdc2eaf86fd8 edge_type=refutes target=n_1a9a0c31a19c
t=0116 ADD_EDGE edge_id=e_aad46eee9ae6 source=n_faa87dde6200 edge_type=refutes target=n_c856b5059630
t=0117 ADD_EDGE edge_id=e_2d54d0af7e73 source=n_945434156314 edge_type=refutes target=n_05aae65e0926
t=0118 ADD_EDGE edge_id=e_dde4623cc269 source=n_3b6624db2f77 edge_type=refutes target=n_f88b573a64ee
t=0119 ADD_EDGE edge_id=e_f8d5852f0c63 source=n_2d92ed6c8dff edge_type=supports target=n_a458e2f47625
t=0120 ADD_EDGE edge_id=e_d4444f59447c source=n_6a40560ea86f edge_type=refutes target=n_941eeed5f981
t=0121 ADD_EDGE edge_id=e_4f33cd9073d0 source=n_f88b573a64ee edge_type=supports target=n_9ab8774d4eda
t=0122 ADD_EDGE edge_id=e_0bfe20dbfb5c source=n_1a9a0c31a19c edge_type=supports target=n_bfda5e803123
t=0123 ADD_EDGE edge_id=e_7b01c9e3a932 source=n_4f03f82177d9 edge_type=refutes target=n_246315523602
t=0124 ADD_EDGE edge_id=e_7991404b5784 source=n_19f45ed51289 edge_type=refutes target=n_d2b6b3bb0abf
t=0125 ADD_EDGE edge_id=e_879dc58d2482 source=n_246315523602 edge_type=supports target=n_8853c31f00fd
t=0126 ADD_EDGE edge_id=e_e2c2838b1c23 source=n_d1307cb3477d edge_type=refutes target=n_6a40560ea86f
t=0127 ADD_EDGE edge_id=e_2039254453c6 source=n_21575aad9772 edge_type=refutes target=n_945434156314
t=0128 ADD_EDGE edge_id=e_8b51b1d2ff6d source=n_747a6980ff18 edge_type=supports target=n_0001deb4cfdc
t=0129 ADD_EDGE edge_id=e_fd5c54a3ebd0 source=n_ae17c484b0e1 edge_type=supports target=n_e8c27e14d049
t=0130 ADD_EDGE edge_id=e_47d333eba82d source=n_171b381991b3 edge_type=refutes target=n_025947528050
t=0131 ADD_EDGE edge_id=e_adb61d66982d source=n_a50725764b1a edge_type=supports target=n_aefbe914fb95
t=0132 ADD_EDGE edge_id=e_8a7812b07649 source=n_6d48a617f4aa edge_type=supports target=n_408312b5e361
t=0133 ADD_EDGE edge_id=e_895273bf1ef9 source=n_0c9e10ed91a5 edge_type=supports target=n_86ed563f80d9
t=0134 ADD_EDGE edge_id=e_4de229903005 source=n_8853c31f00fd edge_type=refutes target=n_4b825c459e5c
t=0135 ADD_EDGE edge_id=e_37a6c3f66ddd source=n_751503a82015 edge_type=supports target=n_3b6624db2f77
t=0136 ADD_EDGE edge_id=e_b1e9b90011c6 source=n_faa87dde6200 edge_type=supports target=n_caefdf60b546
t=0137 ADD_EDGE edge_id=e_ce2465829ba0 source=n_c856b5059630 edge_type=refutes target=n_ae17c484b0e1
t=0138 ADD_EDGE edge_id=e_15d4de538018 source=n_39f21836402e edge_type=refutes target=n_faa87dde6200
t=0139 ADD_EDGE edge_id=e_ff2b80fc7d6d source=n_35ed583d78c3 edge_type=refutes target=n_35f68c0ef518
t=0140 ADD_EDGE edge_id=e_55736cd77292 source=n_ce56c2ccc917 edge_type=refutes target=n_44bb89ecdc5b
t=0141 ADD_EDGE edge_id=e_85122e94c325 source=n_a458e2f47625 edge_type=supports target=n_c0ead678a34f
t=0142 ADD_EDGE edge_id=e_d0363a12ea5b source=n_2d92ed6c8dff edge_type=supports target=n_ce1295c6a3d7
t=0143 QUERY source=n_29d06b87e518 target=n_408312b5e361
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.