[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_0a0c3bdfb63d node_type=claim
t=0001 CREATE_NODE id=n_1aa181cde640 node_type=claim
t=0002 CREATE_NODE id=n_f0a02014ae67 node_type=claim
t=0003 CREATE_NODE id=n_11adacd9cef0 node_type=claim
t=0004 CREATE_NODE id=n_ca0a64612449 node_type=claim
t=0005 CREATE_NODE id=n_d07a2f00d510 node_type=claim
t=0006 CREATE_NODE id=n_2e4302ef76e7 node_type=claim
t=0007 CREATE_NODE id=n_c78275c5e50f node_type=claim
t=0008 CREATE_NODE id=n_7b6348bc4379 node_type=claim
t=0009 CREATE_NODE id=n_1db7639fc058 node_type=claim
t=0010 CREATE_NODE id=n_3b3bb51b2786 node_type=claim
t=0011 CREATE_NODE id=n_96f6ac49605b node_type=claim
t=0012 CREATE_NODE id=n_45f9f62d07e7 node_type=claim
t=0013 CREATE_NODE id=n_2cd0c59f046c node_type=claim
t=0014 CREATE_NODE id=n_7ccc3bdc1ca5 node_type=claim
t=0015 CREATE_NODE id=n_bfa4604ba11d node_type=claim
t=0016 CREATE_NODE id=n_e8984bc14da5 node_type=claim
t=0017 CREATE_NODE id=n_a4eb0153a2ff node_type=claim
t=0018 CREATE_NODE id=n_e384b993946b node_type=claim
t=0019 CREATE_NODE id=n_c1d6f033e09c node_type=claim
t=0020 CREATE_NODE id=n_2b6c6dc56f8a node_type=claim
t=0021 CREATE_NODE id=n_d17bc6461b15 node_type=claim
t=0022 CREATE_NODE id=n_ce9a8b952a77 node_type=claim
t=0023 CREATE_NODE id=n_a2585a130f5d node_type=claim
t=0024 CREATE_NODE id=n_205559b2b8b2 node_type=claim
t=0025 CREATE_NODE id=n_8d7c59717d36 node_type=claim
t=0026 CREATE_NODE id=n_8c02f4acd09d node_type=claim
t=0027 CREATE_NODE id=n_81ff39c581a7 node_type=claim
t=0028 CREATE_NODE id=n_35de98e3fad9 node_type=claim
t=0029 CREATE_NODE id=n_6da04fb77aef node_type=claim
t=0030 CREATE_NODE id=n_af5261f16cde node_type=claim
t=0031 CREATE_NODE id=n_c256e9c33ecf node_type=claim
t=0032 CREATE_NODE id=n_8afe1a6f50f1 node_type=claim
t=0033 CREATE_NODE id=n_5d83a6ba5031 node_type=claim
t=0034 CREATE_NODE id=n_2bd695161db1 node_type=claim
t=0035 CREATE_NODE id=n_6e850c680eac node_type=claim
t=0036 CREATE_NODE id=n_cac096597743 node_type=claim
t=0037 CREATE_NODE id=n_a5a4ee222a81 node_type=claim
t=0038 CREATE_NODE id=n_c49887ef665f node_type=claim
t=0039 CREATE_NODE id=n_5df2d0413d31 node_type=claim
t=0040 CREATE_NODE id=n_1aec37c2ffd5 node_type=claim
t=0041 CREATE_NODE id=n_2c0c404bb4de node_type=claim
t=0042 CREATE_NODE id=n_e44743245018 node_type=claim
t=0043 CREATE_NODE id=n_89386b153eac node_type=claim
t=0044 CREATE_NODE id=n_ecdff17d2529 node_type=claim
t=0045 CREATE_NODE id=n_ced28aedd5fc node_type=claim
t=0046 CREATE_NODE id=n_86d947768728 node_type=claim
t=0047 CREATE_NODE id=n_76bde1c6c9e7 node_type=claim
t=0048 CREATE_NODE id=n_4f355cf05a07 node_type=claim
t=0049 CREATE_NODE id=n_bef32c065c2d node_type=claim
t=0050 CREATE_NODE id=n_8cc59d0c8b82 node_type=claim
t=0051 CREATE_NODE id=n_26ddd3072261 node_type=claim
t=0052 ASSERT_ROOT node=n_c49887ef665f value=FALSE
t=0053 ADD_EDGE edge_id=e_f6ee9f59b897 source=n_ced28aedd5fc edge_type=supports target=n_cac096597743
t=0054 ADD_EDGE edge_id=e_d7209c7c7770 source=n_2bd695161db1 edge_type=supports target=n_ce9a8b952a77
t=0055 ADD_EDGE edge_id=e_cc49a27ff317 source=n_5d83a6ba5031 edge_type=supports target=n_7b6348bc4379
t=0056 ADD_EDGE edge_id=e_297272308933 source=n_3b3bb51b2786 edge_type=refutes target=n_2cd0c59f046c
t=0057 ADD_EDGE edge_id=e_75bdfc54bab3 source=n_1db7639fc058 edge_type=supports target=n_3b3bb51b2786
t=0058 ADD_EDGE edge_id=e_77e06842918e source=n_2bd695161db1 edge_type=refutes target=n_a5a4ee222a81
t=0059 ADD_EDGE edge_id=e_b559f0809c87 source=n_e384b993946b edge_type=supports target=n_205559b2b8b2
t=0060 ADD_EDGE edge_id=e_8e8c85c24cc9 source=n_d07a2f00d510 edge_type=supports target=n_5df2d0413d31
t=0061 ADD_EDGE edge_id=e_d1a7fd6c3fc7 source=n_ced28aedd5fc edge_type=refutes target=n_2c0c404bb4de
t=0062 ADD_EDGE edge_id=e_d1273e1a6918 source=n_81ff39c581a7 edge_type=refutes target=n_1aec37c2ffd5
t=0063 ADD_EDGE edge_id=e_e80e8a4a2d02 source=n_c49887ef665f edge_type=refutes target=n_26ddd3072261
t=0064 ADD_EDGE edge_id=e_ead67e9b833d source=n_2e4302ef76e7 edge_type=supports target=n_e384b993946b
t=0065 ADD_EDGE edge_id=e_4148ebc9c3e8 source=n_af5261f16cde edge_type=refutes target=n_c78275c5e50f
t=0066 ADD_EDGE edge_id=e_8d11652e5dd2 source=n_ecdff17d2529 edge_type=supports target=n_8c02f4acd09d
t=0067 ADD_EDGE edge_id=e_f8688fc8ad7f source=n_ca0a64612449 edge_type=supports target=n_76bde1c6c9e7
t=0068 ADD_EDGE edge_id=e_ba9e76d6ea35 source=n_2c0c404bb4de edge_type=refutes target=n_0a0c3bdfb63d
t=0069 ADD_EDGE edge_id=e_e19255ab4cf8 source=n_86d947768728 edge_type=supports target=n_af5261f16cde
t=0070 ADD_EDGE edge_id=e_da4eef0f99c3 source=n_ecdff17d2529 edge_type=supports target=n_6e850c680eac
t=0071 ADD_EDGE edge_id=e_8cd00728d752 source=n_5df2d0413d31 edge_type=refutes target=n_2b6c6dc56f8a
t=0072 ADD_EDGE edge_id=e_b9637c6538a7 source=n_7b6348bc4379 edge_type=supports target=n_d07a2f00d510
t=0073 ADD_EDGE edge_id=e_7dc013436671 source=n_8cc59d0c8b82 edge_type=supports target=n_5d83a6ba5031
t=0074 ADD_EDGE edge_id=e_c0260f40c0b8 source=n_11adacd9cef0 edge_type=supports target=n_bef32c065c2d
t=0075 ADD_EDGE edge_id=e_853857fd45de source=n_81ff39c581a7 edge_type=supports target=n_11adacd9cef0
t=0076 ADD_EDGE edge_id=e_551d665bedc8 source=n_c1d6f033e09c edge_type=supports target=n_96f6ac49605b
t=0077 ADD_EDGE edge_id=e_ec35baffcfa0 source=n_6e850c680eac edge_type=refutes target=n_8cc59d0c8b82
t=0078 ADD_EDGE edge_id=e_a2b472f31e20 source=n_ced28aedd5fc edge_type=supports target=n_c256e9c33ecf
t=0079 ADD_EDGE edge_id=e_26de59ed3b3e source=n_2b6c6dc56f8a edge_type=supports target=n_8afe1a6f50f1
t=0080 ADD_EDGE edge_id=e_96edb958bced source=n_35de98e3fad9 edge_type=refutes target=n_89386b153eac
t=0081 ADD_EDGE edge_id=e_77a88f4c7a5f source=n_6da04fb77aef edge_type=supports target=n_1db7639fc058
t=0082 ADD_EDGE edge_id=e_ec491bcc448b source=n_ce9a8b952a77 edge_type=refutes target=n_bfa4604ba11d
t=0083 ADD_EDGE edge_id=e_e92a2278000c source=n_c49887ef665f edge_type=supports target=n_ecdff17d2529
t=0084 ADD_EDGE edge_id=e_b32712f2e2c0 source=n_ce9a8b952a77 edge_type=refutes target=n_a2585a130f5d
t=0085 ADD_EDGE edge_id=e_2b88cf37816f source=n_2bd695161db1 edge_type=supports target=n_81ff39c581a7
t=0086 ADD_EDGE edge_id=e_5dcc545e4a2a source=n_ce9a8b952a77 edge_type=refutes target=n_a4eb0153a2ff
t=0087 ADD_EDGE edge_id=e_0cfe9e74705c source=n_4f355cf05a07 edge_type=refutes target=n_2e4302ef76e7
t=0088 ADD_EDGE edge_id=e_e60f257e85a4 source=n_76bde1c6c9e7 edge_type=refutes target=n_e44743245018
t=0089 ADD_EDGE edge_id=e_85133ade10c4 source=n_8d7c59717d36 edge_type=refutes target=n_e8984bc14da5
t=0090 ADD_EDGE edge_id=e_fe973b1a4f23 source=n_a2585a130f5d edge_type=refutes target=n_ced28aedd5fc
t=0091 ADD_EDGE edge_id=e_f222209080d8 source=n_d07a2f00d510 edge_type=refutes target=n_45f9f62d07e7
t=0092 ADD_EDGE edge_id=e_a9fae6316e0b source=n_0a0c3bdfb63d edge_type=refutes target=n_7ccc3bdc1ca5
t=0093 ADD_EDGE edge_id=e_e2b2c9e3da82 source=n_96f6ac49605b edge_type=refutes target=n_6da04fb77aef
t=0094 ADD_EDGE edge_id=e_82c66ea6d278 source=n_a4eb0153a2ff edge_type=refutes target=n_8d7c59717d36
t=0095 ADD_EDGE edge_id=e_269315e71227 source=n_2c0c404bb4de edge_type=refutes target=n_35de98e3fad9
t=0096 ADD_EDGE edge_id=e_18f9df658960 source=n_2b6c6dc56f8a edge_type=supports target=n_4f355cf05a07
t=0097 ADD_EDGE edge_id=e_cda3c04b3d2a source=n_2cd0c59f046c edge_type=supports target=n_ca0a64612449
t=0098 ADD_EDGE edge_id=e_ce3064834bdf source=n_11adacd9cef0 edge_type=supports target=n_1aa181cde640
t=0099 ADD_EDGE edge_id=e_64ad970a607e source=n_a2585a130f5d edge_type=refutes target=n_86d947768728
t=0100 ADD_EDGE edge_id=e_b7351297bce3 source=n_a5a4ee222a81 edge_type=supports target=n_f0a02014ae67
t=0101 ADD_EDGE edge_id=e_196730758897 source=n_205559b2b8b2 edge_type=refutes target=n_c1d6f033e09c
t=0102 ADD_EDGE edge_id=e_b49f719f0bda source=n_2c0c404bb4de edge_type=refutes target=n_d17bc6461b15
t=0103 QUERY source=n_c49887ef665f target=n_e44743245018
[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_51eb1aa0ad2b node_type=claim
t=0001 CREATE_NODE id=n_ff42e374c334 node_type=claim
t=0002 CREATE_NODE id=n_55a90be48d65 node_type=claim
t=0003 CREATE_NODE id=n_55c393cbff20 node_type=claim
t=0004 CREATE_NODE id=n_be8f47e4c4fd node_type=claim
t=0005 CREATE_NODE id=n_a6247e44721c node_type=claim
t=0006 CREATE_NODE id=n_f4bdc552b430 node_type=claim
t=0007 CREATE_NODE id=n_2837204b601a node_type=claim
t=0008 CREATE_NODE id=n_b64b38752ffd node_type=claim
t=0009 CREATE_NODE id=n_f85cc34b12de node_type=claim
t=0010 CREATE_NODE id=n_16857bbbf532 node_type=claim
t=0011 CREATE_NODE id=n_50a25d10ea11 node_type=claim
t=0012 CREATE_NODE id=n_fcfa0e06930a node_type=claim
t=0013 CREATE_NODE id=n_f42b8619af5b node_type=claim
t=0014 CREATE_NODE id=n_d83d9d88e44a node_type=claim
t=0015 CREATE_NODE id=n_33f761eecd35 node_type=claim
t=0016 CREATE_NODE id=n_1faf4e750818 node_type=claim
t=0017 CREATE_NODE id=n_c3947676c411 node_type=claim
t=0018 CREATE_NODE id=n_530a3d0df064 node_type=claim
t=0019 CREATE_NODE id=n_6fcbb3a690d6 node_type=claim
t=0020 CREATE_NODE id=n_446444ab2ae4 node_type=claim
t=0021 CREATE_NODE id=n_3111f029c380 node_type=claim
t=0022 CREATE_NODE id=n_84ffcf11f9d2 node_type=claim
t=0023 CREATE_NODE id=n_307c163da710 node_type=claim
t=0024 CREATE_NODE id=n_078fc576ecb8 node_type=claim
t=0025 CREATE_NODE id=n_21de0bd27663 node_type=claim
t=0026 CREATE_NODE id=n_472bde507003 node_type=claim
t=0027 CREATE_NODE id=n_612e6ea1632e node_type=claim
t=0028 CREATE_NODE id=n_3f9499bfc599 node_type=claim
t=0029 CREATE_NODE id=n_b927e20ee201 node_type=claim
t=0030 CREATE_NODE id=n_6cbfa433e663 node_type=claim
t=0031 CREATE_NODE id=n_b11f675ca4e9 node_type=claim
t=0032 CREATE_NODE id=n_131b1bdc5059 node_type=claim
t=0033 CREATE_NODE id=n_669d4d5ec63c node_type=claim
t=0034 CREATE_NODE id=n_8f06f42b1f11 node_type=claim
t=0035 CREATE_NODE id=n_1a2f688d8463 node_type=claim
t=0036 CREATE_NODE id=n_6ffde44ccb41 node_type=claim
t=0037 CREATE_NODE id=n_28143db148cd node_type=claim
t=0038 CREATE_NODE id=n_42122b5cc3de node_type=claim
t=0039 CREATE_NODE id=n_663dee05c4d4 node_type=claim
t=0040 CREATE_NODE id=n_e9839b4134f5 node_type=claim
t=0041 CREATE_NODE id=n_415f149417f7 node_type=claim
t=0042 CREATE_NODE id=n_fa8f0c53d359 node_type=claim
t=0043 CREATE_NODE id=n_8ecb16ef7a8f node_type=claim
t=0044 CREATE_NODE id=n_0406050684b1 node_type=claim
t=0045 CREATE_NODE id=n_db8fc189c9e2 node_type=claim
t=0046 CREATE_NODE id=n_78b8b6e754a8 node_type=claim
t=0047 CREATE_NODE id=n_c008e1a50424 node_type=claim
t=0048 CREATE_NODE id=n_db3110b81b64 node_type=claim
t=0049 CREATE_NODE id=n_252d6029533c node_type=claim
t=0050 CREATE_NODE id=n_eabb1b3cc156 node_type=claim
t=0051 CREATE_NODE id=n_19babe032c75 node_type=claim
t=0052 ASSERT_ROOT node=n_84ffcf11f9d2 value=TRUE
t=0053 ADD_EDGE edge_id=e_4827a7dd0adb source=n_b11f675ca4e9 edge_type=supports target=n_1a2f688d8463
t=0054 ADD_EDGE edge_id=e_dea96a3288f8 source=n_33f761eecd35 edge_type=refutes target=n_669d4d5ec63c
t=0055 ADD_EDGE edge_id=e_2e8b91a1f161 source=n_d83d9d88e44a edge_type=refutes target=n_b11f675ca4e9
t=0056 ADD_EDGE edge_id=e_1a80fc8e00ce source=n_669d4d5ec63c edge_type=supports target=n_6cbfa433e663
t=0057 ADD_EDGE edge_id=e_b56685faef35 source=n_472bde507003 edge_type=refutes target=n_663dee05c4d4
t=0058 ADD_EDGE edge_id=e_3edd9214341e source=n_84ffcf11f9d2 edge_type=refutes target=n_55c393cbff20
t=0059 ADD_EDGE edge_id=e_4805bf8c4bfe source=n_f4bdc552b430 edge_type=supports target=n_3111f029c380
t=0060 ADD_EDGE edge_id=e_a7ec1944ed33 source=n_78b8b6e754a8 edge_type=refutes target=n_ff42e374c334
t=0061 ADD_EDGE edge_id=e_eb4181a8d9f5 source=n_19babe032c75 edge_type=refutes target=n_8ecb16ef7a8f
t=0062 ADD_EDGE edge_id=e_10aa92daf7a2 source=n_28143db148cd edge_type=refutes target=n_6ffde44ccb41
t=0063 ADD_EDGE edge_id=e_91bb8359c4a7 source=n_db8fc189c9e2 edge_type=supports target=n_fcfa0e06930a
t=0064 ADD_EDGE edge_id=e_437f658776d4 source=n_c3947676c411 edge_type=refutes target=n_33f761eecd35
t=0065 ADD_EDGE edge_id=e_592430744d40 source=n_446444ab2ae4 edge_type=supports target=n_db8fc189c9e2
t=0066 ADD_EDGE edge_id=e_42f4d42b69a4 source=n_6cbfa433e663 edge_type=refutes target=n_a6247e44721c
t=0067 ADD_EDGE edge_id=e_f256e7a8b598 source=n_415f149417f7 edge_type=refutes target=n_b927e20ee201
t=0068 ADD_EDGE edge_id=e_f877f3dbce12 source=n_d83d9d88e44a edge_type=supports target=n_307c163da710
t=0069 ADD_EDGE edge_id=e_0de9b78bb253 source=n_6cbfa433e663 edge_type=supports target=n_51eb1aa0ad2b
t=0070 ADD_EDGE edge_id=e_6d8b08e18c0d source=n_0406050684b1 edge_type=supports target=n_e9839b4134f5
t=0071 ADD_EDGE edge_id=e_fae8dc143761 source=n_307c163da710 edge_type=refutes target=n_b64b38752ffd
t=0072 ADD_EDGE edge_id=e_c8c1c3f7e0e8 source=n_eabb1b3cc156 edge_type=refutes target=n_f42b8619af5b
t=0073 ADD_EDGE edge_id=e_43f50cf04e62 source=n_3f9499bfc599 edge_type=refutes target=n_530a3d0df064
t=0074 ADD_EDGE edge_id=e_919279fd385c source=n_8f06f42b1f11 edge_type=supports target=n_19babe032c75
t=0075 ADD_EDGE edge_id=e_158271fc74d0 source=n_db3110b81b64 edge_type=refutes target=n_d83d9d88e44a
t=0076 ADD_EDGE edge_id=e_4682319a8eb3 source=n_db3110b81b64 edge_type=supports target=n_6fcbb3a690d6
t=0077 ADD_EDGE edge_id=e_0717544e45c6 source=n_415f149417f7 edge_type=refutes target=n_8f06f42b1f11
t=0078 ADD_EDGE edge_id=e_d0bb394e705f source=n_530a3d0df064 edge_type=supports target=n_50a25d10ea11
t=0079 ADD_EDGE edge_id=e_2b8e9c1d5981 source=n_f42b8619af5b edge_type=supports target=n_c008e1a50424
t=0080 ADD_EDGE edge_id=e_627c0efdc170 source=n_db3110b81b64 edge_type=refutes target=n_415f149417f7
t=0081 ADD_EDGE edge_id=e_05d1e1a611d7 source=n_3111f029c380 edge_type=refutes target=n_78b8b6e754a8
t=0082 ADD_EDGE edge_id=e_77f7619c9511 source=n_f4bdc552b430 edge_type=supports target=n_55a90be48d65
t=0083 ADD_EDGE edge_id=e_e6aaf8eb4383 source=n_8f06f42b1f11 edge_type=refutes target=n_0406050684b1
t=0084 ADD_EDGE edge_id=e_22f292c7d258 source=n_131b1bdc5059 edge_type=supports target=n_eabb1b3cc156
t=0085 ADD_EDGE edge_id=e_554e352cdb8f source=n_1a2f688d8463 edge_type=supports target=n_21de0bd27663
t=0086 ADD_EDGE edge_id=e_480485151217 source=n_db3110b81b64 edge_type=supports target=n_f85cc34b12de
t=0087 ADD_EDGE edge_id=e_551e55da8d77 source=n_db8fc189c9e2 edge_type=refutes target=n_f4bdc552b430
t=0088 ADD_EDGE edge_id=e_91e4a945fc9d source=n_ff42e374c334 edge_type=supports target=n_131b1bdc5059
t=0089 ADD_EDGE edge_id=e_ad8d4def9053 source=n_415f149417f7 edge_type=supports target=n_078fc576ecb8
t=0090 ADD_EDGE edge_id=e_f3a51ad76a5a source=n_55c393cbff20 edge_type=supports target=n_28143db148cd
t=0091 ADD_EDGE edge_id=e_e0fc0d0d6103 source=n_21de0bd27663 edge_type=refutes target=n_252d6029533c
t=0092 ADD_EDGE edge_id=e_0cc3710aa7d1 source=n_e9839b4134f5 edge_type=supports target=n_472bde507003
t=0093 ADD_EDGE edge_id=e_0644a516481c source=n_db3110b81b64 edge_type=supports target=n_16857bbbf532
t=0094 ADD_EDGE edge_id=e_8710b5b44329 source=n_50a25d10ea11 edge_type=supports target=n_c3947676c411
t=0095 ADD_EDGE edge_id=e_275e6348ff94 source=n_28143db148cd edge_type=refutes target=n_3f9499bfc599
t=0096 ADD_EDGE edge_id=e_c252794319f0 source=n_51eb1aa0ad2b edge_type=supports target=n_446444ab2ae4
t=0097 ADD_EDGE edge_id=e_564b092c3115 source=n_b11f675ca4e9 edge_type=refutes target=n_42122b5cc3de
t=0098 ADD_EDGE edge_id=e_3032eb144d32 source=n_663dee05c4d4 edge_type=refutes target=n_2837204b601a
t=0099 ADD_EDGE edge_id=e_f6b312fb2068 source=n_c008e1a50424 edge_type=refutes target=n_612e6ea1632e
t=0100 ADD_EDGE edge_id=e_1b6e5734e329 source=n_b11f675ca4e9 edge_type=supports target=n_1faf4e750818
t=0101 ADD_EDGE edge_id=e_1859512278ca source=n_d83d9d88e44a edge_type=supports target=n_fa8f0c53d359
t=0102 ADD_EDGE edge_id=e_106f886b88f9 source=n_1a2f688d8463 edge_type=refutes target=n_be8f47e4c4fd
t=0103 QUERY source=n_84ffcf11f9d2 target=n_612e6ea1632e
[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_cf8f36517fe0 node_type=claim
t=0001 CREATE_NODE id=n_73e633cd553d node_type=claim
t=0002 CREATE_NODE id=n_496d518dd6d6 node_type=claim
t=0003 CREATE_NODE id=n_9a9b2193507f node_type=claim
t=0004 CREATE_NODE id=n_3927d72b6dcf node_type=claim
t=0005 CREATE_NODE id=n_1ec988315517 node_type=claim
t=0006 CREATE_NODE id=n_81de1bfd1ec3 node_type=claim
t=0007 CREATE_NODE id=n_a4f84dfe8530 node_type=claim
t=0008 CREATE_NODE id=n_b60bd189f35a node_type=claim
t=0009 CREATE_NODE id=n_540263cab5ec node_type=claim
t=0010 CREATE_NODE id=n_bfdc95daeca5 node_type=claim
t=0011 CREATE_NODE id=n_ace2f5689b74 node_type=claim
t=0012 CREATE_NODE id=n_65319a11a6b2 node_type=claim
t=0013 CREATE_NODE id=n_cfa56df84c49 node_type=claim
t=0014 CREATE_NODE id=n_10bcfc3384d0 node_type=claim
t=0015 CREATE_NODE id=n_51a02f9ae52c node_type=claim
t=0016 CREATE_NODE id=n_7b81741b104f node_type=claim
t=0017 CREATE_NODE id=n_d001f646c5da node_type=claim
t=0018 CREATE_NODE id=n_9ee43baa7fcd node_type=claim
t=0019 CREATE_NODE id=n_b2aa9b0cdfa8 node_type=claim
t=0020 CREATE_NODE id=n_a01b75047772 node_type=claim
t=0021 CREATE_NODE id=n_5ca8ebc2f3b8 node_type=claim
t=0022 CREATE_NODE id=n_eac2cd51a300 node_type=claim
t=0023 CREATE_NODE id=n_ce591a050389 node_type=claim
t=0024 CREATE_NODE id=n_43c6f28c930b node_type=claim
t=0025 CREATE_NODE id=n_b5e6c0b8e95b node_type=claim
t=0026 CREATE_NODE id=n_349c8fa55aa2 node_type=claim
t=0027 CREATE_NODE id=n_3aa9a7491113 node_type=claim
t=0028 CREATE_NODE id=n_d3ae6ba3e676 node_type=claim
t=0029 CREATE_NODE id=n_a6a98b5c2f7f node_type=claim
t=0030 CREATE_NODE id=n_a90bc3e059f4 node_type=claim
t=0031 CREATE_NODE id=n_0a1c66570c41 node_type=claim
t=0032 CREATE_NODE id=n_7a4483faf09f node_type=claim
t=0033 CREATE_NODE id=n_7d3040ba441f node_type=claim
t=0034 CREATE_NODE id=n_7d48a58ffd1b node_type=claim
t=0035 CREATE_NODE id=n_68015564fc24 node_type=claim
t=0036 CREATE_NODE id=n_c2dda8c03b6c node_type=claim
t=0037 CREATE_NODE id=n_77b24e4d8557 node_type=claim
t=0038 CREATE_NODE id=n_dabf9d9fb4fe node_type=claim
t=0039 CREATE_NODE id=n_304a0fc6aac6 node_type=claim
t=0040 CREATE_NODE id=n_aa1941e9e275 node_type=claim
t=0041 CREATE_NODE id=n_dd76e1151811 node_type=claim
t=0042 CREATE_NODE id=n_e3226a31f360 node_type=claim
t=0043 CREATE_NODE id=n_56ef6d234aad node_type=claim
t=0044 CREATE_NODE id=n_9accb4ca3cfe node_type=claim
t=0045 CREATE_NODE id=n_dfef7fcb77bf node_type=claim
t=0046 CREATE_NODE id=n_7cbb6a1e51a6 node_type=claim
t=0047 CREATE_NODE id=n_0b0092d40e44 node_type=claim
t=0048 CREATE_NODE id=n_8084105c7352 node_type=claim
t=0049 CREATE_NODE id=n_d146193cfe5b node_type=claim
t=0050 CREATE_NODE id=n_fb2eb0518e23 node_type=claim
t=0051 CREATE_NODE id=n_85bf96c5f5d5 node_type=claim
t=0052 ASSERT_ROOT node=n_9ee43baa7fcd value=TRUE
t=0053 ADD_EDGE edge_id=e_edbc4e78af48 source=n_9ee43baa7fcd edge_type=refutes target=n_349c8fa55aa2
t=0054 ADD_EDGE edge_id=e_cc22557b3474 source=n_7b81741b104f edge_type=refutes target=n_3927d72b6dcf
t=0055 ADD_EDGE edge_id=e_edce56401c27 source=n_0a1c66570c41 edge_type=refutes target=n_c2dda8c03b6c
t=0056 ADD_EDGE edge_id=e_559a568dcdbe source=n_43c6f28c930b edge_type=supports target=n_9a9b2193507f
t=0057 ADD_EDGE edge_id=e_6b3db38cd758 source=n_a4f84dfe8530 edge_type=supports target=n_dabf9d9fb4fe
t=0058 ADD_EDGE edge_id=e_29855cfec919 source=n_a01b75047772 edge_type=supports target=n_fb2eb0518e23
t=0059 ADD_EDGE edge_id=e_320a5d237694 source=n_0b0092d40e44 edge_type=supports target=n_d001f646c5da
t=0060 ADD_EDGE edge_id=e_b6ae3c8ac8b1 source=n_43c6f28c930b edge_type=supports target=n_73e633cd553d
t=0061 ADD_EDGE edge_id=e_a584bdf7a2fd source=n_5ca8ebc2f3b8 edge_type=refutes target=n_0b0092d40e44
t=0062 ADD_EDGE edge_id=e_0228762b0c25 source=n_8084105c7352 edge_type=refutes target=n_e3226a31f360
t=0063 ADD_EDGE edge_id=e_a5d1a0087ea3 source=n_dabf9d9fb4fe edge_type=supports target=n_7d48a58ffd1b
t=0064 ADD_EDGE edge_id=e_5dcea31530bb source=n_a90bc3e059f4 edge_type=supports target=n_7b81741b104f
t=0065 ADD_EDGE edge_id=e_a1a52537067a source=n_cf8f36517fe0 edge_type=supports target=n_dfef7fcb77bf
t=0066 ADD_EDGE edge_id=e_b15b0b43bdd7 source=n_b5e6c0b8e95b edge_type=supports target=n_10bcfc3384d0
t=0067 ADD_EDGE edge_id=e_ec4b250652d8 source=n_9a9b2193507f edge_type=refutes target=n_cfa56df84c49
t=0068 ADD_EDGE edge_id=e_79dd38bcc643 source=n_dfef7fcb77bf edge_type=refutes target=n_d146193cfe5b
t=0069 ADD_EDGE edge_id=e_bf69f67a539b source=n_d146193cfe5b edge_type=refutes target=n_1ec988315517
t=0070 ADD_EDGE edge_id=e_3286f002a853 source=n_cf8f36517fe0 edge_type=refutes target=n_540263cab5ec
t=0071 ADD_EDGE edge_id=e_5b9135e37826 source=n_fb2eb0518e23 edge_type=supports target=n_3aa9a7491113
t=0072 ADD_EDGE edge_id=e_a217d0968727 source=n_85bf96c5f5d5 edge_type=supports target=n_7d3040ba441f
t=0073 ADD_EDGE edge_id=e_099a21b99f97 source=n_304a0fc6aac6 edge_type=refutes target=n_a4f84dfe8530
t=0074 ADD_EDGE edge_id=e_c2da82f5002d source=n_0a1c66570c41 edge_type=supports target=n_bfdc95daeca5
t=0075 ADD_EDGE edge_id=e_2fe1d9c29518 source=n_65319a11a6b2 edge_type=refutes target=n_aa1941e9e275
t=0076 ADD_EDGE edge_id=e_74682a86ba39 source=n_c2dda8c03b6c edge_type=refutes target=n_9accb4ca3cfe
t=0077 ADD_EDGE edge_id=e_f89435316992 source=n_e3226a31f360 edge_type=supports target=n_496d518dd6d6
t=0078 ADD_EDGE edge_id=e_496457f8fb95 source=n_73e633cd553d edge_type=supports target=n_b2aa9b0cdfa8
t=0079 ADD_EDGE edge_id=e_15216405bbe0 source=n_43c6f28c930b edge_type=supports target=n_56ef6d234aad
t=0080 ADD_EDGE edge_id=e_8fa05863880d source=n_85bf96c5f5d5 edge_type=refutes target=n_77b24e4d8557
t=0081 ADD_EDGE edge_id=e_1fc76646cdb0 source=n_81de1bfd1ec3 edge_type=supports target=n_65319a11a6b2
t=0082 ADD_EDGE edge_id=e_6f08f9bca445 source=n_56ef6d234aad edge_type=refutes target=n_7a4483faf09f
t=0083 ADD_EDGE edge_id=e_aea079c5a97c source=n_7b81741b104f edge_type=supports target=n_5ca8ebc2f3b8
t=0084 ADD_EDGE edge_id=e_3fcb30951f3d source=n_8084105c7352 edge_type=supports target=n_ace2f5689b74
t=0085 ADD_EDGE edge_id=e_efaba3ead3a1 source=n_68015564fc24 edge_type=refutes target=n_a90bc3e059f4
t=0086 ADD_EDGE edge_id=e_3159756c9117 source=n_7d48a58ffd1b edge_type=refutes target=n_a01b75047772
t=0087 ADD_EDGE edge_id=e_a3079c3239b4 source=n_56ef6d234aad edge_type=supports target=n_a6a98b5c2f7f
t=0088 ADD_EDGE edge_id=e_1cedfeb1db74 source=n_d3ae6ba3e676 edge_type=refutes target=n_8084105c7352
t=0089 ADD_EDGE edge_id=e_149e189a42fa source=n_51a02f9ae52c edge_type=refutes target=n_0a1c66570c41
t=0090 ADD_EDGE edge_id=e_6a0cb76dc38b source=n_7cbb6a1e51a6 edge_type=refutes target=n_68015564fc24
t=0091 ADD_EDGE edge_id=e_0ef9bff50d9c source=n_56ef6d234aad edge_type=refutes target=n_b60bd189f35a
t=0092 ADD_EDGE edge_id=e_e6b9b2e1398d source=n_cf8f36517fe0 edge_type=supports target=n_dd76e1151811
t=0093 ADD_EDGE edge_id=e_81134db5d52d source=n_ce591a050389 edge_type=supports target=n_81de1bfd1ec3
t=0094 ADD_EDGE edge_id=e_44eb2611768d source=n_b60bd189f35a edge_type=refutes target=n_eac2cd51a300
t=0095 ADD_EDGE edge_id=e_c2dbd819690a source=n_e3226a31f360 edge_type=supports target=n_ce591a050389
t=0096 ADD_EDGE edge_id=e_f16385b07e5b source=n_43c6f28c930b edge_type=refutes target=n_b5e6c0b8e95b
t=0097 ADD_EDGE edge_id=e_d1d144a4c39a source=n_56ef6d234aad edge_type=supports target=n_cf8f36517fe0
t=0098 ADD_EDGE edge_id=e_0a117379148d source=n_56ef6d234aad edge_type=refutes target=n_51a02f9ae52c
t=0099 ADD_EDGE edge_id=e_f704a90a7857 source=n_349c8fa55aa2 edge_type=supports target=n_7cbb6a1e51a6
t=0100 ADD_EDGE edge_id=e_883d65f9a541 source=n_0b0092d40e44 edge_type=refutes target=n_304a0fc6aac6
t=0101 ADD_EDGE edge_id=e_b1a2b8e87ac7 source=n_43c6f28c930b edge_type=supports target=n_85bf96c5f5d5
t=0102 ADD_EDGE edge_id=e_435f225719ae source=n_3aa9a7491113 edge_type=refutes target=n_d3ae6ba3e676
t=0103 QUERY source=n_9ee43baa7fcd target=n_aa1941e9e275
[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_b0bdf408e1fc node_type=claim
t=0001 CREATE_NODE id=n_3aaa6f9d9875 node_type=claim
t=0002 CREATE_NODE id=n_d4b1e0daa2b0 node_type=claim
t=0003 CREATE_NODE id=n_900e5e100de2 node_type=claim
t=0004 CREATE_NODE id=n_4d3e149203a8 node_type=claim
t=0005 CREATE_NODE id=n_26f8034a0b3a node_type=claim
t=0006 CREATE_NODE id=n_bd27d744bac0 node_type=claim
t=0007 CREATE_NODE id=n_47223c3f9653 node_type=claim
t=0008 CREATE_NODE id=n_1484e5d81abe node_type=claim
t=0009 CREATE_NODE id=n_d63a2aa362cc node_type=claim
t=0010 CREATE_NODE id=n_508fe8ae5b96 node_type=claim
t=0011 CREATE_NODE id=n_204695dc45a5 node_type=claim
t=0012 CREATE_NODE id=n_c792ab9fe218 node_type=claim
t=0013 CREATE_NODE id=n_5aacc42ccb2d node_type=claim
t=0014 CREATE_NODE id=n_45ee9aeb587b node_type=claim
t=0015 CREATE_NODE id=n_886e0cc63c84 node_type=claim
t=0016 CREATE_NODE id=n_a2d855903b57 node_type=claim
t=0017 CREATE_NODE id=n_2dfb63cce261 node_type=claim
t=0018 CREATE_NODE id=n_4be08d3184a8 node_type=claim
t=0019 CREATE_NODE id=n_e34008967943 node_type=claim
t=0020 CREATE_NODE id=n_be02a2a6ac54 node_type=claim
t=0021 CREATE_NODE id=n_2ac38fad84e1 node_type=claim
t=0022 CREATE_NODE id=n_6562521cd0a2 node_type=claim
t=0023 CREATE_NODE id=n_ac0e1cf6352a node_type=claim
t=0024 CREATE_NODE id=n_8be15b7ddf0a node_type=claim
t=0025 CREATE_NODE id=n_708807e13aa9 node_type=claim
t=0026 CREATE_NODE id=n_6a9aedce0955 node_type=claim
t=0027 CREATE_NODE id=n_05271f86085b node_type=claim
t=0028 CREATE_NODE id=n_edfed458c3d6 node_type=claim
t=0029 CREATE_NODE id=n_6fb6824c4150 node_type=claim
t=0030 CREATE_NODE id=n_b9a5f415ee99 node_type=claim
t=0031 CREATE_NODE id=n_b601baa89ef7 node_type=claim
t=0032 CREATE_NODE id=n_8d6814fc134b node_type=claim
t=0033 CREATE_NODE id=n_0d132524da58 node_type=claim
t=0034 CREATE_NODE id=n_aef620192699 node_type=claim
t=0035 CREATE_NODE id=n_26ac0adcadd0 node_type=claim
t=0036 CREATE_NODE id=n_a6c09ea6500b node_type=claim
t=0037 CREATE_NODE id=n_000ac4c544bc node_type=claim
t=0038 CREATE_NODE id=n_ea81a76568f0 node_type=claim
t=0039 CREATE_NODE id=n_572c899aec77 node_type=claim
t=0040 CREATE_NODE id=n_f43b77505f54 node_type=claim
t=0041 CREATE_NODE id=n_fa16118763cb node_type=claim
t=0042 CREATE_NODE id=n_0223d517785a node_type=claim
t=0043 CREATE_NODE id=n_3e4b47a2ca5f node_type=claim
t=0044 CREATE_NODE id=n_5263eaeefe00 node_type=claim
t=0045 CREATE_NODE id=n_afa4f66564f8 node_type=claim
t=0046 CREATE_NODE id=n_716a0c2712c7 node_type=claim
t=0047 CREATE_NODE id=n_1d214e028c15 node_type=claim
t=0048 CREATE_NODE id=n_fa75f1cfd5ea node_type=claim
t=0049 CREATE_NODE id=n_334e0ed28d11 node_type=claim
t=0050 CREATE_NODE id=n_f81a530ee2e6 node_type=claim
t=0051 CREATE_NODE id=n_6d0d20dfa96f node_type=claim
t=0052 ASSERT_ROOT node=n_334e0ed28d11 value=FALSE
t=0053 ADD_EDGE edge_id=e_a28ea59d6e1d source=n_26ac0adcadd0 edge_type=refutes target=n_c792ab9fe218
t=0054 ADD_EDGE edge_id=e_c6127b0dd943 source=n_6d0d20dfa96f edge_type=refutes target=n_26f8034a0b3a
t=0055 ADD_EDGE edge_id=e_77451b90ee5f source=n_f43b77505f54 edge_type=supports target=n_b0bdf408e1fc
t=0056 ADD_EDGE edge_id=e_6accab3a594f source=n_1d214e028c15 edge_type=refutes target=n_f81a530ee2e6
t=0057 ADD_EDGE edge_id=e_2c3cfe9734b4 source=n_47223c3f9653 edge_type=refutes target=n_e34008967943
t=0058 ADD_EDGE edge_id=e_920547dc1ded source=n_c792ab9fe218 edge_type=refutes target=n_05271f86085b
t=0059 ADD_EDGE edge_id=e_4abd185a21e0 source=n_fa75f1cfd5ea edge_type=refutes target=n_ea81a76568f0
t=0060 ADD_EDGE edge_id=e_44d0479e860d source=n_6562521cd0a2 edge_type=refutes target=n_2dfb63cce261
t=0061 ADD_EDGE edge_id=e_c79ddcd82b4d source=n_be02a2a6ac54 edge_type=supports target=n_45ee9aeb587b
t=0062 ADD_EDGE edge_id=e_a4ce95f15a29 source=n_ac0e1cf6352a edge_type=refutes target=n_4d3e149203a8
t=0063 ADD_EDGE edge_id=e_8e4e4c5b8d0b source=n_e34008967943 edge_type=refutes target=n_a6c09ea6500b
t=0064 ADD_EDGE edge_id=e_531264549543 source=n_886e0cc63c84 edge_type=supports target=n_ac0e1cf6352a
t=0065 ADD_EDGE edge_id=e_71b3d94036a5 source=n_45ee9aeb587b edge_type=supports target=n_6fb6824c4150
t=0066 ADD_EDGE edge_id=e_2e7e8ba769ec source=n_0223d517785a edge_type=refutes target=n_b601baa89ef7
t=0067 ADD_EDGE edge_id=e_0369f0ebd9ac source=n_bd27d744bac0 edge_type=supports target=n_fa16118763cb
t=0068 ADD_EDGE edge_id=e_091b2ed02bb6 source=n_4be08d3184a8 edge_type=supports target=n_d4b1e0daa2b0
t=0069 ADD_EDGE edge_id=e_65b4ce67db26 source=n_a6c09ea6500b edge_type=refutes target=n_1d214e028c15
t=0070 ADD_EDGE edge_id=e_45ab352cf0d4 source=n_fa16118763cb edge_type=supports target=n_8d6814fc134b
t=0071 ADD_EDGE edge_id=e_42bb70b14af4 source=n_a2d855903b57 edge_type=supports target=n_fa75f1cfd5ea
t=0072 ADD_EDGE edge_id=e_84c011d0a413 source=n_d4b1e0daa2b0 edge_type=supports target=n_d63a2aa362cc
t=0073 ADD_EDGE edge_id=e_0cfe10dcdcfb source=n_fa16118763cb edge_type=supports target=n_0223d517785a
t=0074 ADD_EDGE edge_id=e_2e781d36961d source=n_26ac0adcadd0 edge_type=supports target=n_8be15b7ddf0a
t=0075 ADD_EDGE edge_id=e_48fedb7e7a17 source=n_edfed458c3d6 edge_type=supports target=n_b9a5f415ee99
t=0076 ADD_EDGE edge_id=e_1abe55e153e7 source=n_572c899aec77 edge_type=refutes target=n_716a0c2712c7
t=0077 ADD_EDGE edge_id=e_fafeaa6b2c49 source=n_6fb6824c4150 edge_type=refutes target=n_886e0cc63c84
t=0078 ADD_EDGE edge_id=e_c3887681247a source=n_0d132524da58 edge_type=supports target=n_5aacc42ccb2d
t=0079 ADD_EDGE edge_id=e_1ea32dee4b10 source=n_afa4f66564f8 edge_type=refutes target=n_3e4b47a2ca5f
t=0080 ADD_EDGE edge_id=e_120ad5d8fc1f source=n_4d3e149203a8 edge_type=refutes target=n_6d0d20dfa96f
t=0081 ADD_EDGE edge_id=e_bd0b473c01c0 source=n_afa4f66564f8 edge_type=supports target=n_508fe8ae5b96
t=0082 ADD_EDGE edge_id=e_51b681928235 source=n_c792ab9fe218 edge_type=refutes target=n_1484e5d81abe
t=0083 ADD_EDGE edge_id=e_c29f65b1cffb source=n_b0bdf408e1fc edge_type=refutes target=n_aef620192699
t=0084 ADD_EDGE edge_id=e_84f1fd3f980c source=n_4be08d3184a8 edge_type=refutes target=n_26ac0adcadd0
t=0085 ADD_EDGE edge_id=e_fa081a82dc4a source=n_fa16118763cb edge_type=supports target=n_000ac4c544bc
t=0086 ADD_EDGE edge_id=e_1d56ae6a84bd source=n_6a9aedce0955 edge_type=refutes target=n_204695dc45a5
t=0087 ADD_EDGE edge_id=e_e6428a6eac01 source=n_d4b1e0daa2b0 edge_type=supports target=n_afa4f66564f8
t=0088 ADD_EDGE edge_id=e_06a1c88bf334 source=n_fa75f1cfd5ea edge_type=refutes target=n_be02a2a6ac54
t=0089 ADD_EDGE edge_id=e_f14496873c15 source=n_4be08d3184a8 edge_type=supports target=n_0d132524da58
t=0090 ADD_EDGE edge_id=e_e2950a9a88e8 source=n_8be15b7ddf0a edge_type=supports target=n_5263eaeefe00
t=0091 ADD_EDGE edge_id=e_f37f8324b377 source=n_f81a530ee2e6 edge_type=supports target=n_f43b77505f54
t=0092 ADD_EDGE edge_id=e_60194b06db7f source=n_47223c3f9653 edge_type=supports target=n_3aaa6f9d9875
t=0093 ADD_EDGE edge_id=e_49bb454f1f3e source=n_edfed458c3d6 edge_type=refutes target=n_708807e13aa9
t=0094 ADD_EDGE edge_id=e_3e71b01ebb04 source=n_5aacc42ccb2d edge_type=supports target=n_2ac38fad84e1
t=0095 ADD_EDGE edge_id=e_47dc9c638315 source=n_d63a2aa362cc edge_type=supports target=n_572c899aec77
t=0096 ADD_EDGE edge_id=e_f46891fcaa61 source=n_aef620192699 edge_type=supports target=n_6a9aedce0955
t=0097 ADD_EDGE edge_id=e_5d12228d9913 source=n_b9a5f415ee99 edge_type=supports target=n_47223c3f9653
t=0098 ADD_EDGE edge_id=e_7c4f1938d267 source=n_3e4b47a2ca5f edge_type=refutes target=n_6562521cd0a2
t=0099 ADD_EDGE edge_id=e_fdf8b63f7984 source=n_6d0d20dfa96f edge_type=refutes target=n_edfed458c3d6
t=0100 ADD_EDGE edge_id=e_c68e1b4e4490 source=n_3e4b47a2ca5f edge_type=refutes target=n_bd27d744bac0
t=0101 ADD_EDGE edge_id=e_1422f690d483 source=n_334e0ed28d11 edge_type=refutes target=n_a2d855903b57
t=0102 ADD_EDGE edge_id=e_86b2d9ffafd7 source=n_d63a2aa362cc edge_type=supports target=n_900e5e100de2
t=0103 QUERY source=n_334e0ed28d11 target=n_204695dc45a5
[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_787451dc5807 node_type=claim
t=0001 CREATE_NODE id=n_eeb1a1d07d28 node_type=claim
t=0002 CREATE_NODE id=n_2d6a7b24d7f4 node_type=claim
t=0003 CREATE_NODE id=n_fdbd0528625b node_type=claim
t=0004 CREATE_NODE id=n_ee87f60825be node_type=claim
t=0005 CREATE_NODE id=n_f13492b1c8de node_type=claim
t=0006 CREATE_NODE id=n_6974fc852f17 node_type=claim
t=0007 CREATE_NODE id=n_cfbed76d510e node_type=claim
t=0008 CREATE_NODE id=n_bdd867a4ed69 node_type=claim
t=0009 CREATE_NODE id=n_0f71558905e5 node_type=claim
t=0010 CREATE_NODE id=n_ba2d2ba43e48 node_type=claim
t=0011 CREATE_NODE id=n_5864bb470763 node_type=claim
t=0012 CREATE_NODE id=n_1f27a87bf08b node_type=claim
t=0013 CREATE_NODE id=n_a0fbbec144e5 node_type=claim
t=0014 CREATE_NODE id=n_ddeca200649d node_type=claim
t=0015 CREATE_NODE id=n_2ddc6e409079 node_type=claim
t=0016 CREATE_NODE id=n_2c4acad4cb82 node_type=claim
t=0017 CREATE_NODE id=n_4aef3e4784eb node_type=claim
t=0018 CREATE_NODE id=n_62bd154925cc node_type=claim
t=0019 CREATE_NODE id=n_fd529e8f3116 node_type=claim
t=0020 CREATE_NODE id=n_1fb1e4c190dd node_type=claim
t=0021 CREATE_NODE id=n_90e47bb850bd node_type=claim
t=0022 CREATE_NODE id=n_cee6fa562a4a node_type=claim
t=0023 CREATE_NODE id=n_24126632cba4 node_type=claim
t=0024 CREATE_NODE id=n_bba90f9959af node_type=claim
t=0025 CREATE_NODE id=n_15dad5003df0 node_type=claim
t=0026 CREATE_NODE id=n_2e6c9c370554 node_type=claim
t=0027 CREATE_NODE id=n_028949eac7a6 node_type=claim
t=0028 CREATE_NODE id=n_d43427c9ed78 node_type=claim
t=0029 CREATE_NODE id=n_c538f7e81df8 node_type=claim
t=0030 CREATE_NODE id=n_3d8d8b93561d node_type=claim
t=0031 CREATE_NODE id=n_7acf153ea492 node_type=claim
t=0032 CREATE_NODE id=n_e3040270b06c node_type=claim
t=0033 CREATE_NODE id=n_e0edbb010848 node_type=claim
t=0034 CREATE_NODE id=n_6fb367465658 node_type=claim
t=0035 CREATE_NODE id=n_672b2be04675 node_type=claim
t=0036 CREATE_NODE id=n_1d525924be37 node_type=claim
t=0037 CREATE_NODE id=n_55daf7bead6f node_type=claim
t=0038 CREATE_NODE id=n_277a7347bb9f node_type=claim
t=0039 CREATE_NODE id=n_d4379d912a26 node_type=claim
t=0040 CREATE_NODE id=n_f8af9ce699ba node_type=claim
t=0041 CREATE_NODE id=n_e20083f4f805 node_type=claim
t=0042 CREATE_NODE id=n_ba95cfc3a2e8 node_type=claim
t=0043 CREATE_NODE id=n_16542144f9ba node_type=claim
t=0044 CREATE_NODE id=n_aaa29dd9437d node_type=claim
t=0045 CREATE_NODE id=n_878e9ff69eb5 node_type=claim
t=0046 CREATE_NODE id=n_84a76f08fbce node_type=claim
t=0047 CREATE_NODE id=n_795739baf0db node_type=claim
t=0048 CREATE_NODE id=n_27b1a8c66c0f node_type=claim
t=0049 CREATE_NODE id=n_04c92313ee7e node_type=claim
t=0050 CREATE_NODE id=n_9c7cddf6de1b node_type=claim
t=0051 CREATE_NODE id=n_f492c4ee0747 node_type=claim
t=0052 ASSERT_ROOT node=n_6974fc852f17 value=TRUE
t=0053 ADD_EDGE edge_id=e_a875f5a0f7cb source=n_f8af9ce699ba edge_type=supports target=n_277a7347bb9f
t=0054 ADD_EDGE edge_id=e_ba6d938c56c3 source=n_ba95cfc3a2e8 edge_type=refutes target=n_e20083f4f805
t=0055 ADD_EDGE edge_id=e_c7fa128ee83e source=n_27b1a8c66c0f edge_type=supports target=n_d4379d912a26
t=0056 ADD_EDGE edge_id=e_b09e422be20a source=n_9c7cddf6de1b edge_type=supports target=n_6fb367465658
t=0057 ADD_EDGE edge_id=e_c9d560733b91 source=n_27b1a8c66c0f edge_type=supports target=n_2d6a7b24d7f4
t=0058 ADD_EDGE edge_id=e_996242dba85f source=n_27b1a8c66c0f edge_type=supports target=n_2ddc6e409079
t=0059 ADD_EDGE edge_id=e_cf219a52f4aa source=n_a0fbbec144e5 edge_type=refutes target=n_ba2d2ba43e48
t=0060 ADD_EDGE edge_id=e_06b3b69ba13e source=n_6974fc852f17 edge_type=refutes target=n_1f27a87bf08b
t=0061 ADD_EDGE edge_id=e_32288f26472d source=n_90e47bb850bd edge_type=supports target=n_1fb1e4c190dd
t=0062 ADD_EDGE edge_id=e_54a93c0538ed source=n_2c4acad4cb82 edge_type=refutes target=n_0f71558905e5
t=0063 ADD_EDGE edge_id=e_aa43c0554e3b source=n_5864bb470763 edge_type=refutes target=n_55daf7bead6f
t=0064 ADD_EDGE edge_id=e_cc46100e9598 source=n_a0fbbec144e5 edge_type=supports target=n_16542144f9ba
t=0065 ADD_EDGE edge_id=e_4c2c77978420 source=n_eeb1a1d07d28 edge_type=supports target=n_672b2be04675
t=0066 ADD_EDGE edge_id=e_f8e5884bb255 source=n_ee87f60825be edge_type=supports target=n_90e47bb850bd
t=0067 ADD_EDGE edge_id=e_7b8cc43b354a source=n_1f27a87bf08b edge_type=supports target=n_aaa29dd9437d
t=0068 ADD_EDGE edge_id=e_1deb7adc48b4 source=n_3d8d8b93561d edge_type=supports target=n_9c7cddf6de1b
t=0069 ADD_EDGE edge_id=e_1cb8d5fba6d1 source=n_2d6a7b24d7f4 edge_type=refutes target=n_ee87f60825be
t=0070 ADD_EDGE edge_id=e_0de94abb29fd source=n_c538f7e81df8 edge_type=refutes target=n_cfbed76d510e
t=0071 ADD_EDGE edge_id=e_90c1ca996805 source=n_f492c4ee0747 edge_type=supports target=n_ba95cfc3a2e8
t=0072 ADD_EDGE edge_id=e_3c3edbcb1693 source=n_ee87f60825be edge_type=refutes target=n_2e6c9c370554
t=0073 ADD_EDGE edge_id=e_9ca1e42fc713 source=n_6fb367465658 edge_type=refutes target=n_878e9ff69eb5
t=0074 ADD_EDGE edge_id=e_cc97efe4eada source=n_04c92313ee7e edge_type=refutes target=n_fdbd0528625b
t=0075 ADD_EDGE edge_id=e_ce99d25e7bec source=n_1d525924be37 edge_type=refutes target=n_f492c4ee0747
t=0076 ADD_EDGE edge_id=e_5bdba3558f3e source=n_e3040270b06c edge_type=refutes target=n_ddeca200649d
t=0077 ADD_EDGE edge_id=e_9cb4e697270a source=n_2c4acad4cb82 edge_type=refutes target=n_84a76f08fbce
t=0078 ADD_EDGE edge_id=e_33b720e32bd9 source=n_878e9ff69eb5 edge_type=supports target=n_c538f7e81df8
t=0079 ADD_EDGE edge_id=e_bffd77c27869 source=n_e0edbb010848 edge_type=supports target=n_4aef3e4784eb
t=0080 ADD_EDGE edge_id=e_c5bcd7cb1488 source=n_ee87f60825be edge_type=refutes target=n_5864bb470763
t=0081 ADD_EDGE edge_id=e_ebec3d02fa04 source=n_24126632cba4 edge_type=supports target=n_fd529e8f3116
t=0082 ADD_EDGE edge_id=e_35838d660564 source=n_672b2be04675 edge_type=refutes target=n_04c92313ee7e
t=0083 ADD_EDGE edge_id=e_4adb4110cfaf source=n_bdd867a4ed69 edge_type=supports target=n_24126632cba4
t=0084 ADD_EDGE edge_id=e_1b5da471bb9d source=n_ddeca200649d edge_type=refutes target=n_bba90f9959af
t=0085 ADD_EDGE edge_id=e_33467c98c0fa source=n_ee87f60825be edge_type=supports target=n_795739baf0db
t=0086 ADD_EDGE edge_id=e_e45996cfe8a6 source=n_ee87f60825be edge_type=refutes target=n_787451dc5807
t=0087 ADD_EDGE edge_id=e_7381d35fbd42 source=n_84a76f08fbce edge_type=refutes target=n_62bd154925cc
t=0088 ADD_EDGE edge_id=e_4a9524949ac8 source=n_d4379d912a26 edge_type=refutes target=n_f8af9ce699ba
t=0089 ADD_EDGE edge_id=e_5f0849617e89 source=n_2d6a7b24d7f4 edge_type=refutes target=n_028949eac7a6
t=0090 ADD_EDGE edge_id=e_c49c707b87fc source=n_aaa29dd9437d edge_type=supports target=n_e3040270b06c
t=0091 ADD_EDGE edge_id=e_6291ea039a76 source=n_e0edbb010848 edge_type=refutes target=n_3d8d8b93561d
t=0092 ADD_EDGE edge_id=e_2ae024bf1542 source=n_c538f7e81df8 edge_type=refutes target=n_eeb1a1d07d28
t=0093 ADD_EDGE edge_id=e_3da0c1654118 source=n_795739baf0db edge_type=supports target=n_15dad5003df0
t=0094 ADD_EDGE edge_id=e_68c731f11db5 source=n_2c4acad4cb82 edge_type=supports target=n_cee6fa562a4a
t=0095 ADD_EDGE edge_id=e_7e6ec86e1a64 source=n_2d6a7b24d7f4 edge_type=refutes target=n_2c4acad4cb82
t=0096 ADD_EDGE edge_id=e_5f7be6509980 source=n_2d6a7b24d7f4 edge_type=supports target=n_d43427c9ed78
t=0097 ADD_EDGE edge_id=e_7b0d314cfcc9 source=n_bdd867a4ed69 edge_type=supports target=n_7acf153ea492
t=0098 ADD_EDGE edge_id=e_25329b0141b7 source=n_a0fbbec144e5 edge_type=supports target=n_f13492b1c8de
t=0099 ADD_EDGE edge_id=e_d120ec4f5f85 source=n_fd529e8f3116 edge_type=supports target=n_e0edbb010848
t=0100 ADD_EDGE edge_id=e_2df955b41cb3 source=n_ddeca200649d edge_type=refutes target=n_bdd867a4ed69
t=0101 ADD_EDGE edge_id=e_aa8fbfe4c0dc source=n_fdbd0528625b edge_type=refutes target=n_1d525924be37
t=0102 ADD_EDGE edge_id=e_5e4b91e7db0a source=n_ee87f60825be edge_type=supports target=n_a0fbbec144e5
t=0103 QUERY source=n_6974fc852f17 target=n_e20083f4f805
[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_8c2116129423 node_type=claim
t=0001 CREATE_NODE id=n_0250027db52b node_type=claim
t=0002 CREATE_NODE id=n_4371fde1ed22 node_type=claim
t=0003 CREATE_NODE id=n_883a593210ac node_type=claim
t=0004 CREATE_NODE id=n_5f2e2aa7f405 node_type=claim
t=0005 CREATE_NODE id=n_27cdf2c707cb node_type=claim
t=0006 CREATE_NODE id=n_2ece747baad4 node_type=claim
t=0007 CREATE_NODE id=n_e2113efc2af0 node_type=claim
t=0008 CREATE_NODE id=n_b9734bc8af55 node_type=claim
t=0009 CREATE_NODE id=n_4d87401ccf5c node_type=claim
t=0010 CREATE_NODE id=n_c1327a69a220 node_type=claim
t=0011 CREATE_NODE id=n_fdaee5cf0a32 node_type=claim
t=0012 CREATE_NODE id=n_48cb5b082164 node_type=claim
t=0013 CREATE_NODE id=n_511a8430389d node_type=claim
t=0014 CREATE_NODE id=n_b76dcb285ca6 node_type=claim
t=0015 CREATE_NODE id=n_c377c944f836 node_type=claim
t=0016 CREATE_NODE id=n_5992dde806af node_type=claim
t=0017 CREATE_NODE id=n_b6a6d854c610 node_type=claim
t=0018 CREATE_NODE id=n_a8f92354a24e node_type=claim
t=0019 CREATE_NODE id=n_a527ee6c0090 node_type=claim
t=0020 CREATE_NODE id=n_6e20df94184c node_type=claim
t=0021 CREATE_NODE id=n_d89d22d22c9a node_type=claim
t=0022 CREATE_NODE id=n_9a8a54ad8b51 node_type=claim
t=0023 CREATE_NODE id=n_e21432314f4a node_type=claim
t=0024 CREATE_NODE id=n_1bcc8a0cfef0 node_type=claim
t=0025 CREATE_NODE id=n_cd7deb4af2e5 node_type=claim
t=0026 CREATE_NODE id=n_8d04431daf82 node_type=claim
t=0027 CREATE_NODE id=n_c9cf35beaa3e node_type=claim
t=0028 CREATE_NODE id=n_535bdff44144 node_type=claim
t=0029 CREATE_NODE id=n_fb763650df07 node_type=claim
t=0030 CREATE_NODE id=n_583255a985ee node_type=claim
t=0031 CREATE_NODE id=n_6e39e1562c85 node_type=claim
t=0032 CREATE_NODE id=n_17fbf6c21831 node_type=claim
t=0033 CREATE_NODE id=n_e4a837fdce13 node_type=claim
t=0034 CREATE_NODE id=n_cc53f6c5ed9c node_type=claim
t=0035 CREATE_NODE id=n_802371ccd72d node_type=claim
t=0036 CREATE_NODE id=n_801791c21266 node_type=claim
t=0037 CREATE_NODE id=n_3db7214dd886 node_type=claim
t=0038 CREATE_NODE id=n_36092989ca9f node_type=claim
t=0039 CREATE_NODE id=n_5531077436eb node_type=claim
t=0040 CREATE_NODE id=n_e8b222284f2e node_type=claim
t=0041 CREATE_NODE id=n_5b87283fd8f5 node_type=claim
t=0042 CREATE_NODE id=n_05d3d48a0f81 node_type=claim
t=0043 CREATE_NODE id=n_832b48565ed5 node_type=claim
t=0044 CREATE_NODE id=n_2567414374f2 node_type=claim
t=0045 CREATE_NODE id=n_cba0bf1ab743 node_type=claim
t=0046 CREATE_NODE id=n_78e55f876b14 node_type=claim
t=0047 CREATE_NODE id=n_e021289f9c6d node_type=claim
t=0048 CREATE_NODE id=n_332409c59871 node_type=claim
t=0049 CREATE_NODE id=n_42768a5cc899 node_type=claim
t=0050 CREATE_NODE id=n_8d362083f9b9 node_type=claim
t=0051 CREATE_NODE id=n_61fad110fb49 node_type=claim
t=0052 ASSERT_ROOT node=n_5f2e2aa7f405 value=FALSE
t=0053 ADD_EDGE edge_id=e_93d0cd69c289 source=n_17fbf6c21831 edge_type=supports target=n_0250027db52b
t=0054 ADD_EDGE edge_id=e_a6be1e2fdf9b source=n_b6a6d854c610 edge_type=refutes target=n_511a8430389d
t=0055 ADD_EDGE edge_id=e_69751860286f source=n_a527ee6c0090 edge_type=supports target=n_583255a985ee
t=0056 ADD_EDGE edge_id=e_944c50bbf005 source=n_48cb5b082164 edge_type=supports target=n_cd7deb4af2e5
t=0057 ADD_EDGE edge_id=e_172cb76c51fc source=n_3db7214dd886 edge_type=refutes target=n_1bcc8a0cfef0
t=0058 ADD_EDGE edge_id=e_01845033d3e3 source=n_b6a6d854c610 edge_type=refutes target=n_8c2116129423
t=0059 ADD_EDGE edge_id=e_cc10ab139386 source=n_b76dcb285ca6 edge_type=supports target=n_a527ee6c0090
t=0060 ADD_EDGE edge_id=e_aa4442f5fc0b source=n_42768a5cc899 edge_type=refutes target=n_e021289f9c6d
t=0061 ADD_EDGE edge_id=e_a4470b681fd8 source=n_0250027db52b edge_type=refutes target=n_c1327a69a220
t=0062 ADD_EDGE edge_id=e_15d7d89b96c0 source=n_36092989ca9f edge_type=refutes target=n_61fad110fb49
t=0063 ADD_EDGE edge_id=e_1f4abd706a2c source=n_1bcc8a0cfef0 edge_type=refutes target=n_535bdff44144
t=0064 ADD_EDGE edge_id=e_b9fda823ff72 source=n_27cdf2c707cb edge_type=refutes target=n_5b87283fd8f5
t=0065 ADD_EDGE edge_id=e_82072680d7f8 source=n_05d3d48a0f81 edge_type=refutes target=n_8d362083f9b9
t=0066 ADD_EDGE edge_id=e_30a6edcb39d5 source=n_e8b222284f2e edge_type=supports target=n_17fbf6c21831
t=0067 ADD_EDGE edge_id=e_165b6447a63a source=n_fb763650df07 edge_type=refutes target=n_e21432314f4a
t=0068 ADD_EDGE edge_id=e_33b0dc5d167e source=n_27cdf2c707cb edge_type=supports target=n_e2113efc2af0
t=0069 ADD_EDGE edge_id=e_fd9f4f09f3d5 source=n_a527ee6c0090 edge_type=refutes target=n_4371fde1ed22
t=0070 ADD_EDGE edge_id=e_17903b9afcdd source=n_a527ee6c0090 edge_type=supports target=n_c377c944f836
t=0071 ADD_EDGE edge_id=e_9eeebf093a16 source=n_e2113efc2af0 edge_type=supports target=n_883a593210ac
t=0072 ADD_EDGE edge_id=e_8ed49cf4977e source=n_4371fde1ed22 edge_type=supports target=n_b9734bc8af55
t=0073 ADD_EDGE edge_id=e_70114cb4c0a5 source=n_b76dcb285ca6 edge_type=refutes target=n_36092989ca9f
t=0074 ADD_EDGE edge_id=e_71f8d60d936b source=n_6e39e1562c85 edge_type=supports target=n_78e55f876b14
t=0075 ADD_EDGE edge_id=e_ea3f0a4c87de source=n_e2113efc2af0 edge_type=refutes target=n_832b48565ed5
t=0076 ADD_EDGE edge_id=e_a946c89e4419 source=n_cc53f6c5ed9c edge_type=refutes target=n_802371ccd72d
t=0077 ADD_EDGE edge_id=e_e3133f19b5b0 source=n_e021289f9c6d edge_type=refutes target=n_3db7214dd886
t=0078 ADD_EDGE edge_id=e_ca4b022b8249 source=n_8d04431daf82 edge_type=supports target=n_fdaee5cf0a32
t=0079 ADD_EDGE edge_id=e_d7c505f00a75 source=n_c9cf35beaa3e edge_type=refutes target=n_6e39e1562c85
t=0080 ADD_EDGE edge_id=e_5b3bde076e01 source=n_e2113efc2af0 edge_type=supports target=n_332409c59871
t=0081 ADD_EDGE edge_id=e_68fedd84f028 source=n_5f2e2aa7f405 edge_type=refutes target=n_8d04431daf82
t=0082 ADD_EDGE edge_id=e_86db6f7487b2 source=n_e21432314f4a edge_type=refutes target=n_05d3d48a0f81
t=0083 ADD_EDGE edge_id=e_3ab1a2e69d43 source=n_b6a6d854c610 edge_type=supports target=n_cba0bf1ab743
t=0084 ADD_EDGE edge_id=e_76f945758be8 source=n_832b48565ed5 edge_type=supports target=n_cc53f6c5ed9c
t=0085 ADD_EDGE edge_id=e_974408d98877 source=n_3db7214dd886 edge_type=supports target=n_5531077436eb
t=0086 ADD_EDGE edge_id=e_40c9da915d01 source=n_cd7deb4af2e5 edge_type=refutes target=n_c9cf35beaa3e
t=0087 ADD_EDGE edge_id=e_8fa7cc8bde1a source=n_c9cf35beaa3e edge_type=supports target=n_e4a837fdce13
t=0088 ADD_EDGE edge_id=e_584725f4d917 source=n_b76dcb285ca6 edge_type=supports target=n_27cdf2c707cb
t=0089 ADD_EDGE edge_id=e_72d0eb432621 source=n_6e39e1562c85 edge_type=supports target=n_e8b222284f2e
t=0090 ADD_EDGE edge_id=e_7acb8437c054 source=n_9a8a54ad8b51 edge_type=refutes target=n_4d87401ccf5c
t=0091 ADD_EDGE edge_id=e_af7ff4668a7f source=n_883a593210ac edge_type=refutes target=n_5992dde806af
t=0092 ADD_EDGE edge_id=e_b72968d3b96b source=n_b76dcb285ca6 edge_type=supports target=n_b6a6d854c610
t=0093 ADD_EDGE edge_id=e_c200a67726cc source=n_36092989ca9f edge_type=supports target=n_2ece747baad4
t=0094 ADD_EDGE edge_id=e_bb0781dba374 source=n_6e20df94184c edge_type=refutes target=n_42768a5cc899
t=0095 ADD_EDGE edge_id=e_e5ae02d84110 source=n_27cdf2c707cb edge_type=refutes target=n_a8f92354a24e
t=0096 ADD_EDGE edge_id=e_2f1092bf8a34 source=n_fdaee5cf0a32 edge_type=refutes target=n_fb763650df07
t=0097 ADD_EDGE edge_id=e_adf70642ed2b source=n_fb763650df07 edge_type=supports target=n_d89d22d22c9a
t=0098 ADD_EDGE edge_id=e_c3db0ac1677b source=n_c1327a69a220 edge_type=refutes target=n_6e20df94184c
t=0099 ADD_EDGE edge_id=e_a107a88c32de source=n_a527ee6c0090 edge_type=supports target=n_801791c21266
t=0100 ADD_EDGE edge_id=e_40cea736280b source=n_c377c944f836 edge_type=supports target=n_9a8a54ad8b51
t=0101 ADD_EDGE edge_id=e_533474ef0789 source=n_8d362083f9b9 edge_type=supports target=n_48cb5b082164
t=0102 ADD_EDGE edge_id=e_bc5482ca3262 source=n_535bdff44144 edge_type=supports target=n_2567414374f2
t=0103 QUERY source=n_5f2e2aa7f405 target=n_2567414374f2
[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_0f6f00ffe98b node_type=claim
t=0001 CREATE_NODE id=n_f02f92c10d2e node_type=claim
t=0002 CREATE_NODE id=n_b38b6ecab98c node_type=claim
t=0003 CREATE_NODE id=n_89520cabd717 node_type=claim
t=0004 CREATE_NODE id=n_6ebecd31e5ec node_type=claim
t=0005 CREATE_NODE id=n_05cde21d72ef node_type=claim
t=0006 CREATE_NODE id=n_c923b34d885a node_type=claim
t=0007 CREATE_NODE id=n_64b9468c9fe0 node_type=claim
t=0008 CREATE_NODE id=n_1d72f7d37730 node_type=claim
t=0009 CREATE_NODE id=n_6c7283a894d2 node_type=claim
t=0010 CREATE_NODE id=n_11d684de06f0 node_type=claim
t=0011 CREATE_NODE id=n_b00b9f56a89f node_type=claim
t=0012 CREATE_NODE id=n_ec1c56b1fcf9 node_type=claim
t=0013 CREATE_NODE id=n_baae9802ff70 node_type=claim
t=0014 CREATE_NODE id=n_b7d49d1658ec node_type=claim
t=0015 CREATE_NODE id=n_b742e8dbdd98 node_type=claim
t=0016 CREATE_NODE id=n_0ecb3b4dae5d node_type=claim
t=0017 CREATE_NODE id=n_57f4c90f6bdb node_type=claim
t=0018 CREATE_NODE id=n_c0500e766538 node_type=claim
t=0019 CREATE_NODE id=n_f688cf97aaf5 node_type=claim
t=0020 CREATE_NODE id=n_e65a29fc1310 node_type=claim
t=0021 CREATE_NODE id=n_1cc3ca0d44be node_type=claim
t=0022 CREATE_NODE id=n_6650ece97a82 node_type=claim
t=0023 CREATE_NODE id=n_25fe2fab30fd node_type=claim
t=0024 CREATE_NODE id=n_06e625a60934 node_type=claim
t=0025 CREATE_NODE id=n_1b421a827649 node_type=claim
t=0026 CREATE_NODE id=n_e4994401b64b node_type=claim
t=0027 CREATE_NODE id=n_40cb8f581b76 node_type=claim
t=0028 CREATE_NODE id=n_c24c9b771533 node_type=claim
t=0029 CREATE_NODE id=n_5010b2911419 node_type=claim
t=0030 CREATE_NODE id=n_688cfaf8fae2 node_type=claim
t=0031 CREATE_NODE id=n_503bd12981f4 node_type=claim
t=0032 CREATE_NODE id=n_aa226afdb491 node_type=claim
t=0033 CREATE_NODE id=n_45d7ee92aa8c node_type=claim
t=0034 CREATE_NODE id=n_65e228581b93 node_type=claim
t=0035 CREATE_NODE id=n_0cde0776dd08 node_type=claim
t=0036 CREATE_NODE id=n_7ff56017bc2f node_type=claim
t=0037 CREATE_NODE id=n_c8ab98823b93 node_type=claim
t=0038 CREATE_NODE id=n_5870b1228f40 node_type=claim
t=0039 CREATE_NODE id=n_fc4a4a196dc7 node_type=claim
t=0040 CREATE_NODE id=n_08232c8bcb47 node_type=claim
t=0041 CREATE_NODE id=n_33fd2667e4c4 node_type=claim
t=0042 CREATE_NODE id=n_c0c61bafcaca node_type=claim
t=0043 CREATE_NODE id=n_1a3dc8de7df4 node_type=claim
t=0044 CREATE_NODE id=n_609dc2b6dab1 node_type=claim
t=0045 CREATE_NODE id=n_468ba2769bcc node_type=claim
t=0046 CREATE_NODE id=n_644c03ca910d node_type=claim
t=0047 CREATE_NODE id=n_d0b44e7c9168 node_type=claim
t=0048 CREATE_NODE id=n_d1950de7aa1a node_type=claim
t=0049 CREATE_NODE id=n_fccee41c8af9 node_type=claim
t=0050 CREATE_NODE id=n_1a3e5af69820 node_type=claim
t=0051 CREATE_NODE id=n_e5f7584d8e0e node_type=claim
t=0052 ASSERT_ROOT node=n_1b421a827649 value=TRUE
t=0053 ADD_EDGE edge_id=e_08abf3ad7171 source=n_fccee41c8af9 edge_type=supports target=n_33fd2667e4c4
t=0054 ADD_EDGE edge_id=e_560e5f8f41ac source=n_1a3dc8de7df4 edge_type=refutes target=n_6ebecd31e5ec
t=0055 ADD_EDGE edge_id=e_72d2a7b450be source=n_06e625a60934 edge_type=refutes target=n_57f4c90f6bdb
t=0056 ADD_EDGE edge_id=e_3090aef95e7b source=n_e65a29fc1310 edge_type=supports target=n_64b9468c9fe0
t=0057 ADD_EDGE edge_id=e_59d9bdb08af3 source=n_fccee41c8af9 edge_type=refutes target=n_5010b2911419
t=0058 ADD_EDGE edge_id=e_8cbf7b6909ff source=n_40cb8f581b76 edge_type=supports target=n_05cde21d72ef
t=0059 ADD_EDGE edge_id=e_fe41364249c6 source=n_5010b2911419 edge_type=refutes target=n_c24c9b771533
t=0060 ADD_EDGE edge_id=e_ad9037c7bed5 source=n_e65a29fc1310 edge_type=refutes target=n_c0500e766538
t=0061 ADD_EDGE edge_id=e_a17cbf7e1f2f source=n_65e228581b93 edge_type=supports target=n_1a3e5af69820
t=0062 ADD_EDGE edge_id=e_d69f91597fdb source=n_aa226afdb491 edge_type=refutes target=n_0ecb3b4dae5d
t=0063 ADD_EDGE edge_id=e_d98de49ef7f6 source=n_e65a29fc1310 edge_type=refutes target=n_c0c61bafcaca
t=0064 ADD_EDGE edge_id=e_60ff7ff15baf source=n_89520cabd717 edge_type=supports target=n_baae9802ff70
t=0065 ADD_EDGE edge_id=e_382d8ca68a36 source=n_6c7283a894d2 edge_type=refutes target=n_b742e8dbdd98
t=0066 ADD_EDGE edge_id=e_5af4d3678ef9 source=n_e65a29fc1310 edge_type=refutes target=n_fc4a4a196dc7
t=0067 ADD_EDGE edge_id=e_d85c1cd18fb9 source=n_45d7ee92aa8c edge_type=supports target=n_25fe2fab30fd
t=0068 ADD_EDGE edge_id=e_0b84c135faa1 source=n_c8ab98823b93 edge_type=refutes target=n_609dc2b6dab1
t=0069 ADD_EDGE edge_id=e_bcf0a3aa0321 source=n_33fd2667e4c4 edge_type=refutes target=n_e4994401b64b
t=0070 ADD_EDGE edge_id=e_712bb61ba077 source=n_40cb8f581b76 edge_type=supports target=n_e65a29fc1310
t=0071 ADD_EDGE edge_id=e_11999f316aea source=n_609dc2b6dab1 edge_type=refutes target=n_1a3dc8de7df4
t=0072 ADD_EDGE edge_id=e_9ce48bf8267b source=n_c0c61bafcaca edge_type=refutes target=n_d1950de7aa1a
t=0073 ADD_EDGE edge_id=e_01a89f5f769d source=n_e65a29fc1310 edge_type=supports target=n_fccee41c8af9
t=0074 ADD_EDGE edge_id=e_b4aa6f0c1f22 source=n_e65a29fc1310 edge_type=refutes target=n_e5f7584d8e0e
t=0075 ADD_EDGE edge_id=e_956f1684a0ae source=n_5870b1228f40 edge_type=supports target=n_aa226afdb491
t=0076 ADD_EDGE edge_id=e_e53e524e7cbf source=n_6650ece97a82 edge_type=supports target=n_89520cabd717
t=0077 ADD_EDGE edge_id=e_a042337c9b04 source=n_1d72f7d37730 edge_type=supports target=n_0f6f00ffe98b
t=0078 ADD_EDGE edge_id=e_71a8d9cd5868 source=n_644c03ca910d edge_type=supports target=n_08232c8bcb47
t=0079 ADD_EDGE edge_id=e_9a5957c1ba2b source=n_40cb8f581b76 edge_type=refutes target=n_b7d49d1658ec
t=0080 ADD_EDGE edge_id=e_20e1434a8b69 source=n_1cc3ca0d44be edge_type=supports target=n_468ba2769bcc
t=0081 ADD_EDGE edge_id=e_afaff5389921 source=n_b38b6ecab98c edge_type=supports target=n_503bd12981f4
t=0082 ADD_EDGE edge_id=e_ca27263afca8 source=n_c0500e766538 edge_type=refutes target=n_688cfaf8fae2
t=0083 ADD_EDGE edge_id=e_2ec5d62c7892 source=n_45d7ee92aa8c edge_type=supports target=n_f02f92c10d2e
t=0084 ADD_EDGE edge_id=e_d9370668134e source=n_89520cabd717 edge_type=refutes target=n_06e625a60934
t=0085 ADD_EDGE edge_id=e_58837524b49f source=n_fc4a4a196dc7 edge_type=supports target=n_c923b34d885a
t=0086 ADD_EDGE edge_id=e_fb96a2e23ddc source=n_f02f92c10d2e edge_type=refutes target=n_1d72f7d37730
t=0087 ADD_EDGE edge_id=e_112caa9c475d source=n_e65a29fc1310 edge_type=refutes target=n_d0b44e7c9168
t=0088 ADD_EDGE edge_id=e_49402777da2f source=n_1cc3ca0d44be edge_type=supports target=n_65e228581b93
t=0089 ADD_EDGE edge_id=e_5d8b99a1468d source=n_e65a29fc1310 edge_type=refutes target=n_11d684de06f0
t=0090 ADD_EDGE edge_id=e_aee8f8b9ad98 source=n_e5f7584d8e0e edge_type=refutes target=n_644c03ca910d
t=0091 ADD_EDGE edge_id=e_2ea6af3be344 source=n_6ebecd31e5ec edge_type=supports target=n_6650ece97a82
t=0092 ADD_EDGE edge_id=e_aa4aa86dbed3 source=n_1b421a827649 edge_type=refutes target=n_45d7ee92aa8c
t=0093 ADD_EDGE edge_id=e_85529941e4a6 source=n_c0c61bafcaca edge_type=supports target=n_f688cf97aaf5
t=0094 ADD_EDGE edge_id=e_c015d345c577 source=n_e65a29fc1310 edge_type=refutes target=n_6c7283a894d2
t=0095 ADD_EDGE edge_id=e_820bb3656382 source=n_1a3e5af69820 edge_type=supports target=n_b00b9f56a89f
t=0096 ADD_EDGE edge_id=e_d764bbba2f1b source=n_aa226afdb491 edge_type=supports target=n_1cc3ca0d44be
t=0097 ADD_EDGE edge_id=e_b75336919678 source=n_c0c61bafcaca edge_type=supports target=n_ec1c56b1fcf9
t=0098 ADD_EDGE edge_id=e_c21eb9229195 source=n_57f4c90f6bdb edge_type=supports target=n_5870b1228f40
t=0099 ADD_EDGE edge_id=e_3e08cadb508f source=n_40cb8f581b76 edge_type=supports target=n_7ff56017bc2f
t=0100 ADD_EDGE edge_id=e_9cd5246bbe46 source=n_0f6f00ffe98b edge_type=refutes target=n_0cde0776dd08
t=0101 ADD_EDGE edge_id=e_8eb53cb765de source=n_b00b9f56a89f edge_type=supports target=n_b38b6ecab98c
t=0102 ADD_EDGE edge_id=e_cca77e786150 source=n_0cde0776dd08 edge_type=refutes target=n_c8ab98823b93
t=0103 QUERY source=n_1b421a827649 target=n_503bd12981f4
[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_0d304c61b376 node_type=claim
t=0001 CREATE_NODE id=n_b9a42f09e11f node_type=claim
t=0002 CREATE_NODE id=n_bcfe4c5a9561 node_type=claim
t=0003 CREATE_NODE id=n_df88381d9436 node_type=claim
t=0004 CREATE_NODE id=n_9f04b8f65f5e node_type=claim
t=0005 CREATE_NODE id=n_2397a42ed47f node_type=claim
t=0006 CREATE_NODE id=n_5744a82b745f node_type=claim
t=0007 CREATE_NODE id=n_6880d43ff08f node_type=claim
t=0008 CREATE_NODE id=n_5f7db80c8e5b node_type=claim
t=0009 CREATE_NODE id=n_648bc783e8f6 node_type=claim
t=0010 CREATE_NODE id=n_08ca8fda8259 node_type=claim
t=0011 CREATE_NODE id=n_b86b5b746568 node_type=claim
t=0012 CREATE_NODE id=n_9713480fa1c5 node_type=claim
t=0013 CREATE_NODE id=n_e3fbe6d3db0d node_type=claim
t=0014 CREATE_NODE id=n_4ff73831da62 node_type=claim
t=0015 CREATE_NODE id=n_8b94ec0f48e8 node_type=claim
t=0016 CREATE_NODE id=n_d3e7e2389991 node_type=claim
t=0017 CREATE_NODE id=n_c7c9f3067735 node_type=claim
t=0018 CREATE_NODE id=n_b543831b3d67 node_type=claim
t=0019 CREATE_NODE id=n_3a1902dd7f95 node_type=claim
t=0020 CREATE_NODE id=n_132b4788c945 node_type=claim
t=0021 CREATE_NODE id=n_d43113fb467b node_type=claim
t=0022 CREATE_NODE id=n_5435a207c2cf node_type=claim
t=0023 CREATE_NODE id=n_91c68b276d60 node_type=claim
t=0024 CREATE_NODE id=n_c155a199c665 node_type=claim
t=0025 CREATE_NODE id=n_e807dd39c9b0 node_type=claim
t=0026 CREATE_NODE id=n_e371e3cc1f02 node_type=claim
t=0027 CREATE_NODE id=n_0466ce727474 node_type=claim
t=0028 CREATE_NODE id=n_7c605fdd668f node_type=claim
t=0029 CREATE_NODE id=n_268ac2637f8a node_type=claim
t=0030 CREATE_NODE id=n_8e5d94fc2545 node_type=claim
t=0031 CREATE_NODE id=n_b7a4e90329f6 node_type=claim
t=0032 CREATE_NODE id=n_0f45ce18d607 node_type=claim
t=0033 CREATE_NODE id=n_da53582840ba node_type=claim
t=0034 CREATE_NODE id=n_4367c7510219 node_type=claim
t=0035 CREATE_NODE id=n_15d888d89bf4 node_type=claim
t=0036 CREATE_NODE id=n_a8b20442c4e3 node_type=claim
t=0037 CREATE_NODE id=n_5859e96a4fe5 node_type=claim
t=0038 CREATE_NODE id=n_03878720d457 node_type=claim
t=0039 CREATE_NODE id=n_073159895669 node_type=claim
t=0040 CREATE_NODE id=n_f1c035677573 node_type=claim
t=0041 CREATE_NODE id=n_564196a3081d node_type=claim
t=0042 CREATE_NODE id=n_30779bc160e4 node_type=claim
t=0043 CREATE_NODE id=n_d9d1e86b9b25 node_type=claim
t=0044 CREATE_NODE id=n_ace7b1c8190c node_type=claim
t=0045 CREATE_NODE id=n_474c0d6df840 node_type=claim
t=0046 CREATE_NODE id=n_825dbed23aee node_type=claim
t=0047 CREATE_NODE id=n_b179fe3d2adb node_type=claim
t=0048 CREATE_NODE id=n_a2fe742f1be2 node_type=claim
t=0049 CREATE_NODE id=n_dc1dc1a3505c node_type=claim
t=0050 CREATE_NODE id=n_a4d0541de121 node_type=claim
t=0051 CREATE_NODE id=n_0c78b8b464b8 node_type=claim
t=0052 CREATE_NODE id=n_e308c7156c27 node_type=claim
t=0053 CREATE_NODE id=n_7d1e2dc048ea node_type=claim
t=0054 ASSERT_ROOT node=n_474c0d6df840 value=TRUE
t=0055 ADD_EDGE edge_id=e_3951be43a6b5 source=n_b86b5b746568 edge_type=supports target=n_e308c7156c27
t=0056 ADD_EDGE edge_id=e_b3f9b20fa066 source=n_6880d43ff08f edge_type=supports target=n_0f45ce18d607
t=0057 ADD_EDGE edge_id=e_e99ff29440ca source=n_0c78b8b464b8 edge_type=refutes target=n_08ca8fda8259
t=0058 ADD_EDGE edge_id=e_ccb84b4237a8 source=n_bcfe4c5a9561 edge_type=refutes target=n_e371e3cc1f02
t=0059 ADD_EDGE edge_id=e_adb76210cde2 source=n_df88381d9436 edge_type=refutes target=n_b543831b3d67
t=0060 ADD_EDGE edge_id=e_f8421aeb73e4 source=n_d9d1e86b9b25 edge_type=refutes target=n_8b94ec0f48e8
t=0061 ADD_EDGE edge_id=e_25829ea72ce6 source=n_6880d43ff08f edge_type=refutes target=n_9713480fa1c5
t=0062 ADD_EDGE edge_id=e_d6ea674d08db source=n_c7c9f3067735 edge_type=refutes target=n_b9a42f09e11f
t=0063 ADD_EDGE edge_id=e_bc9bb7f17a6c source=n_0d304c61b376 edge_type=refutes target=n_b179fe3d2adb
t=0064 ADD_EDGE edge_id=e_6e4f0ec2e074 source=n_9f04b8f65f5e edge_type=supports target=n_4367c7510219
t=0065 ADD_EDGE edge_id=e_8c540224b1c5 source=n_ace7b1c8190c edge_type=refutes target=n_b86b5b746568
t=0066 ADD_EDGE edge_id=e_94a5ffd01729 source=n_a8b20442c4e3 edge_type=supports target=n_5f7db80c8e5b
t=0067 ADD_EDGE edge_id=e_7ce97b35d33a source=n_0466ce727474 edge_type=supports target=n_b7a4e90329f6
t=0068 ADD_EDGE edge_id=e_0e4eecbbbb70 source=n_3a1902dd7f95 edge_type=refutes target=n_d9d1e86b9b25
t=0069 ADD_EDGE edge_id=e_430125740c35 source=n_a2fe742f1be2 edge_type=supports target=n_0466ce727474
t=0070 ADD_EDGE edge_id=e_608141cd931a source=n_d3e7e2389991 edge_type=refutes target=n_15d888d89bf4
t=0071 ADD_EDGE edge_id=e_1b1f4ecb61d5 source=n_8e5d94fc2545 edge_type=refutes target=n_91c68b276d60
t=0072 ADD_EDGE edge_id=e_1a8475dadd1a source=n_e371e3cc1f02 edge_type=supports target=n_825dbed23aee
t=0073 ADD_EDGE edge_id=e_984e772909a2 source=n_f1c035677573 edge_type=refutes target=n_dc1dc1a3505c
t=0074 ADD_EDGE edge_id=e_1477a46124eb source=n_5435a207c2cf edge_type=supports target=n_268ac2637f8a
t=0075 ADD_EDGE edge_id=e_b814bf58e7b8 source=n_e807dd39c9b0 edge_type=refutes target=n_8e5d94fc2545
t=0076 ADD_EDGE edge_id=e_b35302602667 source=n_e371e3cc1f02 edge_type=refutes target=n_a4d0541de121
t=0077 ADD_EDGE edge_id=e_ed78724b8540 source=n_4ff73831da62 edge_type=supports target=n_bcfe4c5a9561
t=0078 ADD_EDGE edge_id=e_ec4fd3a9f7b9 source=n_7c605fdd668f edge_type=refutes target=n_5744a82b745f
t=0079 ADD_EDGE edge_id=e_43600d58ca41 source=n_9f04b8f65f5e edge_type=supports target=n_7d1e2dc048ea
t=0080 ADD_EDGE edge_id=e_87a8be6600b9 source=n_c7c9f3067735 edge_type=supports target=n_9f04b8f65f5e
t=0081 ADD_EDGE edge_id=e_c8b3d534273e source=n_564196a3081d edge_type=supports target=n_c155a199c665
t=0082 ADD_EDGE edge_id=e_9f8198c82b6e source=n_0c78b8b464b8 edge_type=supports target=n_da53582840ba
t=0083 ADD_EDGE edge_id=e_d241263768cc source=n_6880d43ff08f edge_type=refutes target=n_a8b20442c4e3
t=0084 ADD_EDGE edge_id=e_ae16b6d54c50 source=n_b179fe3d2adb edge_type=refutes target=n_a2fe742f1be2
t=0085 ADD_EDGE edge_id=e_0080e0773c3c source=n_c7c9f3067735 edge_type=refutes target=n_03878720d457
t=0086 ADD_EDGE edge_id=e_2f2150599993 source=n_c7c9f3067735 edge_type=supports target=n_132b4788c945
t=0087 ADD_EDGE edge_id=e_09c15f32312d source=n_91c68b276d60 edge_type=refutes target=n_7c605fdd668f
t=0088 ADD_EDGE edge_id=e_0d8b2f291820 source=n_8b94ec0f48e8 edge_type=supports target=n_30779bc160e4
t=0089 ADD_EDGE edge_id=e_268c8fc11a3e source=n_0c78b8b464b8 edge_type=refutes target=n_f1c035677573
t=0090 ADD_EDGE edge_id=e_62dd65811f7c source=n_d43113fb467b edge_type=supports target=n_ace7b1c8190c
t=0091 ADD_EDGE edge_id=e_d49d209439fd source=n_b86b5b746568 edge_type=supports target=n_073159895669
t=0092 ADD_EDGE edge_id=e_2e4965aec760 source=n_c7c9f3067735 edge_type=supports target=n_564196a3081d
t=0093 ADD_EDGE edge_id=e_96f2b951519b source=n_c7c9f3067735 edge_type=supports target=n_0c78b8b464b8
t=0094 ADD_EDGE edge_id=e_1e6576354ec0 source=n_648bc783e8f6 edge_type=refutes target=n_e3fbe6d3db0d
t=0095 ADD_EDGE edge_id=e_ede561a4e668 source=n_474c0d6df840 edge_type=refutes target=n_df88381d9436
t=0096 ADD_EDGE edge_id=e_8aaa30896d18 source=n_2397a42ed47f edge_type=refutes target=n_e807dd39c9b0
t=0097 ADD_EDGE edge_id=e_5c6131b0043f source=n_c7c9f3067735 edge_type=refutes target=n_6880d43ff08f
t=0098 ADD_EDGE edge_id=e_319639e71e12 source=n_825dbed23aee edge_type=supports target=n_0d304c61b376
t=0099 ADD_EDGE edge_id=e_bf65d695c4d4 source=n_073159895669 edge_type=supports target=n_5435a207c2cf
t=0100 ADD_EDGE edge_id=e_69da55b914a3 source=n_0d304c61b376 edge_type=supports target=n_5859e96a4fe5
t=0101 ADD_EDGE edge_id=e_9b23642100c3 source=n_dc1dc1a3505c edge_type=supports target=n_648bc783e8f6
t=0102 ADD_EDGE edge_id=e_2846a7413348 source=n_6880d43ff08f edge_type=refutes target=n_3a1902dd7f95
t=0103 ADD_EDGE edge_id=e_72300c870805 source=n_b7a4e90329f6 edge_type=supports target=n_2397a42ed47f
t=0104 ADD_EDGE edge_id=e_5f1437b6a48f source=n_9f04b8f65f5e edge_type=refutes target=n_d3e7e2389991
t=0105 ADD_EDGE edge_id=e_dacba1f1164a source=n_5744a82b745f edge_type=supports target=n_d43113fb467b
t=0106 ADD_EDGE edge_id=e_549081d5b0c4 source=n_df88381d9436 edge_type=supports target=n_4ff73831da62
t=0107 QUERY source=n_474c0d6df840 target=n_268ac2637f8a
[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_6b9f8cb445f1 node_type=claim
t=0001 CREATE_NODE id=n_3679e31a5ca0 node_type=claim
t=0002 CREATE_NODE id=n_a733ef53183f node_type=claim
t=0003 CREATE_NODE id=n_fe3bfde380f1 node_type=claim
t=0004 CREATE_NODE id=n_e5cd674c30e2 node_type=claim
t=0005 CREATE_NODE id=n_0ccccbe57ac8 node_type=claim
t=0006 CREATE_NODE id=n_70e388ab49ad node_type=claim
t=0007 CREATE_NODE id=n_865a6eefc526 node_type=claim
t=0008 CREATE_NODE id=n_23e24e4419fc node_type=claim
t=0009 CREATE_NODE id=n_cd19e12a3c92 node_type=claim
t=0010 CREATE_NODE id=n_12408a0640b0 node_type=claim
t=0011 CREATE_NODE id=n_c5c1ee612056 node_type=claim
t=0012 CREATE_NODE id=n_14f63bc8ff4f node_type=claim
t=0013 CREATE_NODE id=n_ebbea0e06857 node_type=claim
t=0014 CREATE_NODE id=n_f88b97ce9a76 node_type=claim
t=0015 CREATE_NODE id=n_26512c2ef578 node_type=claim
t=0016 CREATE_NODE id=n_9851d8fffc72 node_type=claim
t=0017 CREATE_NODE id=n_a42fc1950126 node_type=claim
t=0018 CREATE_NODE id=n_c37b56e81405 node_type=claim
t=0019 CREATE_NODE id=n_637170cda16d node_type=claim
t=0020 CREATE_NODE id=n_f9069fa4c911 node_type=claim
t=0021 CREATE_NODE id=n_1c8bdf01549b node_type=claim
t=0022 CREATE_NODE id=n_51ff54f16fef node_type=claim
t=0023 CREATE_NODE id=n_fd62e20ff6b9 node_type=claim
t=0024 CREATE_NODE id=n_937e5b5c3e26 node_type=claim
t=0025 CREATE_NODE id=n_5e97e60818a7 node_type=claim
t=0026 CREATE_NODE id=n_fb2b9286180e node_type=claim
t=0027 CREATE_NODE id=n_76864ab6ee9d node_type=claim
t=0028 CREATE_NODE id=n_ef0600487125 node_type=claim
t=0029 CREATE_NODE id=n_c4553811642c node_type=claim
t=0030 CREATE_NODE id=n_68fd6a012106 node_type=claim
t=0031 CREATE_NODE id=n_87503ca09b29 node_type=claim
t=0032 CREATE_NODE id=n_2d07111c95d6 node_type=claim
t=0033 CREATE_NODE id=n_799896b4b9d3 node_type=claim
t=0034 CREATE_NODE id=n_29a6a9c84bec node_type=claim
t=0035 CREATE_NODE id=n_b2aab1afeaa7 node_type=claim
t=0036 CREATE_NODE id=n_181220aa48ce node_type=claim
t=0037 CREATE_NODE id=n_2791aaffba13 node_type=claim
t=0038 CREATE_NODE id=n_5a98633b0c14 node_type=claim
t=0039 CREATE_NODE id=n_32668869e63a node_type=claim
t=0040 CREATE_NODE id=n_37474454dc0e node_type=claim
t=0041 CREATE_NODE id=n_05028d4d81e8 node_type=claim
t=0042 CREATE_NODE id=n_4d5f49a759c1 node_type=claim
t=0043 CREATE_NODE id=n_f73f16e97c06 node_type=claim
t=0044 CREATE_NODE id=n_ac5db75da2fc node_type=claim
t=0045 CREATE_NODE id=n_d3712d0447f6 node_type=claim
t=0046 CREATE_NODE id=n_7529bcdad081 node_type=claim
t=0047 CREATE_NODE id=n_9ffb8ce846d5 node_type=claim
t=0048 CREATE_NODE id=n_ae923b4f4e56 node_type=claim
t=0049 CREATE_NODE id=n_2e4f574c3fbe node_type=claim
t=0050 CREATE_NODE id=n_60d6ab027eae node_type=claim
t=0051 CREATE_NODE id=n_a9d3c335e086 node_type=claim
t=0052 CREATE_NODE id=n_81888d964232 node_type=claim
t=0053 CREATE_NODE id=n_140f52a76499 node_type=claim
t=0054 ASSERT_ROOT node=n_f88b97ce9a76 value=FALSE
t=0055 ADD_EDGE edge_id=e_381be3f9b9fc source=n_1c8bdf01549b edge_type=supports target=n_5e97e60818a7
t=0056 ADD_EDGE edge_id=e_9b31f753e4e9 source=n_05028d4d81e8 edge_type=supports target=n_a9d3c335e086
t=0057 ADD_EDGE edge_id=e_18753bdbbbd8 source=n_23e24e4419fc edge_type=refutes target=n_ebbea0e06857
t=0058 ADD_EDGE edge_id=e_e925d5239caa source=n_9851d8fffc72 edge_type=supports target=n_2e4f574c3fbe
t=0059 ADD_EDGE edge_id=e_7c2a894f97d5 source=n_2791aaffba13 edge_type=supports target=n_b2aab1afeaa7
t=0060 ADD_EDGE edge_id=e_dca4139e293b source=n_e5cd674c30e2 edge_type=refutes target=n_2d07111c95d6
t=0061 ADD_EDGE edge_id=e_83d91538a5c3 source=n_68fd6a012106 edge_type=refutes target=n_181220aa48ce
t=0062 ADD_EDGE edge_id=e_08d86da843b9 source=n_cd19e12a3c92 edge_type=supports target=n_fb2b9286180e
t=0063 ADD_EDGE edge_id=e_c63f916795c6 source=n_87503ca09b29 edge_type=supports target=n_4d5f49a759c1
t=0064 ADD_EDGE edge_id=e_aa1f68572a1b source=n_5a98633b0c14 edge_type=refutes target=n_81888d964232
t=0065 ADD_EDGE edge_id=e_f5453193c93c source=n_60d6ab027eae edge_type=refutes target=n_2791aaffba13
t=0066 ADD_EDGE edge_id=e_a21fcd638a94 source=n_6b9f8cb445f1 edge_type=supports target=n_ae923b4f4e56
t=0067 ADD_EDGE edge_id=e_ed8e9408773d source=n_a733ef53183f edge_type=supports target=n_6b9f8cb445f1
t=0068 ADD_EDGE edge_id=e_b90f652deeda source=n_a42fc1950126 edge_type=refutes target=n_865a6eefc526
t=0069 ADD_EDGE edge_id=e_8ee5afb82189 source=n_70e388ab49ad edge_type=refutes target=n_f73f16e97c06
t=0070 ADD_EDGE edge_id=e_add153718dba source=n_3679e31a5ca0 edge_type=refutes target=n_60d6ab027eae
t=0071 ADD_EDGE edge_id=e_c14fdd4f5818 source=n_70e388ab49ad edge_type=supports target=n_cd19e12a3c92
t=0072 ADD_EDGE edge_id=e_2bfed7dc6609 source=n_2d07111c95d6 edge_type=refutes target=n_9851d8fffc72
t=0073 ADD_EDGE edge_id=e_481f1e4156a4 source=n_e5cd674c30e2 edge_type=refutes target=n_05028d4d81e8
t=0074 ADD_EDGE edge_id=e_71d9af9ea7fd source=n_a9d3c335e086 edge_type=refutes target=n_12408a0640b0
t=0075 ADD_EDGE edge_id=e_b2e06679053e source=n_37474454dc0e edge_type=refutes target=n_14f63bc8ff4f
t=0076 ADD_EDGE edge_id=e_64534ace8aae source=n_ef0600487125 edge_type=supports target=n_32668869e63a
t=0077 ADD_EDGE edge_id=e_2fe1800a8072 source=n_2791aaffba13 edge_type=supports target=n_a733ef53183f
t=0078 ADD_EDGE edge_id=e_e189214d6e9d source=n_799896b4b9d3 edge_type=refutes target=n_5a98633b0c14
t=0079 ADD_EDGE edge_id=e_e4c1f0ac20c0 source=n_e5cd674c30e2 edge_type=supports target=n_87503ca09b29
t=0080 ADD_EDGE edge_id=e_b5aabcce9b50 source=n_9851d8fffc72 edge_type=refutes target=n_637170cda16d
t=0081 ADD_EDGE edge_id=e_c144f4e8464d source=n_140f52a76499 edge_type=supports target=n_3679e31a5ca0
t=0082 ADD_EDGE edge_id=e_51132e663e6a source=n_d3712d0447f6 edge_type=refutes target=n_fd62e20ff6b9
t=0083 ADD_EDGE edge_id=e_d3dcf74d1ade source=n_ef0600487125 edge_type=refutes target=n_0ccccbe57ac8
t=0084 ADD_EDGE edge_id=e_714f471e7e1a source=n_76864ab6ee9d edge_type=supports target=n_c37b56e81405
t=0085 ADD_EDGE edge_id=e_8b8695f6ac8f source=n_2d07111c95d6 edge_type=refutes target=n_c4553811642c
t=0086 ADD_EDGE edge_id=e_f74f9572f992 source=n_1c8bdf01549b edge_type=refutes target=n_7529bcdad081
t=0087 ADD_EDGE edge_id=e_a59f39230dfe source=n_c4553811642c edge_type=supports target=n_ef0600487125
t=0088 ADD_EDGE edge_id=e_2438ae108a27 source=n_f88b97ce9a76 edge_type=supports target=n_29a6a9c84bec
t=0089 ADD_EDGE edge_id=e_3977f6483b1d source=n_1c8bdf01549b edge_type=supports target=n_d3712d0447f6
t=0090 ADD_EDGE edge_id=e_be166d7f01cd source=n_14f63bc8ff4f edge_type=supports target=n_799896b4b9d3
t=0091 ADD_EDGE edge_id=e_5c485edddb56 source=n_fb2b9286180e edge_type=refutes target=n_140f52a76499
t=0092 ADD_EDGE edge_id=e_ae9bc5562ce7 source=n_a42fc1950126 edge_type=supports target=n_9ffb8ce846d5
t=0093 ADD_EDGE edge_id=e_4131a527664d source=n_fe3bfde380f1 edge_type=refutes target=n_937e5b5c3e26
t=0094 ADD_EDGE edge_id=e_7d90632e2025 source=n_f88b97ce9a76 edge_type=supports target=n_23e24e4419fc
t=0095 ADD_EDGE edge_id=e_6cf2bccaa83c source=n_fe3bfde380f1 edge_type=supports target=n_c5c1ee612056
t=0096 ADD_EDGE edge_id=e_9f99e0021213 source=n_ebbea0e06857 edge_type=refutes target=n_76864ab6ee9d
t=0097 ADD_EDGE edge_id=e_42123a2324f6 source=n_2d07111c95d6 edge_type=refutes target=n_fe3bfde380f1
t=0098 ADD_EDGE edge_id=e_d524da90a8e8 source=n_81888d964232 edge_type=supports target=n_70e388ab49ad
t=0099 ADD_EDGE edge_id=e_0355612156dd source=n_ae923b4f4e56 edge_type=supports target=n_26512c2ef578
t=0100 ADD_EDGE edge_id=e_81a44b6bdb9b source=n_fe3bfde380f1 edge_type=refutes target=n_ac5db75da2fc
t=0101 ADD_EDGE edge_id=e_33e1d0e7fdc5 source=n_fe3bfde380f1 edge_type=refutes target=n_51ff54f16fef
t=0102 ADD_EDGE edge_id=e_00a0b892046d source=n_c37b56e81405 edge_type=supports target=n_f9069fa4c911
t=0103 ADD_EDGE edge_id=e_ab86af49c57d source=n_c37b56e81405 edge_type=supports target=n_68fd6a012106
t=0104 ADD_EDGE edge_id=e_9d472007e7a1 source=n_181220aa48ce edge_type=supports target=n_37474454dc0e
t=0105 ADD_EDGE edge_id=e_3015181124b7 source=n_2d07111c95d6 edge_type=refutes target=n_1c8bdf01549b
t=0106 ADD_EDGE edge_id=e_2f83c6b34ff9 source=n_05028d4d81e8 edge_type=refutes target=n_a42fc1950126
t=0107 QUERY source=n_f88b97ce9a76 target=n_26512c2ef578
[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_199bbb3dfee8 node_type=claim
t=0001 CREATE_NODE id=n_01d7c59a68e2 node_type=claim
t=0002 CREATE_NODE id=n_073c22e54532 node_type=claim
t=0003 CREATE_NODE id=n_27d58f538f8d node_type=claim
t=0004 CREATE_NODE id=n_468589c64b89 node_type=claim
t=0005 CREATE_NODE id=n_0c519b9bd27c node_type=claim
t=0006 CREATE_NODE id=n_c2f00095b3d1 node_type=claim
t=0007 CREATE_NODE id=n_c7b8ab6ac6e4 node_type=claim
t=0008 CREATE_NODE id=n_74a5be126fc7 node_type=claim
t=0009 CREATE_NODE id=n_d36b6f556e77 node_type=claim
t=0010 CREATE_NODE id=n_6c3c88546111 node_type=claim
t=0011 CREATE_NODE id=n_54a2060e2054 node_type=claim
t=0012 CREATE_NODE id=n_351d045f9632 node_type=claim
t=0013 CREATE_NODE id=n_8836f9c5ee58 node_type=claim
t=0014 CREATE_NODE id=n_724a20001179 node_type=claim
t=0015 CREATE_NODE id=n_aab506137302 node_type=claim
t=0016 CREATE_NODE id=n_b284c14d3b43 node_type=claim
t=0017 CREATE_NODE id=n_1b1e496d5f41 node_type=claim
t=0018 CREATE_NODE id=n_89cd858fe6e7 node_type=claim
t=0019 CREATE_NODE id=n_c3e54e3b3b87 node_type=claim
t=0020 CREATE_NODE id=n_0ecec5dc535c node_type=claim
t=0021 CREATE_NODE id=n_c48e0c5c0994 node_type=claim
t=0022 CREATE_NODE id=n_73d370d319f1 node_type=claim
t=0023 CREATE_NODE id=n_7dcd9daad0a4 node_type=claim
t=0024 CREATE_NODE id=n_76c2fa6c2966 node_type=claim
t=0025 CREATE_NODE id=n_3016c4829e1b node_type=claim
t=0026 CREATE_NODE id=n_343aff3771b6 node_type=claim
t=0027 CREATE_NODE id=n_1e61ba818f86 node_type=claim
t=0028 CREATE_NODE id=n_ec98f86fd7ef node_type=claim
t=0029 CREATE_NODE id=n_99f9aaaa7444 node_type=claim
t=0030 CREATE_NODE id=n_e37e68b9f0d8 node_type=claim
t=0031 CREATE_NODE id=n_0772af933e1d node_type=claim
t=0032 CREATE_NODE id=n_2b108047f9d2 node_type=claim
t=0033 CREATE_NODE id=n_5c5eaa0c41f7 node_type=claim
t=0034 CREATE_NODE id=n_95fa65c52ee7 node_type=claim
t=0035 CREATE_NODE id=n_e25db235ba0f node_type=claim
t=0036 CREATE_NODE id=n_c757ce4049b4 node_type=claim
t=0037 CREATE_NODE id=n_9582630de657 node_type=claim
t=0038 CREATE_NODE id=n_ae4f1b8fad72 node_type=claim
t=0039 CREATE_NODE id=n_430b1b7c1526 node_type=claim
t=0040 CREATE_NODE id=n_26cfcfe56221 node_type=claim
t=0041 CREATE_NODE id=n_b24235763d09 node_type=claim
t=0042 CREATE_NODE id=n_7e8994e4d988 node_type=claim
t=0043 CREATE_NODE id=n_eb8713c0bd6d node_type=claim
t=0044 CREATE_NODE id=n_fe053ba3ed3a node_type=claim
t=0045 CREATE_NODE id=n_8f589884b6fb node_type=claim
t=0046 CREATE_NODE id=n_d7532dc73b92 node_type=claim
t=0047 CREATE_NODE id=n_ea537827cc27 node_type=claim
t=0048 CREATE_NODE id=n_df43fd1c431a node_type=claim
t=0049 CREATE_NODE id=n_a901b90e7b3a node_type=claim
t=0050 CREATE_NODE id=n_fb702e768ef0 node_type=claim
t=0051 CREATE_NODE id=n_5c2d0dc9a4a8 node_type=claim
t=0052 CREATE_NODE id=n_05117f65d0ad node_type=claim
t=0053 CREATE_NODE id=n_2b7d13c16676 node_type=claim
t=0054 ASSERT_ROOT node=n_724a20001179 value=TRUE
t=0055 ADD_EDGE edge_id=e_b67e52318053 source=n_430b1b7c1526 edge_type=refutes target=n_468589c64b89
t=0056 ADD_EDGE edge_id=e_81415fb773c7 source=n_b24235763d09 edge_type=supports target=n_8f589884b6fb
t=0057 ADD_EDGE edge_id=e_2ee56478d1ca source=n_c2f00095b3d1 edge_type=supports target=n_26cfcfe56221
t=0058 ADD_EDGE edge_id=e_89ab5fff5f6b source=n_eb8713c0bd6d edge_type=refutes target=n_8836f9c5ee58
t=0059 ADD_EDGE edge_id=e_6db2ee64d2d5 source=n_3016c4829e1b edge_type=supports target=n_0ecec5dc535c
t=0060 ADD_EDGE edge_id=e_0d2fd2a8e1b8 source=n_fe053ba3ed3a edge_type=refutes target=n_d7532dc73b92
t=0061 ADD_EDGE edge_id=e_0fa6c16f2d68 source=n_b284c14d3b43 edge_type=supports target=n_a901b90e7b3a
t=0062 ADD_EDGE edge_id=e_b7c276e5a4a4 source=n_73d370d319f1 edge_type=supports target=n_3016c4829e1b
t=0063 ADD_EDGE edge_id=e_445b1b805237 source=n_74a5be126fc7 edge_type=supports target=n_199bbb3dfee8
t=0064 ADD_EDGE edge_id=e_beef69a71ba9 source=n_724a20001179 edge_type=refutes target=n_aab506137302
t=0065 ADD_EDGE edge_id=e_e0e51e76724c source=n_ea537827cc27 edge_type=refutes target=n_343aff3771b6
t=0066 ADD_EDGE edge_id=e_edfd8c4902fb source=n_b24235763d09 edge_type=refutes target=n_6c3c88546111
t=0067 ADD_EDGE edge_id=e_a535095feeaa source=n_73d370d319f1 edge_type=refutes target=n_ec98f86fd7ef
t=0068 ADD_EDGE edge_id=e_50e9d5d12aeb source=n_73d370d319f1 edge_type=refutes target=n_c757ce4049b4
t=0069 ADD_EDGE edge_id=e_c6e97fb6afdc source=n_ea537827cc27 edge_type=refutes target=n_2b108047f9d2
t=0070 ADD_EDGE edge_id=e_954b5460f326 source=n_54a2060e2054 edge_type=supports target=n_ea537827cc27
t=0071 ADD_EDGE edge_id=e_1518901c42ff source=n_468589c64b89 edge_type=supports target=n_c3e54e3b3b87
t=0072 ADD_EDGE edge_id=e_4fc42e38f5ad source=n_5c2d0dc9a4a8 edge_type=supports target=n_df43fd1c431a
t=0073 ADD_EDGE edge_id=e_d42907dc490d source=n_8f589884b6fb edge_type=refutes target=n_1e61ba818f86
t=0074 ADD_EDGE edge_id=e_3b2996891536 source=n_199bbb3dfee8 edge_type=supports target=n_c7b8ab6ac6e4
t=0075 ADD_EDGE edge_id=e_3a1888fde936 source=n_073c22e54532 edge_type=refutes target=n_27d58f538f8d
t=0076 ADD_EDGE edge_id=e_c9cae18ab1fc source=n_c2f00095b3d1 edge_type=supports target=n_1b1e496d5f41
t=0077 ADD_EDGE edge_id=e_1b20ff530f12 source=n_468589c64b89 edge_type=supports target=n_9582630de657
t=0078 ADD_EDGE edge_id=e_a979d97aaa1c source=n_d36b6f556e77 edge_type=refutes target=n_54a2060e2054
t=0079 ADD_EDGE edge_id=e_e9e8470c4711 source=n_c7b8ab6ac6e4 edge_type=refutes target=n_5c2d0dc9a4a8
t=0080 ADD_EDGE edge_id=e_3f547d7636d2 source=n_c7b8ab6ac6e4 edge_type=supports target=n_5c5eaa0c41f7
t=0081 ADD_EDGE edge_id=e_1e75344d76b6 source=n_05117f65d0ad edge_type=supports target=n_95fa65c52ee7
t=0082 ADD_EDGE edge_id=e_b1bb42ef59ac source=n_430b1b7c1526 edge_type=refutes target=n_7dcd9daad0a4
t=0083 ADD_EDGE edge_id=e_33704cbdb86b source=n_ea537827cc27 edge_type=supports target=n_05117f65d0ad
t=0084 ADD_EDGE edge_id=e_5e2b5bcb4a28 source=n_3016c4829e1b edge_type=refutes target=n_ae4f1b8fad72
t=0085 ADD_EDGE edge_id=e_5d1110187f4f source=n_76c2fa6c2966 edge_type=supports target=n_0c519b9bd27c
t=0086 ADD_EDGE edge_id=e_94d969995b32 source=n_0c519b9bd27c edge_type=refutes target=n_99f9aaaa7444
t=0087 ADD_EDGE edge_id=e_f46c6304ba65 source=n_8f589884b6fb edge_type=refutes target=n_430b1b7c1526
t=0088 ADD_EDGE edge_id=e_97806f15311c source=n_1b1e496d5f41 edge_type=refutes target=n_e25db235ba0f
t=0089 ADD_EDGE edge_id=e_1b7cffb99ea6 source=n_df43fd1c431a edge_type=supports target=n_c48e0c5c0994
t=0090 ADD_EDGE edge_id=e_4d1d3d4d644e source=n_d7532dc73b92 edge_type=supports target=n_eb8713c0bd6d
t=0091 ADD_EDGE edge_id=e_7320e1dc5830 source=n_0c519b9bd27c edge_type=refutes target=n_fe053ba3ed3a
t=0092 ADD_EDGE edge_id=e_1d294406d2d5 source=n_7e8994e4d988 edge_type=supports target=n_351d045f9632
t=0093 ADD_EDGE edge_id=e_3d44044217f7 source=n_ec98f86fd7ef edge_type=supports target=n_01d7c59a68e2
t=0094 ADD_EDGE edge_id=e_887454862895 source=n_a901b90e7b3a edge_type=refutes target=n_073c22e54532
t=0095 ADD_EDGE edge_id=e_13667b987652 source=n_95fa65c52ee7 edge_type=refutes target=n_b284c14d3b43
t=0096 ADD_EDGE edge_id=e_0adaaa95df60 source=n_3016c4829e1b edge_type=supports target=n_fb702e768ef0
t=0097 ADD_EDGE edge_id=e_4cc449b2a10a source=n_6c3c88546111 edge_type=supports target=n_2b7d13c16676
t=0098 ADD_EDGE edge_id=e_e6f2bc59c281 source=n_aab506137302 edge_type=supports target=n_7e8994e4d988
t=0099 ADD_EDGE edge_id=e_3da5d0b47a99 source=n_351d045f9632 edge_type=refutes target=n_74a5be126fc7
t=0100 ADD_EDGE edge_id=e_11210605315f source=n_d7532dc73b92 edge_type=refutes target=n_e37e68b9f0d8
t=0101 ADD_EDGE edge_id=e_ba122bb2fa82 source=n_3016c4829e1b edge_type=supports target=n_76c2fa6c2966
t=0102 ADD_EDGE edge_id=e_d271f991bd64 source=n_b24235763d09 edge_type=supports target=n_73d370d319f1
t=0103 ADD_EDGE edge_id=e_c66558772cd6 source=n_73d370d319f1 edge_type=refutes target=n_0772af933e1d
t=0104 ADD_EDGE edge_id=e_c987bd6c7aa6 source=n_89cd858fe6e7 edge_type=supports target=n_c2f00095b3d1
t=0105 ADD_EDGE edge_id=e_ae60d3e4db62 source=n_c48e0c5c0994 edge_type=refutes target=n_d36b6f556e77
t=0106 ADD_EDGE edge_id=e_d24ee002ab95 source=n_27d58f538f8d edge_type=refutes target=n_89cd858fe6e7
t=0107 QUERY source=n_724a20001179 target=n_e25db235ba0f
[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_76e47e2eb2a7 node_type=claim
t=0001 CREATE_NODE id=n_883169acf05b node_type=claim
t=0002 CREATE_NODE id=n_dcde8fe6726c node_type=claim
t=0003 CREATE_NODE id=n_d1d3e9322694 node_type=claim
t=0004 CREATE_NODE id=n_44cca067a538 node_type=claim
t=0005 CREATE_NODE id=n_3bd09135aae0 node_type=claim
t=0006 CREATE_NODE id=n_148fc1b0176a node_type=claim
t=0007 CREATE_NODE id=n_0ef4130c18be node_type=claim
t=0008 CREATE_NODE id=n_abe8199bc248 node_type=claim
t=0009 CREATE_NODE id=n_c4925bac5cb7 node_type=claim
t=0010 CREATE_NODE id=n_7022eaee28d0 node_type=claim
t=0011 CREATE_NODE id=n_eba2e63eadf7 node_type=claim
t=0012 CREATE_NODE id=n_9a7f0a6d77f0 node_type=claim
t=0013 CREATE_NODE id=n_bb1bfb2ef4e6 node_type=claim
t=0014 CREATE_NODE id=n_f1a9fe8f4905 node_type=claim
t=0015 CREATE_NODE id=n_dce527154021 node_type=claim
t=0016 CREATE_NODE id=n_8306a899d17f node_type=claim
t=0017 CREATE_NODE id=n_81acb277e195 node_type=claim
t=0018 CREATE_NODE id=n_64bbc98b589f node_type=claim
t=0019 CREATE_NODE id=n_b150459f1149 node_type=claim
t=0020 CREATE_NODE id=n_94c9ddadb7f1 node_type=claim
t=0021 CREATE_NODE id=n_ab5a826d8013 node_type=claim
t=0022 CREATE_NODE id=n_84707ad636b7 node_type=claim
t=0023 CREATE_NODE id=n_1a692dcaced8 node_type=claim
t=0024 CREATE_NODE id=n_bc07b4c668bd node_type=claim
t=0025 CREATE_NODE id=n_29314f2505c7 node_type=claim
t=0026 CREATE_NODE id=n_22968441fa01 node_type=claim
t=0027 CREATE_NODE id=n_a488ed3bca87 node_type=claim
t=0028 CREATE_NODE id=n_46127e46fffe node_type=claim
t=0029 CREATE_NODE id=n_d5846ba60f62 node_type=claim
t=0030 CREATE_NODE id=n_eecbe876d421 node_type=claim
t=0031 CREATE_NODE id=n_f4cefb2510c3 node_type=claim
t=0032 CREATE_NODE id=n_f7ef23116e0c node_type=claim
t=0033 CREATE_NODE id=n_06c620f76bd3 node_type=claim
t=0034 CREATE_NODE id=n_79be36bd9d97 node_type=claim
t=0035 CREATE_NODE id=n_35250ab85f81 node_type=claim
t=0036 CREATE_NODE id=n_ea14427cd197 node_type=claim
t=0037 CREATE_NODE id=n_ab5a8e755acb node_type=claim
t=0038 CREATE_NODE id=n_706a3dd9b193 node_type=claim
t=0039 CREATE_NODE id=n_43a59687284c node_type=claim
t=0040 CREATE_NODE id=n_0e3915908c7f node_type=claim
t=0041 CREATE_NODE id=n_407ac941b213 node_type=claim
t=0042 CREATE_NODE id=n_61e38b0d7010 node_type=claim
t=0043 CREATE_NODE id=n_d71f8f63b3fe node_type=claim
t=0044 CREATE_NODE id=n_d93a739097d8 node_type=claim
t=0045 CREATE_NODE id=n_df72040de431 node_type=claim
t=0046 CREATE_NODE id=n_4b39a3cc6c25 node_type=claim
t=0047 CREATE_NODE id=n_65bfe2cadb58 node_type=claim
t=0048 CREATE_NODE id=n_d29be1fadf8a node_type=claim
t=0049 CREATE_NODE id=n_d0180b56dd61 node_type=claim
t=0050 CREATE_NODE id=n_b7ee931bb2b8 node_type=claim
t=0051 CREATE_NODE id=n_8540b56d72b4 node_type=claim
t=0052 CREATE_NODE id=n_3b018e09cc94 node_type=claim
t=0053 CREATE_NODE id=n_784d9daa6e1f node_type=claim
t=0054 ASSERT_ROOT node=n_bb1bfb2ef4e6 value=FALSE
t=0055 ADD_EDGE edge_id=e_177b740f8174 source=n_d71f8f63b3fe edge_type=refutes target=n_ab5a8e755acb
t=0056 ADD_EDGE edge_id=e_42cb090a82c4 source=n_abe8199bc248 edge_type=refutes target=n_0e3915908c7f
t=0057 ADD_EDGE edge_id=e_3a40c2aa7d32 source=n_4b39a3cc6c25 edge_type=refutes target=n_d1d3e9322694
t=0058 ADD_EDGE edge_id=e_a5a79ed904ad source=n_dcde8fe6726c edge_type=supports target=n_35250ab85f81
t=0059 ADD_EDGE edge_id=e_553bb9a0d4ab source=n_8540b56d72b4 edge_type=supports target=n_f4cefb2510c3
t=0060 ADD_EDGE edge_id=e_0b05a25568c0 source=n_81acb277e195 edge_type=supports target=n_4b39a3cc6c25
t=0061 ADD_EDGE edge_id=e_253e1931c6f2 source=n_f7ef23116e0c edge_type=supports target=n_f1a9fe8f4905
t=0062 ADD_EDGE edge_id=e_033a176f25c9 source=n_148fc1b0176a edge_type=supports target=n_84707ad636b7
t=0063 ADD_EDGE edge_id=e_41a4fce4a64d source=n_43a59687284c edge_type=refutes target=n_a488ed3bca87
t=0064 ADD_EDGE edge_id=e_5f67b5c73d52 source=n_06c620f76bd3 edge_type=supports target=n_81acb277e195
t=0065 ADD_EDGE edge_id=e_61747a049701 source=n_0ef4130c18be edge_type=supports target=n_22968441fa01
t=0066 ADD_EDGE edge_id=e_415acacf62a5 source=n_0ef4130c18be edge_type=refutes target=n_eecbe876d421
t=0067 ADD_EDGE edge_id=e_9fae5818dc1a source=n_84707ad636b7 edge_type=refutes target=n_3b018e09cc94
t=0068 ADD_EDGE edge_id=e_0c96aa937c73 source=n_bb1bfb2ef4e6 edge_type=supports target=n_d71f8f63b3fe
t=0069 ADD_EDGE edge_id=e_4a3c556f3829 source=n_d29be1fadf8a edge_type=refutes target=n_3bd09135aae0
t=0070 ADD_EDGE edge_id=e_ac1f1efafc83 source=n_76e47e2eb2a7 edge_type=supports target=n_d29be1fadf8a
t=0071 ADD_EDGE edge_id=e_3c1588d6a533 source=n_ea14427cd197 edge_type=supports target=n_784d9daa6e1f
t=0072 ADD_EDGE edge_id=e_e6a3cd147716 source=n_0e3915908c7f edge_type=refutes target=n_65bfe2cadb58
t=0073 ADD_EDGE edge_id=e_f9266ca61106 source=n_84707ad636b7 edge_type=refutes target=n_c4925bac5cb7
t=0074 ADD_EDGE edge_id=e_daede8f0b4ed source=n_706a3dd9b193 edge_type=refutes target=n_7022eaee28d0
t=0075 ADD_EDGE edge_id=e_86a2d8ac5fc2 source=n_bc07b4c668bd edge_type=supports target=n_44cca067a538
t=0076 ADD_EDGE edge_id=e_ea698fa7fc9d source=n_64bbc98b589f edge_type=supports target=n_ab5a826d8013
t=0077 ADD_EDGE edge_id=e_43e276084f47 source=n_883169acf05b edge_type=supports target=n_706a3dd9b193
t=0078 ADD_EDGE edge_id=e_3d3f19dda38e source=n_d29be1fadf8a edge_type=refutes target=n_8306a899d17f
t=0079 ADD_EDGE edge_id=e_1b2f7c4e1e72 source=n_883169acf05b edge_type=supports target=n_46127e46fffe
t=0080 ADD_EDGE edge_id=e_cb8cbd667b0d source=n_65bfe2cadb58 edge_type=supports target=n_883169acf05b
t=0081 ADD_EDGE edge_id=e_9cc1a5a75ad6 source=n_d29be1fadf8a edge_type=refutes target=n_dcde8fe6726c
t=0082 ADD_EDGE edge_id=e_c5a4c530680d source=n_df72040de431 edge_type=refutes target=n_06c620f76bd3
t=0083 ADD_EDGE edge_id=e_c10fe3b67f66 source=n_d29be1fadf8a edge_type=refutes target=n_f7ef23116e0c
t=0084 ADD_EDGE edge_id=e_31761564a74f source=n_ab5a8e755acb edge_type=supports target=n_df72040de431
t=0085 ADD_EDGE edge_id=e_c17619814a71 source=n_d5846ba60f62 edge_type=refutes target=n_dce527154021
t=0086 ADD_EDGE edge_id=e_54c953b426f5 source=n_76e47e2eb2a7 edge_type=supports target=n_ea14427cd197
t=0087 ADD_EDGE edge_id=e_2e9e4f577114 source=n_f7ef23116e0c edge_type=refutes target=n_1a692dcaced8
t=0088 ADD_EDGE edge_id=e_28b5308bdbcf source=n_abe8199bc248 edge_type=supports target=n_61e38b0d7010
t=0089 ADD_EDGE edge_id=e_59facab8ee70 source=n_76e47e2eb2a7 edge_type=refutes target=n_64bbc98b589f
t=0090 ADD_EDGE edge_id=e_a1483339ff54 source=n_d5846ba60f62 edge_type=refutes target=n_9a7f0a6d77f0
t=0091 ADD_EDGE edge_id=e_a0c408adb974 source=n_d29be1fadf8a edge_type=supports target=n_407ac941b213
t=0092 ADD_EDGE edge_id=e_9485dceee2fd source=n_d29be1fadf8a edge_type=supports target=n_b7ee931bb2b8
t=0093 ADD_EDGE edge_id=e_c5a3909d263f source=n_d29be1fadf8a edge_type=supports target=n_eba2e63eadf7
t=0094 ADD_EDGE edge_id=e_c66e6c97a5d8 source=n_f4cefb2510c3 edge_type=supports target=n_d93a739097d8
t=0095 ADD_EDGE edge_id=e_7211fd6b62ad source=n_d29be1fadf8a edge_type=refutes target=n_0ef4130c18be
t=0096 ADD_EDGE edge_id=e_f27a5f93369e source=n_bc07b4c668bd edge_type=supports target=n_79be36bd9d97
t=0097 ADD_EDGE edge_id=e_42a145c342c6 source=n_b150459f1149 edge_type=refutes target=n_d0180b56dd61
t=0098 ADD_EDGE edge_id=e_defea9c97fc9 source=n_94c9ddadb7f1 edge_type=refutes target=n_148fc1b0176a
t=0099 ADD_EDGE edge_id=e_1fef1e31006c source=n_d93a739097d8 edge_type=refutes target=n_29314f2505c7
t=0100 ADD_EDGE edge_id=e_60ef0d53b5f1 source=n_d93a739097d8 edge_type=refutes target=n_b150459f1149
t=0101 ADD_EDGE edge_id=e_823e1719c273 source=n_3b018e09cc94 edge_type=supports target=n_8540b56d72b4
t=0102 ADD_EDGE edge_id=e_2841de0bf4b6 source=n_7022eaee28d0 edge_type=refutes target=n_94c9ddadb7f1
t=0103 ADD_EDGE edge_id=e_e7b96b021f8e source=n_eba2e63eadf7 edge_type=refutes target=n_43a59687284c
t=0104 ADD_EDGE edge_id=e_b10064debd20 source=n_d1d3e9322694 edge_type=supports target=n_abe8199bc248
t=0105 ADD_EDGE edge_id=e_4fbba43284fc source=n_3bd09135aae0 edge_type=supports target=n_d5846ba60f62
t=0106 ADD_EDGE edge_id=e_3202f2a3de5f source=n_3bd09135aae0 edge_type=refutes target=n_bc07b4c668bd
t=0107 QUERY source=n_bb1bfb2ef4e6 target=n_d0180b56dd61
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.