[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_98d9cf38a0b9 node_type=claim
t=0001 CREATE_NODE id=n_b20d073746d6 node_type=claim
t=0002 CREATE_NODE id=n_9f450df744a6 node_type=claim
t=0003 CREATE_NODE id=n_ff003dfb9e60 node_type=claim
t=0004 CREATE_NODE id=n_c2dae15305f7 node_type=claim
t=0005 CREATE_NODE id=n_76da6b371922 node_type=claim
t=0006 CREATE_NODE id=n_a3ed767f7a2e node_type=claim
t=0007 CREATE_NODE id=n_e7f8eaa8581e node_type=claim
t=0008 CREATE_NODE id=n_1dfefa85fa81 node_type=claim
t=0009 CREATE_NODE id=n_910757813327 node_type=claim
t=0010 CREATE_NODE id=n_e4d60c5aa20d node_type=claim
t=0011 CREATE_NODE id=n_9a0d22e56cc9 node_type=claim
t=0012 CREATE_NODE id=n_566f3d2c7c2e node_type=claim
t=0013 CREATE_NODE id=n_6e8bbc9f5848 node_type=claim
t=0014 CREATE_NODE id=n_4bb6652800a3 node_type=claim
t=0015 CREATE_NODE id=n_ecd5134d262f node_type=claim
t=0016 CREATE_NODE id=n_fa2b590e64e6 node_type=claim
t=0017 CREATE_NODE id=n_0cd547a2099b node_type=claim
t=0018 CREATE_NODE id=n_d3500bfd1e4c node_type=claim
t=0019 CREATE_NODE id=n_9b2c47d545fa node_type=claim
t=0020 CREATE_NODE id=n_2f291a84a010 node_type=claim
t=0021 CREATE_NODE id=n_cd0b1a04ed20 node_type=claim
t=0022 CREATE_NODE id=n_7e33428a5685 node_type=claim
t=0023 CREATE_NODE id=n_804479b89489 node_type=claim
t=0024 CREATE_NODE id=n_497916f68d39 node_type=claim
t=0025 CREATE_NODE id=n_28507457909a node_type=claim
t=0026 CREATE_NODE id=n_302ca97ce019 node_type=claim
t=0027 CREATE_NODE id=n_190ebc5e1ff0 node_type=claim
t=0028 CREATE_NODE id=n_c73cbd088c94 node_type=claim
t=0029 CREATE_NODE id=n_75af55c09065 node_type=claim
t=0030 CREATE_NODE id=n_7c835d0f551b node_type=claim
t=0031 CREATE_NODE id=n_521122ad3e82 node_type=claim
t=0032 CREATE_NODE id=n_739558cd9d5f node_type=claim
t=0033 CREATE_NODE id=n_ca0519d4d71a node_type=claim
t=0034 CREATE_NODE id=n_dc3922ec64c9 node_type=claim
t=0035 CREATE_NODE id=n_f282a3490a23 node_type=claim
t=0036 CREATE_NODE id=n_3a0f236628f5 node_type=claim
t=0037 CREATE_NODE id=n_be7183f907d7 node_type=claim
t=0038 CREATE_NODE id=n_798e843d03ba node_type=claim
t=0039 CREATE_NODE id=n_bfb6dee07206 node_type=claim
t=0040 CREATE_NODE id=n_25636d6b09a2 node_type=claim
t=0041 CREATE_NODE id=n_81efb09efce6 node_type=claim
t=0042 CREATE_NODE id=n_6e694caa892a node_type=claim
t=0043 CREATE_NODE id=n_ad19183d7814 node_type=claim
t=0044 CREATE_NODE id=n_24a85e5983a4 node_type=claim
t=0045 CREATE_NODE id=n_2cd2734ee01e node_type=claim
t=0046 CREATE_NODE id=n_60179d09ea8a node_type=claim
t=0047 CREATE_NODE id=n_c7ca7b8e1c83 node_type=claim
t=0048 CREATE_NODE id=n_e37d853a5224 node_type=claim
t=0049 CREATE_NODE id=n_3f7127f16a79 node_type=claim
t=0050 CREATE_NODE id=n_d9dd7bf3291e node_type=claim
t=0051 CREATE_NODE id=n_493cee691142 node_type=claim
t=0052 CREATE_NODE id=n_339f46416e17 node_type=claim
t=0053 CREATE_NODE id=n_6dffe6d3bd4b node_type=claim
t=0054 CREATE_NODE id=n_0badd7d0854c node_type=claim
t=0055 CREATE_NODE id=n_42a6a2f3b940 node_type=claim
t=0056 CREATE_NODE id=n_141bf5ef46bd node_type=claim
t=0057 CREATE_NODE id=n_e1e4bfb5bc50 node_type=claim
t=0058 CREATE_NODE id=n_490e9db4893e node_type=claim
t=0059 CREATE_NODE id=n_9d154067a8b7 node_type=claim
t=0060 CREATE_NODE id=n_163caa627ade node_type=claim
t=0061 CREATE_NODE id=n_a8f2d15a21ac node_type=claim
t=0062 CREATE_NODE id=n_b2213695591a node_type=claim
t=0063 CREATE_NODE id=n_d940f372b254 node_type=claim
t=0064 CREATE_NODE id=n_d212568468e1 node_type=claim
t=0065 CREATE_NODE id=n_bdc4e10dffc9 node_type=claim
t=0066 CREATE_NODE id=n_0a3f7498a161 node_type=claim
t=0067 CREATE_NODE id=n_0c8f4773aa7e node_type=claim
t=0068 CREATE_NODE id=n_98c6b02fb7af node_type=claim
t=0069 CREATE_NODE id=n_c87373796c00 node_type=claim
t=0070 CREATE_NODE id=n_0b17c910e26e node_type=claim
t=0071 CREATE_NODE id=n_da3ef8f2c339 node_type=claim
t=0072 ASSERT_ROOT node=n_e37d853a5224 value=TRUE
t=0073 ADD_EDGE edge_id=e_d772c83d61d6 source=n_ad19183d7814 edge_type=supports target=n_3a0f236628f5
t=0074 ADD_EDGE edge_id=e_4cc3e1d54a10 source=n_3f7127f16a79 edge_type=supports target=n_dc3922ec64c9
t=0075 ADD_EDGE edge_id=e_1942d0f24d56 source=n_566f3d2c7c2e edge_type=refutes target=n_493cee691142
t=0076 ADD_EDGE edge_id=e_382a25d63df1 source=n_d3500bfd1e4c edge_type=supports target=n_ecd5134d262f
t=0077 ADD_EDGE edge_id=e_9f7d65169ef6 source=n_98c6b02fb7af edge_type=supports target=n_60179d09ea8a
t=0078 ADD_EDGE edge_id=e_7511e734193f source=n_da3ef8f2c339 edge_type=supports target=n_b20d073746d6
t=0079 ADD_EDGE edge_id=e_5a6d4537dc5d source=n_9b2c47d545fa edge_type=supports target=n_0badd7d0854c
t=0080 ADD_EDGE edge_id=e_93f9d3e3a7d3 source=n_6dffe6d3bd4b edge_type=refutes target=n_f282a3490a23
t=0081 ADD_EDGE edge_id=e_4c9a3a3e390f source=n_98d9cf38a0b9 edge_type=supports target=n_ad19183d7814
t=0082 ADD_EDGE edge_id=e_1176412be08a source=n_b2213695591a edge_type=refutes target=n_a3ed767f7a2e
t=0083 ADD_EDGE edge_id=e_392904e37725 source=n_798e843d03ba edge_type=refutes target=n_c87373796c00
t=0084 ADD_EDGE edge_id=e_c022cc602819 source=n_6e8bbc9f5848 edge_type=supports target=n_e7f8eaa8581e
t=0085 ADD_EDGE edge_id=e_470dc0384e41 source=n_3a0f236628f5 edge_type=refutes target=n_910757813327
t=0086 ADD_EDGE edge_id=e_a17ea9c6829d source=n_6dffe6d3bd4b edge_type=refutes target=n_3f7127f16a79
t=0087 ADD_EDGE edge_id=e_dde3864dc637 source=n_be7183f907d7 edge_type=refutes target=n_28507457909a
t=0088 ADD_EDGE edge_id=e_99f22958af49 source=n_9d154067a8b7 edge_type=supports target=n_6e694caa892a
t=0089 ADD_EDGE edge_id=e_05bc2c60f626 source=n_d9dd7bf3291e edge_type=refutes target=n_da3ef8f2c339
t=0090 ADD_EDGE edge_id=e_f2bf4c6b5471 source=n_f282a3490a23 edge_type=refutes target=n_e1e4bfb5bc50
t=0091 ADD_EDGE edge_id=e_b27a91f6f41d source=n_d212568468e1 edge_type=supports target=n_490e9db4893e
t=0092 ADD_EDGE edge_id=e_fd63bfc76733 source=n_75af55c09065 edge_type=refutes target=n_bdc4e10dffc9
t=0093 ADD_EDGE edge_id=e_55600b3ebd9b source=n_bdc4e10dffc9 edge_type=supports target=n_141bf5ef46bd
t=0094 ADD_EDGE edge_id=e_c0ad75743b82 source=n_ca0519d4d71a edge_type=refutes target=n_497916f68d39
t=0095 ADD_EDGE edge_id=e_b3269354717e source=n_9f450df744a6 edge_type=supports target=n_d3500bfd1e4c
t=0096 ADD_EDGE edge_id=e_b40fc3360775 source=n_3f7127f16a79 edge_type=refutes target=n_c2dae15305f7
t=0097 ADD_EDGE edge_id=e_45dd7def57ff source=n_2cd2734ee01e edge_type=refutes target=n_24a85e5983a4
t=0098 ADD_EDGE edge_id=e_b16e2dd8b393 source=n_be7183f907d7 edge_type=refutes target=n_2f291a84a010
t=0099 ADD_EDGE edge_id=e_a79ed1e9178d source=n_d212568468e1 edge_type=refutes target=n_d9dd7bf3291e
t=0100 ADD_EDGE edge_id=e_a0fa53981b22 source=n_e7f8eaa8581e edge_type=refutes target=n_804479b89489
t=0101 ADD_EDGE edge_id=e_90772b03c539 source=n_7c835d0f551b edge_type=supports target=n_190ebc5e1ff0
t=0102 ADD_EDGE edge_id=e_376db83d3124 source=n_24a85e5983a4 edge_type=supports target=n_25636d6b09a2
t=0103 ADD_EDGE edge_id=e_69efd2f0580f source=n_ca0519d4d71a edge_type=refutes target=n_fa2b590e64e6
t=0104 ADD_EDGE edge_id=e_20591e7a838d source=n_e37d853a5224 edge_type=supports target=n_a8f2d15a21ac
t=0105 ADD_EDGE edge_id=e_2cb6db41217b source=n_c87373796c00 edge_type=supports target=n_339f46416e17
t=0106 ADD_EDGE edge_id=e_813f3f173407 source=n_804479b89489 edge_type=supports target=n_7c835d0f551b
t=0107 ADD_EDGE edge_id=e_65395698076a source=n_ecd5134d262f edge_type=supports target=n_9a0d22e56cc9
t=0108 ADD_EDGE edge_id=e_901afd87baa4 source=n_566f3d2c7c2e edge_type=refutes target=n_76da6b371922
t=0109 ADD_EDGE edge_id=e_26f5d9398b68 source=n_6dffe6d3bd4b edge_type=refutes target=n_0b17c910e26e
t=0110 ADD_EDGE edge_id=e_4f48ee5f01f6 source=n_490e9db4893e edge_type=supports target=n_739558cd9d5f
t=0111 ADD_EDGE edge_id=e_a5407d86c093 source=n_490e9db4893e edge_type=refutes target=n_7e33428a5685
t=0112 ADD_EDGE edge_id=e_f9e1f7156ad1 source=n_d212568468e1 edge_type=refutes target=n_c73cbd088c94
t=0113 ADD_EDGE edge_id=e_861ec8982125 source=n_be7183f907d7 edge_type=refutes target=n_d212568468e1
t=0114 ADD_EDGE edge_id=e_86a09a63296b source=n_25636d6b09a2 edge_type=supports target=n_1dfefa85fa81
t=0115 ADD_EDGE edge_id=e_45cc7fc7176a source=n_24a85e5983a4 edge_type=refutes target=n_4bb6652800a3
t=0116 ADD_EDGE edge_id=e_7c305d5d0a52 source=n_1dfefa85fa81 edge_type=supports target=n_6e8bbc9f5848
t=0117 ADD_EDGE edge_id=e_2d89263bb257 source=n_be7183f907d7 edge_type=refutes target=n_cd0b1a04ed20
t=0118 ADD_EDGE edge_id=e_9ee942d08e89 source=n_a8f2d15a21ac edge_type=supports target=n_798e843d03ba
t=0119 ADD_EDGE edge_id=e_16c85027131f source=n_c7ca7b8e1c83 edge_type=supports target=n_9d154067a8b7
t=0120 ADD_EDGE edge_id=e_437734313041 source=n_490e9db4893e edge_type=supports target=n_6dffe6d3bd4b
t=0121 ADD_EDGE edge_id=e_ec91d82af811 source=n_739558cd9d5f edge_type=supports target=n_521122ad3e82
t=0122 ADD_EDGE edge_id=e_703b9d61c64b source=n_0cd547a2099b edge_type=refutes target=n_2cd2734ee01e
t=0123 ADD_EDGE edge_id=e_5dbed5146287 source=n_6dffe6d3bd4b edge_type=refutes target=n_ff003dfb9e60
t=0124 ADD_EDGE edge_id=e_8a4bae612af3 source=n_be7183f907d7 edge_type=supports target=n_302ca97ce019
t=0125 ADD_EDGE edge_id=e_c9118312937c source=n_190ebc5e1ff0 edge_type=supports target=n_0c8f4773aa7e
t=0126 ADD_EDGE edge_id=e_ed73cc91ce58 source=n_9a0d22e56cc9 edge_type=supports target=n_ca0519d4d71a
t=0127 ADD_EDGE edge_id=e_fa8d485f6476 source=n_d212568468e1 edge_type=supports target=n_e4d60c5aa20d
t=0128 ADD_EDGE edge_id=e_85791acfaefa source=n_c73cbd088c94 edge_type=refutes target=n_b2213695591a
t=0129 ADD_EDGE edge_id=e_fe130d64e94c source=n_6e694caa892a edge_type=refutes target=n_163caa627ade
t=0130 ADD_EDGE edge_id=e_20edbbf6aae2 source=n_0c8f4773aa7e edge_type=supports target=n_c7ca7b8e1c83
t=0131 ADD_EDGE edge_id=e_ecd863d14034 source=n_b2213695591a edge_type=refutes target=n_81efb09efce6
t=0132 ADD_EDGE edge_id=e_4aed62d33f4a source=n_910757813327 edge_type=refutes target=n_0cd547a2099b
t=0133 ADD_EDGE edge_id=e_e50b77b2008f source=n_339f46416e17 edge_type=refutes target=n_98d9cf38a0b9
t=0134 ADD_EDGE edge_id=e_4c1ba35ecb9b source=n_2f291a84a010 edge_type=supports target=n_bfb6dee07206
t=0135 ADD_EDGE edge_id=e_6d219f33f1dd source=n_497916f68d39 edge_type=supports target=n_566f3d2c7c2e
t=0136 ADD_EDGE edge_id=e_3b73c7837c53 source=n_490e9db4893e edge_type=supports target=n_98c6b02fb7af
t=0137 ADD_EDGE edge_id=e_ba74ec431e85 source=n_c73cbd088c94 edge_type=supports target=n_0a3f7498a161
t=0138 ADD_EDGE edge_id=e_7a37f36c2714 source=n_2cd2734ee01e edge_type=supports target=n_42a6a2f3b940
t=0139 ADD_EDGE edge_id=e_c5b443662859 source=n_b2213695591a edge_type=refutes target=n_75af55c09065
t=0140 ADD_EDGE edge_id=e_372c555e831d source=n_163caa627ade edge_type=refutes target=n_9f450df744a6
t=0141 ADD_EDGE edge_id=e_8415f242cef9 source=n_521122ad3e82 edge_type=refutes target=n_d940f372b254
t=0142 ADD_EDGE edge_id=e_c9ac927cf8d4 source=n_6dffe6d3bd4b edge_type=refutes target=n_9b2c47d545fa
t=0143 QUERY source=n_e37d853a5224 target=n_493cee691142
[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_1fecd23b0c3b node_type=claim
t=0001 CREATE_NODE id=n_040815d346f9 node_type=claim
t=0002 CREATE_NODE id=n_11583e7d7a2a node_type=claim
t=0003 CREATE_NODE id=n_e0ef0ab38858 node_type=claim
t=0004 CREATE_NODE id=n_560b3dd6ce27 node_type=claim
t=0005 CREATE_NODE id=n_f1e02ce4d4e1 node_type=claim
t=0006 CREATE_NODE id=n_27cffa9831c3 node_type=claim
t=0007 CREATE_NODE id=n_f2c2690fd3b2 node_type=claim
t=0008 CREATE_NODE id=n_8c5a409d8d04 node_type=claim
t=0009 CREATE_NODE id=n_a8f42e5de6a3 node_type=claim
t=0010 CREATE_NODE id=n_012ca0cc0df7 node_type=claim
t=0011 CREATE_NODE id=n_c99900a42f78 node_type=claim
t=0012 CREATE_NODE id=n_2c3f03bc1506 node_type=claim
t=0013 CREATE_NODE id=n_ebb61bed63eb node_type=claim
t=0014 CREATE_NODE id=n_5c27c6a9a4fb node_type=claim
t=0015 CREATE_NODE id=n_eac2903df806 node_type=claim
t=0016 CREATE_NODE id=n_8000d4d9a4d8 node_type=claim
t=0017 CREATE_NODE id=n_c75de91f1c33 node_type=claim
t=0018 CREATE_NODE id=n_4630500ae910 node_type=claim
t=0019 CREATE_NODE id=n_5930c61cbcc4 node_type=claim
t=0020 CREATE_NODE id=n_c6bf94a32f28 node_type=claim
t=0021 CREATE_NODE id=n_f1cad9648601 node_type=claim
t=0022 CREATE_NODE id=n_c2a1c654f987 node_type=claim
t=0023 CREATE_NODE id=n_fb0361a97de3 node_type=claim
t=0024 CREATE_NODE id=n_2c1449341a68 node_type=claim
t=0025 CREATE_NODE id=n_0c92eeca96e6 node_type=claim
t=0026 CREATE_NODE id=n_2df8b6c9d9ea node_type=claim
t=0027 CREATE_NODE id=n_4fd3cd6c1709 node_type=claim
t=0028 CREATE_NODE id=n_8a74d6da4885 node_type=claim
t=0029 CREATE_NODE id=n_9475705258ca node_type=claim
t=0030 CREATE_NODE id=n_2dc40a8b6eba node_type=claim
t=0031 CREATE_NODE id=n_155a37142f26 node_type=claim
t=0032 CREATE_NODE id=n_5998de80d0e4 node_type=claim
t=0033 CREATE_NODE id=n_35ac862917e5 node_type=claim
t=0034 CREATE_NODE id=n_5e4e8e9f1f2f node_type=claim
t=0035 CREATE_NODE id=n_552fb2156897 node_type=claim
t=0036 CREATE_NODE id=n_19511e5c4fb4 node_type=claim
t=0037 CREATE_NODE id=n_36cda4f5447a node_type=claim
t=0038 CREATE_NODE id=n_65e4e07896e0 node_type=claim
t=0039 CREATE_NODE id=n_8af5c833fae5 node_type=claim
t=0040 CREATE_NODE id=n_921755b1a618 node_type=claim
t=0041 CREATE_NODE id=n_f9e3e73cbe36 node_type=claim
t=0042 CREATE_NODE id=n_370afe6e5d54 node_type=claim
t=0043 CREATE_NODE id=n_b4fd77e2bf1b node_type=claim
t=0044 CREATE_NODE id=n_38f401e4727b node_type=claim
t=0045 CREATE_NODE id=n_8b4cf1aeb60f node_type=claim
t=0046 CREATE_NODE id=n_2d3860962d1e node_type=claim
t=0047 CREATE_NODE id=n_8a72129c74b6 node_type=claim
t=0048 CREATE_NODE id=n_3cd77600d016 node_type=claim
t=0049 CREATE_NODE id=n_d73eb1330426 node_type=claim
t=0050 CREATE_NODE id=n_b110ec4b4c5a node_type=claim
t=0051 CREATE_NODE id=n_8621a89af0c7 node_type=claim
t=0052 CREATE_NODE id=n_90c68f718f10 node_type=claim
t=0053 CREATE_NODE id=n_c6b58e78cac9 node_type=claim
t=0054 CREATE_NODE id=n_17c6a8860b9c node_type=claim
t=0055 CREATE_NODE id=n_10168cf155f0 node_type=claim
t=0056 CREATE_NODE id=n_a6fd13bb2d22 node_type=claim
t=0057 CREATE_NODE id=n_a64db2276049 node_type=claim
t=0058 CREATE_NODE id=n_22bf894fd163 node_type=claim
t=0059 CREATE_NODE id=n_c908869a7de0 node_type=claim
t=0060 CREATE_NODE id=n_65360681bec0 node_type=claim
t=0061 CREATE_NODE id=n_e82be7d89558 node_type=claim
t=0062 CREATE_NODE id=n_e57604c5244a node_type=claim
t=0063 CREATE_NODE id=n_850cb53ad559 node_type=claim
t=0064 CREATE_NODE id=n_05a0a2fbdc45 node_type=claim
t=0065 CREATE_NODE id=n_5125e33f2668 node_type=claim
t=0066 CREATE_NODE id=n_c2f12826cd58 node_type=claim
t=0067 CREATE_NODE id=n_1ca9b9db94d6 node_type=claim
t=0068 CREATE_NODE id=n_d3831803f13b node_type=claim
t=0069 CREATE_NODE id=n_5b3a5c929053 node_type=claim
t=0070 CREATE_NODE id=n_08d5fa358619 node_type=claim
t=0071 CREATE_NODE id=n_924c33d6a82f node_type=claim
t=0072 ASSERT_ROOT node=n_921755b1a618 value=FALSE
t=0073 ADD_EDGE edge_id=e_9fd4dd4e01ec source=n_8000d4d9a4d8 edge_type=supports target=n_05a0a2fbdc45
t=0074 ADD_EDGE edge_id=e_4d0a5e8e82ea source=n_2c3f03bc1506 edge_type=refutes target=n_b4fd77e2bf1b
t=0075 ADD_EDGE edge_id=e_004b20708368 source=n_9475705258ca edge_type=supports target=n_b110ec4b4c5a
t=0076 ADD_EDGE edge_id=e_255df1732ca2 source=n_8621a89af0c7 edge_type=supports target=n_012ca0cc0df7
t=0077 ADD_EDGE edge_id=e_720639f7905d source=n_65e4e07896e0 edge_type=refutes target=n_924c33d6a82f
t=0078 ADD_EDGE edge_id=e_828b7a7e2ae3 source=n_2dc40a8b6eba edge_type=supports target=n_38f401e4727b
t=0079 ADD_EDGE edge_id=e_86a72f2e174e source=n_b4fd77e2bf1b edge_type=refutes target=n_e0ef0ab38858
t=0080 ADD_EDGE edge_id=e_159a0cd5eb87 source=n_36cda4f5447a edge_type=refutes target=n_1fecd23b0c3b
t=0081 ADD_EDGE edge_id=e_cf7ed877fb01 source=n_5998de80d0e4 edge_type=refutes target=n_2df8b6c9d9ea
t=0082 ADD_EDGE edge_id=e_2251958dc63f source=n_2c1449341a68 edge_type=refutes target=n_a8f42e5de6a3
t=0083 ADD_EDGE edge_id=e_f4d8321d0b26 source=n_8b4cf1aeb60f edge_type=supports target=n_5b3a5c929053
t=0084 ADD_EDGE edge_id=e_23fa6661af79 source=n_d3831803f13b edge_type=refutes target=n_a64db2276049
t=0085 ADD_EDGE edge_id=e_e3981f3db4e2 source=n_c908869a7de0 edge_type=supports target=n_f2c2690fd3b2
t=0086 ADD_EDGE edge_id=e_9f3897d83d20 source=n_f1cad9648601 edge_type=supports target=n_1ca9b9db94d6
t=0087 ADD_EDGE edge_id=e_050b8a94c0ff source=n_e82be7d89558 edge_type=supports target=n_a6fd13bb2d22
t=0088 ADD_EDGE edge_id=e_78f17013141f source=n_4fd3cd6c1709 edge_type=supports target=n_040815d346f9
t=0089 ADD_EDGE edge_id=e_df9fd993ea0c source=n_1fecd23b0c3b edge_type=supports target=n_552fb2156897
t=0090 ADD_EDGE edge_id=e_731822ea394d source=n_11583e7d7a2a edge_type=supports target=n_c99900a42f78
t=0091 ADD_EDGE edge_id=e_0815f4242767 source=n_2c1449341a68 edge_type=refutes target=n_2dc40a8b6eba
t=0092 ADD_EDGE edge_id=e_300cc99fe14d source=n_8a74d6da4885 edge_type=refutes target=n_f1e02ce4d4e1
t=0093 ADD_EDGE edge_id=e_a045bec2435b source=n_f1cad9648601 edge_type=refutes target=n_e82be7d89558
t=0094 ADD_EDGE edge_id=e_a5aea55783aa source=n_2df8b6c9d9ea edge_type=supports target=n_36cda4f5447a
t=0095 ADD_EDGE edge_id=e_d12632f0ee8e source=n_8c5a409d8d04 edge_type=refutes target=n_3cd77600d016
t=0096 ADD_EDGE edge_id=e_f459cad7d9e6 source=n_f9e3e73cbe36 edge_type=refutes target=n_08d5fa358619
t=0097 ADD_EDGE edge_id=e_75c314180e05 source=n_2c1449341a68 edge_type=supports target=n_4fd3cd6c1709
t=0098 ADD_EDGE edge_id=e_ae1b618e6777 source=n_d73eb1330426 edge_type=supports target=n_5998de80d0e4
t=0099 ADD_EDGE edge_id=e_de2e654a30d9 source=n_65360681bec0 edge_type=supports target=n_0c92eeca96e6
t=0100 ADD_EDGE edge_id=e_e0e2baea2531 source=n_921755b1a618 edge_type=refutes target=n_27cffa9831c3
t=0101 ADD_EDGE edge_id=e_d8d2d51f02eb source=n_552fb2156897 edge_type=supports target=n_c2f12826cd58
t=0102 ADD_EDGE edge_id=e_8ed721addf9a source=n_8621a89af0c7 edge_type=supports target=n_c6b58e78cac9
t=0103 ADD_EDGE edge_id=e_5034f1133d57 source=n_f1e02ce4d4e1 edge_type=refutes target=n_8c5a409d8d04
t=0104 ADD_EDGE edge_id=e_4d6a8d26c160 source=n_2dc40a8b6eba edge_type=supports target=n_22bf894fd163
t=0105 ADD_EDGE edge_id=e_2a81bb1b6e4c source=n_560b3dd6ce27 edge_type=refutes target=n_2c1449341a68
t=0106 ADD_EDGE edge_id=e_f6efbd1d02c1 source=n_08d5fa358619 edge_type=refutes target=n_5930c61cbcc4
t=0107 ADD_EDGE edge_id=e_4c6a759db230 source=n_35ac862917e5 edge_type=supports target=n_f9e3e73cbe36
t=0108 ADD_EDGE edge_id=e_ca09280a5e27 source=n_f1cad9648601 edge_type=refutes target=n_370afe6e5d54
t=0109 ADD_EDGE edge_id=e_a1ef2a73c126 source=n_b110ec4b4c5a edge_type=refutes target=n_fb0361a97de3
t=0110 ADD_EDGE edge_id=e_a3a6c5a7667c source=n_65360681bec0 edge_type=refutes target=n_d73eb1330426
t=0111 ADD_EDGE edge_id=e_ccbc0b4821b7 source=n_5b3a5c929053 edge_type=refutes target=n_8621a89af0c7
t=0112 ADD_EDGE edge_id=e_2271b710c476 source=n_3cd77600d016 edge_type=supports target=n_850cb53ad559
t=0113 ADD_EDGE edge_id=e_c42c8746f6c6 source=n_5930c61cbcc4 edge_type=supports target=n_8a72129c74b6
t=0114 ADD_EDGE edge_id=e_baac07a3fd21 source=n_8b4cf1aeb60f edge_type=supports target=n_f1cad9648601
t=0115 ADD_EDGE edge_id=e_30f0495d4c08 source=n_10168cf155f0 edge_type=supports target=n_35ac862917e5
t=0116 ADD_EDGE edge_id=e_d5ad20554f74 source=n_e0ef0ab38858 edge_type=refutes target=n_65360681bec0
t=0117 ADD_EDGE edge_id=e_5dd48c709fb3 source=n_2c1449341a68 edge_type=supports target=n_c2a1c654f987
t=0118 ADD_EDGE edge_id=e_a0350d62a206 source=n_e57604c5244a edge_type=supports target=n_11583e7d7a2a
t=0119 ADD_EDGE edge_id=e_0f5479dc9b76 source=n_e82be7d89558 edge_type=refutes target=n_5125e33f2668
t=0120 ADD_EDGE edge_id=e_0b8a474373bc source=n_2d3860962d1e edge_type=supports target=n_c6bf94a32f28
t=0121 ADD_EDGE edge_id=e_8e7caa7d1212 source=n_924c33d6a82f edge_type=supports target=n_8af5c833fae5
t=0122 ADD_EDGE edge_id=e_186656763158 source=n_2dc40a8b6eba edge_type=refutes target=n_e57604c5244a
t=0123 ADD_EDGE edge_id=e_487812e33883 source=n_27cffa9831c3 edge_type=refutes target=n_d3831803f13b
t=0124 ADD_EDGE edge_id=e_09d128c8db7a source=n_560b3dd6ce27 edge_type=refutes target=n_8b4cf1aeb60f
t=0125 ADD_EDGE edge_id=e_9d08fb092c6c source=n_2c3f03bc1506 edge_type=supports target=n_19511e5c4fb4
t=0126 ADD_EDGE edge_id=e_c378a7a2411a source=n_2c1449341a68 edge_type=refutes target=n_c908869a7de0
t=0127 ADD_EDGE edge_id=e_3a106db104a5 source=n_05a0a2fbdc45 edge_type=refutes target=n_9475705258ca
t=0128 ADD_EDGE edge_id=e_a52575258eff source=n_a64db2276049 edge_type=refutes target=n_10168cf155f0
t=0129 ADD_EDGE edge_id=e_278a72b78d6b source=n_8a72129c74b6 edge_type=supports target=n_8a74d6da4885
t=0130 ADD_EDGE edge_id=e_a6cee272e0e3 source=n_c2f12826cd58 edge_type=refutes target=n_4630500ae910
t=0131 ADD_EDGE edge_id=e_66ebe1410007 source=n_11583e7d7a2a edge_type=supports target=n_17c6a8860b9c
t=0132 ADD_EDGE edge_id=e_4216b5a3dfbc source=n_560b3dd6ce27 edge_type=refutes target=n_c75de91f1c33
t=0133 ADD_EDGE edge_id=e_142518244d3e source=n_4630500ae910 edge_type=refutes target=n_155a37142f26
t=0134 ADD_EDGE edge_id=e_2ff09bd4ded2 source=n_f1cad9648601 edge_type=supports target=n_eac2903df806
t=0135 ADD_EDGE edge_id=e_ff5d21535b07 source=n_4fd3cd6c1709 edge_type=refutes target=n_ebb61bed63eb
t=0136 ADD_EDGE edge_id=e_6e3c59747825 source=n_fb0361a97de3 edge_type=refutes target=n_2c3f03bc1506
t=0137 ADD_EDGE edge_id=e_89772bdf0184 source=n_f1e02ce4d4e1 edge_type=supports target=n_90c68f718f10
t=0138 ADD_EDGE edge_id=e_2e3adab609fb source=n_1ca9b9db94d6 edge_type=supports target=n_65e4e07896e0
t=0139 ADD_EDGE edge_id=e_7d62b3838e04 source=n_e82be7d89558 edge_type=supports target=n_2d3860962d1e
t=0140 ADD_EDGE edge_id=e_b8693212c14b source=n_5125e33f2668 edge_type=refutes target=n_5c27c6a9a4fb
t=0141 ADD_EDGE edge_id=e_605f3f5c873b source=n_a8f42e5de6a3 edge_type=refutes target=n_5e4e8e9f1f2f
t=0142 ADD_EDGE edge_id=e_b5a661f0ab75 source=n_3cd77600d016 edge_type=supports target=n_8000d4d9a4d8
t=0143 QUERY source=n_921755b1a618 target=n_155a37142f26
[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_4cd2a9cc0014 node_type=claim
t=0001 CREATE_NODE id=n_d24301d46440 node_type=claim
t=0002 CREATE_NODE id=n_9d39b27d62d3 node_type=claim
t=0003 CREATE_NODE id=n_bc56331414e6 node_type=claim
t=0004 CREATE_NODE id=n_a43cc114426c node_type=claim
t=0005 CREATE_NODE id=n_935da1f5d6e4 node_type=claim
t=0006 CREATE_NODE id=n_85d142f860f6 node_type=claim
t=0007 CREATE_NODE id=n_015686fd1d43 node_type=claim
t=0008 CREATE_NODE id=n_60712b001f75 node_type=claim
t=0009 CREATE_NODE id=n_299530487340 node_type=claim
t=0010 CREATE_NODE id=n_782e8f3b7ebf node_type=claim
t=0011 CREATE_NODE id=n_bf35a8a8eb52 node_type=claim
t=0012 CREATE_NODE id=n_06657276e1f8 node_type=claim
t=0013 CREATE_NODE id=n_48328638443a node_type=claim
t=0014 CREATE_NODE id=n_fc730bf1be21 node_type=claim
t=0015 CREATE_NODE id=n_2dcb3ee729e2 node_type=claim
t=0016 CREATE_NODE id=n_0bf2727f764c node_type=claim
t=0017 CREATE_NODE id=n_112109f423c1 node_type=claim
t=0018 CREATE_NODE id=n_fd2bedd1a867 node_type=claim
t=0019 CREATE_NODE id=n_14ad1b37896f node_type=claim
t=0020 CREATE_NODE id=n_d715cd3e83b3 node_type=claim
t=0021 CREATE_NODE id=n_0097373832c2 node_type=claim
t=0022 CREATE_NODE id=n_e08c184cf29f node_type=claim
t=0023 CREATE_NODE id=n_397400cb9d33 node_type=claim
t=0024 CREATE_NODE id=n_74a9b6a9e3bf node_type=claim
t=0025 CREATE_NODE id=n_16f6f0582dd2 node_type=claim
t=0026 CREATE_NODE id=n_0e4d6a974fed node_type=claim
t=0027 CREATE_NODE id=n_8cbc1eaf40af node_type=claim
t=0028 CREATE_NODE id=n_cca585619870 node_type=claim
t=0029 CREATE_NODE id=n_7e89cdcf83de node_type=claim
t=0030 CREATE_NODE id=n_47b06d1588ab node_type=claim
t=0031 CREATE_NODE id=n_d2e5f4116177 node_type=claim
t=0032 CREATE_NODE id=n_e757cd7bc5ff node_type=claim
t=0033 CREATE_NODE id=n_2b2884312953 node_type=claim
t=0034 CREATE_NODE id=n_5e56a6e146be node_type=claim
t=0035 CREATE_NODE id=n_1480beb0270a node_type=claim
t=0036 CREATE_NODE id=n_36fb84c0cfe0 node_type=claim
t=0037 CREATE_NODE id=n_691c9a68d068 node_type=claim
t=0038 CREATE_NODE id=n_f450c9d9c520 node_type=claim
t=0039 CREATE_NODE id=n_a833ba66401c node_type=claim
t=0040 CREATE_NODE id=n_fc836decb0aa node_type=claim
t=0041 CREATE_NODE id=n_a09c7152ec96 node_type=claim
t=0042 CREATE_NODE id=n_d091d6b15625 node_type=claim
t=0043 CREATE_NODE id=n_3420e7fb5ce8 node_type=claim
t=0044 CREATE_NODE id=n_c01d100d115b node_type=claim
t=0045 CREATE_NODE id=n_bcdb929f3945 node_type=claim
t=0046 CREATE_NODE id=n_7bd7f48feefd node_type=claim
t=0047 CREATE_NODE id=n_c2ad5f24c8bc node_type=claim
t=0048 CREATE_NODE id=n_e0abc3a27875 node_type=claim
t=0049 CREATE_NODE id=n_e93057dd6297 node_type=claim
t=0050 CREATE_NODE id=n_0ea1c2d564cb node_type=claim
t=0051 CREATE_NODE id=n_b30105d8fe4f node_type=claim
t=0052 CREATE_NODE id=n_4ac6e351e4a9 node_type=claim
t=0053 CREATE_NODE id=n_098042a0b910 node_type=claim
t=0054 CREATE_NODE id=n_400eb7433963 node_type=claim
t=0055 CREATE_NODE id=n_4b58baee2a54 node_type=claim
t=0056 CREATE_NODE id=n_4f6ba1bedcec node_type=claim
t=0057 CREATE_NODE id=n_2dc4388b908d node_type=claim
t=0058 CREATE_NODE id=n_6948034cd035 node_type=claim
t=0059 CREATE_NODE id=n_fea204c37df5 node_type=claim
t=0060 CREATE_NODE id=n_37ea684ee535 node_type=claim
t=0061 CREATE_NODE id=n_7a3faa0be13d node_type=claim
t=0062 CREATE_NODE id=n_6a2c20fe0ed5 node_type=claim
t=0063 CREATE_NODE id=n_be906149205b node_type=claim
t=0064 CREATE_NODE id=n_a5deded6749c node_type=claim
t=0065 CREATE_NODE id=n_c64ce1fdf370 node_type=claim
t=0066 CREATE_NODE id=n_679da04411f6 node_type=claim
t=0067 CREATE_NODE id=n_93e7b5170922 node_type=claim
t=0068 CREATE_NODE id=n_e8a8d8c9af93 node_type=claim
t=0069 CREATE_NODE id=n_66d28fecd618 node_type=claim
t=0070 CREATE_NODE id=n_42e7be8d11dd node_type=claim
t=0071 CREATE_NODE id=n_e20a4e24136e node_type=claim
t=0072 ASSERT_ROOT node=n_9d39b27d62d3 value=TRUE
t=0073 ADD_EDGE edge_id=e_b39bd3a69ce6 source=n_4f6ba1bedcec edge_type=refutes target=n_e757cd7bc5ff
t=0074 ADD_EDGE edge_id=e_cfab964116fb source=n_66d28fecd618 edge_type=refutes target=n_c64ce1fdf370
t=0075 ADD_EDGE edge_id=e_ad5e913ef443 source=n_e0abc3a27875 edge_type=supports target=n_48328638443a
t=0076 ADD_EDGE edge_id=e_7c76114cb56c source=n_bcdb929f3945 edge_type=supports target=n_f450c9d9c520
t=0077 ADD_EDGE edge_id=e_ff7f69b21124 source=n_299530487340 edge_type=refutes target=n_a833ba66401c
t=0078 ADD_EDGE edge_id=e_cd47565678c4 source=n_2b2884312953 edge_type=refutes target=n_d715cd3e83b3
t=0079 ADD_EDGE edge_id=e_09e3770f2fa6 source=n_679da04411f6 edge_type=refutes target=n_e08c184cf29f
t=0080 ADD_EDGE edge_id=e_90057e83f8c7 source=n_4ac6e351e4a9 edge_type=supports target=n_36fb84c0cfe0
t=0081 ADD_EDGE edge_id=e_01a26c558dd7 source=n_4b58baee2a54 edge_type=refutes target=n_bc56331414e6
t=0082 ADD_EDGE edge_id=e_01d1aa2d466e source=n_66d28fecd618 edge_type=supports target=n_fc730bf1be21
t=0083 ADD_EDGE edge_id=e_9d3246bb8968 source=n_015686fd1d43 edge_type=supports target=n_e20a4e24136e
t=0084 ADD_EDGE edge_id=e_e8cb686d4054 source=n_400eb7433963 edge_type=refutes target=n_c2ad5f24c8bc
t=0085 ADD_EDGE edge_id=e_4d7395be997f source=n_e08c184cf29f edge_type=supports target=n_e8a8d8c9af93
t=0086 ADD_EDGE edge_id=e_4b77b2fa6654 source=n_42e7be8d11dd edge_type=supports target=n_691c9a68d068
t=0087 ADD_EDGE edge_id=e_e74c9fa3b494 source=n_d24301d46440 edge_type=refutes target=n_93e7b5170922
t=0088 ADD_EDGE edge_id=e_bea43c4033e8 source=n_782e8f3b7ebf edge_type=supports target=n_66d28fecd618
t=0089 ADD_EDGE edge_id=e_f8fe65a241cd source=n_e757cd7bc5ff edge_type=refutes target=n_bcdb929f3945
t=0090 ADD_EDGE edge_id=e_69f42e69ddae source=n_8cbc1eaf40af edge_type=supports target=n_bf35a8a8eb52
t=0091 ADD_EDGE edge_id=e_0068e8a40a87 source=n_b30105d8fe4f edge_type=supports target=n_2b2884312953
t=0092 ADD_EDGE edge_id=e_2967ceca29cb source=n_4cd2a9cc0014 edge_type=refutes target=n_015686fd1d43
t=0093 ADD_EDGE edge_id=e_3fa1f535dadc source=n_c01d100d115b edge_type=supports target=n_4f6ba1bedcec
t=0094 ADD_EDGE edge_id=e_0ddbabc4347f source=n_e0abc3a27875 edge_type=refutes target=n_fd2bedd1a867
t=0095 ADD_EDGE edge_id=e_bceb2ee3b3f6 source=n_7bd7f48feefd edge_type=refutes target=n_0bf2727f764c
t=0096 ADD_EDGE edge_id=e_d110f7801691 source=n_679da04411f6 edge_type=refutes target=n_2dcb3ee729e2
t=0097 ADD_EDGE edge_id=e_a14d176d23e6 source=n_d091d6b15625 edge_type=refutes target=n_c01d100d115b
t=0098 ADD_EDGE edge_id=e_b968252a8d12 source=n_06657276e1f8 edge_type=refutes target=n_4ac6e351e4a9
t=0099 ADD_EDGE edge_id=e_e30180474e50 source=n_e08c184cf29f edge_type=supports target=n_7bd7f48feefd
t=0100 ADD_EDGE edge_id=e_5aeec30b101e source=n_7e89cdcf83de edge_type=refutes target=n_935da1f5d6e4
t=0101 ADD_EDGE edge_id=e_f4e954ec48f4 source=n_16f6f0582dd2 edge_type=supports target=n_1480beb0270a
t=0102 ADD_EDGE edge_id=e_ccfd5a3a6351 source=n_5e56a6e146be edge_type=refutes target=n_397400cb9d33
t=0103 ADD_EDGE edge_id=e_138a233a64eb source=n_fd2bedd1a867 edge_type=refutes target=n_85d142f860f6
t=0104 ADD_EDGE edge_id=e_e16faa38c044 source=n_2dc4388b908d edge_type=refutes target=n_37ea684ee535
t=0105 ADD_EDGE edge_id=e_2805412a0900 source=n_c2ad5f24c8bc edge_type=supports target=n_47b06d1588ab
t=0106 ADD_EDGE edge_id=e_6da7ff781b7f source=n_93e7b5170922 edge_type=refutes target=n_0097373832c2
t=0107 ADD_EDGE edge_id=e_f7366ad9dde2 source=n_397400cb9d33 edge_type=refutes target=n_06657276e1f8
t=0108 ADD_EDGE edge_id=e_0e2cb3e4c595 source=n_c64ce1fdf370 edge_type=refutes target=n_6948034cd035
t=0109 ADD_EDGE edge_id=e_0d3a38ae8084 source=n_74a9b6a9e3bf edge_type=refutes target=n_7e89cdcf83de
t=0110 ADD_EDGE edge_id=e_3daee75cef87 source=n_691c9a68d068 edge_type=refutes target=n_4cd2a9cc0014
t=0111 ADD_EDGE edge_id=e_d7cf0823cb3f source=n_299530487340 edge_type=supports target=n_a5deded6749c
t=0112 ADD_EDGE edge_id=e_2f7077a3c43e source=n_be906149205b edge_type=supports target=n_cca585619870
t=0113 ADD_EDGE edge_id=e_c910248ca1bb source=n_bc56331414e6 edge_type=supports target=n_782e8f3b7ebf
t=0114 ADD_EDGE edge_id=e_4864fa3ed97d source=n_e93057dd6297 edge_type=refutes target=n_fc836decb0aa
t=0115 ADD_EDGE edge_id=e_fa1030b734d3 source=n_098042a0b910 edge_type=supports target=n_14ad1b37896f
t=0116 ADD_EDGE edge_id=e_38a84bac8e2e source=n_679da04411f6 edge_type=supports target=n_e0abc3a27875
t=0117 ADD_EDGE edge_id=e_1df534f077bf source=n_935da1f5d6e4 edge_type=refutes target=n_5e56a6e146be
t=0118 ADD_EDGE edge_id=e_f65148351f7f source=n_e8a8d8c9af93 edge_type=supports target=n_299530487340
t=0119 ADD_EDGE edge_id=e_b4a5e4fa2705 source=n_f450c9d9c520 edge_type=supports target=n_4b58baee2a54
t=0120 ADD_EDGE edge_id=e_721b68c6d402 source=n_fea204c37df5 edge_type=supports target=n_400eb7433963
t=0121 ADD_EDGE edge_id=e_24c611f13274 source=n_e08c184cf29f edge_type=refutes target=n_16f6f0582dd2
t=0122 ADD_EDGE edge_id=e_f8b2221851f3 source=n_fd2bedd1a867 edge_type=refutes target=n_60712b001f75
t=0123 ADD_EDGE edge_id=e_983e82aeac43 source=n_e8a8d8c9af93 edge_type=refutes target=n_6a2c20fe0ed5
t=0124 ADD_EDGE edge_id=e_420029e3ff41 source=n_36fb84c0cfe0 edge_type=supports target=n_b30105d8fe4f
t=0125 ADD_EDGE edge_id=e_93956e43a020 source=n_fd2bedd1a867 edge_type=supports target=n_112109f423c1
t=0126 ADD_EDGE edge_id=e_c69e2becb3d1 source=n_7bd7f48feefd edge_type=supports target=n_be906149205b
t=0127 ADD_EDGE edge_id=e_8335c1410fb7 source=n_679da04411f6 edge_type=supports target=n_a43cc114426c
t=0128 ADD_EDGE edge_id=e_69d0e57307c9 source=n_299530487340 edge_type=refutes target=n_2dc4388b908d
t=0129 ADD_EDGE edge_id=e_64046e2be4b7 source=n_9d39b27d62d3 edge_type=supports target=n_74a9b6a9e3bf
t=0130 ADD_EDGE edge_id=e_a8eb55f61377 source=n_015686fd1d43 edge_type=refutes target=n_d091d6b15625
t=0131 ADD_EDGE edge_id=e_df590ea2fcc2 source=n_6948034cd035 edge_type=supports target=n_098042a0b910
t=0132 ADD_EDGE edge_id=e_3be7a308555d source=n_e8a8d8c9af93 edge_type=supports target=n_0e4d6a974fed
t=0133 ADD_EDGE edge_id=e_e4a2c582a720 source=n_2dcb3ee729e2 edge_type=supports target=n_e93057dd6297
t=0134 ADD_EDGE edge_id=e_54f4e1e54272 source=n_679da04411f6 edge_type=refutes target=n_8cbc1eaf40af
t=0135 ADD_EDGE edge_id=e_d8c85b6ae9ca source=n_679da04411f6 edge_type=refutes target=n_a09c7152ec96
t=0136 ADD_EDGE edge_id=e_275857ca8b84 source=n_a43cc114426c edge_type=supports target=n_3420e7fb5ce8
t=0137 ADD_EDGE edge_id=e_064401ac159f source=n_e93057dd6297 edge_type=supports target=n_0ea1c2d564cb
t=0138 ADD_EDGE edge_id=e_638e38c0ec45 source=n_d715cd3e83b3 edge_type=supports target=n_d24301d46440
t=0139 ADD_EDGE edge_id=e_5534cec13f44 source=n_a09c7152ec96 edge_type=supports target=n_fea204c37df5
t=0140 ADD_EDGE edge_id=e_975e5753cdae source=n_e08c184cf29f edge_type=supports target=n_d2e5f4116177
t=0141 ADD_EDGE edge_id=e_26f166f32399 source=n_0097373832c2 edge_type=refutes target=n_42e7be8d11dd
t=0142 ADD_EDGE edge_id=e_a9d01b27f2e3 source=n_06657276e1f8 edge_type=refutes target=n_7a3faa0be13d
t=0143 QUERY source=n_9d39b27d62d3 target=n_098042a0b910
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_42e66e50e3c0 node_type=claim
t=0001 CREATE_NODE id=n_5cd6309cbec9 node_type=claim
t=0002 CREATE_NODE id=n_6a0bf9b94a55 node_type=claim
t=0003 CREATE_NODE id=n_6941680bda2f node_type=claim
t=0004 CREATE_NODE id=n_f7a844508e10 node_type=claim
t=0005 CREATE_NODE id=n_a6400d070353 node_type=claim
t=0006 CREATE_NODE id=n_333a07e8a56a node_type=claim
t=0007 CREATE_NODE id=n_acaa64e67f8d node_type=claim
t=0008 CREATE_NODE id=n_124812e3af93 node_type=claim
t=0009 CREATE_NODE id=n_7bd2c4694a6a node_type=claim
t=0010 CREATE_NODE id=n_d6227469cab7 node_type=claim
t=0011 CREATE_NODE id=n_0de16ef4b9a3 node_type=claim
t=0012 CREATE_NODE id=n_48721df92eb3 node_type=claim
t=0013 CREATE_NODE id=n_d73614a4f80a node_type=claim
t=0014 CREATE_NODE id=n_8b02b9f70808 node_type=claim
t=0015 CREATE_NODE id=n_4e150aa8f7e8 node_type=claim
t=0016 CREATE_NODE id=n_5e26161cfd81 node_type=claim
t=0017 CREATE_NODE id=n_7672b3931c98 node_type=claim
t=0018 CREATE_NODE id=n_5d6a330d0fed node_type=claim
t=0019 CREATE_NODE id=n_4d2bd1bf61ec node_type=claim
t=0020 CREATE_NODE id=n_338726ea70bb node_type=claim
t=0021 CREATE_NODE id=n_8e3f932839c0 node_type=claim
t=0022 CREATE_NODE id=n_b8f8335b92d3 node_type=claim
t=0023 CREATE_NODE id=n_c104383abdf9 node_type=claim
t=0024 CREATE_NODE id=n_16fbf826b1bf node_type=claim
t=0025 CREATE_NODE id=n_ede4012e7589 node_type=claim
t=0026 CREATE_NODE id=n_2d0f2e500b5b node_type=claim
t=0027 CREATE_NODE id=n_3dc72fc4dead node_type=claim
t=0028 CREATE_NODE id=n_1b34003f9658 node_type=claim
t=0029 CREATE_NODE id=n_6a96af6a21fd node_type=claim
t=0030 CREATE_NODE id=n_9bb1d7872da9 node_type=claim
t=0031 CREATE_NODE id=n_af04142b9793 node_type=claim
t=0032 CREATE_NODE id=n_0277553fd6b9 node_type=claim
t=0033 CREATE_NODE id=n_0a6c386eace1 node_type=claim
t=0034 CREATE_NODE id=n_55166bee437c node_type=claim
t=0035 CREATE_NODE id=n_ee2548c77722 node_type=claim
t=0036 CREATE_NODE id=n_f757f2586fd6 node_type=claim
t=0037 CREATE_NODE id=n_43038299b13f node_type=claim
t=0038 CREATE_NODE id=n_0b1fc9d155a3 node_type=claim
t=0039 CREATE_NODE id=n_ab1067d9a23f node_type=claim
t=0040 CREATE_NODE id=n_8eeffad19799 node_type=claim
t=0041 CREATE_NODE id=n_71ef88989c14 node_type=claim
t=0042 CREATE_NODE id=n_ca1dc8285c13 node_type=claim
t=0043 CREATE_NODE id=n_214adf9b410b node_type=claim
t=0044 CREATE_NODE id=n_8cfdd0c399ea node_type=claim
t=0045 CREATE_NODE id=n_3cccb0da4a7a node_type=claim
t=0046 CREATE_NODE id=n_6416bc43c499 node_type=claim
t=0047 CREATE_NODE id=n_f4929430e7bd node_type=claim
t=0048 CREATE_NODE id=n_65488ef8785a node_type=claim
t=0049 CREATE_NODE id=n_bdf5ae8dc513 node_type=claim
t=0050 CREATE_NODE id=n_ca28b9b11c07 node_type=claim
t=0051 CREATE_NODE id=n_0e1cdfc194af node_type=claim
t=0052 CREATE_NODE id=n_49e9b8a74297 node_type=claim
t=0053 CREATE_NODE id=n_c2bf924f8122 node_type=claim
t=0054 CREATE_NODE id=n_714ce9b3fd6b node_type=claim
t=0055 CREATE_NODE id=n_bbb21878ad10 node_type=claim
t=0056 CREATE_NODE id=n_7b2ba0810a60 node_type=claim
t=0057 CREATE_NODE id=n_77afb714fe53 node_type=claim
t=0058 CREATE_NODE id=n_924e8e5009c1 node_type=claim
t=0059 CREATE_NODE id=n_cab5809e95bb node_type=claim
t=0060 CREATE_NODE id=n_3b6bc2287d2d node_type=claim
t=0061 CREATE_NODE id=n_141606bc036b node_type=claim
t=0062 CREATE_NODE id=n_1c5233b0bc6b node_type=claim
t=0063 CREATE_NODE id=n_4e8fe8af3222 node_type=claim
t=0064 CREATE_NODE id=n_7d99d269cc3a node_type=claim
t=0065 CREATE_NODE id=n_8029ff20b840 node_type=claim
t=0066 CREATE_NODE id=n_29ef5710d901 node_type=claim
t=0067 CREATE_NODE id=n_f044eed688a2 node_type=claim
t=0068 CREATE_NODE id=n_1d2e6a363990 node_type=claim
t=0069 CREATE_NODE id=n_dcd554739d8f node_type=claim
t=0070 CREATE_NODE id=n_34fe5074567c node_type=claim
t=0071 CREATE_NODE id=n_a5d48fae84e9 node_type=claim
t=0072 CREATE_NODE id=n_bccf0d42a621 node_type=claim
t=0073 CREATE_NODE id=n_ddba283c8dac node_type=claim
t=0074 ASSERT_ROOT node=n_43038299b13f value=TRUE
t=0075 ADD_EDGE edge_id=e_aab0ca8377f4 source=n_ddba283c8dac edge_type=refutes target=n_af04142b9793
t=0076 ADD_EDGE edge_id=e_fbcb76c031c7 source=n_0de16ef4b9a3 edge_type=supports target=n_c2bf924f8122
t=0077 ADD_EDGE edge_id=e_a010e320dde0 source=n_29ef5710d901 edge_type=refutes target=n_4e150aa8f7e8
t=0078 ADD_EDGE edge_id=e_5be16e82f489 source=n_acaa64e67f8d edge_type=supports target=n_34fe5074567c
t=0079 ADD_EDGE edge_id=e_533f28ff214f source=n_a6400d070353 edge_type=refutes target=n_c104383abdf9
t=0080 ADD_EDGE edge_id=e_52d2d897345f source=n_6a0bf9b94a55 edge_type=supports target=n_ddba283c8dac
t=0081 ADD_EDGE edge_id=e_9df98005243f source=n_9bb1d7872da9 edge_type=refutes target=n_a5d48fae84e9
t=0082 ADD_EDGE edge_id=e_ab3afe647605 source=n_214adf9b410b edge_type=refutes target=n_9bb1d7872da9
t=0083 ADD_EDGE edge_id=e_6a359b4291ac source=n_1c5233b0bc6b edge_type=refutes target=n_338726ea70bb
t=0084 ADD_EDGE edge_id=e_329e1d47492d source=n_f4929430e7bd edge_type=supports target=n_55166bee437c
t=0085 ADD_EDGE edge_id=e_adc7624841a6 source=n_ede4012e7589 edge_type=supports target=n_6416bc43c499
t=0086 ADD_EDGE edge_id=e_bf7e624821b6 source=n_bbb21878ad10 edge_type=refutes target=n_5cd6309cbec9
t=0087 ADD_EDGE edge_id=e_6791da256f51 source=n_f7a844508e10 edge_type=supports target=n_cab5809e95bb
t=0088 ADD_EDGE edge_id=e_6fb450e489a9 source=n_af04142b9793 edge_type=refutes target=n_6941680bda2f
t=0089 ADD_EDGE edge_id=e_158a88f40439 source=n_0b1fc9d155a3 edge_type=supports target=n_4e8fe8af3222
t=0090 ADD_EDGE edge_id=e_913aa4cdb0b6 source=n_2d0f2e500b5b edge_type=supports target=n_ca28b9b11c07
t=0091 ADD_EDGE edge_id=e_e9ab0dcd5677 source=n_c2bf924f8122 edge_type=refutes target=n_1b34003f9658
t=0092 ADD_EDGE edge_id=e_0be3fa1439e2 source=n_f044eed688a2 edge_type=supports target=n_ede4012e7589
t=0093 ADD_EDGE edge_id=e_6a421487eb1a source=n_333a07e8a56a edge_type=refutes target=n_8b02b9f70808
t=0094 ADD_EDGE edge_id=e_3527a04e6c48 source=n_16fbf826b1bf edge_type=refutes target=n_ab1067d9a23f
t=0095 ADD_EDGE edge_id=e_5b53f7858c9c source=n_2d0f2e500b5b edge_type=refutes target=n_8cfdd0c399ea
t=0096 ADD_EDGE edge_id=e_1762d696e028 source=n_3b6bc2287d2d edge_type=refutes target=n_d73614a4f80a
t=0097 ADD_EDGE edge_id=e_7d9badab94d4 source=n_3dc72fc4dead edge_type=refutes target=n_0277553fd6b9
t=0098 ADD_EDGE edge_id=e_82ed4e8db85e source=n_4e150aa8f7e8 edge_type=refutes target=n_f4929430e7bd
t=0099 ADD_EDGE edge_id=e_2854142b0258 source=n_d6227469cab7 edge_type=supports target=n_333a07e8a56a
t=0100 ADD_EDGE edge_id=e_51cf5e401899 source=n_a5d48fae84e9 edge_type=refutes target=n_6a0bf9b94a55
t=0101 ADD_EDGE edge_id=e_da657ae43cf2 source=n_3cccb0da4a7a edge_type=refutes target=n_8e3f932839c0
t=0102 ADD_EDGE edge_id=e_e7eac14cf269 source=n_0b1fc9d155a3 edge_type=supports target=n_f757f2586fd6
t=0103 ADD_EDGE edge_id=e_d635c484859e source=n_ca1dc8285c13 edge_type=refutes target=n_4d2bd1bf61ec
t=0104 ADD_EDGE edge_id=e_3ab18bb54c19 source=n_4d2bd1bf61ec edge_type=refutes target=n_0e1cdfc194af
t=0105 ADD_EDGE edge_id=e_20bca44c1a0b source=n_1d2e6a363990 edge_type=supports target=n_5d6a330d0fed
t=0106 ADD_EDGE edge_id=e_a763b7342291 source=n_4e8fe8af3222 edge_type=refutes target=n_48721df92eb3
t=0107 ADD_EDGE edge_id=e_f4bd8d97deb8 source=n_3b6bc2287d2d edge_type=supports target=n_924e8e5009c1
t=0108 ADD_EDGE edge_id=e_9b22c6ee9617 source=n_8029ff20b840 edge_type=supports target=n_b8f8335b92d3
t=0109 ADD_EDGE edge_id=e_d574928f3a06 source=n_34fe5074567c edge_type=supports target=n_71ef88989c14
t=0110 ADD_EDGE edge_id=e_a7b19a19bd07 source=n_6941680bda2f edge_type=supports target=n_d6227469cab7
t=0111 ADD_EDGE edge_id=e_37c69b718953 source=n_ee2548c77722 edge_type=refutes target=n_f044eed688a2
t=0112 ADD_EDGE edge_id=e_2f29e7b4e954 source=n_124812e3af93 edge_type=supports target=n_141606bc036b
t=0113 ADD_EDGE edge_id=e_064d11663222 source=n_5cd6309cbec9 edge_type=refutes target=n_7bd2c4694a6a
t=0114 ADD_EDGE edge_id=e_7aa427971449 source=n_d73614a4f80a edge_type=supports target=n_0b1fc9d155a3
t=0115 ADD_EDGE edge_id=e_4f05891c6f08 source=n_7672b3931c98 edge_type=supports target=n_7d99d269cc3a
t=0116 ADD_EDGE edge_id=e_2c42371cb6e7 source=n_d6227469cab7 edge_type=refutes target=n_714ce9b3fd6b
t=0117 ADD_EDGE edge_id=e_3aed76cedf63 source=n_ab1067d9a23f edge_type=supports target=n_bbb21878ad10
t=0118 ADD_EDGE edge_id=e_06a4cad23826 source=n_c104383abdf9 edge_type=supports target=n_0de16ef4b9a3
t=0119 ADD_EDGE edge_id=e_00572a604d49 source=n_0b1fc9d155a3 edge_type=supports target=n_8eeffad19799
t=0120 ADD_EDGE edge_id=e_2055821bf99f source=n_8cfdd0c399ea edge_type=supports target=n_49e9b8a74297
t=0121 ADD_EDGE edge_id=e_d0eb3cc5b6d9 source=n_8b02b9f70808 edge_type=supports target=n_ee2548c77722
t=0122 ADD_EDGE edge_id=e_c8a402197053 source=n_2d0f2e500b5b edge_type=refutes target=n_8029ff20b840
t=0123 ADD_EDGE edge_id=e_c4ddb457e4ab source=n_924e8e5009c1 edge_type=supports target=n_f7a844508e10
t=0124 ADD_EDGE edge_id=e_3c97e53ac586 source=n_43038299b13f edge_type=refutes target=n_214adf9b410b
t=0125 ADD_EDGE edge_id=e_84ba3f7ff0fd source=n_7672b3931c98 edge_type=supports target=n_3cccb0da4a7a
t=0126 ADD_EDGE edge_id=e_6c0d338ca6c2 source=n_0277553fd6b9 edge_type=refutes target=n_dcd554739d8f
t=0127 ADD_EDGE edge_id=e_bf793d953af4 source=n_bdf5ae8dc513 edge_type=refutes target=n_ca1dc8285c13
t=0128 ADD_EDGE edge_id=e_bfa67f5ba342 source=n_0277553fd6b9 edge_type=supports target=n_bccf0d42a621
t=0129 ADD_EDGE edge_id=e_ea0f82ec02c0 source=n_7bd2c4694a6a edge_type=supports target=n_a6400d070353
t=0130 ADD_EDGE edge_id=e_29e392b649c9 source=n_2d0f2e500b5b edge_type=refutes target=n_acaa64e67f8d
t=0131 ADD_EDGE edge_id=e_facce0d5c1b8 source=n_d6227469cab7 edge_type=supports target=n_0a6c386eace1
t=0132 ADD_EDGE edge_id=e_ec4e03ae236c source=n_bdf5ae8dc513 edge_type=supports target=n_7b2ba0810a60
t=0133 ADD_EDGE edge_id=e_ea86a8e9cfbb source=n_2d0f2e500b5b edge_type=supports target=n_42e66e50e3c0
t=0134 ADD_EDGE edge_id=e_0975e493a437 source=n_af04142b9793 edge_type=refutes target=n_65488ef8785a
t=0135 ADD_EDGE edge_id=e_1031408e0465 source=n_3b6bc2287d2d edge_type=refutes target=n_2d0f2e500b5b
t=0136 ADD_EDGE edge_id=e_4db685b3c6f9 source=n_5d6a330d0fed edge_type=refutes target=n_124812e3af93
t=0137 ADD_EDGE edge_id=e_6b58601b47a7 source=n_ca1dc8285c13 edge_type=supports target=n_5e26161cfd81
t=0138 ADD_EDGE edge_id=e_20e19434aed7 source=n_924e8e5009c1 edge_type=refutes target=n_bdf5ae8dc513
t=0139 ADD_EDGE edge_id=e_2d404184621e source=n_ca28b9b11c07 edge_type=supports target=n_3dc72fc4dead
t=0140 ADD_EDGE edge_id=e_9942b09e96f9 source=n_8b02b9f70808 edge_type=supports target=n_77afb714fe53
t=0141 ADD_EDGE edge_id=e_69b68cc55ce6 source=n_bdf5ae8dc513 edge_type=refutes target=n_7672b3931c98
t=0142 ADD_EDGE edge_id=e_bc66582923d7 source=n_55166bee437c edge_type=supports target=n_1d2e6a363990
t=0143 ADD_EDGE edge_id=e_3252297e2508 source=n_ca1dc8285c13 edge_type=supports target=n_1c5233b0bc6b
t=0144 ADD_EDGE edge_id=e_73ff402f47cb source=n_cab5809e95bb edge_type=refutes target=n_6a96af6a21fd
t=0145 ADD_EDGE edge_id=e_c969ad0fcaa6 source=n_6416bc43c499 edge_type=refutes target=n_29ef5710d901
t=0146 ADD_EDGE edge_id=e_6740248c154b source=n_141606bc036b edge_type=refutes target=n_16fbf826b1bf
t=0147 QUERY source=n_43038299b13f target=n_1b34003f9658
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.


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

[User]
[CHRONOLOGICAL_LINEAR_TRACE]
t=0000 CREATE_NODE id=n_5eb6a33e4df2 node_type=claim
t=0001 CREATE_NODE id=n_40203cfb981d node_type=claim
t=0002 CREATE_NODE id=n_5852b9a42248 node_type=claim
t=0003 CREATE_NODE id=n_3da6572945ad node_type=claim
t=0004 CREATE_NODE id=n_b7df12796204 node_type=claim
t=0005 CREATE_NODE id=n_f1a400cc5fc4 node_type=claim
t=0006 CREATE_NODE id=n_78ae522ebfff node_type=claim
t=0007 CREATE_NODE id=n_3bc1b9b8b695 node_type=claim
t=0008 CREATE_NODE id=n_5fd918a24de1 node_type=claim
t=0009 CREATE_NODE id=n_1ff5aa6193b6 node_type=claim
t=0010 CREATE_NODE id=n_c0f904a74d99 node_type=claim
t=0011 CREATE_NODE id=n_255ad45d69f2 node_type=claim
t=0012 CREATE_NODE id=n_c6448dacc7b6 node_type=claim
t=0013 CREATE_NODE id=n_37ead34d45e7 node_type=claim
t=0014 CREATE_NODE id=n_42fb59933a67 node_type=claim
t=0015 CREATE_NODE id=n_bcc96f924ff0 node_type=claim
t=0016 CREATE_NODE id=n_e7060dd910e6 node_type=claim
t=0017 CREATE_NODE id=n_ec1bcb697477 node_type=claim
t=0018 CREATE_NODE id=n_0a67fef700f7 node_type=claim
t=0019 CREATE_NODE id=n_282670efae93 node_type=claim
t=0020 CREATE_NODE id=n_79e886dfa492 node_type=claim
t=0021 CREATE_NODE id=n_4e87cb7656db node_type=claim
t=0022 CREATE_NODE id=n_11517e03709d node_type=claim
t=0023 CREATE_NODE id=n_a7a4a1166917 node_type=claim
t=0024 CREATE_NODE id=n_3ba23327a955 node_type=claim
t=0025 CREATE_NODE id=n_d8caefce4906 node_type=claim
t=0026 CREATE_NODE id=n_1c29568aac1d node_type=claim
t=0027 CREATE_NODE id=n_9fa68d639b5e node_type=claim
t=0028 CREATE_NODE id=n_8d615b3b62bf node_type=claim
t=0029 CREATE_NODE id=n_1cf5c93af4f9 node_type=claim
t=0030 CREATE_NODE id=n_aa370eb6fc32 node_type=claim
t=0031 CREATE_NODE id=n_d1056079c21b node_type=claim
t=0032 CREATE_NODE id=n_4eef75350d0d node_type=claim
t=0033 CREATE_NODE id=n_6973b96e5e56 node_type=claim
t=0034 CREATE_NODE id=n_0f9c627d5691 node_type=claim
t=0035 CREATE_NODE id=n_a034ba699483 node_type=claim
t=0036 CREATE_NODE id=n_17da69c9be63 node_type=claim
t=0037 CREATE_NODE id=n_46bb9d2971e3 node_type=claim
t=0038 CREATE_NODE id=n_a3761a771800 node_type=claim
t=0039 CREATE_NODE id=n_300587b4c727 node_type=claim
t=0040 CREATE_NODE id=n_aabbfc7b3e9c node_type=claim
t=0041 CREATE_NODE id=n_3a0680e549ed node_type=claim
t=0042 CREATE_NODE id=n_a57305ba65ca node_type=claim
t=0043 CREATE_NODE id=n_c31830a36a58 node_type=claim
t=0044 CREATE_NODE id=n_06a6b7aa33e4 node_type=claim
t=0045 CREATE_NODE id=n_0746d4d16802 node_type=claim
t=0046 CREATE_NODE id=n_603eadde42e5 node_type=claim
t=0047 CREATE_NODE id=n_f2c0e01ee06c node_type=claim
t=0048 CREATE_NODE id=n_bc442327508e node_type=claim
t=0049 CREATE_NODE id=n_d109f7589de2 node_type=claim
t=0050 CREATE_NODE id=n_5ae09c66d442 node_type=claim
t=0051 CREATE_NODE id=n_999a01985e89 node_type=claim
t=0052 CREATE_NODE id=n_2705496bb8b2 node_type=claim
t=0053 CREATE_NODE id=n_cd94400a8ed6 node_type=claim
t=0054 CREATE_NODE id=n_30810ec2e8bd node_type=claim
t=0055 CREATE_NODE id=n_63714d105472 node_type=claim
t=0056 CREATE_NODE id=n_8676fb91d048 node_type=claim
t=0057 CREATE_NODE id=n_f41bbb94fe2f node_type=claim
t=0058 CREATE_NODE id=n_d10ac6aea8c4 node_type=claim
t=0059 CREATE_NODE id=n_b214f54c326d node_type=claim
t=0060 CREATE_NODE id=n_291d7c736536 node_type=claim
t=0061 CREATE_NODE id=n_e4019d9466d2 node_type=claim
t=0062 CREATE_NODE id=n_5010b4208944 node_type=claim
t=0063 CREATE_NODE id=n_e9d0131f9963 node_type=claim
t=0064 CREATE_NODE id=n_0c5d27e5b576 node_type=claim
t=0065 CREATE_NODE id=n_cd586d46225e node_type=claim
t=0066 CREATE_NODE id=n_6c5c04095131 node_type=claim
t=0067 CREATE_NODE id=n_37c607f7e186 node_type=claim
t=0068 CREATE_NODE id=n_d95d5cd0484c node_type=claim
t=0069 CREATE_NODE id=n_8e4c9268b517 node_type=claim
t=0070 CREATE_NODE id=n_246432bd340c node_type=claim
t=0071 CREATE_NODE id=n_d3ac0b434815 node_type=claim
t=0072 CREATE_NODE id=n_c2ef14a3f1d7 node_type=claim
t=0073 CREATE_NODE id=n_54c44eabc3ea node_type=claim
t=0074 ASSERT_ROOT node=n_8d615b3b62bf value=FALSE
t=0075 ADD_EDGE edge_id=e_0715d4554719 source=n_3da6572945ad edge_type=supports target=n_282670efae93
t=0076 ADD_EDGE edge_id=e_bdcce8b9b97c source=n_bc442327508e edge_type=refutes target=n_a3761a771800
t=0077 ADD_EDGE edge_id=e_c73a1f2dfcf9 source=n_aabbfc7b3e9c edge_type=supports target=n_a034ba699483
t=0078 ADD_EDGE edge_id=e_ccc590f1929b source=n_f2c0e01ee06c edge_type=supports target=n_30810ec2e8bd
t=0079 ADD_EDGE edge_id=e_e16e528781ce source=n_aa370eb6fc32 edge_type=refutes target=n_1cf5c93af4f9
t=0080 ADD_EDGE edge_id=e_dc4d0ab0fa76 source=n_d10ac6aea8c4 edge_type=supports target=n_f2c0e01ee06c
t=0081 ADD_EDGE edge_id=e_9756fe006263 source=n_4e87cb7656db edge_type=supports target=n_79e886dfa492
t=0082 ADD_EDGE edge_id=e_ceb65edd0661 source=n_1ff5aa6193b6 edge_type=refutes target=n_c6448dacc7b6
t=0083 ADD_EDGE edge_id=e_ddda35675724 source=n_f2c0e01ee06c edge_type=supports target=n_246432bd340c
t=0084 ADD_EDGE edge_id=e_0584e970eec2 source=n_3ba23327a955 edge_type=refutes target=n_d10ac6aea8c4
t=0085 ADD_EDGE edge_id=e_7a8235e59934 source=n_06a6b7aa33e4 edge_type=refutes target=n_78ae522ebfff
t=0086 ADD_EDGE edge_id=e_34d6f53f1485 source=n_1cf5c93af4f9 edge_type=supports target=n_291d7c736536
t=0087 ADD_EDGE edge_id=e_9232fd9e8ac8 source=n_f2c0e01ee06c edge_type=refutes target=n_42fb59933a67
t=0088 ADD_EDGE edge_id=e_951eb9a55fcc source=n_a7a4a1166917 edge_type=refutes target=n_d95d5cd0484c
t=0089 ADD_EDGE edge_id=e_a398d609461c source=n_1cf5c93af4f9 edge_type=supports target=n_0f9c627d5691
t=0090 ADD_EDGE edge_id=e_e834b90e50a6 source=n_37c607f7e186 edge_type=refutes target=n_cd94400a8ed6
t=0091 ADD_EDGE edge_id=e_7afd2cb862b0 source=n_3ba23327a955 edge_type=supports target=n_2705496bb8b2
t=0092 ADD_EDGE edge_id=e_48df48ea19e4 source=n_3ba23327a955 edge_type=supports target=n_d1056079c21b
t=0093 ADD_EDGE edge_id=e_65f88a49f3d1 source=n_255ad45d69f2 edge_type=refutes target=n_9fa68d639b5e
t=0094 ADD_EDGE edge_id=e_f39ad727a501 source=n_ec1bcb697477 edge_type=supports target=n_8e4c9268b517
t=0095 ADD_EDGE edge_id=e_44090ed8d0da source=n_37ead34d45e7 edge_type=supports target=n_b7df12796204
t=0096 ADD_EDGE edge_id=e_b3cc6d4cbd08 source=n_282670efae93 edge_type=supports target=n_e7060dd910e6
t=0097 ADD_EDGE edge_id=e_9cd24568cb67 source=n_0746d4d16802 edge_type=supports target=n_63714d105472
t=0098 ADD_EDGE edge_id=e_6075dd0b8144 source=n_0c5d27e5b576 edge_type=supports target=n_1ff5aa6193b6
t=0099 ADD_EDGE edge_id=e_9cbd64d0a15b source=n_3ba23327a955 edge_type=refutes target=n_bcc96f924ff0
t=0100 ADD_EDGE edge_id=e_4863721301ea source=n_c31830a36a58 edge_type=supports target=n_40203cfb981d
t=0101 ADD_EDGE edge_id=e_1de5e976cc10 source=n_d8caefce4906 edge_type=refutes target=n_603eadde42e5
t=0102 ADD_EDGE edge_id=e_f326ac8edc93 source=n_9fa68d639b5e edge_type=refutes target=n_d3ac0b434815
t=0103 ADD_EDGE edge_id=e_272f74c2dcf1 source=n_a034ba699483 edge_type=refutes target=n_54c44eabc3ea
t=0104 ADD_EDGE edge_id=e_a4e39fb56015 source=n_300587b4c727 edge_type=supports target=n_c31830a36a58
t=0105 ADD_EDGE edge_id=e_921c342c39c1 source=n_a57305ba65ca edge_type=refutes target=n_aabbfc7b3e9c
t=0106 ADD_EDGE edge_id=e_bda58540f375 source=n_1cf5c93af4f9 edge_type=refutes target=n_6973b96e5e56
t=0107 ADD_EDGE edge_id=e_f6a8b471f5d0 source=n_78ae522ebfff edge_type=refutes target=n_46bb9d2971e3
t=0108 ADD_EDGE edge_id=e_9f85cf85911b source=n_54c44eabc3ea edge_type=refutes target=n_3a0680e549ed
t=0109 ADD_EDGE edge_id=e_7901f34380e6 source=n_9fa68d639b5e edge_type=supports target=n_11517e03709d
t=0110 ADD_EDGE edge_id=e_3de60db55e2a source=n_3ba23327a955 edge_type=refutes target=n_37c607f7e186
t=0111 ADD_EDGE edge_id=e_e43f40deed12 source=n_c6448dacc7b6 edge_type=supports target=n_f1a400cc5fc4
t=0112 ADD_EDGE edge_id=e_e3f322d645b2 source=n_d10ac6aea8c4 edge_type=supports target=n_ec1bcb697477
t=0113 ADD_EDGE edge_id=e_197d136e72e4 source=n_6c5c04095131 edge_type=refutes target=n_06a6b7aa33e4
t=0114 ADD_EDGE edge_id=e_ebede3308ff7 source=n_bcc96f924ff0 edge_type=refutes target=n_a7a4a1166917
t=0115 ADD_EDGE edge_id=e_96625f1c3a05 source=n_e4019d9466d2 edge_type=supports target=n_3bc1b9b8b695
t=0116 ADD_EDGE edge_id=e_b40723ec1a3f source=n_e4019d9466d2 edge_type=refutes target=n_f41bbb94fe2f
t=0117 ADD_EDGE edge_id=e_1d8a976ca30c source=n_aa370eb6fc32 edge_type=supports target=n_b214f54c326d
t=0118 ADD_EDGE edge_id=e_7cd3d566066f source=n_d10ac6aea8c4 edge_type=supports target=n_5eb6a33e4df2
t=0119 ADD_EDGE edge_id=e_e831188d4c8d source=n_37ead34d45e7 edge_type=supports target=n_bc442327508e
t=0120 ADD_EDGE edge_id=e_e8535a34a529 source=n_5010b4208944 edge_type=supports target=n_0a67fef700f7
t=0121 ADD_EDGE edge_id=e_0cb30d4d97bb source=n_5ae09c66d442 edge_type=refutes target=n_300587b4c727
t=0122 ADD_EDGE edge_id=e_96b7bdc6f2d1 source=n_46bb9d2971e3 edge_type=refutes target=n_255ad45d69f2
t=0123 ADD_EDGE edge_id=e_f740420e101a source=n_40203cfb981d edge_type=refutes target=n_0746d4d16802
t=0124 ADD_EDGE edge_id=e_7151e1d859a8 source=n_3a0680e549ed edge_type=supports target=n_3da6572945ad
t=0125 ADD_EDGE edge_id=e_c470af41ae5f source=n_8d615b3b62bf edge_type=supports target=n_c0f904a74d99
t=0126 ADD_EDGE edge_id=e_f732622457f5 source=n_63714d105472 edge_type=supports target=n_0c5d27e5b576
t=0127 ADD_EDGE edge_id=e_edbdd796c00c source=n_e7060dd910e6 edge_type=supports target=n_e9d0131f9963
t=0128 ADD_EDGE edge_id=e_63d9ff9c0a46 source=n_5852b9a42248 edge_type=refutes target=n_8676fb91d048
t=0129 ADD_EDGE edge_id=e_2f33004bff4a source=n_3ba23327a955 edge_type=refutes target=n_17da69c9be63
t=0130 ADD_EDGE edge_id=e_d27e84ccab7f source=n_17da69c9be63 edge_type=refutes target=n_4e87cb7656db
t=0131 ADD_EDGE edge_id=e_4d6d07077587 source=n_f1a400cc5fc4 edge_type=supports target=n_37ead34d45e7
t=0132 ADD_EDGE edge_id=e_ec42646b8db6 source=n_5010b4208944 edge_type=refutes target=n_5852b9a42248
t=0133 ADD_EDGE edge_id=e_6ae7a2d37ff1 source=n_c0f904a74d99 edge_type=supports target=n_999a01985e89
t=0134 ADD_EDGE edge_id=e_358519d8283f source=n_a3761a771800 edge_type=refutes target=n_d8caefce4906
t=0135 ADD_EDGE edge_id=e_f61758fd6a6a source=n_3ba23327a955 edge_type=refutes target=n_5010b4208944
t=0136 ADD_EDGE edge_id=e_f8fca492df11 source=n_5eb6a33e4df2 edge_type=supports target=n_1c29568aac1d
t=0137 ADD_EDGE edge_id=e_ba1d39ee8750 source=n_e9d0131f9963 edge_type=refutes target=n_5ae09c66d442
t=0138 ADD_EDGE edge_id=e_32cdce379952 source=n_37ead34d45e7 edge_type=supports target=n_d109f7589de2
t=0139 ADD_EDGE edge_id=e_7d912f67d99f source=n_3ba23327a955 edge_type=refutes target=n_c2ef14a3f1d7
t=0140 ADD_EDGE edge_id=e_f0608d47577e source=n_3ba23327a955 edge_type=refutes target=n_4eef75350d0d
t=0141 ADD_EDGE edge_id=e_45074998f599 source=n_d10ac6aea8c4 edge_type=refutes target=n_e4019d9466d2
t=0142 ADD_EDGE edge_id=e_5105db2bb48b source=n_5eb6a33e4df2 edge_type=supports target=n_5fd918a24de1
t=0143 ADD_EDGE edge_id=e_9a5f2d956928 source=n_603eadde42e5 edge_type=refutes target=n_6c5c04095131
t=0144 ADD_EDGE edge_id=e_1a3ce853e0cf source=n_c0f904a74d99 edge_type=supports target=n_a57305ba65ca
t=0145 ADD_EDGE edge_id=e_c3f888af2b6f source=n_5010b4208944 edge_type=supports target=n_aa370eb6fc32
t=0146 ADD_EDGE edge_id=e_db3acb88d0f4 source=n_a7a4a1166917 edge_type=refutes target=n_cd586d46225e
t=0147 QUERY source=n_8d615b3b62bf target=n_d3ac0b434815
[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_177f8b12f4c9 node_type=claim
t=0001 CREATE_NODE id=n_c103ed0e002c node_type=claim
t=0002 CREATE_NODE id=n_cf29176ac2a4 node_type=claim
t=0003 CREATE_NODE id=n_2e43281cb2ab node_type=claim
t=0004 CREATE_NODE id=n_6353b9227f65 node_type=claim
t=0005 CREATE_NODE id=n_f4b542bb9ad9 node_type=claim
t=0006 CREATE_NODE id=n_a04cdef3a57b node_type=claim
t=0007 CREATE_NODE id=n_00ad3373dc1e node_type=claim
t=0008 CREATE_NODE id=n_fe22fd77504c node_type=claim
t=0009 CREATE_NODE id=n_a9a00d31d4b0 node_type=claim
t=0010 CREATE_NODE id=n_25a99cf81880 node_type=claim
t=0011 CREATE_NODE id=n_b2cae9e4a30c node_type=claim
t=0012 CREATE_NODE id=n_4719d54c86b7 node_type=claim
t=0013 CREATE_NODE id=n_f71b2d164d33 node_type=claim
t=0014 CREATE_NODE id=n_9ad8d86921be node_type=claim
t=0015 CREATE_NODE id=n_4100eac7f525 node_type=claim
t=0016 CREATE_NODE id=n_0ee3f089ceaf node_type=claim
t=0017 CREATE_NODE id=n_923b7945fec9 node_type=claim
t=0018 CREATE_NODE id=n_5c34e1b7300f node_type=claim
t=0019 CREATE_NODE id=n_177d083654ab node_type=claim
t=0020 CREATE_NODE id=n_e05fd241d64f node_type=claim
t=0021 CREATE_NODE id=n_5aef5d23e609 node_type=claim
t=0022 CREATE_NODE id=n_46fd45a3f4cc node_type=claim
t=0023 CREATE_NODE id=n_1291ed281510 node_type=claim
t=0024 CREATE_NODE id=n_9cc78a29c2cb node_type=claim
t=0025 CREATE_NODE id=n_4960156b9d14 node_type=claim
t=0026 CREATE_NODE id=n_18ef7ad0297b node_type=claim
t=0027 CREATE_NODE id=n_ea339bc01c9c node_type=claim
t=0028 CREATE_NODE id=n_51b1fe233add node_type=claim
t=0029 CREATE_NODE id=n_f62c8314a4e8 node_type=claim
t=0030 CREATE_NODE id=n_8c749d1951d8 node_type=claim
t=0031 CREATE_NODE id=n_50103f9485de node_type=claim
t=0032 CREATE_NODE id=n_133af28bba4d node_type=claim
t=0033 CREATE_NODE id=n_1fbadaa944f8 node_type=claim
t=0034 CREATE_NODE id=n_42a755a420c2 node_type=claim
t=0035 CREATE_NODE id=n_35b0176fdd29 node_type=claim
t=0036 CREATE_NODE id=n_0bee1aea59ed node_type=claim
t=0037 CREATE_NODE id=n_7e17d5d5c0f4 node_type=claim
t=0038 CREATE_NODE id=n_6605884b1733 node_type=claim
t=0039 CREATE_NODE id=n_29715cb2c416 node_type=claim
t=0040 CREATE_NODE id=n_a193e45286f6 node_type=claim
t=0041 CREATE_NODE id=n_8e5f6aa36cf9 node_type=claim
t=0042 CREATE_NODE id=n_b5676d2986e1 node_type=claim
t=0043 CREATE_NODE id=n_b6f2c4a5a6f2 node_type=claim
t=0044 CREATE_NODE id=n_97a5a5f0ce01 node_type=claim
t=0045 CREATE_NODE id=n_41cda9fc281b node_type=claim
t=0046 CREATE_NODE id=n_a562bb67483c node_type=claim
t=0047 CREATE_NODE id=n_0ac732321310 node_type=claim
t=0048 CREATE_NODE id=n_3b79cd005460 node_type=claim
t=0049 CREATE_NODE id=n_4b4a1505e72f node_type=claim
t=0050 CREATE_NODE id=n_da53e32f594a node_type=claim
t=0051 CREATE_NODE id=n_5722018926ac node_type=claim
t=0052 CREATE_NODE id=n_f0aa2e2473e6 node_type=claim
t=0053 CREATE_NODE id=n_766be7f46904 node_type=claim
t=0054 CREATE_NODE id=n_012252b762d4 node_type=claim
t=0055 CREATE_NODE id=n_659215ddc374 node_type=claim
t=0056 CREATE_NODE id=n_d19534a0b18d node_type=claim
t=0057 CREATE_NODE id=n_f3e3e4ad0c4e node_type=claim
t=0058 CREATE_NODE id=n_7970a8146488 node_type=claim
t=0059 CREATE_NODE id=n_0eae857bad21 node_type=claim
t=0060 CREATE_NODE id=n_02aeb27f51bd node_type=claim
t=0061 CREATE_NODE id=n_e9d5360caa40 node_type=claim
t=0062 CREATE_NODE id=n_895355403934 node_type=claim
t=0063 CREATE_NODE id=n_85ddc6b5d10c node_type=claim
t=0064 CREATE_NODE id=n_47e29cc67877 node_type=claim
t=0065 CREATE_NODE id=n_5e755abf8222 node_type=claim
t=0066 CREATE_NODE id=n_2d3bbc2d8c39 node_type=claim
t=0067 CREATE_NODE id=n_c89183f8122b node_type=claim
t=0068 CREATE_NODE id=n_bab2b52b8c34 node_type=claim
t=0069 CREATE_NODE id=n_bd6a8c56f227 node_type=claim
t=0070 CREATE_NODE id=n_04467a184b83 node_type=claim
t=0071 CREATE_NODE id=n_f231edfee164 node_type=claim
t=0072 CREATE_NODE id=n_af9c64c704d0 node_type=claim
t=0073 CREATE_NODE id=n_3f9411997abe node_type=claim
t=0074 ASSERT_ROOT node=n_4100eac7f525 value=TRUE
t=0075 ADD_EDGE edge_id=e_70a7dc3f3ef1 source=n_6353b9227f65 edge_type=refutes target=n_02aeb27f51bd
t=0076 ADD_EDGE edge_id=e_141477f14103 source=n_25a99cf81880 edge_type=refutes target=n_ea339bc01c9c
t=0077 ADD_EDGE edge_id=e_36cabd46eb51 source=n_c103ed0e002c edge_type=supports target=n_42a755a420c2
t=0078 ADD_EDGE edge_id=e_980881cd1c55 source=n_133af28bba4d edge_type=supports target=n_50103f9485de
t=0079 ADD_EDGE edge_id=e_e79dc35dcdc5 source=n_e9d5360caa40 edge_type=supports target=n_3f9411997abe
t=0080 ADD_EDGE edge_id=e_6f5329749ef0 source=n_42a755a420c2 edge_type=supports target=n_4b4a1505e72f
t=0081 ADD_EDGE edge_id=e_45e582f8cd1f source=n_af9c64c704d0 edge_type=refutes target=n_a9a00d31d4b0
t=0082 ADD_EDGE edge_id=e_e0efd0149318 source=n_659215ddc374 edge_type=supports target=n_f0aa2e2473e6
t=0083 ADD_EDGE edge_id=e_53e11b4822ba source=n_4719d54c86b7 edge_type=refutes target=n_b5676d2986e1
t=0084 ADD_EDGE edge_id=e_e16da439ecfe source=n_923b7945fec9 edge_type=supports target=n_4960156b9d14
t=0085 ADD_EDGE edge_id=e_303a0209f782 source=n_4719d54c86b7 edge_type=supports target=n_f3e3e4ad0c4e
t=0086 ADD_EDGE edge_id=e_d1d7f2a0f22a source=n_133af28bba4d edge_type=refutes target=n_f62c8314a4e8
t=0087 ADD_EDGE edge_id=e_436aa81d5b9b source=n_35b0176fdd29 edge_type=supports target=n_b2cae9e4a30c
t=0088 ADD_EDGE edge_id=e_7e6b1288b9f9 source=n_00ad3373dc1e edge_type=refutes target=n_895355403934
t=0089 ADD_EDGE edge_id=e_3b41d0ed709f source=n_b2cae9e4a30c edge_type=refutes target=n_cf29176ac2a4
t=0090 ADD_EDGE edge_id=e_61984bdfe5ba source=n_51b1fe233add edge_type=refutes target=n_46fd45a3f4cc
t=0091 ADD_EDGE edge_id=e_efd469c7139b source=n_133af28bba4d edge_type=refutes target=n_35b0176fdd29
t=0092 ADD_EDGE edge_id=e_22e2829c716e source=n_3b79cd005460 edge_type=refutes target=n_51b1fe233add
t=0093 ADD_EDGE edge_id=e_49477c899f06 source=n_4100eac7f525 edge_type=refutes target=n_a562bb67483c
t=0094 ADD_EDGE edge_id=e_dd635a3d8ba9 source=n_923b7945fec9 edge_type=supports target=n_8c749d1951d8
t=0095 ADD_EDGE edge_id=e_0c044eedbd92 source=n_35b0176fdd29 edge_type=supports target=n_af9c64c704d0
t=0096 ADD_EDGE edge_id=e_92c1576f5a42 source=n_47e29cc67877 edge_type=refutes target=n_97a5a5f0ce01
t=0097 ADD_EDGE edge_id=e_dd519e4c385a source=n_c89183f8122b edge_type=supports target=n_6353b9227f65
t=0098 ADD_EDGE edge_id=e_ab18db0bccda source=n_012252b762d4 edge_type=refutes target=n_7e17d5d5c0f4
t=0099 ADD_EDGE edge_id=e_5e5175344ec9 source=n_7e17d5d5c0f4 edge_type=refutes target=n_fe22fd77504c
t=0100 ADD_EDGE edge_id=e_dfffd6ca7050 source=n_4b4a1505e72f edge_type=refutes target=n_3b79cd005460
t=0101 ADD_EDGE edge_id=e_85d5b3a5fdb4 source=n_a193e45286f6 edge_type=refutes target=n_0ac732321310
t=0102 ADD_EDGE edge_id=e_3afd40bc4674 source=n_177d083654ab edge_type=supports target=n_766be7f46904
t=0103 ADD_EDGE edge_id=e_ea7df8d751e0 source=n_97a5a5f0ce01 edge_type=supports target=n_04467a184b83
t=0104 ADD_EDGE edge_id=e_cb077469c105 source=n_35b0176fdd29 edge_type=supports target=n_012252b762d4
t=0105 ADD_EDGE edge_id=e_0ad2dbff8a56 source=n_85ddc6b5d10c edge_type=refutes target=n_e05fd241d64f
t=0106 ADD_EDGE edge_id=e_79e47a6a0129 source=n_5722018926ac edge_type=refutes target=n_2e43281cb2ab
t=0107 ADD_EDGE edge_id=e_41c1bf982ba2 source=n_04467a184b83 edge_type=supports target=n_0ee3f089ceaf
t=0108 ADD_EDGE edge_id=e_81f0f9f94164 source=n_af9c64c704d0 edge_type=supports target=n_e9d5360caa40
t=0109 ADD_EDGE edge_id=e_fa68e89ea208 source=n_ea339bc01c9c edge_type=supports target=n_d19534a0b18d
t=0110 ADD_EDGE edge_id=e_5f01f572f791 source=n_cf29176ac2a4 edge_type=supports target=n_f4b542bb9ad9
t=0111 ADD_EDGE edge_id=e_8f538b2af197 source=n_f62c8314a4e8 edge_type=refutes target=n_a193e45286f6
t=0112 ADD_EDGE edge_id=e_5fae43e2e2bc source=n_cf29176ac2a4 edge_type=supports target=n_da53e32f594a
t=0113 ADD_EDGE edge_id=e_6cb265545274 source=n_bd6a8c56f227 edge_type=supports target=n_5e755abf8222
t=0114 ADD_EDGE edge_id=e_6666fb508538 source=n_bab2b52b8c34 edge_type=refutes target=n_5722018926ac
t=0115 ADD_EDGE edge_id=e_aabc4629df61 source=n_b2cae9e4a30c edge_type=refutes target=n_9cc78a29c2cb
t=0116 ADD_EDGE edge_id=e_2d3567ba8cc3 source=n_0ee3f089ceaf edge_type=refutes target=n_a04cdef3a57b
t=0117 ADD_EDGE edge_id=e_4c737db13d03 source=n_2e43281cb2ab edge_type=supports target=n_29715cb2c416
t=0118 ADD_EDGE edge_id=e_d75e9eecc1a4 source=n_766be7f46904 edge_type=supports target=n_659215ddc374
t=0119 ADD_EDGE edge_id=e_061b87e65ae4 source=n_8e5f6aa36cf9 edge_type=refutes target=n_2d3bbc2d8c39
t=0120 ADD_EDGE edge_id=e_2246b52f5ac4 source=n_a04cdef3a57b edge_type=refutes target=n_1fbadaa944f8
t=0121 ADD_EDGE edge_id=e_514af0abfc77 source=n_46fd45a3f4cc edge_type=refutes target=n_00ad3373dc1e
t=0122 ADD_EDGE edge_id=e_a17cac5c6936 source=n_35b0176fdd29 edge_type=refutes target=n_0eae857bad21
t=0123 ADD_EDGE edge_id=e_06c908da856d source=n_0eae857bad21 edge_type=supports target=n_9ad8d86921be
t=0124 ADD_EDGE edge_id=e_493cc248111c source=n_a562bb67483c edge_type=supports target=n_bab2b52b8c34
t=0125 ADD_EDGE edge_id=e_d5181ce7c2f1 source=n_2d3bbc2d8c39 edge_type=refutes target=n_5c34e1b7300f
t=0126 ADD_EDGE edge_id=e_8c5caf7aae0b source=n_e9d5360caa40 edge_type=supports target=n_177f8b12f4c9
t=0127 ADD_EDGE edge_id=e_ad7418689756 source=n_5c34e1b7300f edge_type=refutes target=n_47e29cc67877
t=0128 ADD_EDGE edge_id=e_3087ff146c83 source=n_3f9411997abe edge_type=refutes target=n_bd6a8c56f227
t=0129 ADD_EDGE edge_id=e_14fec8f46831 source=n_7e17d5d5c0f4 edge_type=supports target=n_5aef5d23e609
t=0130 ADD_EDGE edge_id=e_23210a669468 source=n_cf29176ac2a4 edge_type=supports target=n_0bee1aea59ed
t=0131 ADD_EDGE edge_id=e_f0ede7f1042c source=n_e05fd241d64f edge_type=supports target=n_8e5f6aa36cf9
t=0132 ADD_EDGE edge_id=e_b5a5c332158c source=n_7e17d5d5c0f4 edge_type=supports target=n_f71b2d164d33
t=0133 ADD_EDGE edge_id=e_c101a3ccc0f3 source=n_f3e3e4ad0c4e edge_type=supports target=n_7970a8146488
t=0134 ADD_EDGE edge_id=e_2934b2dbbbd2 source=n_00ad3373dc1e edge_type=refutes target=n_177d083654ab
t=0135 ADD_EDGE edge_id=e_956cd4274a8c source=n_7e17d5d5c0f4 edge_type=supports target=n_6605884b1733
t=0136 ADD_EDGE edge_id=e_52794bf54805 source=n_177f8b12f4c9 edge_type=supports target=n_c89183f8122b
t=0137 ADD_EDGE edge_id=e_d37dcf3f0b78 source=n_2e43281cb2ab edge_type=refutes target=n_923b7945fec9
t=0138 ADD_EDGE edge_id=e_8a1c32a6d60f source=n_7970a8146488 edge_type=supports target=n_c103ed0e002c
t=0139 ADD_EDGE edge_id=e_3ef28c2bea63 source=n_7e17d5d5c0f4 edge_type=supports target=n_b6f2c4a5a6f2
t=0140 ADD_EDGE edge_id=e_b45637e38ea5 source=n_1fbadaa944f8 edge_type=supports target=n_41cda9fc281b
t=0141 ADD_EDGE edge_id=e_9350f3ff73ec source=n_41cda9fc281b edge_type=refutes target=n_4719d54c86b7
t=0142 ADD_EDGE edge_id=e_65e999a31c6b source=n_4960156b9d14 edge_type=refutes target=n_85ddc6b5d10c
t=0143 ADD_EDGE edge_id=e_63e24332c8ce source=n_1291ed281510 edge_type=refutes target=n_f231edfee164
t=0144 ADD_EDGE edge_id=e_c0773bdcefc0 source=n_133af28bba4d edge_type=refutes target=n_25a99cf81880
t=0145 ADD_EDGE edge_id=e_7795043eb4ac source=n_cf29176ac2a4 edge_type=supports target=n_1291ed281510
t=0146 ADD_EDGE edge_id=e_793a22eb2536 source=n_133af28bba4d edge_type=refutes target=n_18ef7ad0297b
t=0147 QUERY source=n_4100eac7f525 target=n_f0aa2e2473e6
[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_c0471e41cc04 node_type=claim
t=0001 CREATE_NODE id=n_2c1f4e3bac80 node_type=claim
t=0002 CREATE_NODE id=n_de51d8624d8e node_type=claim
t=0003 CREATE_NODE id=n_3ddd576751be node_type=claim
t=0004 CREATE_NODE id=n_4d3fdd8d03a9 node_type=claim
t=0005 CREATE_NODE id=n_0e80ceb313c2 node_type=claim
t=0006 CREATE_NODE id=n_3b5737fd9791 node_type=claim
t=0007 CREATE_NODE id=n_87ef42e48c56 node_type=claim
t=0008 CREATE_NODE id=n_31f8b0296b48 node_type=claim
t=0009 CREATE_NODE id=n_07d34661be72 node_type=claim
t=0010 CREATE_NODE id=n_83de85937d3f node_type=claim
t=0011 CREATE_NODE id=n_a768835f3d31 node_type=claim
t=0012 CREATE_NODE id=n_c958f74b164f node_type=claim
t=0013 CREATE_NODE id=n_fca1b4cc9270 node_type=claim
t=0014 CREATE_NODE id=n_ae5244710ff1 node_type=claim
t=0015 CREATE_NODE id=n_265fd589eab5 node_type=claim
t=0016 CREATE_NODE id=n_5fcff8ceb5a5 node_type=claim
t=0017 CREATE_NODE id=n_4667d34d4c94 node_type=claim
t=0018 CREATE_NODE id=n_b4651093869e node_type=claim
t=0019 CREATE_NODE id=n_8992d7937d50 node_type=claim
t=0020 CREATE_NODE id=n_9699792824e1 node_type=claim
t=0021 CREATE_NODE id=n_066b3d5eca31 node_type=claim
t=0022 CREATE_NODE id=n_1f36bd458d4c node_type=claim
t=0023 CREATE_NODE id=n_4d8a591ecec9 node_type=claim
t=0024 CREATE_NODE id=n_3b0aede88419 node_type=claim
t=0025 CREATE_NODE id=n_177f3291ee19 node_type=claim
t=0026 CREATE_NODE id=n_d03bd37df3cd node_type=claim
t=0027 CREATE_NODE id=n_9b15b9d5bb3e node_type=claim
t=0028 CREATE_NODE id=n_16b9dcd161b3 node_type=claim
t=0029 CREATE_NODE id=n_ba094366810c node_type=claim
t=0030 CREATE_NODE id=n_bd415ef6f592 node_type=claim
t=0031 CREATE_NODE id=n_bb176bd6e2de node_type=claim
t=0032 CREATE_NODE id=n_43dfc0af298e node_type=claim
t=0033 CREATE_NODE id=n_f60e9a60fd91 node_type=claim
t=0034 CREATE_NODE id=n_4d9f2643a4da node_type=claim
t=0035 CREATE_NODE id=n_36d9e3a614b7 node_type=claim
t=0036 CREATE_NODE id=n_203b4290575f node_type=claim
t=0037 CREATE_NODE id=n_acf500d50416 node_type=claim
t=0038 CREATE_NODE id=n_e967ff8f4965 node_type=claim
t=0039 CREATE_NODE id=n_99400e01be57 node_type=claim
t=0040 CREATE_NODE id=n_35f30ae6868b node_type=claim
t=0041 CREATE_NODE id=n_4a544fe96ac1 node_type=claim
t=0042 CREATE_NODE id=n_f2e5c989998b node_type=claim
t=0043 CREATE_NODE id=n_481af571ccd0 node_type=claim
t=0044 CREATE_NODE id=n_1bf5292f585f node_type=claim
t=0045 CREATE_NODE id=n_2e5e70c542c5 node_type=claim
t=0046 CREATE_NODE id=n_55d18d8802e6 node_type=claim
t=0047 CREATE_NODE id=n_2db0bfead3d4 node_type=claim
t=0048 CREATE_NODE id=n_a5926c474da3 node_type=claim
t=0049 CREATE_NODE id=n_ae790ed8ebd5 node_type=claim
t=0050 CREATE_NODE id=n_fde57051e4ca node_type=claim
t=0051 CREATE_NODE id=n_a8012c77fca3 node_type=claim
t=0052 CREATE_NODE id=n_efb2ee9f073b node_type=claim
t=0053 CREATE_NODE id=n_2fcb773b6f47 node_type=claim
t=0054 CREATE_NODE id=n_572f489366af node_type=claim
t=0055 CREATE_NODE id=n_78fb0a12c52b node_type=claim
t=0056 CREATE_NODE id=n_0135906f70d4 node_type=claim
t=0057 CREATE_NODE id=n_aa7e2bf1f206 node_type=claim
t=0058 CREATE_NODE id=n_33fc464e9a85 node_type=claim
t=0059 CREATE_NODE id=n_63faa7c32beb node_type=claim
t=0060 CREATE_NODE id=n_8f5a04524230 node_type=claim
t=0061 CREATE_NODE id=n_f1e8f10fb620 node_type=claim
t=0062 CREATE_NODE id=n_8f989b742eed node_type=claim
t=0063 CREATE_NODE id=n_c8b2e46be4ba node_type=claim
t=0064 CREATE_NODE id=n_4f1c32daae68 node_type=claim
t=0065 CREATE_NODE id=n_98a2a585ed9f node_type=claim
t=0066 CREATE_NODE id=n_b563b3a2c3ce node_type=claim
t=0067 CREATE_NODE id=n_4dad689ea13d node_type=claim
t=0068 CREATE_NODE id=n_a78009f3bcca node_type=claim
t=0069 CREATE_NODE id=n_b3205f29aeb9 node_type=claim
t=0070 CREATE_NODE id=n_86a70c1f3b00 node_type=claim
t=0071 CREATE_NODE id=n_3aefc511c21d node_type=claim
t=0072 CREATE_NODE id=n_edccc590357b node_type=claim
t=0073 CREATE_NODE id=n_862fb8ebe358 node_type=claim
t=0074 ASSERT_ROOT node=n_3b5737fd9791 value=FALSE
t=0075 ADD_EDGE edge_id=e_ccd32dd72543 source=n_bd415ef6f592 edge_type=supports target=n_87ef42e48c56
t=0076 ADD_EDGE edge_id=e_b181c5e49c6b source=n_aa7e2bf1f206 edge_type=supports target=n_31f8b0296b48
t=0077 ADD_EDGE edge_id=e_566ce7d4a564 source=n_4667d34d4c94 edge_type=refutes target=n_4d9f2643a4da
t=0078 ADD_EDGE edge_id=e_d4808fbd4638 source=n_ae790ed8ebd5 edge_type=refutes target=n_efb2ee9f073b
t=0079 ADD_EDGE edge_id=e_8a21856c1c20 source=n_aa7e2bf1f206 edge_type=refutes target=n_98a2a585ed9f
t=0080 ADD_EDGE edge_id=e_bad8a346b3a1 source=n_862fb8ebe358 edge_type=refutes target=n_4d3fdd8d03a9
t=0081 ADD_EDGE edge_id=e_4f2cd3053ce7 source=n_16b9dcd161b3 edge_type=refutes target=n_203b4290575f
t=0082 ADD_EDGE edge_id=e_cf6eef01172b source=n_ae5244710ff1 edge_type=refutes target=n_de51d8624d8e
t=0083 ADD_EDGE edge_id=e_a49202c03b97 source=n_f60e9a60fd91 edge_type=supports target=n_e967ff8f4965
t=0084 ADD_EDGE edge_id=e_1a5873d5de0b source=n_9699792824e1 edge_type=refutes target=n_36d9e3a614b7
t=0085 ADD_EDGE edge_id=e_a3241672d4fd source=n_fde57051e4ca edge_type=supports target=n_63faa7c32beb
t=0086 ADD_EDGE edge_id=e_e3147023b2fb source=n_3b0aede88419 edge_type=supports target=n_ae790ed8ebd5
t=0087 ADD_EDGE edge_id=e_f3cc31e81bbe source=n_2e5e70c542c5 edge_type=supports target=n_177f3291ee19
t=0088 ADD_EDGE edge_id=e_e0af49f07752 source=n_2db0bfead3d4 edge_type=supports target=n_b4651093869e
t=0089 ADD_EDGE edge_id=e_6bf6bfd35887 source=n_aa7e2bf1f206 edge_type=refutes target=n_8f989b742eed
t=0090 ADD_EDGE edge_id=e_f09549bf8555 source=n_33fc464e9a85 edge_type=refutes target=n_f60e9a60fd91
t=0091 ADD_EDGE edge_id=e_c32581e294ab source=n_edccc590357b edge_type=refutes target=n_b3205f29aeb9
t=0092 ADD_EDGE edge_id=e_4e7a0cb02dd3 source=n_a78009f3bcca edge_type=refutes target=n_9699792824e1
t=0093 ADD_EDGE edge_id=e_016ddb423b90 source=n_55d18d8802e6 edge_type=supports target=n_a78009f3bcca
t=0094 ADD_EDGE edge_id=e_1e62856940af source=n_1bf5292f585f edge_type=refutes target=n_07d34661be72
t=0095 ADD_EDGE edge_id=e_7b49e7cd3db6 source=n_acf500d50416 edge_type=supports target=n_35f30ae6868b
t=0096 ADD_EDGE edge_id=e_2c465fbb738e source=n_43dfc0af298e edge_type=supports target=n_edccc590357b
t=0097 ADD_EDGE edge_id=e_d4f4d13c5d48 source=n_c958f74b164f edge_type=supports target=n_481af571ccd0
t=0098 ADD_EDGE edge_id=e_ada64d3d4b72 source=n_aa7e2bf1f206 edge_type=supports target=n_4667d34d4c94
t=0099 ADD_EDGE edge_id=e_e023e70a71f5 source=n_aa7e2bf1f206 edge_type=supports target=n_bd415ef6f592
t=0100 ADD_EDGE edge_id=e_8d3d80e777db source=n_4a544fe96ac1 edge_type=refutes target=n_3aefc511c21d
t=0101 ADD_EDGE edge_id=e_b955e93104f5 source=n_9b15b9d5bb3e edge_type=refutes target=n_5fcff8ceb5a5
t=0102 ADD_EDGE edge_id=e_0c02a768def0 source=n_4dad689ea13d edge_type=supports target=n_4f1c32daae68
t=0103 ADD_EDGE edge_id=e_ae7f1c2d2a02 source=n_4f1c32daae68 edge_type=refutes target=n_4a544fe96ac1
t=0104 ADD_EDGE edge_id=e_ca5083686249 source=n_4d8a591ecec9 edge_type=refutes target=n_d03bd37df3cd
t=0105 ADD_EDGE edge_id=e_db065a191fbb source=n_43dfc0af298e edge_type=supports target=n_fde57051e4ca
t=0106 ADD_EDGE edge_id=e_dbc1c02c472e source=n_ae790ed8ebd5 edge_type=refutes target=n_4dad689ea13d
t=0107 ADD_EDGE edge_id=e_e80c4afedf33 source=n_4d9f2643a4da edge_type=supports target=n_2e5e70c542c5
t=0108 ADD_EDGE edge_id=e_0d7d4cc55653 source=n_4f1c32daae68 edge_type=supports target=n_0e80ceb313c2
t=0109 ADD_EDGE edge_id=e_aa5056c544d7 source=n_a768835f3d31 edge_type=supports target=n_3b0aede88419
t=0110 ADD_EDGE edge_id=e_cbd682dba0b4 source=n_de51d8624d8e edge_type=supports target=n_4d8a591ecec9
t=0111 ADD_EDGE edge_id=e_4cefb0ecb482 source=n_4d8a591ecec9 edge_type=supports target=n_f1e8f10fb620
t=0112 ADD_EDGE edge_id=e_0ddf3a7c8961 source=n_36d9e3a614b7 edge_type=refutes target=n_c958f74b164f
t=0113 ADD_EDGE edge_id=e_b99284859918 source=n_f60e9a60fd91 edge_type=refutes target=n_a8012c77fca3
t=0114 ADD_EDGE edge_id=e_54efc8d59fe3 source=n_78fb0a12c52b edge_type=refutes target=n_16b9dcd161b3
t=0115 ADD_EDGE edge_id=e_c8ff45b5137a source=n_ae790ed8ebd5 edge_type=refutes target=n_f2e5c989998b
t=0116 ADD_EDGE edge_id=e_9793e016a4f0 source=n_572f489366af edge_type=supports target=n_c8b2e46be4ba
t=0117 ADD_EDGE edge_id=e_a337b6285683 source=n_9b15b9d5bb3e edge_type=refutes target=n_8f5a04524230
t=0118 ADD_EDGE edge_id=e_41346290a188 source=n_b563b3a2c3ce edge_type=refutes target=n_33fc464e9a85
t=0119 ADD_EDGE edge_id=e_f4abad12d8c0 source=n_203b4290575f edge_type=refutes target=n_b563b3a2c3ce
t=0120 ADD_EDGE edge_id=e_55d73313aee2 source=n_3b5737fd9791 edge_type=supports target=n_2fcb773b6f47
t=0121 ADD_EDGE edge_id=e_3e1534e44875 source=n_d03bd37df3cd edge_type=refutes target=n_1f36bd458d4c
t=0122 ADD_EDGE edge_id=e_c02c7977fc6e source=n_066b3d5eca31 edge_type=supports target=n_8992d7937d50
t=0123 ADD_EDGE edge_id=e_85808f49991f source=n_4f1c32daae68 edge_type=supports target=n_2db0bfead3d4
t=0124 ADD_EDGE edge_id=e_7bec0872e83a source=n_2c1f4e3bac80 edge_type=refutes target=n_86a70c1f3b00
t=0125 ADD_EDGE edge_id=e_a4902a2276bc source=n_c0471e41cc04 edge_type=supports target=n_0135906f70d4
t=0126 ADD_EDGE edge_id=e_baf6419ab969 source=n_2fcb773b6f47 edge_type=supports target=n_572f489366af
t=0127 ADD_EDGE edge_id=e_9f36ca04f6f5 source=n_3b0aede88419 edge_type=refutes target=n_066b3d5eca31
t=0128 ADD_EDGE edge_id=e_02ad929a4af0 source=n_43dfc0af298e edge_type=supports target=n_aa7e2bf1f206
t=0129 ADD_EDGE edge_id=e_ff36f3e442b8 source=n_4d3fdd8d03a9 edge_type=refutes target=n_9b15b9d5bb3e
t=0130 ADD_EDGE edge_id=e_a4472d291230 source=n_a5926c474da3 edge_type=supports target=n_acf500d50416
t=0131 ADD_EDGE edge_id=e_2382951ca73b source=n_07d34661be72 edge_type=refutes target=n_78fb0a12c52b
t=0132 ADD_EDGE edge_id=e_6cd09cb5d6dd source=n_0135906f70d4 edge_type=refutes target=n_862fb8ebe358
t=0133 ADD_EDGE edge_id=e_b83132e7391d source=n_99400e01be57 edge_type=supports target=n_83de85937d3f
t=0134 ADD_EDGE edge_id=e_62ff04d4d4d9 source=n_3b0aede88419 edge_type=refutes target=n_ba094366810c
t=0135 ADD_EDGE edge_id=e_febd6009e581 source=n_bb176bd6e2de edge_type=supports target=n_ae5244710ff1
t=0136 ADD_EDGE edge_id=e_f3c628ee8d23 source=n_5fcff8ceb5a5 edge_type=refutes target=n_55d18d8802e6
t=0137 ADD_EDGE edge_id=e_5915116679e3 source=n_a768835f3d31 edge_type=supports target=n_2c1f4e3bac80
t=0138 ADD_EDGE edge_id=e_42a6b71de67f source=n_f60e9a60fd91 edge_type=supports target=n_bb176bd6e2de
t=0139 ADD_EDGE edge_id=e_09500469e39f source=n_066b3d5eca31 edge_type=refutes target=n_43dfc0af298e
t=0140 ADD_EDGE edge_id=e_f119131e701b source=n_4f1c32daae68 edge_type=supports target=n_265fd589eab5
t=0141 ADD_EDGE edge_id=e_6cd1cdcdaa86 source=n_c8b2e46be4ba edge_type=supports target=n_c0471e41cc04
t=0142 ADD_EDGE edge_id=e_8b204bd6cff3 source=n_35f30ae6868b edge_type=supports target=n_1bf5292f585f
t=0143 ADD_EDGE edge_id=e_40b1e267852c source=n_4f1c32daae68 edge_type=supports target=n_3ddd576751be
t=0144 ADD_EDGE edge_id=e_1cd9e9fe28e9 source=n_fde57051e4ca edge_type=refutes target=n_fca1b4cc9270
t=0145 ADD_EDGE edge_id=e_87d01eb9201e source=n_fde57051e4ca edge_type=refutes target=n_99400e01be57
t=0146 ADD_EDGE edge_id=e_a27305dee505 source=n_481af571ccd0 edge_type=refutes target=n_a5926c474da3
t=0147 QUERY source=n_3b5737fd9791 target=n_1f36bd458d4c
[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_990413e50a0f node_type=claim
t=0001 CREATE_NODE id=n_e072ecf718c3 node_type=claim
t=0002 CREATE_NODE id=n_fc127729881a node_type=claim
t=0003 CREATE_NODE id=n_69d3c80ae0aa node_type=claim
t=0004 CREATE_NODE id=n_f07e28b9c2a9 node_type=claim
t=0005 CREATE_NODE id=n_a9cc73dcdee6 node_type=claim
t=0006 CREATE_NODE id=n_666eddf648df node_type=claim
t=0007 CREATE_NODE id=n_c86bba11d1ac node_type=claim
t=0008 CREATE_NODE id=n_4a2ddfe94bab node_type=claim
t=0009 CREATE_NODE id=n_38336eabfd82 node_type=claim
t=0010 CREATE_NODE id=n_97606871ed78 node_type=claim
t=0011 CREATE_NODE id=n_76a710c83d3c node_type=claim
t=0012 CREATE_NODE id=n_b9eee1ef3340 node_type=claim
t=0013 CREATE_NODE id=n_f543ab134616 node_type=claim
t=0014 CREATE_NODE id=n_23904921202c node_type=claim
t=0015 CREATE_NODE id=n_57ef9cf464c8 node_type=claim
t=0016 CREATE_NODE id=n_ada61e240897 node_type=claim
t=0017 CREATE_NODE id=n_3c0eadd2b118 node_type=claim
t=0018 CREATE_NODE id=n_6f90a9bf9d2b node_type=claim
t=0019 CREATE_NODE id=n_54ac09736f45 node_type=claim
t=0020 CREATE_NODE id=n_992b746b2eeb node_type=claim
t=0021 CREATE_NODE id=n_4f043bb96fcb node_type=claim
t=0022 CREATE_NODE id=n_3c76b39ea0e4 node_type=claim
t=0023 CREATE_NODE id=n_8611485a3314 node_type=claim
t=0024 CREATE_NODE id=n_72cfc7a3b743 node_type=claim
t=0025 CREATE_NODE id=n_edc000bf2997 node_type=claim
t=0026 CREATE_NODE id=n_f57c187d9359 node_type=claim
t=0027 CREATE_NODE id=n_a8e98df52c4a node_type=claim
t=0028 CREATE_NODE id=n_b4fb82eb11d4 node_type=claim
t=0029 CREATE_NODE id=n_748acf1470bc node_type=claim
t=0030 CREATE_NODE id=n_5d8badca4a37 node_type=claim
t=0031 CREATE_NODE id=n_f95db8ff13fe node_type=claim
t=0032 CREATE_NODE id=n_d3543d9276a1 node_type=claim
t=0033 CREATE_NODE id=n_b4b13891a1db node_type=claim
t=0034 CREATE_NODE id=n_5ebfec4fb8f7 node_type=claim
t=0035 CREATE_NODE id=n_11a2c55dec4a node_type=claim
t=0036 CREATE_NODE id=n_638d82ce0d15 node_type=claim
t=0037 CREATE_NODE id=n_d32510945852 node_type=claim
t=0038 CREATE_NODE id=n_cd085674154a node_type=claim
t=0039 CREATE_NODE id=n_957add3bb5cc node_type=claim
t=0040 CREATE_NODE id=n_9303b6271a9f node_type=claim
t=0041 CREATE_NODE id=n_14271ba48fac node_type=claim
t=0042 CREATE_NODE id=n_6e25dd161d29 node_type=claim
t=0043 CREATE_NODE id=n_fcc4de9d5a0f node_type=claim
t=0044 CREATE_NODE id=n_71a06776bb81 node_type=claim
t=0045 CREATE_NODE id=n_956ed39b9126 node_type=claim
t=0046 CREATE_NODE id=n_7f47ddbd3bc9 node_type=claim
t=0047 CREATE_NODE id=n_7e8a1c2d3811 node_type=claim
t=0048 CREATE_NODE id=n_038528b3989c node_type=claim
t=0049 CREATE_NODE id=n_552809f08844 node_type=claim
t=0050 CREATE_NODE id=n_d00a0ab781c8 node_type=claim
t=0051 CREATE_NODE id=n_26b3bb127fa0 node_type=claim
t=0052 CREATE_NODE id=n_041cf8627a58 node_type=claim
t=0053 CREATE_NODE id=n_fa1fe7655c68 node_type=claim
t=0054 CREATE_NODE id=n_d691b3bf8b44 node_type=claim
t=0055 CREATE_NODE id=n_2cf54bdb392c node_type=claim
t=0056 CREATE_NODE id=n_3a989a91e40b node_type=claim
t=0057 CREATE_NODE id=n_2302964438e9 node_type=claim
t=0058 CREATE_NODE id=n_5230b68db44c node_type=claim
t=0059 CREATE_NODE id=n_5724d1b374cb node_type=claim
t=0060 CREATE_NODE id=n_001d82b11887 node_type=claim
t=0061 CREATE_NODE id=n_897aeacc6e5a node_type=claim
t=0062 CREATE_NODE id=n_9d1f9c1d8cdf node_type=claim
t=0063 CREATE_NODE id=n_5ae773519d65 node_type=claim
t=0064 CREATE_NODE id=n_3b6191302985 node_type=claim
t=0065 CREATE_NODE id=n_20b695ed64bb node_type=claim
t=0066 CREATE_NODE id=n_8f59b5aea032 node_type=claim
t=0067 CREATE_NODE id=n_66959c6bafde node_type=claim
t=0068 CREATE_NODE id=n_8d1623981f42 node_type=claim
t=0069 CREATE_NODE id=n_b8b927479492 node_type=claim
t=0070 CREATE_NODE id=n_fdda374db103 node_type=claim
t=0071 CREATE_NODE id=n_8693737fd744 node_type=claim
t=0072 CREATE_NODE id=n_7a6902208ef1 node_type=claim
t=0073 CREATE_NODE id=n_0378afeb085d node_type=claim
t=0074 ASSERT_ROOT node=n_001d82b11887 value=TRUE
t=0075 ADD_EDGE edge_id=e_c154dbb7bb6a source=n_038528b3989c edge_type=refutes target=n_b9eee1ef3340
t=0076 ADD_EDGE edge_id=e_7a904bc94e7f source=n_23904921202c edge_type=supports target=n_5ae773519d65
t=0077 ADD_EDGE edge_id=e_28596f69dd51 source=n_fcc4de9d5a0f edge_type=refutes target=n_9303b6271a9f
t=0078 ADD_EDGE edge_id=e_2c1432a75877 source=n_b8b927479492 edge_type=refutes target=n_14271ba48fac
t=0079 ADD_EDGE edge_id=e_84581e223449 source=n_71a06776bb81 edge_type=supports target=n_3c76b39ea0e4
t=0080 ADD_EDGE edge_id=e_45cf83a75424 source=n_11a2c55dec4a edge_type=refutes target=n_552809f08844
t=0081 ADD_EDGE edge_id=e_178d632cfd27 source=n_748acf1470bc edge_type=refutes target=n_cd085674154a
t=0082 ADD_EDGE edge_id=e_33b8961f6466 source=n_5ebfec4fb8f7 edge_type=refutes target=n_71a06776bb81
t=0083 ADD_EDGE edge_id=e_32789fe2319b source=n_ada61e240897 edge_type=supports target=n_3a989a91e40b
t=0084 ADD_EDGE edge_id=e_c5cb77644ff8 source=n_f95db8ff13fe edge_type=supports target=n_fdda374db103
t=0085 ADD_EDGE edge_id=e_8e9a14b6d3d3 source=n_d00a0ab781c8 edge_type=refutes target=n_54ac09736f45
t=0086 ADD_EDGE edge_id=e_2b5432b1217d source=n_26b3bb127fa0 edge_type=refutes target=n_7a6902208ef1
t=0087 ADD_EDGE edge_id=e_78dd1bcab903 source=n_7e8a1c2d3811 edge_type=refutes target=n_38336eabfd82
t=0088 ADD_EDGE edge_id=e_c0df6161c1af source=n_001d82b11887 edge_type=supports target=n_8f59b5aea032
t=0089 ADD_EDGE edge_id=e_5ef2b810834b source=n_edc000bf2997 edge_type=refutes target=n_c86bba11d1ac
t=0090 ADD_EDGE edge_id=e_b04860a329d1 source=n_ada61e240897 edge_type=refutes target=n_8611485a3314
t=0091 ADD_EDGE edge_id=e_a2527d87fec2 source=n_041cf8627a58 edge_type=refutes target=n_3b6191302985
t=0092 ADD_EDGE edge_id=e_1553379a0a08 source=n_b4b13891a1db edge_type=supports target=n_97606871ed78
t=0093 ADD_EDGE edge_id=e_d295fdfc42b9 source=n_7f47ddbd3bc9 edge_type=supports target=n_11a2c55dec4a
t=0094 ADD_EDGE edge_id=e_ba6fbffa5d34 source=n_957add3bb5cc edge_type=refutes target=n_5d8badca4a37
t=0095 ADD_EDGE edge_id=e_e06a39ed954a source=n_5230b68db44c edge_type=refutes target=n_76a710c83d3c
t=0096 ADD_EDGE edge_id=e_e6cdb8acceed source=n_3b6191302985 edge_type=supports target=n_b4b13891a1db
t=0097 ADD_EDGE edge_id=e_3ce810f8a403 source=n_5230b68db44c edge_type=supports target=n_956ed39b9126
t=0098 ADD_EDGE edge_id=e_0dff1a398a30 source=n_3c0eadd2b118 edge_type=supports target=n_f95db8ff13fe
t=0099 ADD_EDGE edge_id=e_49d00df7bcb3 source=n_7e8a1c2d3811 edge_type=refutes target=n_992b746b2eeb
t=0100 ADD_EDGE edge_id=e_25c461e56c98 source=n_72cfc7a3b743 edge_type=supports target=n_9d1f9c1d8cdf
t=0101 ADD_EDGE edge_id=e_41bcf4d6315b source=n_3b6191302985 edge_type=supports target=n_990413e50a0f
t=0102 ADD_EDGE edge_id=e_eb52c0d4c6c4 source=n_f07e28b9c2a9 edge_type=supports target=n_038528b3989c
t=0103 ADD_EDGE edge_id=e_1868c6e9f70a source=n_14271ba48fac edge_type=refutes target=n_748acf1470bc
t=0104 ADD_EDGE edge_id=e_37d75ed6d90a source=n_c86bba11d1ac edge_type=refutes target=n_4f043bb96fcb
t=0105 ADD_EDGE edge_id=e_6418a5afab1a source=n_b9eee1ef3340 edge_type=supports target=n_0378afeb085d
t=0106 ADD_EDGE edge_id=e_d1d652cb9359 source=n_fa1fe7655c68 edge_type=supports target=n_f543ab134616
t=0107 ADD_EDGE edge_id=e_d6ee7dfa659b source=n_8f59b5aea032 edge_type=supports target=n_f07e28b9c2a9
t=0108 ADD_EDGE edge_id=e_5e4edd70d1ea source=n_f543ab134616 edge_type=supports target=n_5724d1b374cb
t=0109 ADD_EDGE edge_id=e_abaf2cd52c0c source=n_b9eee1ef3340 edge_type=supports target=n_57ef9cf464c8
t=0110 ADD_EDGE edge_id=e_f42518bd805f source=n_b4fb82eb11d4 edge_type=supports target=n_8d1623981f42
t=0111 ADD_EDGE edge_id=e_a892107c703f source=n_8611485a3314 edge_type=supports target=n_5ebfec4fb8f7
t=0112 ADD_EDGE edge_id=e_2e8188485751 source=n_fdda374db103 edge_type=refutes target=n_2302964438e9
t=0113 ADD_EDGE edge_id=e_5b521b4859a5 source=n_76a710c83d3c edge_type=supports target=n_a8e98df52c4a
t=0114 ADD_EDGE edge_id=e_2d4013c98b43 source=n_f57c187d9359 edge_type=supports target=n_72cfc7a3b743
t=0115 ADD_EDGE edge_id=e_b74d12c1cd63 source=n_5ae773519d65 edge_type=refutes target=n_897aeacc6e5a
t=0116 ADD_EDGE edge_id=e_27d7115c64d4 source=n_3c76b39ea0e4 edge_type=supports target=n_d32510945852
t=0117 ADD_EDGE edge_id=e_612d8909a590 source=n_8611485a3314 edge_type=refutes target=n_26b3bb127fa0
t=0118 ADD_EDGE edge_id=e_673ef3dedace source=n_76a710c83d3c edge_type=refutes target=n_20b695ed64bb
t=0119 ADD_EDGE edge_id=e_8ecab2ff01f1 source=n_2cf54bdb392c edge_type=refutes target=n_b4fb82eb11d4
t=0120 ADD_EDGE edge_id=e_1ac655044483 source=n_97606871ed78 edge_type=refutes target=n_4a2ddfe94bab
t=0121 ADD_EDGE edge_id=e_d0a90daa2875 source=n_992b746b2eeb edge_type=refutes target=n_23904921202c
t=0122 ADD_EDGE edge_id=e_b386dc53d112 source=n_7f47ddbd3bc9 edge_type=refutes target=n_8693737fd744
t=0123 ADD_EDGE edge_id=e_bbfe096efa85 source=n_9303b6271a9f edge_type=supports target=n_edc000bf2997
t=0124 ADD_EDGE edge_id=e_1ff40c674f2e source=n_fdda374db103 edge_type=supports target=n_66959c6bafde
t=0125 ADD_EDGE edge_id=e_9a4afcc262cb source=n_cd085674154a edge_type=supports target=n_041cf8627a58
t=0126 ADD_EDGE edge_id=e_2ff65d82941d source=n_957add3bb5cc edge_type=refutes target=n_d691b3bf8b44
t=0127 ADD_EDGE edge_id=e_10ce41e9341d source=n_5230b68db44c edge_type=supports target=n_d3543d9276a1
t=0128 ADD_EDGE edge_id=e_209493f01010 source=n_ada61e240897 edge_type=supports target=n_7f47ddbd3bc9
t=0129 ADD_EDGE edge_id=e_c1ff5d5ae6e6 source=n_8611485a3314 edge_type=supports target=n_d00a0ab781c8
t=0130 ADD_EDGE edge_id=e_91e940eb0e3d source=n_4f043bb96fcb edge_type=refutes target=n_f57c187d9359
t=0131 ADD_EDGE edge_id=e_90f977721dfa source=n_8d1623981f42 edge_type=refutes target=n_fa1fe7655c68
t=0132 ADD_EDGE edge_id=e_147b4db44083 source=n_d691b3bf8b44 edge_type=supports target=n_fc127729881a
t=0133 ADD_EDGE edge_id=e_7899a3764754 source=n_71a06776bb81 edge_type=refutes target=n_e072ecf718c3
t=0134 ADD_EDGE edge_id=e_02cbe3adcf63 source=n_d691b3bf8b44 edge_type=refutes target=n_ada61e240897
t=0135 ADD_EDGE edge_id=e_34ba8a151ca9 source=n_57ef9cf464c8 edge_type=refutes target=n_3c0eadd2b118
t=0136 ADD_EDGE edge_id=e_bb2b9a0c0f39 source=n_7f47ddbd3bc9 edge_type=supports target=n_a9cc73dcdee6
t=0137 ADD_EDGE edge_id=e_8f8438833cd5 source=n_97606871ed78 edge_type=supports target=n_638d82ce0d15
t=0138 ADD_EDGE edge_id=e_b0caa9ce0d2d source=n_3a989a91e40b edge_type=refutes target=n_7e8a1c2d3811
t=0139 ADD_EDGE edge_id=e_6d9cd0ddde75 source=n_992b746b2eeb edge_type=refutes target=n_5230b68db44c
t=0140 ADD_EDGE edge_id=e_19646ebed380 source=n_23904921202c edge_type=supports target=n_69d3c80ae0aa
t=0141 ADD_EDGE edge_id=e_9bd4e9235cb8 source=n_5d8badca4a37 edge_type=supports target=n_6f90a9bf9d2b
t=0142 ADD_EDGE edge_id=e_fc3b9a1d3042 source=n_66959c6bafde edge_type=refutes target=n_fcc4de9d5a0f
t=0143 ADD_EDGE edge_id=e_bce90a9b019d source=n_5724d1b374cb edge_type=refutes target=n_b8b927479492
t=0144 ADD_EDGE edge_id=e_6a8570e8b670 source=n_ada61e240897 edge_type=supports target=n_666eddf648df
t=0145 ADD_EDGE edge_id=e_4752e4060de1 source=n_5d8badca4a37 edge_type=supports target=n_6e25dd161d29
t=0146 ADD_EDGE edge_id=e_7abbe84969b3 source=n_9d1f9c1d8cdf edge_type=refutes target=n_2cf54bdb392c
t=0147 QUERY source=n_001d82b11887 target=n_4a2ddfe94bab
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.