[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_7e3299cd3d09 node_type=claim
t=0001 CREATE_NODE id=n_1289c8298a95 node_type=claim
t=0002 CREATE_NODE id=n_d4f24c1e005b node_type=claim
t=0003 CREATE_NODE id=n_dd4c83afa8df node_type=claim
t=0004 CREATE_NODE id=n_2e152563f3b6 node_type=claim
t=0005 CREATE_NODE id=n_6feea5f87613 node_type=claim
t=0006 CREATE_NODE id=n_d7e963d7d4d8 node_type=claim
t=0007 CREATE_NODE id=n_6126dbb3e0b8 node_type=claim
t=0008 CREATE_NODE id=n_073f9b783f4a node_type=claim
t=0009 CREATE_NODE id=n_c80252443077 node_type=claim
t=0010 CREATE_NODE id=n_0e2ef05d8486 node_type=claim
t=0011 CREATE_NODE id=n_782e8f7c1d06 node_type=claim
t=0012 CREATE_NODE id=n_0a218b400667 node_type=claim
t=0013 CREATE_NODE id=n_fe9f29fe1d98 node_type=claim
t=0014 CREATE_NODE id=n_90e3b4de247c node_type=claim
t=0015 CREATE_NODE id=n_890c498c271a node_type=claim
t=0016 CREATE_NODE id=n_44b3e3cbd87a node_type=claim
t=0017 CREATE_NODE id=n_9d2c59a83db7 node_type=claim
t=0018 CREATE_NODE id=n_655e696742b5 node_type=claim
t=0019 CREATE_NODE id=n_caca31be611d node_type=claim
t=0020 CREATE_NODE id=n_05d46ad0f661 node_type=claim
t=0021 CREATE_NODE id=n_dc2e482ff391 node_type=claim
t=0022 CREATE_NODE id=n_89bcca6e0045 node_type=claim
t=0023 CREATE_NODE id=n_ea310a902f41 node_type=claim
t=0024 CREATE_NODE id=n_e2a58b8833ce node_type=claim
t=0025 CREATE_NODE id=n_c7cfb87247f9 node_type=claim
t=0026 CREATE_NODE id=n_a389d9ad84ce node_type=claim
t=0027 CREATE_NODE id=n_eba48eb1c334 node_type=claim
t=0028 CREATE_NODE id=n_7db252d6c4b4 node_type=claim
t=0029 CREATE_NODE id=n_1e78a00183df node_type=claim
t=0030 CREATE_NODE id=n_f0da66823dee node_type=claim
t=0031 CREATE_NODE id=n_d9a27506bfe5 node_type=claim
t=0032 CREATE_NODE id=n_b79c7003a84d node_type=claim
t=0033 CREATE_NODE id=n_4cc974ec14d4 node_type=claim
t=0034 CREATE_NODE id=n_0c95b9916df3 node_type=claim
t=0035 CREATE_NODE id=n_9f2f5b99ba90 node_type=claim
t=0036 CREATE_NODE id=n_43f2ceea735c node_type=claim
t=0037 CREATE_NODE id=n_26a81d87d3d1 node_type=claim
t=0038 CREATE_NODE id=n_df994df29cc8 node_type=claim
t=0039 CREATE_NODE id=n_e2a22c53d789 node_type=claim
t=0040 CREATE_NODE id=n_f1daab3fad64 node_type=claim
t=0041 CREATE_NODE id=n_cfa52f3da968 node_type=claim
t=0042 CREATE_NODE id=n_e8a5f9dfa745 node_type=claim
t=0043 CREATE_NODE id=n_f6f0a967c552 node_type=claim
t=0044 CREATE_NODE id=n_57f6f9774f72 node_type=claim
t=0045 CREATE_NODE id=n_f359f74d207c node_type=claim
t=0046 CREATE_NODE id=n_af681475c305 node_type=claim
t=0047 CREATE_NODE id=n_ff3c0fb4ea62 node_type=claim
t=0048 CREATE_NODE id=n_8c9425a0cb94 node_type=claim
t=0049 CREATE_NODE id=n_6a702299a1ff node_type=claim
t=0050 CREATE_NODE id=n_adfc00d275e7 node_type=claim
t=0051 CREATE_NODE id=n_d7d05d8dd079 node_type=claim
t=0052 CREATE_NODE id=n_8cdc76534593 node_type=claim
t=0053 CREATE_NODE id=n_06edeee01aff node_type=claim
t=0054 CREATE_NODE id=n_73abaa2c16c6 node_type=claim
t=0055 CREATE_NODE id=n_c0d0d90fe5dc node_type=claim
t=0056 ASSERT_ROOT node=n_1289c8298a95 value=TRUE
t=0057 ADD_EDGE edge_id=e_bc514c4f7594 source=n_f6f0a967c552 edge_type=refutes target=n_9f2f5b99ba90
t=0058 ADD_EDGE edge_id=e_dc30f55a5699 source=n_d7d05d8dd079 edge_type=refutes target=n_6a702299a1ff
t=0059 ADD_EDGE edge_id=e_9cb40bc56796 source=n_73abaa2c16c6 edge_type=refutes target=n_adfc00d275e7
t=0060 ADD_EDGE edge_id=e_6b272baf76d8 source=n_26a81d87d3d1 edge_type=refutes target=n_655e696742b5
t=0061 ADD_EDGE edge_id=e_d71b36d48a46 source=n_df994df29cc8 edge_type=supports target=n_4cc974ec14d4
t=0062 ADD_EDGE edge_id=e_498050b0cd3f source=n_0a218b400667 edge_type=refutes target=n_89bcca6e0045
t=0063 ADD_EDGE edge_id=e_afd1ea605d75 source=n_0c95b9916df3 edge_type=supports target=n_6126dbb3e0b8
t=0064 ADD_EDGE edge_id=e_d003a9b121df source=n_f359f74d207c edge_type=supports target=n_d7e963d7d4d8
t=0065 ADD_EDGE edge_id=e_d077ac0c6c63 source=n_890c498c271a edge_type=supports target=n_a389d9ad84ce
t=0066 ADD_EDGE edge_id=e_73d8fdae8d6d source=n_d7e963d7d4d8 edge_type=refutes target=n_d4f24c1e005b
t=0067 ADD_EDGE edge_id=e_928a922b928e source=n_c80252443077 edge_type=refutes target=n_f6f0a967c552
t=0068 ADD_EDGE edge_id=e_4fd358f3b295 source=n_f0da66823dee edge_type=refutes target=n_8cdc76534593
t=0069 ADD_EDGE edge_id=e_c4a1f0cd9c38 source=n_caca31be611d edge_type=refutes target=n_73abaa2c16c6
t=0070 ADD_EDGE edge_id=e_98aa60d9d1b1 source=n_89bcca6e0045 edge_type=refutes target=n_7e3299cd3d09
t=0071 ADD_EDGE edge_id=e_39a8f9744d41 source=n_f1daab3fad64 edge_type=supports target=n_90e3b4de247c
t=0072 ADD_EDGE edge_id=e_fadae841cf4a source=n_89bcca6e0045 edge_type=supports target=n_1e78a00183df
t=0073 ADD_EDGE edge_id=e_aa5f708af971 source=n_43f2ceea735c edge_type=refutes target=n_caca31be611d
t=0074 ADD_EDGE edge_id=e_937e5847a8ea source=n_073f9b783f4a edge_type=supports target=n_890c498c271a
t=0075 ADD_EDGE edge_id=e_8433977f6208 source=n_dc2e482ff391 edge_type=supports target=n_073f9b783f4a
t=0076 ADD_EDGE edge_id=e_d6e491d530b3 source=n_2e152563f3b6 edge_type=supports target=n_c7cfb87247f9
t=0077 ADD_EDGE edge_id=e_35cd59661a78 source=n_1289c8298a95 edge_type=supports target=n_b79c7003a84d
t=0078 ADD_EDGE edge_id=e_80dc30db3362 source=n_e2a58b8833ce edge_type=refutes target=n_ea310a902f41
t=0079 ADD_EDGE edge_id=e_0902b23e7690 source=n_ea310a902f41 edge_type=supports target=n_ff3c0fb4ea62
t=0080 ADD_EDGE edge_id=e_d29a8dd22b34 source=n_7e3299cd3d09 edge_type=supports target=n_f359f74d207c
t=0081 ADD_EDGE edge_id=e_a82dd582e0d8 source=n_fe9f29fe1d98 edge_type=supports target=n_0c95b9916df3
t=0082 ADD_EDGE edge_id=e_782c4e2cd3e5 source=n_e2a22c53d789 edge_type=refutes target=n_9d2c59a83db7
t=0083 ADD_EDGE edge_id=e_b7906ad786d1 source=n_43f2ceea735c edge_type=refutes target=n_05d46ad0f661
t=0084 ADD_EDGE edge_id=e_b6218827820d source=n_0a218b400667 edge_type=refutes target=n_43f2ceea735c
t=0085 ADD_EDGE edge_id=e_81c11113e22f source=n_57f6f9774f72 edge_type=refutes target=n_f0da66823dee
t=0086 ADD_EDGE edge_id=e_a33a923df117 source=n_073f9b783f4a edge_type=refutes target=n_d9a27506bfe5
t=0087 ADD_EDGE edge_id=e_618b24a4004d source=n_57f6f9774f72 edge_type=refutes target=n_06edeee01aff
t=0088 ADD_EDGE edge_id=e_bb5afcac9274 source=n_c7cfb87247f9 edge_type=refutes target=n_dd4c83afa8df
t=0089 ADD_EDGE edge_id=e_3987fa6c48f5 source=n_05d46ad0f661 edge_type=refutes target=n_d7d05d8dd079
t=0090 ADD_EDGE edge_id=e_9f8b79a0eb05 source=n_f0da66823dee edge_type=supports target=n_7db252d6c4b4
t=0091 ADD_EDGE edge_id=e_3f15944cb4af source=n_a389d9ad84ce edge_type=supports target=n_44b3e3cbd87a
t=0092 ADD_EDGE edge_id=e_70de889f4e0b source=n_0e2ef05d8486 edge_type=supports target=n_26a81d87d3d1
t=0093 ADD_EDGE edge_id=e_7cffad035241 source=n_05d46ad0f661 edge_type=supports target=n_c80252443077
t=0094 ADD_EDGE edge_id=e_9b9896665d92 source=n_eba48eb1c334 edge_type=refutes target=n_6feea5f87613
t=0095 ADD_EDGE edge_id=e_fbc94d9a11e7 source=n_d7d05d8dd079 edge_type=supports target=n_fe9f29fe1d98
t=0096 ADD_EDGE edge_id=e_eea694727d5c source=n_a389d9ad84ce edge_type=refutes target=n_c0d0d90fe5dc
t=0097 ADD_EDGE edge_id=e_603afb6c35d8 source=n_f359f74d207c edge_type=refutes target=n_2e152563f3b6
t=0098 ADD_EDGE edge_id=e_a6c5ae91dee0 source=n_b79c7003a84d edge_type=supports target=n_0e2ef05d8486
t=0099 ADD_EDGE edge_id=e_e6f105030f40 source=n_a389d9ad84ce edge_type=supports target=n_782e8f7c1d06
t=0100 ADD_EDGE edge_id=e_2bf62ad4e5eb source=n_cfa52f3da968 edge_type=supports target=n_f1daab3fad64
t=0101 ADD_EDGE edge_id=e_322c7dd30c4f source=n_4cc974ec14d4 edge_type=supports target=n_e8a5f9dfa745
t=0102 ADD_EDGE edge_id=e_9b31066251ca source=n_af681475c305 edge_type=supports target=n_df994df29cc8
t=0103 ADD_EDGE edge_id=e_0abdeccc735f source=n_26a81d87d3d1 edge_type=refutes target=n_cfa52f3da968
t=0104 ADD_EDGE edge_id=e_6ddb06707c6c source=n_9d2c59a83db7 edge_type=supports target=n_dc2e482ff391
t=0105 ADD_EDGE edge_id=e_f7d595d40bd8 source=n_90e3b4de247c edge_type=refutes target=n_8c9425a0cb94
t=0106 ADD_EDGE edge_id=e_036be7b713a1 source=n_8c9425a0cb94 edge_type=supports target=n_eba48eb1c334
t=0107 ADD_EDGE edge_id=e_58218b601c3d source=n_ff3c0fb4ea62 edge_type=refutes target=n_e2a22c53d789
t=0108 ADD_EDGE edge_id=e_2dcbeabb8065 source=n_caca31be611d edge_type=supports target=n_57f6f9774f72
t=0109 ADD_EDGE edge_id=e_3daa436f08f9 source=n_6feea5f87613 edge_type=refutes target=n_af681475c305
t=0110 ADD_EDGE edge_id=e_8006ce1ce451 source=n_e8a5f9dfa745 edge_type=supports target=n_e2a58b8833ce
t=0111 QUERY source=n_1289c8298a95 target=n_782e8f7c1d06
[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_daf8129acc59 node_type=claim
t=0001 CREATE_NODE id=n_fb8999f1f77c node_type=claim
t=0002 CREATE_NODE id=n_d7640b527a44 node_type=claim
t=0003 CREATE_NODE id=n_7bc855a0e067 node_type=claim
t=0004 CREATE_NODE id=n_915de422a2bb node_type=claim
t=0005 CREATE_NODE id=n_93f4c82077f2 node_type=claim
t=0006 CREATE_NODE id=n_db5071203550 node_type=claim
t=0007 CREATE_NODE id=n_7dcb39584abd node_type=claim
t=0008 CREATE_NODE id=n_7659e358a6dd node_type=claim
t=0009 CREATE_NODE id=n_e30c27ebc0c7 node_type=claim
t=0010 CREATE_NODE id=n_150db929ba14 node_type=claim
t=0011 CREATE_NODE id=n_26c20880d822 node_type=claim
t=0012 CREATE_NODE id=n_298b69aaf096 node_type=claim
t=0013 CREATE_NODE id=n_e6c08b8dec8d node_type=claim
t=0014 CREATE_NODE id=n_cca9e503c0b8 node_type=claim
t=0015 CREATE_NODE id=n_7cdffa601892 node_type=claim
t=0016 CREATE_NODE id=n_607a137f44ff node_type=claim
t=0017 CREATE_NODE id=n_7b0fd2a623ee node_type=claim
t=0018 CREATE_NODE id=n_e40d15046695 node_type=claim
t=0019 CREATE_NODE id=n_b55b44ef353f node_type=claim
t=0020 CREATE_NODE id=n_1acfd005eb2f node_type=claim
t=0021 CREATE_NODE id=n_51341a4a232a node_type=claim
t=0022 CREATE_NODE id=n_fd9b40395751 node_type=claim
t=0023 CREATE_NODE id=n_2c551da30f31 node_type=claim
t=0024 CREATE_NODE id=n_7d85e59ff8b7 node_type=claim
t=0025 CREATE_NODE id=n_868487b85c15 node_type=claim
t=0026 CREATE_NODE id=n_8b8049fb2d64 node_type=claim
t=0027 CREATE_NODE id=n_65ab314b9f3f node_type=claim
t=0028 CREATE_NODE id=n_b5aad0787559 node_type=claim
t=0029 CREATE_NODE id=n_60cc2d31b273 node_type=claim
t=0030 CREATE_NODE id=n_9fd9a095057e node_type=claim
t=0031 CREATE_NODE id=n_0abfdd917ea6 node_type=claim
t=0032 CREATE_NODE id=n_106dd10de62d node_type=claim
t=0033 CREATE_NODE id=n_ccb235cbd7f2 node_type=claim
t=0034 CREATE_NODE id=n_d7eb7f6c946c node_type=claim
t=0035 CREATE_NODE id=n_498e04410d2b node_type=claim
t=0036 CREATE_NODE id=n_ced2a3a0c1f1 node_type=claim
t=0037 CREATE_NODE id=n_0ad03554c51a node_type=claim
t=0038 CREATE_NODE id=n_eef3c22b594e node_type=claim
t=0039 CREATE_NODE id=n_6473f72859e6 node_type=claim
t=0040 CREATE_NODE id=n_955d08529638 node_type=claim
t=0041 CREATE_NODE id=n_08377b70dce0 node_type=claim
t=0042 CREATE_NODE id=n_2f9fd5695fe5 node_type=claim
t=0043 CREATE_NODE id=n_a5b6a2666809 node_type=claim
t=0044 CREATE_NODE id=n_77de7ca8cea3 node_type=claim
t=0045 CREATE_NODE id=n_d2ea2f0f7e5d node_type=claim
t=0046 CREATE_NODE id=n_f61d0bb67c74 node_type=claim
t=0047 CREATE_NODE id=n_1700617e4953 node_type=claim
t=0048 CREATE_NODE id=n_07b2d58764dc node_type=claim
t=0049 CREATE_NODE id=n_f0f146e2241c node_type=claim
t=0050 CREATE_NODE id=n_4b421e43ac2b node_type=claim
t=0051 CREATE_NODE id=n_0f2e8c83b55f node_type=claim
t=0052 CREATE_NODE id=n_c34cac9bae18 node_type=claim
t=0053 CREATE_NODE id=n_1ce862bdbdec node_type=claim
t=0054 CREATE_NODE id=n_a40ac7581037 node_type=claim
t=0055 CREATE_NODE id=n_5ed6904216da node_type=claim
t=0056 ASSERT_ROOT node=n_7cdffa601892 value=FALSE
t=0057 ADD_EDGE edge_id=e_dd5ef58adc38 source=n_7659e358a6dd edge_type=refutes target=n_298b69aaf096
t=0058 ADD_EDGE edge_id=e_a974652c4cd6 source=n_7b0fd2a623ee edge_type=refutes target=n_1700617e4953
t=0059 ADD_EDGE edge_id=e_c0005a3cb540 source=n_9fd9a095057e edge_type=supports target=n_93f4c82077f2
t=0060 ADD_EDGE edge_id=e_c59cea21c0f6 source=n_c34cac9bae18 edge_type=supports target=n_a40ac7581037
t=0061 ADD_EDGE edge_id=e_882565bc32c0 source=n_65ab314b9f3f edge_type=supports target=n_868487b85c15
t=0062 ADD_EDGE edge_id=e_8048aa9e4ac3 source=n_150db929ba14 edge_type=supports target=n_f0f146e2241c
t=0063 ADD_EDGE edge_id=e_84588be24538 source=n_7cdffa601892 edge_type=refutes target=n_106dd10de62d
t=0064 ADD_EDGE edge_id=e_4d47b46e4c85 source=n_150db929ba14 edge_type=supports target=n_daf8129acc59
t=0065 ADD_EDGE edge_id=e_d05afa9e7180 source=n_f0f146e2241c edge_type=refutes target=n_0ad03554c51a
t=0066 ADD_EDGE edge_id=e_e4a4be13cf19 source=n_0ad03554c51a edge_type=refutes target=n_fd9b40395751
t=0067 ADD_EDGE edge_id=e_4c49a7f98017 source=n_106dd10de62d edge_type=refutes target=n_b5aad0787559
t=0068 ADD_EDGE edge_id=e_20317703962c source=n_fb8999f1f77c edge_type=refutes target=n_7659e358a6dd
t=0069 ADD_EDGE edge_id=e_43c31156bce0 source=n_1700617e4953 edge_type=refutes target=n_915de422a2bb
t=0070 ADD_EDGE edge_id=e_0c9aca4166a4 source=n_5ed6904216da edge_type=refutes target=n_51341a4a232a
t=0071 ADD_EDGE edge_id=e_4688c8747a81 source=n_07b2d58764dc edge_type=refutes target=n_d7640b527a44
t=0072 ADD_EDGE edge_id=e_22eb9846601e source=n_607a137f44ff edge_type=refutes target=n_77de7ca8cea3
t=0073 ADD_EDGE edge_id=e_0179d34184bb source=n_915de422a2bb edge_type=refutes target=n_498e04410d2b
t=0074 ADD_EDGE edge_id=e_54634c71e01f source=n_fd9b40395751 edge_type=supports target=n_26c20880d822
t=0075 ADD_EDGE edge_id=e_b27e72aa9e99 source=n_4b421e43ac2b edge_type=supports target=n_9fd9a095057e
t=0076 ADD_EDGE edge_id=e_4b0ad8e1a706 source=n_7659e358a6dd edge_type=supports target=n_2f9fd5695fe5
t=0077 ADD_EDGE edge_id=e_1db27415a4e9 source=n_c34cac9bae18 edge_type=refutes target=n_955d08529638
t=0078 ADD_EDGE edge_id=e_a78d8d9330bb source=n_60cc2d31b273 edge_type=supports target=n_1ce862bdbdec
t=0079 ADD_EDGE edge_id=e_4253b455a255 source=n_daf8129acc59 edge_type=refutes target=n_c34cac9bae18
t=0080 ADD_EDGE edge_id=e_709ae175a135 source=n_cca9e503c0b8 edge_type=supports target=n_e6c08b8dec8d
t=0081 ADD_EDGE edge_id=e_2ce392d79db8 source=n_a40ac7581037 edge_type=refutes target=n_607a137f44ff
t=0082 ADD_EDGE edge_id=e_fc591f09ebf9 source=n_d7640b527a44 edge_type=supports target=n_7b0fd2a623ee
t=0083 ADD_EDGE edge_id=e_4b4469de55bc source=n_498e04410d2b edge_type=supports target=n_5ed6904216da
t=0084 ADD_EDGE edge_id=e_7af1b1a848c6 source=n_2f9fd5695fe5 edge_type=supports target=n_cca9e503c0b8
t=0085 ADD_EDGE edge_id=e_188916a29bde source=n_fd9b40395751 edge_type=refutes target=n_7d85e59ff8b7
t=0086 ADD_EDGE edge_id=e_c10d6dcd3fb7 source=n_f0f146e2241c edge_type=supports target=n_7dcb39584abd
t=0087 ADD_EDGE edge_id=e_a118047618b8 source=n_9fd9a095057e edge_type=refutes target=n_0f2e8c83b55f
t=0088 ADD_EDGE edge_id=e_d554a663b40f source=n_f0f146e2241c edge_type=supports target=n_4b421e43ac2b
t=0089 ADD_EDGE edge_id=e_c2fae8b8a7bb source=n_106dd10de62d edge_type=refutes target=n_ccb235cbd7f2
t=0090 ADD_EDGE edge_id=e_d5f368834d20 source=n_1acfd005eb2f edge_type=supports target=n_e30c27ebc0c7
t=0091 ADD_EDGE edge_id=e_c562188a04ea source=n_e40d15046695 edge_type=supports target=n_a5b6a2666809
t=0092 ADD_EDGE edge_id=e_8e9cd57c5f7d source=n_d7eb7f6c946c edge_type=refutes target=n_e40d15046695
t=0093 ADD_EDGE edge_id=e_a57db0e26643 source=n_e30c27ebc0c7 edge_type=supports target=n_fb8999f1f77c
t=0094 ADD_EDGE edge_id=e_27d973e74710 source=n_150db929ba14 edge_type=refutes target=n_d2ea2f0f7e5d
t=0095 ADD_EDGE edge_id=e_931a19bd3b22 source=n_a5b6a2666809 edge_type=refutes target=n_eef3c22b594e
t=0096 ADD_EDGE edge_id=e_54ba1a3e8975 source=n_6473f72859e6 edge_type=supports target=n_08377b70dce0
t=0097 ADD_EDGE edge_id=e_7e71473e32a5 source=n_d7640b527a44 edge_type=supports target=n_8b8049fb2d64
t=0098 ADD_EDGE edge_id=e_8f2ee1df6f4d source=n_0abfdd917ea6 edge_type=supports target=n_d7eb7f6c946c
t=0099 ADD_EDGE edge_id=e_a4ce553a986f source=n_eef3c22b594e edge_type=refutes target=n_ced2a3a0c1f1
t=0100 ADD_EDGE edge_id=e_dd1caab44ecc source=n_ced2a3a0c1f1 edge_type=supports target=n_07b2d58764dc
t=0101 ADD_EDGE edge_id=e_f28c12c6d5ed source=n_0ad03554c51a edge_type=supports target=n_65ab314b9f3f
t=0102 ADD_EDGE edge_id=e_48deaa858856 source=n_6473f72859e6 edge_type=supports target=n_db5071203550
t=0103 ADD_EDGE edge_id=e_c0f34f7ce92b source=n_150db929ba14 edge_type=supports target=n_f61d0bb67c74
t=0104 ADD_EDGE edge_id=e_86365a94d2b0 source=n_5ed6904216da edge_type=refutes target=n_1acfd005eb2f
t=0105 ADD_EDGE edge_id=e_886bfb3bb2f3 source=n_ccb235cbd7f2 edge_type=supports target=n_0abfdd917ea6
t=0106 ADD_EDGE edge_id=e_17771d47a2b5 source=n_daf8129acc59 edge_type=refutes target=n_60cc2d31b273
t=0107 ADD_EDGE edge_id=e_c4df03a729b7 source=n_0ad03554c51a edge_type=refutes target=n_2c551da30f31
t=0108 ADD_EDGE edge_id=e_1dfafa7d6d77 source=n_e6c08b8dec8d edge_type=refutes target=n_b55b44ef353f
t=0109 ADD_EDGE edge_id=e_a9a60ccf73e5 source=n_08377b70dce0 edge_type=refutes target=n_7bc855a0e067
t=0110 ADD_EDGE edge_id=e_fbf66cee7d60 source=n_f61d0bb67c74 edge_type=supports target=n_6473f72859e6
t=0111 QUERY source=n_7cdffa601892 target=n_b55b44ef353f
[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_29a05d594b7c node_type=claim
t=0001 CREATE_NODE id=n_b25868b25fa3 node_type=claim
t=0002 CREATE_NODE id=n_0ac4365e4b9f node_type=claim
t=0003 CREATE_NODE id=n_37ff1efb4db4 node_type=claim
t=0004 CREATE_NODE id=n_ec25e131c64a node_type=claim
t=0005 CREATE_NODE id=n_dbb247f80f7f node_type=claim
t=0006 CREATE_NODE id=n_80c2cb17cfe7 node_type=claim
t=0007 CREATE_NODE id=n_adadff862c0f node_type=claim
t=0008 CREATE_NODE id=n_e01a6a72faf9 node_type=claim
t=0009 CREATE_NODE id=n_9fb352b2c0e9 node_type=claim
t=0010 CREATE_NODE id=n_d3620de243e2 node_type=claim
t=0011 CREATE_NODE id=n_7b711ffd475a node_type=claim
t=0012 CREATE_NODE id=n_e1568b663433 node_type=claim
t=0013 CREATE_NODE id=n_95c70f8ceb23 node_type=claim
t=0014 CREATE_NODE id=n_e615883c67c1 node_type=claim
t=0015 CREATE_NODE id=n_96ffcc41e7ae node_type=claim
t=0016 CREATE_NODE id=n_ef5cfcafd426 node_type=claim
t=0017 CREATE_NODE id=n_825c8cb00428 node_type=claim
t=0018 CREATE_NODE id=n_fe3716366bf1 node_type=claim
t=0019 CREATE_NODE id=n_20147cad5b07 node_type=claim
t=0020 CREATE_NODE id=n_d67a7fd742f2 node_type=claim
t=0021 CREATE_NODE id=n_07e7b7dede7f node_type=claim
t=0022 CREATE_NODE id=n_5a388b1e472a node_type=claim
t=0023 CREATE_NODE id=n_08cde7e9e3c2 node_type=claim
t=0024 CREATE_NODE id=n_f7fa443a171d node_type=claim
t=0025 CREATE_NODE id=n_37ca498d9b5f node_type=claim
t=0026 CREATE_NODE id=n_16aea175c156 node_type=claim
t=0027 CREATE_NODE id=n_94c60d510271 node_type=claim
t=0028 CREATE_NODE id=n_dd38cfb05cff node_type=claim
t=0029 CREATE_NODE id=n_aa4de8181325 node_type=claim
t=0030 CREATE_NODE id=n_21908ca8c5ac node_type=claim
t=0031 CREATE_NODE id=n_8a319d58a573 node_type=claim
t=0032 CREATE_NODE id=n_c029afcde1ca node_type=claim
t=0033 CREATE_NODE id=n_0f185340e1c3 node_type=claim
t=0034 CREATE_NODE id=n_c1a8d0ec9847 node_type=claim
t=0035 CREATE_NODE id=n_3bd4fd5f0246 node_type=claim
t=0036 CREATE_NODE id=n_7abbc4b7da61 node_type=claim
t=0037 CREATE_NODE id=n_e3cc3726053a node_type=claim
t=0038 CREATE_NODE id=n_6a2a40943e47 node_type=claim
t=0039 CREATE_NODE id=n_f2d5403bd81e node_type=claim
t=0040 CREATE_NODE id=n_c9a7a2be3830 node_type=claim
t=0041 CREATE_NODE id=n_22ea617ce46a node_type=claim
t=0042 CREATE_NODE id=n_44f43c37db90 node_type=claim
t=0043 CREATE_NODE id=n_056b6915459c node_type=claim
t=0044 CREATE_NODE id=n_ba01a17af401 node_type=claim
t=0045 CREATE_NODE id=n_1cf1032389bf node_type=claim
t=0046 CREATE_NODE id=n_bb2db9ff87eb node_type=claim
t=0047 CREATE_NODE id=n_30ef32a5ef4d node_type=claim
t=0048 CREATE_NODE id=n_08299beb11f3 node_type=claim
t=0049 CREATE_NODE id=n_7561563b8d22 node_type=claim
t=0050 CREATE_NODE id=n_b6af0a6bbbc1 node_type=claim
t=0051 CREATE_NODE id=n_f1fca46d4cb9 node_type=claim
t=0052 CREATE_NODE id=n_d820398ee6e8 node_type=claim
t=0053 CREATE_NODE id=n_0c8c7fa3c9d6 node_type=claim
t=0054 CREATE_NODE id=n_f3808cd94dd4 node_type=claim
t=0055 CREATE_NODE id=n_005fe48313ca node_type=claim
t=0056 ASSERT_ROOT node=n_ba01a17af401 value=TRUE
t=0057 ADD_EDGE edge_id=e_2a7cca612630 source=n_d820398ee6e8 edge_type=refutes target=n_7abbc4b7da61
t=0058 ADD_EDGE edge_id=e_67b42e81c474 source=n_ef5cfcafd426 edge_type=supports target=n_d67a7fd742f2
t=0059 ADD_EDGE edge_id=e_77b046c564f6 source=n_5a388b1e472a edge_type=refutes target=n_d3620de243e2
t=0060 ADD_EDGE edge_id=e_43eceaf8573d source=n_f7fa443a171d edge_type=supports target=n_37ff1efb4db4
t=0061 ADD_EDGE edge_id=e_3f783e471ce2 source=n_c1a8d0ec9847 edge_type=supports target=n_7b711ffd475a
t=0062 ADD_EDGE edge_id=e_779e297dd361 source=n_07e7b7dede7f edge_type=supports target=n_dd38cfb05cff
t=0063 ADD_EDGE edge_id=e_a20fe8f141c5 source=n_1cf1032389bf edge_type=refutes target=n_96ffcc41e7ae
t=0064 ADD_EDGE edge_id=e_af26f74055ec source=n_7b711ffd475a edge_type=refutes target=n_c9a7a2be3830
t=0065 ADD_EDGE edge_id=e_b64221109d3f source=n_d67a7fd742f2 edge_type=refutes target=n_e01a6a72faf9
t=0066 ADD_EDGE edge_id=e_00dceaec2bfb source=n_96ffcc41e7ae edge_type=supports target=n_08cde7e9e3c2
t=0067 ADD_EDGE edge_id=e_5acaad51d5c8 source=n_1cf1032389bf edge_type=refutes target=n_e615883c67c1
t=0068 ADD_EDGE edge_id=e_8ab7d42bc8bc source=n_adadff862c0f edge_type=refutes target=n_94c60d510271
t=0069 ADD_EDGE edge_id=e_d300a6312806 source=n_bb2db9ff87eb edge_type=refutes target=n_0f185340e1c3
t=0070 ADD_EDGE edge_id=e_a58d39d7b1b0 source=n_0f185340e1c3 edge_type=supports target=n_f7fa443a171d
t=0071 ADD_EDGE edge_id=e_39c0c44f3901 source=n_c1a8d0ec9847 edge_type=refutes target=n_0c8c7fa3c9d6
t=0072 ADD_EDGE edge_id=e_6503d67947f4 source=n_7b711ffd475a edge_type=refutes target=n_f1fca46d4cb9
t=0073 ADD_EDGE edge_id=e_209488e7706c source=n_07e7b7dede7f edge_type=supports target=n_8a319d58a573
t=0074 ADD_EDGE edge_id=e_e40b57eb3690 source=n_21908ca8c5ac edge_type=refutes target=n_5a388b1e472a
t=0075 ADD_EDGE edge_id=e_697068061513 source=n_825c8cb00428 edge_type=refutes target=n_056b6915459c
t=0076 ADD_EDGE edge_id=e_5ed3fab18fae source=n_f2d5403bd81e edge_type=refutes target=n_825c8cb00428
t=0077 ADD_EDGE edge_id=e_cc2296d23ab7 source=n_5a388b1e472a edge_type=supports target=n_0ac4365e4b9f
t=0078 ADD_EDGE edge_id=e_02cdeb13d8eb source=n_07e7b7dede7f edge_type=refutes target=n_aa4de8181325
t=0079 ADD_EDGE edge_id=e_8bae7404b9cd source=n_08299beb11f3 edge_type=refutes target=n_b6af0a6bbbc1
t=0080 ADD_EDGE edge_id=e_f4b45b771c0c source=n_96ffcc41e7ae edge_type=refutes target=n_44f43c37db90
t=0081 ADD_EDGE edge_id=e_b53e13b60152 source=n_ba01a17af401 edge_type=refutes target=n_21908ca8c5ac
t=0082 ADD_EDGE edge_id=e_c09581650860 source=n_f3808cd94dd4 edge_type=supports target=n_c029afcde1ca
t=0083 ADD_EDGE edge_id=e_9d575ffa8891 source=n_3bd4fd5f0246 edge_type=supports target=n_6a2a40943e47
t=0084 ADD_EDGE edge_id=e_8fde871d16b3 source=n_e01a6a72faf9 edge_type=refutes target=n_e1568b663433
t=0085 ADD_EDGE edge_id=e_7c942287f91d source=n_8a319d58a573 edge_type=supports target=n_08299beb11f3
t=0086 ADD_EDGE edge_id=e_18e22888ede8 source=n_f2d5403bd81e edge_type=supports target=n_005fe48313ca
t=0087 ADD_EDGE edge_id=e_211a95c83327 source=n_22ea617ce46a edge_type=refutes target=n_dbb247f80f7f
t=0088 ADD_EDGE edge_id=e_6160c8ba8a83 source=n_16aea175c156 edge_type=supports target=n_95c70f8ceb23
t=0089 ADD_EDGE edge_id=e_ddd531060424 source=n_7b711ffd475a edge_type=supports target=n_f2d5403bd81e
t=0090 ADD_EDGE edge_id=e_3401bda93dfd source=n_ec25e131c64a edge_type=supports target=n_22ea617ce46a
t=0091 ADD_EDGE edge_id=e_e82ca7a993bc source=n_b25868b25fa3 edge_type=supports target=n_7561563b8d22
t=0092 ADD_EDGE edge_id=e_bb3ebd1e785b source=n_c029afcde1ca edge_type=supports target=n_e3cc3726053a
t=0093 ADD_EDGE edge_id=e_d51a215dc2ec source=n_30ef32a5ef4d edge_type=supports target=n_37ca498d9b5f
t=0094 ADD_EDGE edge_id=e_08d50f7206a6 source=n_20147cad5b07 edge_type=refutes target=n_d820398ee6e8
t=0095 ADD_EDGE edge_id=e_ed99cdd41c85 source=n_aa4de8181325 edge_type=refutes target=n_30ef32a5ef4d
t=0096 ADD_EDGE edge_id=e_644e02a1caff source=n_0ac4365e4b9f edge_type=supports target=n_b25868b25fa3
t=0097 ADD_EDGE edge_id=e_f9514279f241 source=n_44f43c37db90 edge_type=refutes target=n_9fb352b2c0e9
t=0098 ADD_EDGE edge_id=e_fbe48bfdb8b0 source=n_e01a6a72faf9 edge_type=refutes target=n_80c2cb17cfe7
t=0099 ADD_EDGE edge_id=e_a7bb6afca173 source=n_37ff1efb4db4 edge_type=refutes target=n_ec25e131c64a
t=0100 ADD_EDGE edge_id=e_c39cb324a711 source=n_dbb247f80f7f edge_type=supports target=n_29a05d594b7c
t=0101 ADD_EDGE edge_id=e_e551741003b0 source=n_9fb352b2c0e9 edge_type=supports target=n_bb2db9ff87eb
t=0102 ADD_EDGE edge_id=e_46c0d2425d6e source=n_30ef32a5ef4d edge_type=supports target=n_fe3716366bf1
t=0103 ADD_EDGE edge_id=e_05bf4ba613cb source=n_16aea175c156 edge_type=supports target=n_20147cad5b07
t=0104 ADD_EDGE edge_id=e_1ad66a32d7b6 source=n_7561563b8d22 edge_type=supports target=n_3bd4fd5f0246
t=0105 ADD_EDGE edge_id=e_acda22b09568 source=n_7b711ffd475a edge_type=supports target=n_adadff862c0f
t=0106 ADD_EDGE edge_id=e_a5f75eb2527f source=n_6a2a40943e47 edge_type=refutes target=n_ef5cfcafd426
t=0107 ADD_EDGE edge_id=e_fc3b0e59f8cf source=n_c1a8d0ec9847 edge_type=supports target=n_07e7b7dede7f
t=0108 ADD_EDGE edge_id=e_16e54beede55 source=n_d820398ee6e8 edge_type=refutes target=n_f3808cd94dd4
t=0109 ADD_EDGE edge_id=e_dae2acafc8f0 source=n_80c2cb17cfe7 edge_type=supports target=n_1cf1032389bf
t=0110 ADD_EDGE edge_id=e_ad3e247e0e69 source=n_f1fca46d4cb9 edge_type=refutes target=n_16aea175c156
t=0111 QUERY source=n_ba01a17af401 target=n_29a05d594b7c
[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_e191a02ff35d node_type=claim
t=0001 CREATE_NODE id=n_bcec2d774eee node_type=claim
t=0002 CREATE_NODE id=n_93bf562fc2a5 node_type=claim
t=0003 CREATE_NODE id=n_230c2c6d6d0d node_type=claim
t=0004 CREATE_NODE id=n_bdde892db7b0 node_type=claim
t=0005 CREATE_NODE id=n_5a173bf4e3ad node_type=claim
t=0006 CREATE_NODE id=n_7e5515a19e3e node_type=claim
t=0007 CREATE_NODE id=n_97c636951aba node_type=claim
t=0008 CREATE_NODE id=n_1ac12e41e86e node_type=claim
t=0009 CREATE_NODE id=n_6c6a331ef132 node_type=claim
t=0010 CREATE_NODE id=n_ff963ed242b2 node_type=claim
t=0011 CREATE_NODE id=n_2411015a89d2 node_type=claim
t=0012 CREATE_NODE id=n_e9f557d4409e node_type=claim
t=0013 CREATE_NODE id=n_8bc49c02ebef node_type=claim
t=0014 CREATE_NODE id=n_c7b775994ab1 node_type=claim
t=0015 CREATE_NODE id=n_bb62b42fadc5 node_type=claim
t=0016 CREATE_NODE id=n_4ee8f57e1d44 node_type=claim
t=0017 CREATE_NODE id=n_2e5e5c9fb9bb node_type=claim
t=0018 CREATE_NODE id=n_45f73a7084a5 node_type=claim
t=0019 CREATE_NODE id=n_8341b604968d node_type=claim
t=0020 CREATE_NODE id=n_46e98f9aa7c5 node_type=claim
t=0021 CREATE_NODE id=n_231b40840336 node_type=claim
t=0022 CREATE_NODE id=n_d954573a9b6a node_type=claim
t=0023 CREATE_NODE id=n_8fc25dc259df node_type=claim
t=0024 CREATE_NODE id=n_0a00127fb8cb node_type=claim
t=0025 CREATE_NODE id=n_0c039da4ab56 node_type=claim
t=0026 CREATE_NODE id=n_cd8076d526ac node_type=claim
t=0027 CREATE_NODE id=n_3321381fe6ab node_type=claim
t=0028 CREATE_NODE id=n_64c0b0d8e226 node_type=claim
t=0029 CREATE_NODE id=n_cf3406b502c6 node_type=claim
t=0030 CREATE_NODE id=n_705a2098bded node_type=claim
t=0031 CREATE_NODE id=n_3bd45078fa26 node_type=claim
t=0032 CREATE_NODE id=n_132e199b5905 node_type=claim
t=0033 CREATE_NODE id=n_89c0849df640 node_type=claim
t=0034 CREATE_NODE id=n_86dd890a8ed1 node_type=claim
t=0035 CREATE_NODE id=n_452d70a03804 node_type=claim
t=0036 CREATE_NODE id=n_be8fe011f541 node_type=claim
t=0037 CREATE_NODE id=n_c845ea5d5a9c node_type=claim
t=0038 CREATE_NODE id=n_a8ce16cdccbe node_type=claim
t=0039 CREATE_NODE id=n_b89f68286dea node_type=claim
t=0040 CREATE_NODE id=n_647b6e87982c node_type=claim
t=0041 CREATE_NODE id=n_2c0233f00a8e node_type=claim
t=0042 CREATE_NODE id=n_0f9c9f24c733 node_type=claim
t=0043 CREATE_NODE id=n_5f427a461cb6 node_type=claim
t=0044 CREATE_NODE id=n_6aeed02f6db0 node_type=claim
t=0045 CREATE_NODE id=n_946e26343790 node_type=claim
t=0046 CREATE_NODE id=n_30de0a773d4e node_type=claim
t=0047 CREATE_NODE id=n_98c77de09f20 node_type=claim
t=0048 CREATE_NODE id=n_3e2ac75d5eb4 node_type=claim
t=0049 CREATE_NODE id=n_71f62a7716ef node_type=claim
t=0050 CREATE_NODE id=n_d4941907c724 node_type=claim
t=0051 CREATE_NODE id=n_017cb128e6ea node_type=claim
t=0052 CREATE_NODE id=n_2052c1958f77 node_type=claim
t=0053 CREATE_NODE id=n_c649bc893c51 node_type=claim
t=0054 CREATE_NODE id=n_a1eef15763df node_type=claim
t=0055 CREATE_NODE id=n_f21d8ab07513 node_type=claim
t=0056 ASSERT_ROOT node=n_c649bc893c51 value=FALSE
t=0057 ADD_EDGE edge_id=e_218aeccca8e7 source=n_a8ce16cdccbe edge_type=refutes target=n_231b40840336
t=0058 ADD_EDGE edge_id=e_7f60be393ddc source=n_230c2c6d6d0d edge_type=refutes target=n_0f9c9f24c733
t=0059 ADD_EDGE edge_id=e_1d116b6b9ce5 source=n_647b6e87982c edge_type=supports target=n_8bc49c02ebef
t=0060 ADD_EDGE edge_id=e_5d486b71f4e0 source=n_86dd890a8ed1 edge_type=refutes target=n_5f427a461cb6
t=0061 ADD_EDGE edge_id=e_a5eb87f7b4ad source=n_1ac12e41e86e edge_type=supports target=n_a1eef15763df
t=0062 ADD_EDGE edge_id=e_07ec5a2b29e2 source=n_98c77de09f20 edge_type=refutes target=n_e191a02ff35d
t=0063 ADD_EDGE edge_id=e_ebf7bb9806c7 source=n_cf3406b502c6 edge_type=refutes target=n_6aeed02f6db0
t=0064 ADD_EDGE edge_id=e_16d6e292df40 source=n_4ee8f57e1d44 edge_type=refutes target=n_d4941907c724
t=0065 ADD_EDGE edge_id=e_97974e084767 source=n_46e98f9aa7c5 edge_type=refutes target=n_8fc25dc259df
t=0066 ADD_EDGE edge_id=e_f792475b468b source=n_45f73a7084a5 edge_type=supports target=n_46e98f9aa7c5
t=0067 ADD_EDGE edge_id=e_0a4e4e7a4bf0 source=n_93bf562fc2a5 edge_type=refutes target=n_98c77de09f20
t=0068 ADD_EDGE edge_id=e_912c3c883303 source=n_5a173bf4e3ad edge_type=refutes target=n_64c0b0d8e226
t=0069 ADD_EDGE edge_id=e_7c99bef9ad64 source=n_c845ea5d5a9c edge_type=supports target=n_a8ce16cdccbe
t=0070 ADD_EDGE edge_id=e_5464ed353b32 source=n_647b6e87982c edge_type=refutes target=n_3bd45078fa26
t=0071 ADD_EDGE edge_id=e_b39b3565f7d4 source=n_5f427a461cb6 edge_type=refutes target=n_1ac12e41e86e
t=0072 ADD_EDGE edge_id=e_760afb1b5f54 source=n_0c039da4ab56 edge_type=supports target=n_93bf562fc2a5
t=0073 ADD_EDGE edge_id=e_13e4b2aeb238 source=n_946e26343790 edge_type=supports target=n_0c039da4ab56
t=0074 ADD_EDGE edge_id=e_4b94e70517f2 source=n_d954573a9b6a edge_type=supports target=n_705a2098bded
t=0075 ADD_EDGE edge_id=e_c31972a31b92 source=n_a1eef15763df edge_type=supports target=n_b89f68286dea
t=0076 ADD_EDGE edge_id=e_6627e3ecda3f source=n_a8ce16cdccbe edge_type=refutes target=n_86dd890a8ed1
t=0077 ADD_EDGE edge_id=e_1024217f91dc source=n_2e5e5c9fb9bb edge_type=supports target=n_45f73a7084a5
t=0078 ADD_EDGE edge_id=e_289e377c5d25 source=n_64c0b0d8e226 edge_type=refutes target=n_d954573a9b6a
t=0079 ADD_EDGE edge_id=e_405a8777606b source=n_2052c1958f77 edge_type=supports target=n_5a173bf4e3ad
t=0080 ADD_EDGE edge_id=e_d4634397cc43 source=n_97c636951aba edge_type=supports target=n_89c0849df640
t=0081 ADD_EDGE edge_id=e_105fb3dd2fe2 source=n_6c6a331ef132 edge_type=refutes target=n_2052c1958f77
t=0082 ADD_EDGE edge_id=e_51472f51c4f1 source=n_f21d8ab07513 edge_type=supports target=n_6c6a331ef132
t=0083 ADD_EDGE edge_id=e_8512da0ba6d3 source=n_3bd45078fa26 edge_type=refutes target=n_8341b604968d
t=0084 ADD_EDGE edge_id=e_338f2cc5636a source=n_3321381fe6ab edge_type=supports target=n_71f62a7716ef
t=0085 ADD_EDGE edge_id=e_5ad39195c7ab source=n_647b6e87982c edge_type=supports target=n_2e5e5c9fb9bb
t=0086 ADD_EDGE edge_id=e_39b6a513bda7 source=n_cf3406b502c6 edge_type=refutes target=n_bdde892db7b0
t=0087 ADD_EDGE edge_id=e_1def49526e46 source=n_8341b604968d edge_type=refutes target=n_452d70a03804
t=0088 ADD_EDGE edge_id=e_8cd7696a6ef2 source=n_452d70a03804 edge_type=supports target=n_3e2ac75d5eb4
t=0089 ADD_EDGE edge_id=e_a9dcd05c48b7 source=n_bcec2d774eee edge_type=supports target=n_946e26343790
t=0090 ADD_EDGE edge_id=e_0ccdd7b0aaa5 source=n_d954573a9b6a edge_type=supports target=n_4ee8f57e1d44
t=0091 ADD_EDGE edge_id=e_9b0880762b6e source=n_cd8076d526ac edge_type=refutes target=n_2411015a89d2
t=0092 ADD_EDGE edge_id=e_8b71168dbebd source=n_93bf562fc2a5 edge_type=refutes target=n_30de0a773d4e
t=0093 ADD_EDGE edge_id=e_730b998670c0 source=n_cf3406b502c6 edge_type=supports target=n_e9f557d4409e
t=0094 ADD_EDGE edge_id=e_18788f6e41c9 source=n_3bd45078fa26 edge_type=supports target=n_017cb128e6ea
t=0095 ADD_EDGE edge_id=e_47c9e9461a34 source=n_8bc49c02ebef edge_type=supports target=n_cf3406b502c6
t=0096 ADD_EDGE edge_id=e_4c73e09c7c0e source=n_45f73a7084a5 edge_type=refutes target=n_2c0233f00a8e
t=0097 ADD_EDGE edge_id=e_bdb9413ff5a2 source=n_132e199b5905 edge_type=refutes target=n_bcec2d774eee
t=0098 ADD_EDGE edge_id=e_e6dc060e56e0 source=n_97c636951aba edge_type=supports target=n_3321381fe6ab
t=0099 ADD_EDGE edge_id=e_825ef0e1840e source=n_8fc25dc259df edge_type=supports target=n_bb62b42fadc5
t=0100 ADD_EDGE edge_id=e_2cc35d44d92a source=n_0a00127fb8cb edge_type=supports target=n_ff963ed242b2
t=0101 ADD_EDGE edge_id=e_8fb52065b17b source=n_2e5e5c9fb9bb edge_type=supports target=n_be8fe011f541
t=0102 ADD_EDGE edge_id=e_489c000f13cc source=n_97c636951aba edge_type=supports target=n_0a00127fb8cb
t=0103 ADD_EDGE edge_id=e_b4bab688fc7c source=n_c649bc893c51 edge_type=refutes target=n_f21d8ab07513
t=0104 ADD_EDGE edge_id=e_1723a1664c23 source=n_2e5e5c9fb9bb edge_type=refutes target=n_97c636951aba
t=0105 ADD_EDGE edge_id=e_1bf5434ec348 source=n_a1eef15763df edge_type=refutes target=n_cd8076d526ac
t=0106 ADD_EDGE edge_id=e_65d1a285f9b5 source=n_2411015a89d2 edge_type=supports target=n_132e199b5905
t=0107 ADD_EDGE edge_id=e_7bb5a2b039e9 source=n_3e2ac75d5eb4 edge_type=supports target=n_7e5515a19e3e
t=0108 ADD_EDGE edge_id=e_af9624fc2317 source=n_8341b604968d edge_type=refutes target=n_c7b775994ab1
t=0109 ADD_EDGE edge_id=e_cc983c6d608a source=n_d4941907c724 edge_type=refutes target=n_c845ea5d5a9c
t=0110 ADD_EDGE edge_id=e_d348950ae2e4 source=n_89c0849df640 edge_type=refutes target=n_230c2c6d6d0d
t=0111 QUERY source=n_c649bc893c51 target=n_e191a02ff35d
[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_c8bca9e32d8a node_type=claim
t=0001 CREATE_NODE id=n_a2ba075b5acf node_type=claim
t=0002 CREATE_NODE id=n_d8c70602d208 node_type=claim
t=0003 CREATE_NODE id=n_0efd5034bbfb node_type=claim
t=0004 CREATE_NODE id=n_285b53c8049d node_type=claim
t=0005 CREATE_NODE id=n_1c2eaf5c6511 node_type=claim
t=0006 CREATE_NODE id=n_f530e18dc222 node_type=claim
t=0007 CREATE_NODE id=n_4faba62759fe node_type=claim
t=0008 CREATE_NODE id=n_ee2f57c46637 node_type=claim
t=0009 CREATE_NODE id=n_83de0f539831 node_type=claim
t=0010 CREATE_NODE id=n_7a6c2bcd6a76 node_type=claim
t=0011 CREATE_NODE id=n_6395a203bf79 node_type=claim
t=0012 CREATE_NODE id=n_aafbc360b316 node_type=claim
t=0013 CREATE_NODE id=n_56ed85a71efe node_type=claim
t=0014 CREATE_NODE id=n_56858aa442fd node_type=claim
t=0015 CREATE_NODE id=n_0527bbc9ee80 node_type=claim
t=0016 CREATE_NODE id=n_f7ea31c6b257 node_type=claim
t=0017 CREATE_NODE id=n_8281d974fbf9 node_type=claim
t=0018 CREATE_NODE id=n_9bc9b635abf6 node_type=claim
t=0019 CREATE_NODE id=n_60afeeb65072 node_type=claim
t=0020 CREATE_NODE id=n_5647243c4a33 node_type=claim
t=0021 CREATE_NODE id=n_07232a6c4d87 node_type=claim
t=0022 CREATE_NODE id=n_2004594b0fe5 node_type=claim
t=0023 CREATE_NODE id=n_6b6d2e092c7e node_type=claim
t=0024 CREATE_NODE id=n_ac6fe9565702 node_type=claim
t=0025 CREATE_NODE id=n_42987373797e node_type=claim
t=0026 CREATE_NODE id=n_f1c45041c4b3 node_type=claim
t=0027 CREATE_NODE id=n_ac2762ee43f1 node_type=claim
t=0028 CREATE_NODE id=n_dfe6672b70a7 node_type=claim
t=0029 CREATE_NODE id=n_43b4d8174d0b node_type=claim
t=0030 CREATE_NODE id=n_0266acc36b46 node_type=claim
t=0031 CREATE_NODE id=n_5a0d979df065 node_type=claim
t=0032 CREATE_NODE id=n_b199f6a1e6a2 node_type=claim
t=0033 CREATE_NODE id=n_4ac79692234c node_type=claim
t=0034 CREATE_NODE id=n_c17cd4615820 node_type=claim
t=0035 CREATE_NODE id=n_7fc85cef04b2 node_type=claim
t=0036 CREATE_NODE id=n_e6356f8e90c3 node_type=claim
t=0037 CREATE_NODE id=n_8bc39773a349 node_type=claim
t=0038 CREATE_NODE id=n_49561d0aacb4 node_type=claim
t=0039 CREATE_NODE id=n_e0aded12d365 node_type=claim
t=0040 CREATE_NODE id=n_431a083cc32c node_type=claim
t=0041 CREATE_NODE id=n_ff52721a5053 node_type=claim
t=0042 CREATE_NODE id=n_53a347b1d1eb node_type=claim
t=0043 CREATE_NODE id=n_56e198295340 node_type=claim
t=0044 CREATE_NODE id=n_a070c2aa4cb2 node_type=claim
t=0045 CREATE_NODE id=n_48181f72c376 node_type=claim
t=0046 CREATE_NODE id=n_eda24c20aafa node_type=claim
t=0047 CREATE_NODE id=n_888947a1424d node_type=claim
t=0048 CREATE_NODE id=n_cff0bd128b7c node_type=claim
t=0049 CREATE_NODE id=n_27f4149de277 node_type=claim
t=0050 CREATE_NODE id=n_ebdda636f1fb node_type=claim
t=0051 CREATE_NODE id=n_ca7911e455e2 node_type=claim
t=0052 CREATE_NODE id=n_b6e68fd90895 node_type=claim
t=0053 CREATE_NODE id=n_9f332611d48a node_type=claim
t=0054 CREATE_NODE id=n_4d6235cbd92c node_type=claim
t=0055 CREATE_NODE id=n_1b4e18fde6da node_type=claim
t=0056 ASSERT_ROOT node=n_c8bca9e32d8a value=TRUE
t=0057 ADD_EDGE edge_id=e_8cec75235243 source=n_48181f72c376 edge_type=refutes target=n_9bc9b635abf6
t=0058 ADD_EDGE edge_id=e_93463a8f5433 source=n_a070c2aa4cb2 edge_type=supports target=n_d8c70602d208
t=0059 ADD_EDGE edge_id=e_6588d2711203 source=n_0527bbc9ee80 edge_type=supports target=n_27f4149de277
t=0060 ADD_EDGE edge_id=e_f5347a7d7d37 source=n_cff0bd128b7c edge_type=refutes target=n_2004594b0fe5
t=0061 ADD_EDGE edge_id=e_9b8df1a73e50 source=n_f1c45041c4b3 edge_type=refutes target=n_4d6235cbd92c
t=0062 ADD_EDGE edge_id=e_2b2699bc8410 source=n_ca7911e455e2 edge_type=refutes target=n_0527bbc9ee80
t=0063 ADD_EDGE edge_id=e_edf2627aa752 source=n_0266acc36b46 edge_type=refutes target=n_56ed85a71efe
t=0064 ADD_EDGE edge_id=e_7d1a89460934 source=n_7fc85cef04b2 edge_type=supports target=n_7a6c2bcd6a76
t=0065 ADD_EDGE edge_id=e_6c76cf06d8b7 source=n_43b4d8174d0b edge_type=refutes target=n_f530e18dc222
t=0066 ADD_EDGE edge_id=e_244e3e55b9ad source=n_0efd5034bbfb edge_type=supports target=n_cff0bd128b7c
t=0067 ADD_EDGE edge_id=e_dfc519813a09 source=n_e0aded12d365 edge_type=refutes target=n_ebdda636f1fb
t=0068 ADD_EDGE edge_id=e_07ed6aa85546 source=n_5a0d979df065 edge_type=refutes target=n_f7ea31c6b257
t=0069 ADD_EDGE edge_id=e_b148beba9d13 source=n_0efd5034bbfb edge_type=refutes target=n_e6356f8e90c3
t=0070 ADD_EDGE edge_id=e_fbaa14d359af source=n_5a0d979df065 edge_type=supports target=n_5647243c4a33
t=0071 ADD_EDGE edge_id=e_c7115c4ca26a source=n_7a6c2bcd6a76 edge_type=refutes target=n_9f332611d48a
t=0072 ADD_EDGE edge_id=e_52c1923bda63 source=n_5a0d979df065 edge_type=supports target=n_56e198295340
t=0073 ADD_EDGE edge_id=e_c7bd7861eb0c source=n_a070c2aa4cb2 edge_type=supports target=n_c17cd4615820
t=0074 ADD_EDGE edge_id=e_501b1808f1bf source=n_a070c2aa4cb2 edge_type=refutes target=n_07232a6c4d87
t=0075 ADD_EDGE edge_id=e_3a6b531533de source=n_56ed85a71efe edge_type=refutes target=n_8bc39773a349
t=0076 ADD_EDGE edge_id=e_acabf5561f47 source=n_4ac79692234c edge_type=supports target=n_e0aded12d365
t=0077 ADD_EDGE edge_id=e_9dbc4ae8ffe6 source=n_b6e68fd90895 edge_type=refutes target=n_7fc85cef04b2
t=0078 ADD_EDGE edge_id=e_7d96b839491f source=n_5a0d979df065 edge_type=refutes target=n_431a083cc32c
t=0079 ADD_EDGE edge_id=e_6acf03222b1f source=n_53a347b1d1eb edge_type=refutes target=n_0266acc36b46
t=0080 ADD_EDGE edge_id=e_2a35c8e3de6e source=n_1c2eaf5c6511 edge_type=refutes target=n_48181f72c376
t=0081 ADD_EDGE edge_id=e_4465d56dc448 source=n_f1c45041c4b3 edge_type=refutes target=n_60afeeb65072
t=0082 ADD_EDGE edge_id=e_cff4fb55e518 source=n_1c2eaf5c6511 edge_type=supports target=n_6395a203bf79
t=0083 ADD_EDGE edge_id=e_481d34841ce9 source=n_5a0d979df065 edge_type=refutes target=n_4ac79692234c
t=0084 ADD_EDGE edge_id=e_6bca8fd40d0d source=n_9f332611d48a edge_type=supports target=n_ac2762ee43f1
t=0085 ADD_EDGE edge_id=e_0f7fceef98a0 source=n_f1c45041c4b3 edge_type=supports target=n_b199f6a1e6a2
t=0086 ADD_EDGE edge_id=e_81129f3a87c3 source=n_56858aa442fd edge_type=refutes target=n_83de0f539831
t=0087 ADD_EDGE edge_id=e_0c5ebc2f04cb source=n_42987373797e edge_type=refutes target=n_1c2eaf5c6511
t=0088 ADD_EDGE edge_id=e_74750d4db6e7 source=n_83de0f539831 edge_type=supports target=n_285b53c8049d
t=0089 ADD_EDGE edge_id=e_6db4763a171a source=n_ebdda636f1fb edge_type=supports target=n_dfe6672b70a7
t=0090 ADD_EDGE edge_id=e_cfdd099595af source=n_5a0d979df065 edge_type=supports target=n_a070c2aa4cb2
t=0091 ADD_EDGE edge_id=e_8e7a35a9ed7e source=n_49561d0aacb4 edge_type=refutes target=n_56858aa442fd
t=0092 ADD_EDGE edge_id=e_2d9022766434 source=n_b199f6a1e6a2 edge_type=supports target=n_53a347b1d1eb
t=0093 ADD_EDGE edge_id=e_6ff72d74831e source=n_27f4149de277 edge_type=supports target=n_b6e68fd90895
t=0094 ADD_EDGE edge_id=e_d42c87b06c3b source=n_5a0d979df065 edge_type=supports target=n_43b4d8174d0b
t=0095 ADD_EDGE edge_id=e_24b4ec48d881 source=n_888947a1424d edge_type=supports target=n_ca7911e455e2
t=0096 ADD_EDGE edge_id=e_63e34d5cbdbe source=n_8bc39773a349 edge_type=refutes target=n_ff52721a5053
t=0097 ADD_EDGE edge_id=e_5f30d3264182 source=n_ff52721a5053 edge_type=supports target=n_42987373797e
t=0098 ADD_EDGE edge_id=e_8172724a869a source=n_f7ea31c6b257 edge_type=supports target=n_ac6fe9565702
t=0099 ADD_EDGE edge_id=e_0a6dd96efd60 source=n_a070c2aa4cb2 edge_type=refutes target=n_0efd5034bbfb
t=0100 ADD_EDGE edge_id=e_e52143f4100d source=n_431a083cc32c edge_type=supports target=n_aafbc360b316
t=0101 ADD_EDGE edge_id=e_c1a0026b186f source=n_8281d974fbf9 edge_type=supports target=n_6b6d2e092c7e
t=0102 ADD_EDGE edge_id=e_2ddf3a3d3993 source=n_ebdda636f1fb edge_type=refutes target=n_eda24c20aafa
t=0103 ADD_EDGE edge_id=e_2454f5c62dc8 source=n_83de0f539831 edge_type=supports target=n_f1c45041c4b3
t=0104 ADD_EDGE edge_id=e_02a569daf809 source=n_c8bca9e32d8a edge_type=refutes target=n_49561d0aacb4
t=0105 ADD_EDGE edge_id=e_ba57637bf7ac source=n_ebdda636f1fb edge_type=supports target=n_ee2f57c46637
t=0106 ADD_EDGE edge_id=e_1c3095179bb4 source=n_9bc9b635abf6 edge_type=supports target=n_888947a1424d
t=0107 ADD_EDGE edge_id=e_795f234925f9 source=n_c17cd4615820 edge_type=supports target=n_1b4e18fde6da
t=0108 ADD_EDGE edge_id=e_2a99175cfa07 source=n_43b4d8174d0b edge_type=refutes target=n_4faba62759fe
t=0109 ADD_EDGE edge_id=e_69a073eea4c6 source=n_a070c2aa4cb2 edge_type=refutes target=n_a2ba075b5acf
t=0110 ADD_EDGE edge_id=e_5fdc7689dc11 source=n_ac6fe9565702 edge_type=supports target=n_8281d974fbf9
t=0111 QUERY source=n_c8bca9e32d8a target=n_ac2762ee43f1
[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_bf8e8c3b6433 node_type=claim
t=0001 CREATE_NODE id=n_614dc9397466 node_type=claim
t=0002 CREATE_NODE id=n_261b1cae1ded node_type=claim
t=0003 CREATE_NODE id=n_f11b13c8ac43 node_type=claim
t=0004 CREATE_NODE id=n_c016cd53bf76 node_type=claim
t=0005 CREATE_NODE id=n_05376da1d428 node_type=claim
t=0006 CREATE_NODE id=n_bd77bd07320d node_type=claim
t=0007 CREATE_NODE id=n_3298e55a658f node_type=claim
t=0008 CREATE_NODE id=n_38eb508024a1 node_type=claim
t=0009 CREATE_NODE id=n_2c1e1854e92d node_type=claim
t=0010 CREATE_NODE id=n_e39d8dc14c64 node_type=claim
t=0011 CREATE_NODE id=n_853e3ddd48e2 node_type=claim
t=0012 CREATE_NODE id=n_342ef774a6d1 node_type=claim
t=0013 CREATE_NODE id=n_9443e04a991a node_type=claim
t=0014 CREATE_NODE id=n_9021c4652229 node_type=claim
t=0015 CREATE_NODE id=n_d862f11d928a node_type=claim
t=0016 CREATE_NODE id=n_117f6cf29a72 node_type=claim
t=0017 CREATE_NODE id=n_7eda62b62085 node_type=claim
t=0018 CREATE_NODE id=n_4277b4f8c030 node_type=claim
t=0019 CREATE_NODE id=n_a99b8b970e43 node_type=claim
t=0020 CREATE_NODE id=n_992195429aed node_type=claim
t=0021 CREATE_NODE id=n_fe33f6e5a92f node_type=claim
t=0022 CREATE_NODE id=n_ffda2340ba3f node_type=claim
t=0023 CREATE_NODE id=n_5405b7be70e1 node_type=claim
t=0024 CREATE_NODE id=n_c3fdddedad5e node_type=claim
t=0025 CREATE_NODE id=n_7c5d855f8360 node_type=claim
t=0026 CREATE_NODE id=n_b76c60b8b289 node_type=claim
t=0027 CREATE_NODE id=n_ef6e8bf191b1 node_type=claim
t=0028 CREATE_NODE id=n_3c7c3426ef89 node_type=claim
t=0029 CREATE_NODE id=n_cd789eb2c5b9 node_type=claim
t=0030 CREATE_NODE id=n_b323a17e8caa node_type=claim
t=0031 CREATE_NODE id=n_a260337fddc6 node_type=claim
t=0032 CREATE_NODE id=n_41eb84099e3b node_type=claim
t=0033 CREATE_NODE id=n_99b17cc4d28a node_type=claim
t=0034 CREATE_NODE id=n_68a434898c3c node_type=claim
t=0035 CREATE_NODE id=n_4772d227da2e node_type=claim
t=0036 CREATE_NODE id=n_ead6871faaaa node_type=claim
t=0037 CREATE_NODE id=n_356e8de6a352 node_type=claim
t=0038 CREATE_NODE id=n_f8f5b5cb4a5f node_type=claim
t=0039 CREATE_NODE id=n_0a143891e8bd node_type=claim
t=0040 CREATE_NODE id=n_8220ce514c3f node_type=claim
t=0041 CREATE_NODE id=n_905e832ed34f node_type=claim
t=0042 CREATE_NODE id=n_22275f1d7f60 node_type=claim
t=0043 CREATE_NODE id=n_2777fdd9f183 node_type=claim
t=0044 CREATE_NODE id=n_e05bdc261de2 node_type=claim
t=0045 CREATE_NODE id=n_c729e44d46e7 node_type=claim
t=0046 CREATE_NODE id=n_ee4523e3017e node_type=claim
t=0047 CREATE_NODE id=n_d2d3aabc5b3b node_type=claim
t=0048 CREATE_NODE id=n_47492f42970d node_type=claim
t=0049 CREATE_NODE id=n_f8073eb0357c node_type=claim
t=0050 CREATE_NODE id=n_ebebbc550ebf node_type=claim
t=0051 CREATE_NODE id=n_7ed204adfdbb node_type=claim
t=0052 CREATE_NODE id=n_1ec4536e2aa7 node_type=claim
t=0053 CREATE_NODE id=n_44bc39939bbc node_type=claim
t=0054 CREATE_NODE id=n_4c6c85fd3f7c node_type=claim
t=0055 CREATE_NODE id=n_73c28b956e2a node_type=claim
t=0056 CREATE_NODE id=n_ae0c7b9028cf node_type=claim
t=0057 CREATE_NODE id=n_c0c6dd7495ba node_type=claim
t=0058 ASSERT_ROOT node=n_b323a17e8caa value=TRUE
t=0059 ADD_EDGE edge_id=e_49be3e0e9a88 source=n_fe33f6e5a92f edge_type=supports target=n_05376da1d428
t=0060 ADD_EDGE edge_id=e_26a0b8b665b3 source=n_ead6871faaaa edge_type=supports target=n_b76c60b8b289
t=0061 ADD_EDGE edge_id=e_592f71db3c20 source=n_0a143891e8bd edge_type=refutes target=n_e39d8dc14c64
t=0062 ADD_EDGE edge_id=e_3b721010fb2a source=n_7eda62b62085 edge_type=refutes target=n_f11b13c8ac43
t=0063 ADD_EDGE edge_id=e_cad8714b5fca source=n_ebebbc550ebf edge_type=supports target=n_356e8de6a352
t=0064 ADD_EDGE edge_id=e_8d41dc3c556a source=n_992195429aed edge_type=refutes target=n_7ed204adfdbb
t=0065 ADD_EDGE edge_id=e_c0e57ddb0ad6 source=n_2777fdd9f183 edge_type=supports target=n_c016cd53bf76
t=0066 ADD_EDGE edge_id=e_560cc1a8aac2 source=n_c729e44d46e7 edge_type=refutes target=n_2c1e1854e92d
t=0067 ADD_EDGE edge_id=e_0f2703ae03b7 source=n_99b17cc4d28a edge_type=refutes target=n_4c6c85fd3f7c
t=0068 ADD_EDGE edge_id=e_d9f6cf07db93 source=n_f8073eb0357c edge_type=refutes target=n_ebebbc550ebf
t=0069 ADD_EDGE edge_id=e_66d038823a70 source=n_c729e44d46e7 edge_type=supports target=n_342ef774a6d1
t=0070 ADD_EDGE edge_id=e_a0c4a66e824f source=n_bd77bd07320d edge_type=supports target=n_4277b4f8c030
t=0071 ADD_EDGE edge_id=e_13c68f356581 source=n_bf8e8c3b6433 edge_type=refutes target=n_f8073eb0357c
t=0072 ADD_EDGE edge_id=e_b4ad5a6d5536 source=n_7ed204adfdbb edge_type=supports target=n_41eb84099e3b
t=0073 ADD_EDGE edge_id=e_8dd7991255fd source=n_ffda2340ba3f edge_type=refutes target=n_5405b7be70e1
t=0074 ADD_EDGE edge_id=e_f976c937bd24 source=n_c0c6dd7495ba edge_type=supports target=n_614dc9397466
t=0075 ADD_EDGE edge_id=e_8c30ca8e4f5f source=n_117f6cf29a72 edge_type=supports target=n_73c28b956e2a
t=0076 ADD_EDGE edge_id=e_4aab848e8c1a source=n_ee4523e3017e edge_type=refutes target=n_ead6871faaaa
t=0077 ADD_EDGE edge_id=e_3e419567cb76 source=n_0a143891e8bd edge_type=refutes target=n_992195429aed
t=0078 ADD_EDGE edge_id=e_1668393746df source=n_bd77bd07320d edge_type=refutes target=n_d2d3aabc5b3b
t=0079 ADD_EDGE edge_id=e_c4283ef870af source=n_a99b8b970e43 edge_type=refutes target=n_c0c6dd7495ba
t=0080 ADD_EDGE edge_id=e_4b42dcebb5a3 source=n_41eb84099e3b edge_type=supports target=n_905e832ed34f
t=0081 ADD_EDGE edge_id=e_8b7c58b17682 source=n_c016cd53bf76 edge_type=supports target=n_3298e55a658f
t=0082 ADD_EDGE edge_id=e_9f47adeb78af source=n_73c28b956e2a edge_type=supports target=n_ef6e8bf191b1
t=0083 ADD_EDGE edge_id=e_c18f67665ade source=n_cd789eb2c5b9 edge_type=refutes target=n_bf8e8c3b6433
t=0084 ADD_EDGE edge_id=e_d323f3df83da source=n_a99b8b970e43 edge_type=refutes target=n_1ec4536e2aa7
t=0085 ADD_EDGE edge_id=e_715ce75f059d source=n_4772d227da2e edge_type=supports target=n_68a434898c3c
t=0086 ADD_EDGE edge_id=e_6d7da78783b2 source=n_c016cd53bf76 edge_type=supports target=n_38eb508024a1
t=0087 ADD_EDGE edge_id=e_5e1d842c1456 source=n_5405b7be70e1 edge_type=supports target=n_cd789eb2c5b9
t=0088 ADD_EDGE edge_id=e_7703e6a844a8 source=n_3c7c3426ef89 edge_type=supports target=n_4772d227da2e
t=0089 ADD_EDGE edge_id=e_6752249a1e25 source=n_c3fdddedad5e edge_type=refutes target=n_ae0c7b9028cf
t=0090 ADD_EDGE edge_id=e_715f1de048fe source=n_68a434898c3c edge_type=refutes target=n_d862f11d928a
t=0091 ADD_EDGE edge_id=e_8891b3b63a86 source=n_05376da1d428 edge_type=supports target=n_99b17cc4d28a
t=0092 ADD_EDGE edge_id=e_fd48342fed32 source=n_41eb84099e3b edge_type=supports target=n_7c5d855f8360
t=0093 ADD_EDGE edge_id=e_0332c271c05f source=n_41eb84099e3b edge_type=supports target=n_8220ce514c3f
t=0094 ADD_EDGE edge_id=e_78ecce59adc8 source=n_3298e55a658f edge_type=refutes target=n_e05bdc261de2
t=0095 ADD_EDGE edge_id=e_1fb2c1e16d8b source=n_356e8de6a352 edge_type=refutes target=n_2777fdd9f183
t=0096 ADD_EDGE edge_id=e_3dff2253d5e5 source=n_4277b4f8c030 edge_type=supports target=n_c3fdddedad5e
t=0097 ADD_EDGE edge_id=e_5e879b9671b6 source=n_992195429aed edge_type=refutes target=n_9443e04a991a
t=0098 ADD_EDGE edge_id=e_bb5f3c9ab72f source=n_9443e04a991a edge_type=refutes target=n_fe33f6e5a92f
t=0099 ADD_EDGE edge_id=e_3e5e2c79a924 source=n_9021c4652229 edge_type=supports target=n_3c7c3426ef89
t=0100 ADD_EDGE edge_id=e_1e32cd718924 source=n_b76c60b8b289 edge_type=refutes target=n_bd77bd07320d
t=0101 ADD_EDGE edge_id=e_5c494da5db3b source=n_2c1e1854e92d edge_type=refutes target=n_ffda2340ba3f
t=0102 ADD_EDGE edge_id=e_8373b44a85fc source=n_a99b8b970e43 edge_type=refutes target=n_f8f5b5cb4a5f
t=0103 ADD_EDGE edge_id=e_2f9c54b26aed source=n_3c7c3426ef89 edge_type=refutes target=n_0a143891e8bd
t=0104 ADD_EDGE edge_id=e_ae71dcbcc0f6 source=n_b323a17e8caa edge_type=refutes target=n_ee4523e3017e
t=0105 ADD_EDGE edge_id=e_969023a4c418 source=n_47492f42970d edge_type=supports target=n_c729e44d46e7
t=0106 ADD_EDGE edge_id=e_c7f009b2216e source=n_73c28b956e2a edge_type=supports target=n_47492f42970d
t=0107 ADD_EDGE edge_id=e_01d258b28c8b source=n_68a434898c3c edge_type=supports target=n_7eda62b62085
t=0108 ADD_EDGE edge_id=e_6409a52e3f15 source=n_4772d227da2e edge_type=supports target=n_22275f1d7f60
t=0109 ADD_EDGE edge_id=e_b1cc5a60a5ce source=n_ae0c7b9028cf edge_type=refutes target=n_261b1cae1ded
t=0110 ADD_EDGE edge_id=e_7a94b944dad4 source=n_d862f11d928a edge_type=supports target=n_a260337fddc6
t=0111 ADD_EDGE edge_id=e_f76775e79942 source=n_261b1cae1ded edge_type=refutes target=n_117f6cf29a72
t=0112 ADD_EDGE edge_id=e_1c012b81ca79 source=n_05376da1d428 edge_type=supports target=n_853e3ddd48e2
t=0113 ADD_EDGE edge_id=e_bcc77b9f862a source=n_4772d227da2e edge_type=refutes target=n_a99b8b970e43
t=0114 ADD_EDGE edge_id=e_410f236e6d04 source=n_fe33f6e5a92f edge_type=supports target=n_44bc39939bbc
t=0115 QUERY source=n_b323a17e8caa target=n_e05bdc261de2
[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_58b009fbd272 node_type=claim
t=0001 CREATE_NODE id=n_330c7eeadba3 node_type=claim
t=0002 CREATE_NODE id=n_404a1f3070d4 node_type=claim
t=0003 CREATE_NODE id=n_2ac23e939c0f node_type=claim
t=0004 CREATE_NODE id=n_bcf14397a4f4 node_type=claim
t=0005 CREATE_NODE id=n_ffe8c2379c60 node_type=claim
t=0006 CREATE_NODE id=n_8a47f829c1e3 node_type=claim
t=0007 CREATE_NODE id=n_8f5dd55ae857 node_type=claim
t=0008 CREATE_NODE id=n_fa868697bd8f node_type=claim
t=0009 CREATE_NODE id=n_a62c78180b69 node_type=claim
t=0010 CREATE_NODE id=n_980f3fce6525 node_type=claim
t=0011 CREATE_NODE id=n_9f69d755ac77 node_type=claim
t=0012 CREATE_NODE id=n_c47d2ce6416e node_type=claim
t=0013 CREATE_NODE id=n_3188d2438d4c node_type=claim
t=0014 CREATE_NODE id=n_7983299dad89 node_type=claim
t=0015 CREATE_NODE id=n_ceb959dffb3d node_type=claim
t=0016 CREATE_NODE id=n_693cea6b6070 node_type=claim
t=0017 CREATE_NODE id=n_510665a5bb75 node_type=claim
t=0018 CREATE_NODE id=n_758cd9ff954b node_type=claim
t=0019 CREATE_NODE id=n_c8a2b459e514 node_type=claim
t=0020 CREATE_NODE id=n_beef39a828b1 node_type=claim
t=0021 CREATE_NODE id=n_833e14802ba6 node_type=claim
t=0022 CREATE_NODE id=n_1fab1606623b node_type=claim
t=0023 CREATE_NODE id=n_6d0166fab4c4 node_type=claim
t=0024 CREATE_NODE id=n_9bd108f08ad8 node_type=claim
t=0025 CREATE_NODE id=n_e728dfea49db node_type=claim
t=0026 CREATE_NODE id=n_0f2d80e85d9b node_type=claim
t=0027 CREATE_NODE id=n_e9dd70d16518 node_type=claim
t=0028 CREATE_NODE id=n_6b904d547f4a node_type=claim
t=0029 CREATE_NODE id=n_b7d85d4d595b node_type=claim
t=0030 CREATE_NODE id=n_ed03e279e3eb node_type=claim
t=0031 CREATE_NODE id=n_8b4042e8300a node_type=claim
t=0032 CREATE_NODE id=n_56bd7f80b996 node_type=claim
t=0033 CREATE_NODE id=n_ff382afd46f4 node_type=claim
t=0034 CREATE_NODE id=n_321e6bdbd664 node_type=claim
t=0035 CREATE_NODE id=n_6b26ef9c5503 node_type=claim
t=0036 CREATE_NODE id=n_8a8e397a6bc5 node_type=claim
t=0037 CREATE_NODE id=n_96a74e5cc9ab node_type=claim
t=0038 CREATE_NODE id=n_0fc39c90abd3 node_type=claim
t=0039 CREATE_NODE id=n_ea29a8676f87 node_type=claim
t=0040 CREATE_NODE id=n_ce76921d8ff3 node_type=claim
t=0041 CREATE_NODE id=n_e719d163a93f node_type=claim
t=0042 CREATE_NODE id=n_fe1e394a16d7 node_type=claim
t=0043 CREATE_NODE id=n_bec8842d3995 node_type=claim
t=0044 CREATE_NODE id=n_e37985fcf7f5 node_type=claim
t=0045 CREATE_NODE id=n_ad6a4981766a node_type=claim
t=0046 CREATE_NODE id=n_e30392429db3 node_type=claim
t=0047 CREATE_NODE id=n_61503d978ec7 node_type=claim
t=0048 CREATE_NODE id=n_4031b0f64c65 node_type=claim
t=0049 CREATE_NODE id=n_ad4320138f3c node_type=claim
t=0050 CREATE_NODE id=n_d84730712607 node_type=claim
t=0051 CREATE_NODE id=n_3c712c0bf52b node_type=claim
t=0052 CREATE_NODE id=n_309385c940ed node_type=claim
t=0053 CREATE_NODE id=n_f3fc75954a6f node_type=claim
t=0054 CREATE_NODE id=n_6a1aa695a754 node_type=claim
t=0055 CREATE_NODE id=n_f968977dd1ec node_type=claim
t=0056 CREATE_NODE id=n_b0a9f7ef8b1c node_type=claim
t=0057 CREATE_NODE id=n_81aa7d990df0 node_type=claim
t=0058 ASSERT_ROOT node=n_309385c940ed value=FALSE
t=0059 ADD_EDGE edge_id=e_602c1d81c735 source=n_9f69d755ac77 edge_type=supports target=n_fe1e394a16d7
t=0060 ADD_EDGE edge_id=e_eb50f05fc6f8 source=n_6d0166fab4c4 edge_type=supports target=n_ce76921d8ff3
t=0061 ADD_EDGE edge_id=e_71a316a05734 source=n_0fc39c90abd3 edge_type=supports target=n_96a74e5cc9ab
t=0062 ADD_EDGE edge_id=e_d876927fb064 source=n_8a8e397a6bc5 edge_type=refutes target=n_6d0166fab4c4
t=0063 ADD_EDGE edge_id=e_271a2365118a source=n_3c712c0bf52b edge_type=refutes target=n_0f2d80e85d9b
t=0064 ADD_EDGE edge_id=e_145e1b59fa93 source=n_309385c940ed edge_type=supports target=n_9bd108f08ad8
t=0065 ADD_EDGE edge_id=e_42265add6bc3 source=n_833e14802ba6 edge_type=supports target=n_ad4320138f3c
t=0066 ADD_EDGE edge_id=e_1c07e5e4ef26 source=n_6b904d547f4a edge_type=refutes target=n_f3fc75954a6f
t=0067 ADD_EDGE edge_id=e_4e682b83d373 source=n_330c7eeadba3 edge_type=supports target=n_8b4042e8300a
t=0068 ADD_EDGE edge_id=e_438cd0319879 source=n_3c712c0bf52b edge_type=refutes target=n_833e14802ba6
t=0069 ADD_EDGE edge_id=e_a6e5f539ed8b source=n_6a1aa695a754 edge_type=supports target=n_8a47f829c1e3
t=0070 ADD_EDGE edge_id=e_b235e3d29ca2 source=n_ff382afd46f4 edge_type=refutes target=n_510665a5bb75
t=0071 ADD_EDGE edge_id=e_36ffafc1905f source=n_beef39a828b1 edge_type=refutes target=n_fa868697bd8f
t=0072 ADD_EDGE edge_id=e_8db11665f2a8 source=n_4031b0f64c65 edge_type=supports target=n_bec8842d3995
t=0073 ADD_EDGE edge_id=e_80c036abf44a source=n_e30392429db3 edge_type=refutes target=n_330c7eeadba3
t=0074 ADD_EDGE edge_id=e_374a911ec3f2 source=n_510665a5bb75 edge_type=refutes target=n_ed03e279e3eb
t=0075 ADD_EDGE edge_id=e_bcd2e1de11d9 source=n_f968977dd1ec edge_type=supports target=n_404a1f3070d4
t=0076 ADD_EDGE edge_id=e_c03efa2ecdbc source=n_309385c940ed edge_type=supports target=n_e719d163a93f
t=0077 ADD_EDGE edge_id=e_ef539138ba5e source=n_56bd7f80b996 edge_type=supports target=n_0fc39c90abd3
t=0078 ADD_EDGE edge_id=e_2d8ff90e5782 source=n_ff382afd46f4 edge_type=supports target=n_beef39a828b1
t=0079 ADD_EDGE edge_id=e_9e898a7c1db9 source=n_beef39a828b1 edge_type=supports target=n_ffe8c2379c60
t=0080 ADD_EDGE edge_id=e_2875819322be source=n_fe1e394a16d7 edge_type=supports target=n_e30392429db3
t=0081 ADD_EDGE edge_id=e_9d50ce1f68b8 source=n_e719d163a93f edge_type=refutes target=n_321e6bdbd664
t=0082 ADD_EDGE edge_id=e_27a475b5dbde source=n_e719d163a93f edge_type=supports target=n_ceb959dffb3d
t=0083 ADD_EDGE edge_id=e_d280dad66f61 source=n_3c712c0bf52b edge_type=refutes target=n_6a1aa695a754
t=0084 ADD_EDGE edge_id=e_4c59bdaadf01 source=n_833e14802ba6 edge_type=supports target=n_758cd9ff954b
t=0085 ADD_EDGE edge_id=e_6b12e02e6839 source=n_beef39a828b1 edge_type=refutes target=n_6b904d547f4a
t=0086 ADD_EDGE edge_id=e_a9ac333c23dd source=n_693cea6b6070 edge_type=refutes target=n_9f69d755ac77
t=0087 ADD_EDGE edge_id=e_3ff8b4929777 source=n_ed03e279e3eb edge_type=refutes target=n_61503d978ec7
t=0088 ADD_EDGE edge_id=e_a99321e7dad1 source=n_beef39a828b1 edge_type=refutes target=n_81aa7d990df0
t=0089 ADD_EDGE edge_id=e_1114e66e8abf source=n_8b4042e8300a edge_type=supports target=n_2ac23e939c0f
t=0090 ADD_EDGE edge_id=e_4d12252d3b1a source=n_3c712c0bf52b edge_type=refutes target=n_3188d2438d4c
t=0091 ADD_EDGE edge_id=e_2b556a525c30 source=n_fa868697bd8f edge_type=refutes target=n_980f3fce6525
t=0092 ADD_EDGE edge_id=e_329d680d63fd source=n_ffe8c2379c60 edge_type=refutes target=n_c8a2b459e514
t=0093 ADD_EDGE edge_id=e_92fdb475e4b4 source=n_7983299dad89 edge_type=supports target=n_56bd7f80b996
t=0094 ADD_EDGE edge_id=e_4cd8f0512f6a source=n_bec8842d3995 edge_type=supports target=n_8a8e397a6bc5
t=0095 ADD_EDGE edge_id=e_69e9faaae252 source=n_f3fc75954a6f edge_type=supports target=n_a62c78180b69
t=0096 ADD_EDGE edge_id=e_922db02734e4 source=n_81aa7d990df0 edge_type=refutes target=n_8f5dd55ae857
t=0097 ADD_EDGE edge_id=e_904d4c5ba65a source=n_beef39a828b1 edge_type=refutes target=n_1fab1606623b
t=0098 ADD_EDGE edge_id=e_8c6a2597f220 source=n_ea29a8676f87 edge_type=refutes target=n_6b26ef9c5503
t=0099 ADD_EDGE edge_id=e_50528c30f30b source=n_6b904d547f4a edge_type=refutes target=n_e728dfea49db
t=0100 ADD_EDGE edge_id=e_d129f7682279 source=n_330c7eeadba3 edge_type=supports target=n_ad6a4981766a
t=0101 ADD_EDGE edge_id=e_bc31817c240a source=n_d84730712607 edge_type=supports target=n_f968977dd1ec
t=0102 ADD_EDGE edge_id=e_20294ec07e50 source=n_2ac23e939c0f edge_type=refutes target=n_c47d2ce6416e
t=0103 ADD_EDGE edge_id=e_e01bf8a7d058 source=n_ff382afd46f4 edge_type=refutes target=n_3c712c0bf52b
t=0104 ADD_EDGE edge_id=e_c0537ffe332a source=n_beef39a828b1 edge_type=supports target=n_b0a9f7ef8b1c
t=0105 ADD_EDGE edge_id=e_7062b2b9e8c7 source=n_e9dd70d16518 edge_type=supports target=n_e37985fcf7f5
t=0106 ADD_EDGE edge_id=e_5ea411b8006a source=n_c47d2ce6416e edge_type=supports target=n_58b009fbd272
t=0107 ADD_EDGE edge_id=e_911399fc5ceb source=n_0fc39c90abd3 edge_type=refutes target=n_d84730712607
t=0108 ADD_EDGE edge_id=e_a5ffd7f4912d source=n_e37985fcf7f5 edge_type=refutes target=n_4031b0f64c65
t=0109 ADD_EDGE edge_id=e_fa98939a9a6b source=n_321e6bdbd664 edge_type=supports target=n_7983299dad89
t=0110 ADD_EDGE edge_id=e_21d5a90529b5 source=n_404a1f3070d4 edge_type=supports target=n_693cea6b6070
t=0111 ADD_EDGE edge_id=e_356bd94d4605 source=n_fa868697bd8f edge_type=refutes target=n_bcf14397a4f4
t=0112 ADD_EDGE edge_id=e_47946855648f source=n_ff382afd46f4 edge_type=refutes target=n_ea29a8676f87
t=0113 ADD_EDGE edge_id=e_5697ad2dad31 source=n_833e14802ba6 edge_type=refutes target=n_b7d85d4d595b
t=0114 ADD_EDGE edge_id=e_c6145c68fdd3 source=n_58b009fbd272 edge_type=supports target=n_e9dd70d16518
t=0115 QUERY source=n_309385c940ed target=n_ce76921d8ff3
[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_593a6433474f node_type=claim
t=0001 CREATE_NODE id=n_4d207bf56fa0 node_type=claim
t=0002 CREATE_NODE id=n_4bba7046a8e7 node_type=claim
t=0003 CREATE_NODE id=n_9db251cb40e2 node_type=claim
t=0004 CREATE_NODE id=n_7be613d1e34f node_type=claim
t=0005 CREATE_NODE id=n_c77dc0e44027 node_type=claim
t=0006 CREATE_NODE id=n_edf149d2a55a node_type=claim
t=0007 CREATE_NODE id=n_a41517fdeb5c node_type=claim
t=0008 CREATE_NODE id=n_79513c0c9f2f node_type=claim
t=0009 CREATE_NODE id=n_6cbe07295db4 node_type=claim
t=0010 CREATE_NODE id=n_1403083beda8 node_type=claim
t=0011 CREATE_NODE id=n_813c5df6f08e node_type=claim
t=0012 CREATE_NODE id=n_15a1d95029e2 node_type=claim
t=0013 CREATE_NODE id=n_de505e3ef5bc node_type=claim
t=0014 CREATE_NODE id=n_c8846383e64c node_type=claim
t=0015 CREATE_NODE id=n_a8a97d8421a9 node_type=claim
t=0016 CREATE_NODE id=n_afc7af5c9aff node_type=claim
t=0017 CREATE_NODE id=n_0fc013d1103b node_type=claim
t=0018 CREATE_NODE id=n_5a02ac6d0e6e node_type=claim
t=0019 CREATE_NODE id=n_b1602802e503 node_type=claim
t=0020 CREATE_NODE id=n_f6196aa73f8b node_type=claim
t=0021 CREATE_NODE id=n_0446a134e9a1 node_type=claim
t=0022 CREATE_NODE id=n_a069f6da19f9 node_type=claim
t=0023 CREATE_NODE id=n_ada3479f5aa1 node_type=claim
t=0024 CREATE_NODE id=n_5b42a4ff0b43 node_type=claim
t=0025 CREATE_NODE id=n_d6d47c5d4192 node_type=claim
t=0026 CREATE_NODE id=n_c8406cb72195 node_type=claim
t=0027 CREATE_NODE id=n_99605aed8887 node_type=claim
t=0028 CREATE_NODE id=n_1e2651464888 node_type=claim
t=0029 CREATE_NODE id=n_7d4b6733d7de node_type=claim
t=0030 CREATE_NODE id=n_3985f94b0b70 node_type=claim
t=0031 CREATE_NODE id=n_b384d99c59d2 node_type=claim
t=0032 CREATE_NODE id=n_9e45ad070332 node_type=claim
t=0033 CREATE_NODE id=n_d93e76902c49 node_type=claim
t=0034 CREATE_NODE id=n_c846c4758d01 node_type=claim
t=0035 CREATE_NODE id=n_43fe879e379a node_type=claim
t=0036 CREATE_NODE id=n_d2d186e4cd1f node_type=claim
t=0037 CREATE_NODE id=n_3cff9c37cb9b node_type=claim
t=0038 CREATE_NODE id=n_f2339c5f8e1a node_type=claim
t=0039 CREATE_NODE id=n_8fd02e8d9f56 node_type=claim
t=0040 CREATE_NODE id=n_36487062be30 node_type=claim
t=0041 CREATE_NODE id=n_cbcc047d501c node_type=claim
t=0042 CREATE_NODE id=n_20178f294f50 node_type=claim
t=0043 CREATE_NODE id=n_5b428ed89dee node_type=claim
t=0044 CREATE_NODE id=n_df2c1098a837 node_type=claim
t=0045 CREATE_NODE id=n_2844fb830dd2 node_type=claim
t=0046 CREATE_NODE id=n_6a8b5e76169f node_type=claim
t=0047 CREATE_NODE id=n_45469ccf742a node_type=claim
t=0048 CREATE_NODE id=n_91e27d3df4e4 node_type=claim
t=0049 CREATE_NODE id=n_daeba9c52da9 node_type=claim
t=0050 CREATE_NODE id=n_418f157e905c node_type=claim
t=0051 CREATE_NODE id=n_270c43988909 node_type=claim
t=0052 CREATE_NODE id=n_cf1b4a2d8efe node_type=claim
t=0053 CREATE_NODE id=n_5ae0ebb13331 node_type=claim
t=0054 CREATE_NODE id=n_4cfcc5f9aa8c node_type=claim
t=0055 CREATE_NODE id=n_ec035505e2f2 node_type=claim
t=0056 CREATE_NODE id=n_2d39c02a2526 node_type=claim
t=0057 CREATE_NODE id=n_c1992c54b3e1 node_type=claim
t=0058 ASSERT_ROOT node=n_edf149d2a55a value=TRUE
t=0059 ADD_EDGE edge_id=e_fb5b949d9284 source=n_9db251cb40e2 edge_type=refutes target=n_ada3479f5aa1
t=0060 ADD_EDGE edge_id=e_f3fbad88d973 source=n_b1602802e503 edge_type=supports target=n_c8406cb72195
t=0061 ADD_EDGE edge_id=e_61c13ea8bf0e source=n_45469ccf742a edge_type=refutes target=n_5a02ac6d0e6e
t=0062 ADD_EDGE edge_id=e_2689c6c3ecfa source=n_f2339c5f8e1a edge_type=refutes target=n_5b42a4ff0b43
t=0063 ADD_EDGE edge_id=e_8e9695e2b130 source=n_45469ccf742a edge_type=refutes target=n_5b428ed89dee
t=0064 ADD_EDGE edge_id=e_452ac0378129 source=n_4d207bf56fa0 edge_type=supports target=n_d93e76902c49
t=0065 ADD_EDGE edge_id=e_7e43caabdac8 source=n_6cbe07295db4 edge_type=supports target=n_2844fb830dd2
t=0066 ADD_EDGE edge_id=e_05f607b929db source=n_5a02ac6d0e6e edge_type=supports target=n_36487062be30
t=0067 ADD_EDGE edge_id=e_840878a07e26 source=n_5a02ac6d0e6e edge_type=supports target=n_cf1b4a2d8efe
t=0068 ADD_EDGE edge_id=e_c9a9ea03a688 source=n_813c5df6f08e edge_type=supports target=n_a41517fdeb5c
t=0069 ADD_EDGE edge_id=e_7bf905a4fa31 source=n_f2339c5f8e1a edge_type=refutes target=n_4cfcc5f9aa8c
t=0070 ADD_EDGE edge_id=e_bbfafb8539f3 source=n_5a02ac6d0e6e edge_type=refutes target=n_f2339c5f8e1a
t=0071 ADD_EDGE edge_id=e_acdf616226c5 source=n_c846c4758d01 edge_type=refutes target=n_9db251cb40e2
t=0072 ADD_EDGE edge_id=e_f17177fdd6a3 source=n_d2d186e4cd1f edge_type=refutes target=n_79513c0c9f2f
t=0073 ADD_EDGE edge_id=e_01d1cc70281a source=n_5a02ac6d0e6e edge_type=supports target=n_1403083beda8
t=0074 ADD_EDGE edge_id=e_66deb8353dde source=n_0fc013d1103b edge_type=supports target=n_418f157e905c
t=0075 ADD_EDGE edge_id=e_751ec02e34cb source=n_45469ccf742a edge_type=refutes target=n_b1602802e503
t=0076 ADD_EDGE edge_id=e_f3b926d4d910 source=n_c77dc0e44027 edge_type=supports target=n_c846c4758d01
t=0077 ADD_EDGE edge_id=e_c76b70238822 source=n_91e27d3df4e4 edge_type=supports target=n_3985f94b0b70
t=0078 ADD_EDGE edge_id=e_171e84eb4f01 source=n_91e27d3df4e4 edge_type=supports target=n_a069f6da19f9
t=0079 ADD_EDGE edge_id=e_4051b92906f9 source=n_1e2651464888 edge_type=supports target=n_7be613d1e34f
t=0080 ADD_EDGE edge_id=e_a139da4448e8 source=n_c1992c54b3e1 edge_type=supports target=n_4bba7046a8e7
t=0081 ADD_EDGE edge_id=e_1034945185f5 source=n_a41517fdeb5c edge_type=refutes target=n_4d207bf56fa0
t=0082 ADD_EDGE edge_id=e_78adab76c482 source=n_43fe879e379a edge_type=refutes target=n_de505e3ef5bc
t=0083 ADD_EDGE edge_id=e_a4dd7444f6a7 source=n_f2339c5f8e1a edge_type=supports target=n_20178f294f50
t=0084 ADD_EDGE edge_id=e_e7787e92e88a source=n_15a1d95029e2 edge_type=refutes target=n_a8a97d8421a9
t=0085 ADD_EDGE edge_id=e_a7f783afb64c source=n_5a02ac6d0e6e edge_type=refutes target=n_593a6433474f
t=0086 ADD_EDGE edge_id=e_e64b34024db5 source=n_36487062be30 edge_type=refutes target=n_c8846383e64c
t=0087 ADD_EDGE edge_id=e_ef26e4a5579d source=n_df2c1098a837 edge_type=supports target=n_91e27d3df4e4
t=0088 ADD_EDGE edge_id=e_927c8c1e0cc6 source=n_79513c0c9f2f edge_type=supports target=n_0fc013d1103b
t=0089 ADD_EDGE edge_id=e_36f0e056d32c source=n_f6196aa73f8b edge_type=supports target=n_daeba9c52da9
t=0090 ADD_EDGE edge_id=e_71446d961682 source=n_1403083beda8 edge_type=supports target=n_c1992c54b3e1
t=0091 ADD_EDGE edge_id=e_e3b53edebf01 source=n_0fc013d1103b edge_type=refutes target=n_c77dc0e44027
t=0092 ADD_EDGE edge_id=e_b22bb5a5dd14 source=n_593a6433474f edge_type=refutes target=n_b384d99c59d2
t=0093 ADD_EDGE edge_id=e_93e5a55897e5 source=n_a8a97d8421a9 edge_type=refutes target=n_43fe879e379a
t=0094 ADD_EDGE edge_id=e_5e469d4d20ce source=n_45469ccf742a edge_type=refutes target=n_f6196aa73f8b
t=0095 ADD_EDGE edge_id=e_550592e92128 source=n_f6196aa73f8b edge_type=supports target=n_6a8b5e76169f
t=0096 ADD_EDGE edge_id=e_db2b3cd67270 source=n_c8406cb72195 edge_type=supports target=n_99605aed8887
t=0097 ADD_EDGE edge_id=e_ca6a645b0ea1 source=n_79513c0c9f2f edge_type=refutes target=n_d6d47c5d4192
t=0098 ADD_EDGE edge_id=e_88dbf10c2479 source=n_4bba7046a8e7 edge_type=supports target=n_2d39c02a2526
t=0099 ADD_EDGE edge_id=e_4dcf9eff02a9 source=n_d93e76902c49 edge_type=supports target=n_0446a134e9a1
t=0100 ADD_EDGE edge_id=e_8efd3d34b20d source=n_5b428ed89dee edge_type=refutes target=n_3cff9c37cb9b
t=0101 ADD_EDGE edge_id=e_676cc8a6809a source=n_edf149d2a55a edge_type=supports target=n_d2d186e4cd1f
t=0102 ADD_EDGE edge_id=e_bc0f42345f08 source=n_270c43988909 edge_type=refutes target=n_afc7af5c9aff
t=0103 ADD_EDGE edge_id=e_33e0a5121b74 source=n_cbcc047d501c edge_type=refutes target=n_1e2651464888
t=0104 ADD_EDGE edge_id=e_ab390faeb3aa source=n_2844fb830dd2 edge_type=refutes target=n_ec035505e2f2
t=0105 ADD_EDGE edge_id=e_a79a627a7d6f source=n_45469ccf742a edge_type=refutes target=n_6cbe07295db4
t=0106 ADD_EDGE edge_id=e_8566f8a462d3 source=n_7be613d1e34f edge_type=supports target=n_813c5df6f08e
t=0107 ADD_EDGE edge_id=e_bbcee107d276 source=n_5b428ed89dee edge_type=supports target=n_9e45ad070332
t=0108 ADD_EDGE edge_id=e_18b9b8162110 source=n_afc7af5c9aff edge_type=supports target=n_df2c1098a837
t=0109 ADD_EDGE edge_id=e_cfcbb3bcd828 source=n_0446a134e9a1 edge_type=refutes target=n_15a1d95029e2
t=0110 ADD_EDGE edge_id=e_2ce3aca49c99 source=n_6cbe07295db4 edge_type=refutes target=n_7d4b6733d7de
t=0111 ADD_EDGE edge_id=e_5b683d329755 source=n_a069f6da19f9 edge_type=supports target=n_cbcc047d501c
t=0112 ADD_EDGE edge_id=e_ebbd8f242953 source=n_f2339c5f8e1a edge_type=supports target=n_5ae0ebb13331
t=0113 ADD_EDGE edge_id=e_da526235a100 source=n_7be613d1e34f edge_type=refutes target=n_8fd02e8d9f56
t=0114 ADD_EDGE edge_id=e_9d0d1bb05b5f source=n_ada3479f5aa1 edge_type=refutes target=n_270c43988909
t=0115 QUERY source=n_edf149d2a55a target=n_de505e3ef5bc
[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_d112f4069d32 node_type=claim
t=0001 CREATE_NODE id=n_6799b9caee9f node_type=claim
t=0002 CREATE_NODE id=n_f2fe66be705e node_type=claim
t=0003 CREATE_NODE id=n_f131f9071e33 node_type=claim
t=0004 CREATE_NODE id=n_950a8a100a9d node_type=claim
t=0005 CREATE_NODE id=n_668e4e4f85df node_type=claim
t=0006 CREATE_NODE id=n_5d1563c4d528 node_type=claim
t=0007 CREATE_NODE id=n_6d84219e8b66 node_type=claim
t=0008 CREATE_NODE id=n_145cfd871fd2 node_type=claim
t=0009 CREATE_NODE id=n_f1678dc5abf5 node_type=claim
t=0010 CREATE_NODE id=n_dbee5a1e3453 node_type=claim
t=0011 CREATE_NODE id=n_e5d7c30e306c node_type=claim
t=0012 CREATE_NODE id=n_87ac33c26301 node_type=claim
t=0013 CREATE_NODE id=n_cf14ad3e4460 node_type=claim
t=0014 CREATE_NODE id=n_17c182a50894 node_type=claim
t=0015 CREATE_NODE id=n_778f1cf003c7 node_type=claim
t=0016 CREATE_NODE id=n_b40a782204e1 node_type=claim
t=0017 CREATE_NODE id=n_95c8938c7ed3 node_type=claim
t=0018 CREATE_NODE id=n_335ea1c10fa7 node_type=claim
t=0019 CREATE_NODE id=n_7ae6c2e842fd node_type=claim
t=0020 CREATE_NODE id=n_c4ded852615c node_type=claim
t=0021 CREATE_NODE id=n_f12973cb2bae node_type=claim
t=0022 CREATE_NODE id=n_2136ccded37a node_type=claim
t=0023 CREATE_NODE id=n_5f993bbeec7f node_type=claim
t=0024 CREATE_NODE id=n_4275752da89f node_type=claim
t=0025 CREATE_NODE id=n_de3c235c2af4 node_type=claim
t=0026 CREATE_NODE id=n_c316e442fb01 node_type=claim
t=0027 CREATE_NODE id=n_a2e9915320ab node_type=claim
t=0028 CREATE_NODE id=n_54db2952ac1a node_type=claim
t=0029 CREATE_NODE id=n_c49a8932296c node_type=claim
t=0030 CREATE_NODE id=n_becc28f2bbe7 node_type=claim
t=0031 CREATE_NODE id=n_79379a5492a1 node_type=claim
t=0032 CREATE_NODE id=n_abba661f8c27 node_type=claim
t=0033 CREATE_NODE id=n_0c4c005ce895 node_type=claim
t=0034 CREATE_NODE id=n_5a4774a6072a node_type=claim
t=0035 CREATE_NODE id=n_910d1a8a917f node_type=claim
t=0036 CREATE_NODE id=n_538801c1cef7 node_type=claim
t=0037 CREATE_NODE id=n_5aed79b794ec node_type=claim
t=0038 CREATE_NODE id=n_e5b8b47fb1e6 node_type=claim
t=0039 CREATE_NODE id=n_dafa6d89b529 node_type=claim
t=0040 CREATE_NODE id=n_f9e9b05b9682 node_type=claim
t=0041 CREATE_NODE id=n_a5c1754962a0 node_type=claim
t=0042 CREATE_NODE id=n_4ce2ffcbde13 node_type=claim
t=0043 CREATE_NODE id=n_576639d76142 node_type=claim
t=0044 CREATE_NODE id=n_01881206afdd node_type=claim
t=0045 CREATE_NODE id=n_9fcee4f68a71 node_type=claim
t=0046 CREATE_NODE id=n_96891e416c93 node_type=claim
t=0047 CREATE_NODE id=n_99824214dfe1 node_type=claim
t=0048 CREATE_NODE id=n_ce107caf7658 node_type=claim
t=0049 CREATE_NODE id=n_56864b961c3f node_type=claim
t=0050 CREATE_NODE id=n_994ef4e84e64 node_type=claim
t=0051 CREATE_NODE id=n_5267872b7944 node_type=claim
t=0052 CREATE_NODE id=n_79cbbb26f0f9 node_type=claim
t=0053 CREATE_NODE id=n_d2aa5ea74885 node_type=claim
t=0054 CREATE_NODE id=n_05979835b740 node_type=claim
t=0055 CREATE_NODE id=n_e6e8ab386695 node_type=claim
t=0056 CREATE_NODE id=n_be19070ab2ee node_type=claim
t=0057 CREATE_NODE id=n_803a598a2492 node_type=claim
t=0058 ASSERT_ROOT node=n_79cbbb26f0f9 value=FALSE
t=0059 ADD_EDGE edge_id=e_e88e5e71403e source=n_dbee5a1e3453 edge_type=refutes target=n_c4ded852615c
t=0060 ADD_EDGE edge_id=e_8e8932956d07 source=n_910d1a8a917f edge_type=refutes target=n_950a8a100a9d
t=0061 ADD_EDGE edge_id=e_40b4e180c022 source=n_5d1563c4d528 edge_type=refutes target=n_17c182a50894
t=0062 ADD_EDGE edge_id=e_65a676db6ba6 source=n_9fcee4f68a71 edge_type=supports target=n_f1678dc5abf5
t=0063 ADD_EDGE edge_id=e_5614e851444c source=n_950a8a100a9d edge_type=refutes target=n_05979835b740
t=0064 ADD_EDGE edge_id=e_eefbe36923d5 source=n_ce107caf7658 edge_type=refutes target=n_be19070ab2ee
t=0065 ADD_EDGE edge_id=e_455c23d151e6 source=n_668e4e4f85df edge_type=supports target=n_910d1a8a917f
t=0066 ADD_EDGE edge_id=e_a1c2f3531b5b source=n_994ef4e84e64 edge_type=supports target=n_dafa6d89b529
t=0067 ADD_EDGE edge_id=e_e92d80707be5 source=n_e5d7c30e306c edge_type=refutes target=n_668e4e4f85df
t=0068 ADD_EDGE edge_id=e_187fc02df15f source=n_95c8938c7ed3 edge_type=supports target=n_becc28f2bbe7
t=0069 ADD_EDGE edge_id=e_b165aea296be source=n_b40a782204e1 edge_type=supports target=n_576639d76142
t=0070 ADD_EDGE edge_id=e_a2fd46d6d108 source=n_dbee5a1e3453 edge_type=refutes target=n_5d1563c4d528
t=0071 ADD_EDGE edge_id=e_b8d66e90e192 source=n_6d84219e8b66 edge_type=supports target=n_a5c1754962a0
t=0072 ADD_EDGE edge_id=e_c88c3976cfae source=n_7ae6c2e842fd edge_type=refutes target=n_f131f9071e33
t=0073 ADD_EDGE edge_id=e_b3471db3e277 source=n_a2e9915320ab edge_type=refutes target=n_99824214dfe1
t=0074 ADD_EDGE edge_id=e_9f65c7a8a405 source=n_538801c1cef7 edge_type=refutes target=n_de3c235c2af4
t=0075 ADD_EDGE edge_id=e_5a88b9de2646 source=n_17c182a50894 edge_type=refutes target=n_5f993bbeec7f
t=0076 ADD_EDGE edge_id=e_2d24f20e1640 source=n_f131f9071e33 edge_type=refutes target=n_335ea1c10fa7
t=0077 ADD_EDGE edge_id=e_744d79ad2a76 source=n_c4ded852615c edge_type=refutes target=n_5267872b7944
t=0078 ADD_EDGE edge_id=e_ab49b88d567b source=n_d2aa5ea74885 edge_type=refutes target=n_6d84219e8b66
t=0079 ADD_EDGE edge_id=e_2c5aa55979a5 source=n_79cbbb26f0f9 edge_type=supports target=n_d2aa5ea74885
t=0080 ADD_EDGE edge_id=e_9e1bf619b41c source=n_5267872b7944 edge_type=refutes target=n_4275752da89f
t=0081 ADD_EDGE edge_id=e_7b79b20f0fa2 source=n_a2e9915320ab edge_type=supports target=n_b40a782204e1
t=0082 ADD_EDGE edge_id=e_c59eb03b7b54 source=n_dafa6d89b529 edge_type=refutes target=n_9fcee4f68a71
t=0083 ADD_EDGE edge_id=e_3ae40dd90450 source=n_6d84219e8b66 edge_type=supports target=n_a2e9915320ab
t=0084 ADD_EDGE edge_id=e_a8020cc9d669 source=n_abba661f8c27 edge_type=supports target=n_145cfd871fd2
t=0085 ADD_EDGE edge_id=e_eff6d3025e9f source=n_f2fe66be705e edge_type=supports target=n_abba661f8c27
t=0086 ADD_EDGE edge_id=e_92f004e88ffc source=n_f1678dc5abf5 edge_type=supports target=n_56864b961c3f
t=0087 ADD_EDGE edge_id=e_e32dca1fa5cc source=n_56864b961c3f edge_type=refutes target=n_c316e442fb01
t=0088 ADD_EDGE edge_id=e_deb900752fd0 source=n_96891e416c93 edge_type=refutes target=n_79379a5492a1
t=0089 ADD_EDGE edge_id=e_e85f9d1c6a53 source=n_ce107caf7658 edge_type=refutes target=n_d112f4069d32
t=0090 ADD_EDGE edge_id=e_53816c97738f source=n_01881206afdd edge_type=supports target=n_95c8938c7ed3
t=0091 ADD_EDGE edge_id=e_712ef44cd6ac source=n_e6e8ab386695 edge_type=supports target=n_cf14ad3e4460
t=0092 ADD_EDGE edge_id=e_1f75f72620e3 source=n_dbee5a1e3453 edge_type=refutes target=n_96891e416c93
t=0093 ADD_EDGE edge_id=e_b4a7900c39b8 source=n_dbee5a1e3453 edge_type=supports target=n_e5b8b47fb1e6
t=0094 ADD_EDGE edge_id=e_676e03e31386 source=n_c4ded852615c edge_type=supports target=n_6799b9caee9f
t=0095 ADD_EDGE edge_id=e_78749d264d6b source=n_2136ccded37a edge_type=refutes target=n_803a598a2492
t=0096 ADD_EDGE edge_id=e_abdbee6487bb source=n_f9e9b05b9682 edge_type=supports target=n_f2fe66be705e
t=0097 ADD_EDGE edge_id=e_aa5601f84735 source=n_778f1cf003c7 edge_type=refutes target=n_5aed79b794ec
t=0098 ADD_EDGE edge_id=e_1fc2c7f5e8aa source=n_87ac33c26301 edge_type=supports target=n_778f1cf003c7
t=0099 ADD_EDGE edge_id=e_fb73684899d1 source=n_c4ded852615c edge_type=supports target=n_c49a8932296c
t=0100 ADD_EDGE edge_id=e_f9849f41cffd source=n_ce107caf7658 edge_type=refutes target=n_54db2952ac1a
t=0101 ADD_EDGE edge_id=e_11cacbb0a070 source=n_79379a5492a1 edge_type=refutes target=n_538801c1cef7
t=0102 ADD_EDGE edge_id=e_7961cc72d2f0 source=n_56864b961c3f edge_type=supports target=n_87ac33c26301
t=0103 ADD_EDGE edge_id=e_18a81db918f9 source=n_803a598a2492 edge_type=supports target=n_f9e9b05b9682
t=0104 ADD_EDGE edge_id=e_11bf66aa281c source=n_79379a5492a1 edge_type=supports target=n_f12973cb2bae
t=0105 ADD_EDGE edge_id=e_4b82a07c1aad source=n_576639d76142 edge_type=supports target=n_01881206afdd
t=0106 ADD_EDGE edge_id=e_3f9dd273f44c source=n_e5d7c30e306c edge_type=refutes target=n_ce107caf7658
t=0107 ADD_EDGE edge_id=e_f259095c6fd6 source=n_145cfd871fd2 edge_type=supports target=n_994ef4e84e64
t=0108 ADD_EDGE edge_id=e_1cc55cb23e83 source=n_4275752da89f edge_type=supports target=n_5a4774a6072a
t=0109 ADD_EDGE edge_id=e_5375fc7cf33b source=n_5d1563c4d528 edge_type=refutes target=n_e6e8ab386695
t=0110 ADD_EDGE edge_id=e_5fd3ff96e68c source=n_0c4c005ce895 edge_type=refutes target=n_4ce2ffcbde13
t=0111 ADD_EDGE edge_id=e_9e9d2ebc75f9 source=n_335ea1c10fa7 edge_type=supports target=n_2136ccded37a
t=0112 ADD_EDGE edge_id=e_5157a0d4414a source=n_538801c1cef7 edge_type=supports target=n_0c4c005ce895
t=0113 ADD_EDGE edge_id=e_54fc24fbcdf1 source=n_95c8938c7ed3 edge_type=refutes target=n_7ae6c2e842fd
t=0114 ADD_EDGE edge_id=e_1b1564773e38 source=n_dbee5a1e3453 edge_type=supports target=n_e5d7c30e306c
t=0115 QUERY source=n_79cbbb26f0f9 target=n_5aed79b794ec
[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_43c49f77c0e5 node_type=claim
t=0001 CREATE_NODE id=n_0a47b66e59cd node_type=claim
t=0002 CREATE_NODE id=n_a9666a2b7175 node_type=claim
t=0003 CREATE_NODE id=n_c8d5a44e16f9 node_type=claim
t=0004 CREATE_NODE id=n_92765728179b node_type=claim
t=0005 CREATE_NODE id=n_9c3ec0cb5304 node_type=claim
t=0006 CREATE_NODE id=n_3cf92143a2bb node_type=claim
t=0007 CREATE_NODE id=n_839ee5e53e81 node_type=claim
t=0008 CREATE_NODE id=n_415ecd79e7f9 node_type=claim
t=0009 CREATE_NODE id=n_fe3af9854e82 node_type=claim
t=0010 CREATE_NODE id=n_5f423ce37cf6 node_type=claim
t=0011 CREATE_NODE id=n_7e151ad31f96 node_type=claim
t=0012 CREATE_NODE id=n_c0aa12579c27 node_type=claim
t=0013 CREATE_NODE id=n_bc55f91a1899 node_type=claim
t=0014 CREATE_NODE id=n_0c5cde0fbda0 node_type=claim
t=0015 CREATE_NODE id=n_9833e30871fa node_type=claim
t=0016 CREATE_NODE id=n_8fff03b853b7 node_type=claim
t=0017 CREATE_NODE id=n_09edf3ddb1ea node_type=claim
t=0018 CREATE_NODE id=n_51f0ebdba2bb node_type=claim
t=0019 CREATE_NODE id=n_2674632e6704 node_type=claim
t=0020 CREATE_NODE id=n_a2f1e70eb126 node_type=claim
t=0021 CREATE_NODE id=n_0f2a0dfdaf2a node_type=claim
t=0022 CREATE_NODE id=n_858bb45ecf26 node_type=claim
t=0023 CREATE_NODE id=n_27cb96c0750b node_type=claim
t=0024 CREATE_NODE id=n_80e7d03765f3 node_type=claim
t=0025 CREATE_NODE id=n_76791512ebf8 node_type=claim
t=0026 CREATE_NODE id=n_2e77316addd9 node_type=claim
t=0027 CREATE_NODE id=n_e6b568c34d87 node_type=claim
t=0028 CREATE_NODE id=n_96a39119f1d5 node_type=claim
t=0029 CREATE_NODE id=n_ca6b985238b4 node_type=claim
t=0030 CREATE_NODE id=n_99b73aa2568f node_type=claim
t=0031 CREATE_NODE id=n_3e4031f1054b node_type=claim
t=0032 CREATE_NODE id=n_934e283cc8a9 node_type=claim
t=0033 CREATE_NODE id=n_25aacc3603f2 node_type=claim
t=0034 CREATE_NODE id=n_4e5229d0fc88 node_type=claim
t=0035 CREATE_NODE id=n_342acbfce0e3 node_type=claim
t=0036 CREATE_NODE id=n_3494c4849d13 node_type=claim
t=0037 CREATE_NODE id=n_35acb89509c6 node_type=claim
t=0038 CREATE_NODE id=n_4ead36666647 node_type=claim
t=0039 CREATE_NODE id=n_942d4e0f9937 node_type=claim
t=0040 CREATE_NODE id=n_1f5e019a8c91 node_type=claim
t=0041 CREATE_NODE id=n_18b725cccc15 node_type=claim
t=0042 CREATE_NODE id=n_a079f51915ad node_type=claim
t=0043 CREATE_NODE id=n_4df878639f31 node_type=claim
t=0044 CREATE_NODE id=n_f76b7606bc17 node_type=claim
t=0045 CREATE_NODE id=n_ad133acfb5d2 node_type=claim
t=0046 CREATE_NODE id=n_5dbc1f8df4f6 node_type=claim
t=0047 CREATE_NODE id=n_8aa6fb3253b3 node_type=claim
t=0048 CREATE_NODE id=n_8efe41d72bfb node_type=claim
t=0049 CREATE_NODE id=n_4f9fb484c0fc node_type=claim
t=0050 CREATE_NODE id=n_1d6ea88f1150 node_type=claim
t=0051 CREATE_NODE id=n_14034d967e6c node_type=claim
t=0052 CREATE_NODE id=n_a17acdf7aae4 node_type=claim
t=0053 CREATE_NODE id=n_f7c9ba80d9f4 node_type=claim
t=0054 CREATE_NODE id=n_47b65b23960a node_type=claim
t=0055 CREATE_NODE id=n_55abc0a655e1 node_type=claim
t=0056 CREATE_NODE id=n_a4bdd084eb10 node_type=claim
t=0057 CREATE_NODE id=n_c7cf7ff4dc3a node_type=claim
t=0058 ASSERT_ROOT node=n_3494c4849d13 value=TRUE
t=0059 ADD_EDGE edge_id=e_9d0a6194802e source=n_0c5cde0fbda0 edge_type=refutes target=n_76791512ebf8
t=0060 ADD_EDGE edge_id=e_bb4764be8539 source=n_934e283cc8a9 edge_type=refutes target=n_415ecd79e7f9
t=0061 ADD_EDGE edge_id=e_442533ecf093 source=n_ad133acfb5d2 edge_type=refutes target=n_2674632e6704
t=0062 ADD_EDGE edge_id=e_9dc96ab98661 source=n_9c3ec0cb5304 edge_type=supports target=n_0a47b66e59cd
t=0063 ADD_EDGE edge_id=e_2fce898f7bb2 source=n_ca6b985238b4 edge_type=supports target=n_8efe41d72bfb
t=0064 ADD_EDGE edge_id=e_9b009af352d4 source=n_2e77316addd9 edge_type=supports target=n_0c5cde0fbda0
t=0065 ADD_EDGE edge_id=e_9dea3bd67975 source=n_f76b7606bc17 edge_type=supports target=n_a9666a2b7175
t=0066 ADD_EDGE edge_id=e_9f7446178666 source=n_f7c9ba80d9f4 edge_type=supports target=n_18b725cccc15
t=0067 ADD_EDGE edge_id=e_784063d50a5b source=n_c8d5a44e16f9 edge_type=supports target=n_2e77316addd9
t=0068 ADD_EDGE edge_id=e_41a5d2f2d856 source=n_35acb89509c6 edge_type=supports target=n_09edf3ddb1ea
t=0069 ADD_EDGE edge_id=e_0a29a9fd2954 source=n_1d6ea88f1150 edge_type=supports target=n_8aa6fb3253b3
t=0070 ADD_EDGE edge_id=e_dcd7126947b7 source=n_76791512ebf8 edge_type=refutes target=n_47b65b23960a
t=0071 ADD_EDGE edge_id=e_da9d8bedbb2f source=n_96a39119f1d5 edge_type=refutes target=n_c7cf7ff4dc3a
t=0072 ADD_EDGE edge_id=e_c5266515d9d5 source=n_f7c9ba80d9f4 edge_type=refutes target=n_9c3ec0cb5304
t=0073 ADD_EDGE edge_id=e_08f4ba729540 source=n_27cb96c0750b edge_type=refutes target=n_839ee5e53e81
t=0074 ADD_EDGE edge_id=e_e3f0a7504538 source=n_4df878639f31 edge_type=refutes target=n_4e5229d0fc88
t=0075 ADD_EDGE edge_id=e_f5f0722dc8c0 source=n_2674632e6704 edge_type=refutes target=n_9833e30871fa
t=0076 ADD_EDGE edge_id=e_62f7150471b9 source=n_47b65b23960a edge_type=supports target=n_7e151ad31f96
t=0077 ADD_EDGE edge_id=e_4e1b2fed78e1 source=n_4ead36666647 edge_type=supports target=n_f7c9ba80d9f4
t=0078 ADD_EDGE edge_id=e_7806f79d4745 source=n_f76b7606bc17 edge_type=supports target=n_92765728179b
t=0079 ADD_EDGE edge_id=e_ca34d3e41650 source=n_8efe41d72bfb edge_type=refutes target=n_4f9fb484c0fc
t=0080 ADD_EDGE edge_id=e_0876323a54c7 source=n_35acb89509c6 edge_type=supports target=n_96a39119f1d5
t=0081 ADD_EDGE edge_id=e_58950357d241 source=n_1d6ea88f1150 edge_type=supports target=n_ad133acfb5d2
t=0082 ADD_EDGE edge_id=e_feee7beba0ad source=n_9c3ec0cb5304 edge_type=supports target=n_e6b568c34d87
t=0083 ADD_EDGE edge_id=e_10bd25dd89d9 source=n_99b73aa2568f edge_type=refutes target=n_c8d5a44e16f9
t=0084 ADD_EDGE edge_id=e_75aeb500095d source=n_96a39119f1d5 edge_type=supports target=n_80e7d03765f3
t=0085 ADD_EDGE edge_id=e_82e93b12329d source=n_3e4031f1054b edge_type=supports target=n_1d6ea88f1150
t=0086 ADD_EDGE edge_id=e_04b162bb9641 source=n_96a39119f1d5 edge_type=supports target=n_4ead36666647
t=0087 ADD_EDGE edge_id=e_0a0ec42d6752 source=n_9833e30871fa edge_type=refutes target=n_5dbc1f8df4f6
t=0088 ADD_EDGE edge_id=e_d6e5d9f311e1 source=n_8efe41d72bfb edge_type=refutes target=n_a17acdf7aae4
t=0089 ADD_EDGE edge_id=e_a3b8b8a18b3d source=n_35acb89509c6 edge_type=supports target=n_bc55f91a1899
t=0090 ADD_EDGE edge_id=e_c6702c5a120c source=n_35acb89509c6 edge_type=refutes target=n_0f2a0dfdaf2a
t=0091 ADD_EDGE edge_id=e_1ede704fa61c source=n_a17acdf7aae4 edge_type=supports target=n_858bb45ecf26
t=0092 ADD_EDGE edge_id=e_06ce11c6ca6b source=n_25aacc3603f2 edge_type=refutes target=n_f76b7606bc17
t=0093 ADD_EDGE edge_id=e_3e9486b7d344 source=n_a079f51915ad edge_type=supports target=n_3cf92143a2bb
t=0094 ADD_EDGE edge_id=e_f9b28a58b8fa source=n_09edf3ddb1ea edge_type=refutes target=n_342acbfce0e3
t=0095 ADD_EDGE edge_id=e_c9a72f9d579a source=n_a4bdd084eb10 edge_type=supports target=n_1f5e019a8c91
t=0096 ADD_EDGE edge_id=e_a70579aaafe6 source=n_55abc0a655e1 edge_type=refutes target=n_5f423ce37cf6
t=0097 ADD_EDGE edge_id=e_e3fed8cf65c6 source=n_a4bdd084eb10 edge_type=supports target=n_a079f51915ad
t=0098 ADD_EDGE edge_id=e_bb9315ac0856 source=n_2e77316addd9 edge_type=refutes target=n_a2f1e70eb126
t=0099 ADD_EDGE edge_id=e_c81692a10e10 source=n_3494c4849d13 edge_type=refutes target=n_99b73aa2568f
t=0100 ADD_EDGE edge_id=e_079aea458663 source=n_8fff03b853b7 edge_type=refutes target=n_934e283cc8a9
t=0101 ADD_EDGE edge_id=e_68be2cb5c51c source=n_a4bdd084eb10 edge_type=supports target=n_4df878639f31
t=0102 ADD_EDGE edge_id=e_4dfe10712b54 source=n_25aacc3603f2 edge_type=supports target=n_942d4e0f9937
t=0103 ADD_EDGE edge_id=e_bd37d8c67177 source=n_858bb45ecf26 edge_type=refutes target=n_3e4031f1054b
t=0104 ADD_EDGE edge_id=e_4643a14b433e source=n_839ee5e53e81 edge_type=supports target=n_55abc0a655e1
t=0105 ADD_EDGE edge_id=e_ba9b0dc0b52c source=n_5dbc1f8df4f6 edge_type=refutes target=n_27cb96c0750b
t=0106 ADD_EDGE edge_id=e_bd6b52988be4 source=n_96a39119f1d5 edge_type=refutes target=n_43c49f77c0e5
t=0107 ADD_EDGE edge_id=e_7a71a8821171 source=n_4ead36666647 edge_type=supports target=n_c0aa12579c27
t=0108 ADD_EDGE edge_id=e_c7c96af97c7d source=n_7e151ad31f96 edge_type=refutes target=n_ca6b985238b4
t=0109 ADD_EDGE edge_id=e_83ec52fdb8e4 source=n_c7cf7ff4dc3a edge_type=refutes target=n_25aacc3603f2
t=0110 ADD_EDGE edge_id=e_b2dc6ed9dd86 source=n_5f423ce37cf6 edge_type=refutes target=n_8fff03b853b7
t=0111 ADD_EDGE edge_id=e_2d6e578e84b8 source=n_4ead36666647 edge_type=refutes target=n_a4bdd084eb10
t=0112 ADD_EDGE edge_id=e_be99d6b074b8 source=n_839ee5e53e81 edge_type=supports target=n_51f0ebdba2bb
t=0113 ADD_EDGE edge_id=e_4c7641a6d97a source=n_96a39119f1d5 edge_type=refutes target=n_fe3af9854e82
t=0114 ADD_EDGE edge_id=e_d063fc3ceb6a source=n_96a39119f1d5 edge_type=supports target=n_14034d967e6c
t=0115 QUERY source=n_3494c4849d13 target=n_415ecd79e7f9
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.