[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_b8f0e33417e0 node_type=claim
t=0001 CREATE_NODE id=n_a52e0ab98ddd node_type=claim
t=0002 CREATE_NODE id=n_782af9bf8eac node_type=claim
t=0003 CREATE_NODE id=n_aae98e74493f node_type=claim
t=0004 CREATE_NODE id=n_a2e6f93fe7d9 node_type=claim
t=0005 CREATE_NODE id=n_3ae191fcefcc node_type=claim
t=0006 CREATE_NODE id=n_c67af40bd3b1 node_type=claim
t=0007 CREATE_NODE id=n_911708289565 node_type=claim
t=0008 CREATE_NODE id=n_514707032e6a node_type=claim
t=0009 CREATE_NODE id=n_041976617d6f node_type=claim
t=0010 CREATE_NODE id=n_b6896263bca1 node_type=claim
t=0011 CREATE_NODE id=n_077dae3de075 node_type=claim
t=0012 CREATE_NODE id=n_d5afe3a76164 node_type=claim
t=0013 CREATE_NODE id=n_c045a415a912 node_type=claim
t=0014 CREATE_NODE id=n_531aa528fdaa node_type=claim
t=0015 CREATE_NODE id=n_03df509c37c3 node_type=claim
t=0016 CREATE_NODE id=n_1b21c0fe9674 node_type=claim
t=0017 CREATE_NODE id=n_97ac41f739fc node_type=claim
t=0018 CREATE_NODE id=n_12e21b7d47a0 node_type=claim
t=0019 CREATE_NODE id=n_a9fd09207b39 node_type=claim
t=0020 CREATE_NODE id=n_ba7281f7e3df node_type=claim
t=0021 CREATE_NODE id=n_c3472548dc6c node_type=claim
t=0022 CREATE_NODE id=n_171a6f3df0f0 node_type=claim
t=0023 CREATE_NODE id=n_19b0d78b3937 node_type=claim
t=0024 CREATE_NODE id=n_83ce8d5637ff node_type=claim
t=0025 CREATE_NODE id=n_cd1470be586b node_type=claim
t=0026 CREATE_NODE id=n_549142c1dda4 node_type=claim
t=0027 CREATE_NODE id=n_35dd584b58c7 node_type=claim
t=0028 CREATE_NODE id=n_c0c1191b01cc node_type=claim
t=0029 CREATE_NODE id=n_6cbc5f54ec8d node_type=claim
t=0030 CREATE_NODE id=n_7cfae870390d node_type=claim
t=0031 CREATE_NODE id=n_032875ec5493 node_type=claim
t=0032 CREATE_NODE id=n_4d23299949b0 node_type=claim
t=0033 CREATE_NODE id=n_1163da96175b node_type=claim
t=0034 CREATE_NODE id=n_10f9cfcc31a7 node_type=claim
t=0035 CREATE_NODE id=n_1f5a69079651 node_type=claim
t=0036 CREATE_NODE id=n_43301a3e8e6e node_type=claim
t=0037 CREATE_NODE id=n_0a6b2b463cbe node_type=claim
t=0038 CREATE_NODE id=n_dd5174e1cbd8 node_type=claim
t=0039 CREATE_NODE id=n_1a6a7c98c561 node_type=claim
t=0040 CREATE_NODE id=n_a497c9b25e55 node_type=claim
t=0041 CREATE_NODE id=n_f03a4091343d node_type=claim
t=0042 CREATE_NODE id=n_e52056d2424f node_type=claim
t=0043 CREATE_NODE id=n_cc90932f3242 node_type=claim
t=0044 CREATE_NODE id=n_f0acd2769588 node_type=claim
t=0045 CREATE_NODE id=n_9af82c40652e node_type=claim
t=0046 CREATE_NODE id=n_dad6404b8160 node_type=claim
t=0047 CREATE_NODE id=n_789dd1a9c076 node_type=claim
t=0048 CREATE_NODE id=n_e8aeb9a64f4e node_type=claim
t=0049 CREATE_NODE id=n_7c5a04140308 node_type=claim
t=0050 CREATE_NODE id=n_69de4acd20fc node_type=claim
t=0051 CREATE_NODE id=n_493e929e08a5 node_type=claim
t=0052 CREATE_NODE id=n_a10fea9a0af7 node_type=claim
t=0053 CREATE_NODE id=n_2c2f912d7211 node_type=claim
t=0054 CREATE_NODE id=n_885d4babec94 node_type=claim
t=0055 CREATE_NODE id=n_02b6e92c9cf1 node_type=claim
t=0056 CREATE_NODE id=n_96d0f2df540b node_type=claim
t=0057 CREATE_NODE id=n_a0cb6f0a5981 node_type=claim
t=0058 CREATE_NODE id=n_7991adba9b0f node_type=claim
t=0059 CREATE_NODE id=n_45264729e7e5 node_type=claim
t=0060 CREATE_NODE id=n_5f6432121411 node_type=claim
t=0061 CREATE_NODE id=n_ec73b5e4169f node_type=claim
t=0062 CREATE_NODE id=n_b2eec9564a35 node_type=claim
t=0063 CREATE_NODE id=n_aa96dec72ed2 node_type=claim
t=0064 CREATE_NODE id=n_3e65edacfe08 node_type=claim
t=0065 CREATE_NODE id=n_a6dfc0c1f0b1 node_type=claim
t=0066 CREATE_NODE id=n_c24ec26673e2 node_type=claim
t=0067 CREATE_NODE id=n_bc203aa7b786 node_type=claim
t=0068 ASSERT_ROOT node=n_5f6432121411 value=TRUE
t=0069 ADD_EDGE edge_id=e_c2f350b28609 source=n_6cbc5f54ec8d edge_type=supports target=n_c67af40bd3b1
t=0070 ADD_EDGE edge_id=e_9005c6cc2cbd source=n_911708289565 edge_type=supports target=n_a10fea9a0af7
t=0071 ADD_EDGE edge_id=e_927c3a3d4e9d source=n_d5afe3a76164 edge_type=refutes target=n_171a6f3df0f0
t=0072 ADD_EDGE edge_id=e_679c2f175511 source=n_35dd584b58c7 edge_type=supports target=n_19b0d78b3937
t=0073 ADD_EDGE edge_id=e_dc860ed26278 source=n_a52e0ab98ddd edge_type=refutes target=n_96d0f2df540b
t=0074 ADD_EDGE edge_id=e_e62e48d8fd79 source=n_b6896263bca1 edge_type=refutes target=n_3e65edacfe08
t=0075 ADD_EDGE edge_id=e_d7d1cac8c0da source=n_d5afe3a76164 edge_type=supports target=n_3ae191fcefcc
t=0076 ADD_EDGE edge_id=e_f1ed7dda7994 source=n_e52056d2424f edge_type=supports target=n_cd1470be586b
t=0077 ADD_EDGE edge_id=e_1f8e189efbe2 source=n_ec73b5e4169f edge_type=supports target=n_2c2f912d7211
t=0078 ADD_EDGE edge_id=e_d4e7a177405c source=n_43301a3e8e6e edge_type=refutes target=n_549142c1dda4
t=0079 ADD_EDGE edge_id=e_134cbe8b2128 source=n_c3472548dc6c edge_type=supports target=n_b8f0e33417e0
t=0080 ADD_EDGE edge_id=e_4087034e018b source=n_f03a4091343d edge_type=refutes target=n_493e929e08a5
t=0081 ADD_EDGE edge_id=e_3807a1acc18f source=n_041976617d6f edge_type=supports target=n_a2e6f93fe7d9
t=0082 ADD_EDGE edge_id=e_5a4492d8b786 source=n_12e21b7d47a0 edge_type=supports target=n_077dae3de075
t=0083 ADD_EDGE edge_id=e_45de3d4484da source=n_cd1470be586b edge_type=supports target=n_c24ec26673e2
t=0084 ADD_EDGE edge_id=e_242e889818ce source=n_43301a3e8e6e edge_type=supports target=n_4d23299949b0
t=0085 ADD_EDGE edge_id=e_df8ab1818409 source=n_c045a415a912 edge_type=refutes target=n_041976617d6f
t=0086 ADD_EDGE edge_id=e_aea5646d92d8 source=n_a9fd09207b39 edge_type=supports target=n_b6896263bca1
t=0087 ADD_EDGE edge_id=e_985a0bdb0a22 source=n_bc203aa7b786 edge_type=supports target=n_83ce8d5637ff
t=0088 ADD_EDGE edge_id=e_20950c34d69f source=n_dd5174e1cbd8 edge_type=supports target=n_10f9cfcc31a7
t=0089 ADD_EDGE edge_id=e_efd6c9326bdf source=n_c045a415a912 edge_type=refutes target=n_885d4babec94
t=0090 ADD_EDGE edge_id=e_7a945d50b72b source=n_97ac41f739fc edge_type=refutes target=n_e52056d2424f
t=0091 ADD_EDGE edge_id=e_bd0878f35d38 source=n_171a6f3df0f0 edge_type=supports target=n_ec73b5e4169f
t=0092 ADD_EDGE edge_id=e_a17b287b290e source=n_9af82c40652e edge_type=supports target=n_a497c9b25e55
t=0093 ADD_EDGE edge_id=e_f13296675997 source=n_9af82c40652e edge_type=refutes target=n_f0acd2769588
t=0094 ADD_EDGE edge_id=e_03333707d1b4 source=n_041976617d6f edge_type=supports target=n_7c5a04140308
t=0095 ADD_EDGE edge_id=e_285ddf136c8a source=n_077dae3de075 edge_type=refutes target=n_69de4acd20fc
t=0096 ADD_EDGE edge_id=e_9ac2df027291 source=n_b8f0e33417e0 edge_type=refutes target=n_e8aeb9a64f4e
t=0097 ADD_EDGE edge_id=e_0aa28e50bd87 source=n_782af9bf8eac edge_type=refutes target=n_12e21b7d47a0
t=0098 ADD_EDGE edge_id=e_e6f893970d09 source=n_c045a415a912 edge_type=supports target=n_cc90932f3242
t=0099 ADD_EDGE edge_id=e_d9d08322c36e source=n_041976617d6f edge_type=supports target=n_c0c1191b01cc
t=0100 ADD_EDGE edge_id=e_2ca165349fcc source=n_9af82c40652e edge_type=refutes target=n_a9fd09207b39
t=0101 ADD_EDGE edge_id=e_a01fa158a9db source=n_1f5a69079651 edge_type=supports target=n_1a6a7c98c561
t=0102 ADD_EDGE edge_id=e_ad755f260811 source=n_032875ec5493 edge_type=refutes target=n_dad6404b8160
t=0103 ADD_EDGE edge_id=e_20b7be68dce1 source=n_c24ec26673e2 edge_type=refutes target=n_45264729e7e5
t=0104 ADD_EDGE edge_id=e_06df76f787a5 source=n_a2e6f93fe7d9 edge_type=refutes target=n_789dd1a9c076
t=0105 ADD_EDGE edge_id=e_a73dcef02964 source=n_911708289565 edge_type=supports target=n_0a6b2b463cbe
t=0106 ADD_EDGE edge_id=e_a1a99fd4af65 source=n_f0acd2769588 edge_type=refutes target=n_514707032e6a
t=0107 ADD_EDGE edge_id=e_55bc02e4364d source=n_a10fea9a0af7 edge_type=refutes target=n_6cbc5f54ec8d
t=0108 ADD_EDGE edge_id=e_8af63add44b1 source=n_077dae3de075 edge_type=refutes target=n_a6dfc0c1f0b1
t=0109 ADD_EDGE edge_id=e_da126affbcd7 source=n_aae98e74493f edge_type=supports target=n_bc203aa7b786
t=0110 ADD_EDGE edge_id=e_b6eba748ff4a source=n_1163da96175b edge_type=refutes target=n_531aa528fdaa
t=0111 ADD_EDGE edge_id=e_0a940a7f6a57 source=n_a10fea9a0af7 edge_type=refutes target=n_03df509c37c3
t=0112 ADD_EDGE edge_id=e_cd0734547790 source=n_531aa528fdaa edge_type=refutes target=n_b2eec9564a35
t=0113 ADD_EDGE edge_id=e_d9b60c291813 source=n_a9fd09207b39 edge_type=supports target=n_a52e0ab98ddd
t=0114 ADD_EDGE edge_id=e_8aad50f50b87 source=n_69de4acd20fc edge_type=refutes target=n_c3472548dc6c
t=0115 ADD_EDGE edge_id=e_b936b21e02f3 source=n_911708289565 edge_type=supports target=n_f03a4091343d
t=0116 ADD_EDGE edge_id=e_acfb0db287cb source=n_b2eec9564a35 edge_type=supports target=n_aae98e74493f
t=0117 ADD_EDGE edge_id=e_7d838a4e2ef4 source=n_c24ec26673e2 edge_type=supports target=n_dd5174e1cbd8
t=0118 ADD_EDGE edge_id=e_17fb0db547a8 source=n_a10fea9a0af7 edge_type=supports target=n_1f5a69079651
t=0119 ADD_EDGE edge_id=e_190b0a098b80 source=n_5f6432121411 edge_type=refutes target=n_35dd584b58c7
t=0120 ADD_EDGE edge_id=e_6b3c3bcb1ca8 source=n_35dd584b58c7 edge_type=refutes target=n_782af9bf8eac
t=0121 ADD_EDGE edge_id=e_32c6a43ed43d source=n_ba7281f7e3df edge_type=supports target=n_aa96dec72ed2
t=0122 ADD_EDGE edge_id=e_88512ef78749 source=n_a10fea9a0af7 edge_type=refutes target=n_9af82c40652e
t=0123 ADD_EDGE edge_id=e_9b3d0d81e754 source=n_9af82c40652e edge_type=refutes target=n_43301a3e8e6e
t=0124 ADD_EDGE edge_id=e_ac293f0a07a6 source=n_a10fea9a0af7 edge_type=supports target=n_c045a415a912
t=0125 ADD_EDGE edge_id=e_5940a2d44083 source=n_dad6404b8160 edge_type=refutes target=n_d5afe3a76164
t=0126 ADD_EDGE edge_id=e_eddc05ae3ad1 source=n_3e65edacfe08 edge_type=refutes target=n_7991adba9b0f
t=0127 ADD_EDGE edge_id=e_eb21bdc17246 source=n_10f9cfcc31a7 edge_type=supports target=n_1163da96175b
t=0128 ADD_EDGE edge_id=e_81d256c7433e source=n_7cfae870390d edge_type=supports target=n_ba7281f7e3df
t=0129 ADD_EDGE edge_id=e_fbfd5ce02b0b source=n_a9fd09207b39 edge_type=refutes target=n_a0cb6f0a5981
t=0130 ADD_EDGE edge_id=e_2800d357e65d source=n_83ce8d5637ff edge_type=refutes target=n_032875ec5493
t=0131 ADD_EDGE edge_id=e_f814c6e6da83 source=n_a9fd09207b39 edge_type=refutes target=n_1b21c0fe9674
t=0132 ADD_EDGE edge_id=e_eaf834fea819 source=n_6cbc5f54ec8d edge_type=supports target=n_02b6e92c9cf1
t=0133 ADD_EDGE edge_id=e_72b47c7030e2 source=n_aa96dec72ed2 edge_type=supports target=n_97ac41f739fc
t=0134 ADD_EDGE edge_id=e_cf516c973fe0 source=n_e8aeb9a64f4e edge_type=refutes target=n_7cfae870390d
t=0135 QUERY source=n_5f6432121411 target=n_2c2f912d7211
[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_6fc7205ef1eb node_type=claim
t=0001 CREATE_NODE id=n_9abb3726b43f node_type=claim
t=0002 CREATE_NODE id=n_1955d9ff0363 node_type=claim
t=0003 CREATE_NODE id=n_aa1512448c13 node_type=claim
t=0004 CREATE_NODE id=n_4d932b2f0d77 node_type=claim
t=0005 CREATE_NODE id=n_0ff850626a02 node_type=claim
t=0006 CREATE_NODE id=n_225b51545c4b node_type=claim
t=0007 CREATE_NODE id=n_881156d9b63b node_type=claim
t=0008 CREATE_NODE id=n_4c063d4d94e0 node_type=claim
t=0009 CREATE_NODE id=n_4b1f8b09a735 node_type=claim
t=0010 CREATE_NODE id=n_019252a89070 node_type=claim
t=0011 CREATE_NODE id=n_049f2e1a0f87 node_type=claim
t=0012 CREATE_NODE id=n_308667cfc12d node_type=claim
t=0013 CREATE_NODE id=n_245af288bf32 node_type=claim
t=0014 CREATE_NODE id=n_8c92b301bfd4 node_type=claim
t=0015 CREATE_NODE id=n_60be84be3846 node_type=claim
t=0016 CREATE_NODE id=n_44d764cf9958 node_type=claim
t=0017 CREATE_NODE id=n_300929a1541a node_type=claim
t=0018 CREATE_NODE id=n_a8b377a07658 node_type=claim
t=0019 CREATE_NODE id=n_9ea7b21240bc node_type=claim
t=0020 CREATE_NODE id=n_3c322202e0ba node_type=claim
t=0021 CREATE_NODE id=n_293e7b5d67f1 node_type=claim
t=0022 CREATE_NODE id=n_e9872512e7ca node_type=claim
t=0023 CREATE_NODE id=n_bdfe04e4973a node_type=claim
t=0024 CREATE_NODE id=n_69f39bdc4a59 node_type=claim
t=0025 CREATE_NODE id=n_782d18bcf21a node_type=claim
t=0026 CREATE_NODE id=n_2dcecaa7c8c2 node_type=claim
t=0027 CREATE_NODE id=n_04a3b7d138f3 node_type=claim
t=0028 CREATE_NODE id=n_b51016362e7a node_type=claim
t=0029 CREATE_NODE id=n_97db9ee9266a node_type=claim
t=0030 CREATE_NODE id=n_9597c10040d0 node_type=claim
t=0031 CREATE_NODE id=n_17a9de05ebef node_type=claim
t=0032 CREATE_NODE id=n_2124c47fb5eb node_type=claim
t=0033 CREATE_NODE id=n_e8b4c3bfc448 node_type=claim
t=0034 CREATE_NODE id=n_d1c378a0c60a node_type=claim
t=0035 CREATE_NODE id=n_27146c636fd6 node_type=claim
t=0036 CREATE_NODE id=n_e7de39ea1a48 node_type=claim
t=0037 CREATE_NODE id=n_3741e4611e17 node_type=claim
t=0038 CREATE_NODE id=n_82feada6bb54 node_type=claim
t=0039 CREATE_NODE id=n_088d9200426e node_type=claim
t=0040 CREATE_NODE id=n_3e3dce97128b node_type=claim
t=0041 CREATE_NODE id=n_54e7b17a74d0 node_type=claim
t=0042 CREATE_NODE id=n_4cc2e7971762 node_type=claim
t=0043 CREATE_NODE id=n_9b59fa3ee3d4 node_type=claim
t=0044 CREATE_NODE id=n_6a88e2730808 node_type=claim
t=0045 CREATE_NODE id=n_db8fbbce4a29 node_type=claim
t=0046 CREATE_NODE id=n_68738feed998 node_type=claim
t=0047 CREATE_NODE id=n_d66aacf18d59 node_type=claim
t=0048 CREATE_NODE id=n_374d9710a631 node_type=claim
t=0049 CREATE_NODE id=n_0f2c052e94c1 node_type=claim
t=0050 CREATE_NODE id=n_35c01b6524a3 node_type=claim
t=0051 CREATE_NODE id=n_8ddbf5c123ba node_type=claim
t=0052 CREATE_NODE id=n_0c844110ab0a node_type=claim
t=0053 CREATE_NODE id=n_09a5280befe6 node_type=claim
t=0054 CREATE_NODE id=n_35ec9b965f67 node_type=claim
t=0055 CREATE_NODE id=n_ed46987cc331 node_type=claim
t=0056 CREATE_NODE id=n_a828da167dc7 node_type=claim
t=0057 CREATE_NODE id=n_d4c09c5b3d33 node_type=claim
t=0058 CREATE_NODE id=n_a4d80bd6994a node_type=claim
t=0059 CREATE_NODE id=n_3abccfc60156 node_type=claim
t=0060 CREATE_NODE id=n_5a4bd5aa92f2 node_type=claim
t=0061 CREATE_NODE id=n_967b453d5d83 node_type=claim
t=0062 CREATE_NODE id=n_eec669e99515 node_type=claim
t=0063 CREATE_NODE id=n_c9c66ddda288 node_type=claim
t=0064 CREATE_NODE id=n_cac8f326acd2 node_type=claim
t=0065 CREATE_NODE id=n_b846cd6bdc55 node_type=claim
t=0066 CREATE_NODE id=n_eff8e2bfc1c8 node_type=claim
t=0067 CREATE_NODE id=n_79abbf447637 node_type=claim
t=0068 ASSERT_ROOT node=n_b51016362e7a value=FALSE
t=0069 ADD_EDGE edge_id=e_084816eaf8bf source=n_3abccfc60156 edge_type=refutes target=n_5a4bd5aa92f2
t=0070 ADD_EDGE edge_id=e_d1476af9d3fd source=n_d1c378a0c60a edge_type=supports target=n_4d932b2f0d77
t=0071 ADD_EDGE edge_id=e_575beaf77a61 source=n_e9872512e7ca edge_type=refutes target=n_2124c47fb5eb
t=0072 ADD_EDGE edge_id=e_70e4395b9eac source=n_4d932b2f0d77 edge_type=refutes target=n_c9c66ddda288
t=0073 ADD_EDGE edge_id=e_ae91db78ae32 source=n_a4d80bd6994a edge_type=supports target=n_245af288bf32
t=0074 ADD_EDGE edge_id=e_e96ab0552864 source=n_9ea7b21240bc edge_type=supports target=n_2dcecaa7c8c2
t=0075 ADD_EDGE edge_id=e_f8832ac71cc4 source=n_68738feed998 edge_type=refutes target=n_019252a89070
t=0076 ADD_EDGE edge_id=e_40eef96c589f source=n_27146c636fd6 edge_type=supports target=n_3c322202e0ba
t=0077 ADD_EDGE edge_id=e_b663de69591b source=n_b51016362e7a edge_type=supports target=n_eff8e2bfc1c8
t=0078 ADD_EDGE edge_id=e_d6d7c6353c54 source=n_4cc2e7971762 edge_type=supports target=n_e7de39ea1a48
t=0079 ADD_EDGE edge_id=e_9592bf939b23 source=n_c9c66ddda288 edge_type=refutes target=n_4cc2e7971762
t=0080 ADD_EDGE edge_id=e_ef034c43fd70 source=n_4b1f8b09a735 edge_type=supports target=n_44d764cf9958
t=0081 ADD_EDGE edge_id=e_aa7654a3041e source=n_17a9de05ebef edge_type=refutes target=n_8c92b301bfd4
t=0082 ADD_EDGE edge_id=e_28f873a8ead2 source=n_088d9200426e edge_type=refutes target=n_04a3b7d138f3
t=0083 ADD_EDGE edge_id=e_7ef68d98152c source=n_54e7b17a74d0 edge_type=refutes target=n_300929a1541a
t=0084 ADD_EDGE edge_id=e_dd7f225cf12b source=n_d66aacf18d59 edge_type=refutes target=n_9b59fa3ee3d4
t=0085 ADD_EDGE edge_id=e_b9656122f9d5 source=n_245af288bf32 edge_type=supports target=n_3741e4611e17
t=0086 ADD_EDGE edge_id=e_2e895a1be561 source=n_aa1512448c13 edge_type=refutes target=n_1955d9ff0363
t=0087 ADD_EDGE edge_id=e_486642574160 source=n_d66aacf18d59 edge_type=supports target=n_9abb3726b43f
t=0088 ADD_EDGE edge_id=e_171773fd3b2d source=n_d4c09c5b3d33 edge_type=supports target=n_6a88e2730808
t=0089 ADD_EDGE edge_id=e_0fad5259a317 source=n_db8fbbce4a29 edge_type=supports target=n_e8b4c3bfc448
t=0090 ADD_EDGE edge_id=e_ecc9fd821369 source=n_9abb3726b43f edge_type=refutes target=n_a8b377a07658
t=0091 ADD_EDGE edge_id=e_037a4167fc06 source=n_cac8f326acd2 edge_type=supports target=n_60be84be3846
t=0092 ADD_EDGE edge_id=e_f634c904b25a source=n_ed46987cc331 edge_type=supports target=n_8ddbf5c123ba
t=0093 ADD_EDGE edge_id=e_fd68816da96a source=n_44d764cf9958 edge_type=supports target=n_3abccfc60156
t=0094 ADD_EDGE edge_id=e_1fcbc6355929 source=n_4cc2e7971762 edge_type=supports target=n_69f39bdc4a59
t=0095 ADD_EDGE edge_id=e_ffc1930305fd source=n_4c063d4d94e0 edge_type=refutes target=n_bdfe04e4973a
t=0096 ADD_EDGE edge_id=e_cc6c4e35e826 source=n_68738feed998 edge_type=refutes target=n_0ff850626a02
t=0097 ADD_EDGE edge_id=e_b146aa8b12e0 source=n_293e7b5d67f1 edge_type=refutes target=n_79abbf447637
t=0098 ADD_EDGE edge_id=e_bfc2e7a71d6f source=n_17a9de05ebef edge_type=refutes target=n_3e3dce97128b
t=0099 ADD_EDGE edge_id=e_115867934a4f source=n_a828da167dc7 edge_type=refutes target=n_049f2e1a0f87
t=0100 ADD_EDGE edge_id=e_9a63b8e30506 source=n_d4c09c5b3d33 edge_type=refutes target=n_db8fbbce4a29
t=0101 ADD_EDGE edge_id=e_68c5da364375 source=n_68738feed998 edge_type=refutes target=n_aa1512448c13
t=0102 ADD_EDGE edge_id=e_0eb4eda9c608 source=n_967b453d5d83 edge_type=refutes target=n_6fc7205ef1eb
t=0103 ADD_EDGE edge_id=e_e4491103aec7 source=n_881156d9b63b edge_type=supports target=n_225b51545c4b
t=0104 ADD_EDGE edge_id=e_73e199a296b8 source=n_54e7b17a74d0 edge_type=supports target=n_374d9710a631
t=0105 ADD_EDGE edge_id=e_d9612fece854 source=n_0c844110ab0a edge_type=supports target=n_088d9200426e
t=0106 ADD_EDGE edge_id=e_9342495e7afa source=n_54e7b17a74d0 edge_type=supports target=n_0c844110ab0a
t=0107 ADD_EDGE edge_id=e_a51f89aae38f source=n_308667cfc12d edge_type=refutes target=n_97db9ee9266a
t=0108 ADD_EDGE edge_id=e_8724fc22a40e source=n_35ec9b965f67 edge_type=supports target=n_ed46987cc331
t=0109 ADD_EDGE edge_id=e_1b5800850b63 source=n_b846cd6bdc55 edge_type=supports target=n_0f2c052e94c1
t=0110 ADD_EDGE edge_id=e_3dbed1644271 source=n_881156d9b63b edge_type=refutes target=n_54e7b17a74d0
t=0111 ADD_EDGE edge_id=e_745fafead854 source=n_8ddbf5c123ba edge_type=supports target=n_4c063d4d94e0
t=0112 ADD_EDGE edge_id=e_5b6837df9199 source=n_0f2c052e94c1 edge_type=refutes target=n_d1c378a0c60a
t=0113 ADD_EDGE edge_id=e_6a8dad6e23e3 source=n_b51016362e7a edge_type=refutes target=n_09a5280befe6
t=0114 ADD_EDGE edge_id=e_e7d1d040bf5a source=n_d4c09c5b3d33 edge_type=supports target=n_a828da167dc7
t=0115 ADD_EDGE edge_id=e_46a670d9abc1 source=n_881156d9b63b edge_type=refutes target=n_d66aacf18d59
t=0116 ADD_EDGE edge_id=e_ea9e73fa88ab source=n_cac8f326acd2 edge_type=refutes target=n_293e7b5d67f1
t=0117 ADD_EDGE edge_id=e_e45a422b91f6 source=n_3e3dce97128b edge_type=supports target=n_a4d80bd6994a
t=0118 ADD_EDGE edge_id=e_d3729318527d source=n_d66aacf18d59 edge_type=supports target=n_d4c09c5b3d33
t=0119 ADD_EDGE edge_id=e_0c2581612b77 source=n_69f39bdc4a59 edge_type=refutes target=n_17a9de05ebef
t=0120 ADD_EDGE edge_id=e_f0820aad4109 source=n_3741e4611e17 edge_type=supports target=n_82feada6bb54
t=0121 ADD_EDGE edge_id=e_456a409bbd89 source=n_2dcecaa7c8c2 edge_type=refutes target=n_eec669e99515
t=0122 ADD_EDGE edge_id=e_9a25375e07ac source=n_225b51545c4b edge_type=refutes target=n_cac8f326acd2
t=0123 ADD_EDGE edge_id=e_4d0bc40a7748 source=n_5a4bd5aa92f2 edge_type=refutes target=n_b846cd6bdc55
t=0124 ADD_EDGE edge_id=e_01185111b5dd source=n_82feada6bb54 edge_type=supports target=n_35ec9b965f67
t=0125 ADD_EDGE edge_id=e_d3ef7aba8880 source=n_54e7b17a74d0 edge_type=refutes target=n_782d18bcf21a
t=0126 ADD_EDGE edge_id=e_6455bd03be7e source=n_374d9710a631 edge_type=refutes target=n_68738feed998
t=0127 ADD_EDGE edge_id=e_df52ccd0ded2 source=n_308667cfc12d edge_type=supports target=n_9ea7b21240bc
t=0128 ADD_EDGE edge_id=e_79e55eb1a30d source=n_db8fbbce4a29 edge_type=supports target=n_e9872512e7ca
t=0129 ADD_EDGE edge_id=e_e2c00d1dbb04 source=n_0c844110ab0a edge_type=supports target=n_9597c10040d0
t=0130 ADD_EDGE edge_id=e_e8e2666ac45b source=n_bdfe04e4973a edge_type=supports target=n_27146c636fd6
t=0131 ADD_EDGE edge_id=e_a989006dc35d source=n_967b453d5d83 edge_type=refutes target=n_35c01b6524a3
t=0132 ADD_EDGE edge_id=e_f56aa42012fe source=n_eff8e2bfc1c8 edge_type=supports target=n_4b1f8b09a735
t=0133 ADD_EDGE edge_id=e_6eb15e293348 source=n_3c322202e0ba edge_type=supports target=n_308667cfc12d
t=0134 ADD_EDGE edge_id=e_3e2b0f5909ee source=n_293e7b5d67f1 edge_type=refutes target=n_967b453d5d83
t=0135 QUERY source=n_b51016362e7a target=n_eec669e99515
[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_d30e00e52f03 node_type=claim
t=0001 CREATE_NODE id=n_1687063e21cc node_type=claim
t=0002 CREATE_NODE id=n_eeafb59c17e9 node_type=claim
t=0003 CREATE_NODE id=n_cf0bf947b665 node_type=claim
t=0004 CREATE_NODE id=n_3799c770b80a node_type=claim
t=0005 CREATE_NODE id=n_54041f7e8326 node_type=claim
t=0006 CREATE_NODE id=n_f7a0dd4064a6 node_type=claim
t=0007 CREATE_NODE id=n_6ec4c2f68f33 node_type=claim
t=0008 CREATE_NODE id=n_9fc7cdaeb091 node_type=claim
t=0009 CREATE_NODE id=n_d22ec2b1d59e node_type=claim
t=0010 CREATE_NODE id=n_31989debd38e node_type=claim
t=0011 CREATE_NODE id=n_c08bd8897d27 node_type=claim
t=0012 CREATE_NODE id=n_cfa0a93044fb node_type=claim
t=0013 CREATE_NODE id=n_3d8367d9f5ef node_type=claim
t=0014 CREATE_NODE id=n_4c66f030a45d node_type=claim
t=0015 CREATE_NODE id=n_05802b8156e2 node_type=claim
t=0016 CREATE_NODE id=n_430fb7a89e0b node_type=claim
t=0017 CREATE_NODE id=n_ddbcc376b6fd node_type=claim
t=0018 CREATE_NODE id=n_7fb9edf0bca9 node_type=claim
t=0019 CREATE_NODE id=n_a0cb028b1b4a node_type=claim
t=0020 CREATE_NODE id=n_b3786324876b node_type=claim
t=0021 CREATE_NODE id=n_b4f8692ee380 node_type=claim
t=0022 CREATE_NODE id=n_20f141d73837 node_type=claim
t=0023 CREATE_NODE id=n_d5f3984f0e7c node_type=claim
t=0024 CREATE_NODE id=n_2129ff5b782a node_type=claim
t=0025 CREATE_NODE id=n_579bc2fd9599 node_type=claim
t=0026 CREATE_NODE id=n_c9c374d3ae93 node_type=claim
t=0027 CREATE_NODE id=n_0852f3c77aca node_type=claim
t=0028 CREATE_NODE id=n_e265d8d8fce1 node_type=claim
t=0029 CREATE_NODE id=n_4b64e76c1569 node_type=claim
t=0030 CREATE_NODE id=n_7a6e1d20737c node_type=claim
t=0031 CREATE_NODE id=n_9c554b7d3977 node_type=claim
t=0032 CREATE_NODE id=n_21d0f934fb09 node_type=claim
t=0033 CREATE_NODE id=n_2d50eb451f24 node_type=claim
t=0034 CREATE_NODE id=n_0f41d0221a37 node_type=claim
t=0035 CREATE_NODE id=n_4458751e2da8 node_type=claim
t=0036 CREATE_NODE id=n_01fbabf1ac92 node_type=claim
t=0037 CREATE_NODE id=n_2f1762478fcd node_type=claim
t=0038 CREATE_NODE id=n_428cbe9f1a30 node_type=claim
t=0039 CREATE_NODE id=n_870619ed22c8 node_type=claim
t=0040 CREATE_NODE id=n_6746afd4477f node_type=claim
t=0041 CREATE_NODE id=n_c955c3064918 node_type=claim
t=0042 CREATE_NODE id=n_56f2360cced5 node_type=claim
t=0043 CREATE_NODE id=n_2ae3596e9a4e node_type=claim
t=0044 CREATE_NODE id=n_1fe37dc0412f node_type=claim
t=0045 CREATE_NODE id=n_1fa0707d4572 node_type=claim
t=0046 CREATE_NODE id=n_593d494e9216 node_type=claim
t=0047 CREATE_NODE id=n_730fffcfed3c node_type=claim
t=0048 CREATE_NODE id=n_6b8836a73358 node_type=claim
t=0049 CREATE_NODE id=n_5d93b4f464bc node_type=claim
t=0050 CREATE_NODE id=n_26546a617465 node_type=claim
t=0051 CREATE_NODE id=n_5686a8a7dfb9 node_type=claim
t=0052 CREATE_NODE id=n_40058e2374b0 node_type=claim
t=0053 CREATE_NODE id=n_24e1fd32cf3b node_type=claim
t=0054 CREATE_NODE id=n_678147ce9123 node_type=claim
t=0055 CREATE_NODE id=n_71cc73f46e14 node_type=claim
t=0056 CREATE_NODE id=n_ec1c7d5e4fe5 node_type=claim
t=0057 CREATE_NODE id=n_2e250d676508 node_type=claim
t=0058 CREATE_NODE id=n_90ac43049f0e node_type=claim
t=0059 CREATE_NODE id=n_ef4330e390df node_type=claim
t=0060 CREATE_NODE id=n_cb9f07a4b246 node_type=claim
t=0061 CREATE_NODE id=n_da018de37c8e node_type=claim
t=0062 CREATE_NODE id=n_590b2fa5e20b node_type=claim
t=0063 CREATE_NODE id=n_769a9d4bd7d8 node_type=claim
t=0064 CREATE_NODE id=n_9fbce196041a node_type=claim
t=0065 CREATE_NODE id=n_91a2bf2900cb node_type=claim
t=0066 CREATE_NODE id=n_833f3f0fc4f1 node_type=claim
t=0067 CREATE_NODE id=n_6ea508738e10 node_type=claim
t=0068 ASSERT_ROOT node=n_91a2bf2900cb value=TRUE
t=0069 ADD_EDGE edge_id=e_4bc27d3c055a source=n_40058e2374b0 edge_type=supports target=n_90ac43049f0e
t=0070 ADD_EDGE edge_id=e_a5238d4745dc source=n_b3786324876b edge_type=refutes target=n_1fa0707d4572
t=0071 ADD_EDGE edge_id=e_06205cc4d414 source=n_b3786324876b edge_type=supports target=n_1fe37dc0412f
t=0072 ADD_EDGE edge_id=e_89a003d17d98 source=n_2ae3596e9a4e edge_type=supports target=n_d5f3984f0e7c
t=0073 ADD_EDGE edge_id=e_e18b907a54be source=n_26546a617465 edge_type=supports target=n_cfa0a93044fb
t=0074 ADD_EDGE edge_id=e_e16270dedbc8 source=n_2ae3596e9a4e edge_type=refutes target=n_01fbabf1ac92
t=0075 ADD_EDGE edge_id=e_1862882f59a0 source=n_ec1c7d5e4fe5 edge_type=supports target=n_b4f8692ee380
t=0076 ADD_EDGE edge_id=e_3ca1601c51d4 source=n_5d93b4f464bc edge_type=refutes target=n_428cbe9f1a30
t=0077 ADD_EDGE edge_id=e_4e7a6111a285 source=n_2f1762478fcd edge_type=supports target=n_9c554b7d3977
t=0078 ADD_EDGE edge_id=e_c16fb6697f61 source=n_ddbcc376b6fd edge_type=supports target=n_31989debd38e
t=0079 ADD_EDGE edge_id=e_a4197b58bc95 source=n_6ea508738e10 edge_type=refutes target=n_40058e2374b0
t=0080 ADD_EDGE edge_id=e_7e4c22a02d83 source=n_eeafb59c17e9 edge_type=refutes target=n_678147ce9123
t=0081 ADD_EDGE edge_id=e_880b2cfd38c4 source=n_430fb7a89e0b edge_type=supports target=n_833f3f0fc4f1
t=0082 ADD_EDGE edge_id=e_ba80297260cf source=n_2d50eb451f24 edge_type=refutes target=n_3799c770b80a
t=0083 ADD_EDGE edge_id=e_85a56def2309 source=n_ddbcc376b6fd edge_type=supports target=n_5d93b4f464bc
t=0084 ADD_EDGE edge_id=e_c2503f8377e4 source=n_6746afd4477f edge_type=supports target=n_21d0f934fb09
t=0085 ADD_EDGE edge_id=e_fcfca6ddae10 source=n_05802b8156e2 edge_type=supports target=n_c955c3064918
t=0086 ADD_EDGE edge_id=e_e4f77ac69aa5 source=n_0852f3c77aca edge_type=refutes target=n_56f2360cced5
t=0087 ADD_EDGE edge_id=e_e16920a07895 source=n_9fc7cdaeb091 edge_type=refutes target=n_730fffcfed3c
t=0088 ADD_EDGE edge_id=e_c970c1ae5f46 source=n_5d93b4f464bc edge_type=refutes target=n_26546a617465
t=0089 ADD_EDGE edge_id=e_6fac65d4979e source=n_593d494e9216 edge_type=refutes target=n_1687063e21cc
t=0090 ADD_EDGE edge_id=e_13714169fa61 source=n_2d50eb451f24 edge_type=supports target=n_f7a0dd4064a6
t=0091 ADD_EDGE edge_id=e_0e2d9b4e9aca source=n_d30e00e52f03 edge_type=supports target=n_0f41d0221a37
t=0092 ADD_EDGE edge_id=e_ff3614d64871 source=n_1687063e21cc edge_type=refutes target=n_d22ec2b1d59e
t=0093 ADD_EDGE edge_id=e_718bf7527a15 source=n_b4f8692ee380 edge_type=refutes target=n_cf0bf947b665
t=0094 ADD_EDGE edge_id=e_618429f5badf source=n_3799c770b80a edge_type=supports target=n_5686a8a7dfb9
t=0095 ADD_EDGE edge_id=e_45399cc82d23 source=n_4c66f030a45d edge_type=refutes target=n_593d494e9216
t=0096 ADD_EDGE edge_id=e_f921c5619f8c source=n_3d8367d9f5ef edge_type=supports target=n_ec1c7d5e4fe5
t=0097 ADD_EDGE edge_id=e_cde6c32ae2c2 source=n_54041f7e8326 edge_type=supports target=n_05802b8156e2
t=0098 ADD_EDGE edge_id=e_f82afb599832 source=n_5d93b4f464bc edge_type=refutes target=n_ef4330e390df
t=0099 ADD_EDGE edge_id=e_ed78c2ff27e5 source=n_0f41d0221a37 edge_type=supports target=n_2d50eb451f24
t=0100 ADD_EDGE edge_id=e_7f88ca959d98 source=n_590b2fa5e20b edge_type=refutes target=n_7fb9edf0bca9
t=0101 ADD_EDGE edge_id=e_9ecee4818968 source=n_678147ce9123 edge_type=refutes target=n_769a9d4bd7d8
t=0102 ADD_EDGE edge_id=e_2e9509d475c0 source=n_0f41d0221a37 edge_type=supports target=n_71cc73f46e14
t=0103 ADD_EDGE edge_id=e_3122965daf53 source=n_579bc2fd9599 edge_type=supports target=n_6746afd4477f
t=0104 ADD_EDGE edge_id=e_4be529282550 source=n_c9c374d3ae93 edge_type=supports target=n_da018de37c8e
t=0105 ADD_EDGE edge_id=e_257093e63bb4 source=n_31989debd38e edge_type=supports target=n_20f141d73837
t=0106 ADD_EDGE edge_id=e_4c8eec2a947b source=n_6746afd4477f edge_type=refutes target=n_e265d8d8fce1
t=0107 ADD_EDGE edge_id=e_b2b5d63c55a7 source=n_833f3f0fc4f1 edge_type=refutes target=n_d30e00e52f03
t=0108 ADD_EDGE edge_id=e_358aa5241fe8 source=n_c08bd8897d27 edge_type=supports target=n_4b64e76c1569
t=0109 ADD_EDGE edge_id=e_70ff7114e63a source=n_24e1fd32cf3b edge_type=supports target=n_590b2fa5e20b
t=0110 ADD_EDGE edge_id=e_3505838a4a6d source=n_7fb9edf0bca9 edge_type=supports target=n_0852f3c77aca
t=0111 ADD_EDGE edge_id=e_041cae3b3bdf source=n_730fffcfed3c edge_type=refutes target=n_4458751e2da8
t=0112 ADD_EDGE edge_id=e_59fd6833a32e source=n_6746afd4477f edge_type=supports target=n_9fbce196041a
t=0113 ADD_EDGE edge_id=e_21073ff1f18e source=n_5d93b4f464bc edge_type=refutes target=n_2129ff5b782a
t=0114 ADD_EDGE edge_id=e_ada3b6a1324a source=n_6b8836a73358 edge_type=refutes target=n_eeafb59c17e9
t=0115 ADD_EDGE edge_id=e_e23068c278da source=n_56f2360cced5 edge_type=refutes target=n_3d8367d9f5ef
t=0116 ADD_EDGE edge_id=e_4989813c9b36 source=n_da018de37c8e edge_type=supports target=n_24e1fd32cf3b
t=0117 ADD_EDGE edge_id=e_021b994dbfd7 source=n_31989debd38e edge_type=refutes target=n_2ae3596e9a4e
t=0118 ADD_EDGE edge_id=e_b6dac8ad84f8 source=n_ddbcc376b6fd edge_type=supports target=n_b3786324876b
t=0119 ADD_EDGE edge_id=e_446e41023fce source=n_4c66f030a45d edge_type=refutes target=n_a0cb028b1b4a
t=0120 ADD_EDGE edge_id=e_a9b9c86eb91d source=n_7a6e1d20737c edge_type=refutes target=n_870619ed22c8
t=0121 ADD_EDGE edge_id=e_dbb7c3f1d688 source=n_6746afd4477f edge_type=refutes target=n_54041f7e8326
t=0122 ADD_EDGE edge_id=e_6dd590bc1ac9 source=n_579bc2fd9599 edge_type=refutes target=n_ddbcc376b6fd
t=0123 ADD_EDGE edge_id=e_c59ea77817fe source=n_cf0bf947b665 edge_type=supports target=n_430fb7a89e0b
t=0124 ADD_EDGE edge_id=e_a550dd181369 source=n_54041f7e8326 edge_type=supports target=n_9fc7cdaeb091
t=0125 ADD_EDGE edge_id=e_2740c4a405ab source=n_3799c770b80a edge_type=supports target=n_2e250d676508
t=0126 ADD_EDGE edge_id=e_2b2b96ac3cf0 source=n_2e250d676508 edge_type=supports target=n_6b8836a73358
t=0127 ADD_EDGE edge_id=e_614be05b0d40 source=n_ef4330e390df edge_type=refutes target=n_cb9f07a4b246
t=0128 ADD_EDGE edge_id=e_3e0029576159 source=n_90ac43049f0e edge_type=refutes target=n_4c66f030a45d
t=0129 ADD_EDGE edge_id=e_68c983a742f3 source=n_730fffcfed3c edge_type=refutes target=n_2f1762478fcd
t=0130 ADD_EDGE edge_id=e_4f96c4462455 source=n_9c554b7d3977 edge_type=refutes target=n_7a6e1d20737c
t=0131 ADD_EDGE edge_id=e_8efb053394f4 source=n_91a2bf2900cb edge_type=refutes target=n_6ea508738e10
t=0132 ADD_EDGE edge_id=e_4e458aac1f6c source=n_6746afd4477f edge_type=supports target=n_c08bd8897d27
t=0133 ADD_EDGE edge_id=e_d45cadf88144 source=n_870619ed22c8 edge_type=supports target=n_6ec4c2f68f33
t=0134 ADD_EDGE edge_id=e_2958e89d271e source=n_d22ec2b1d59e edge_type=refutes target=n_c9c374d3ae93
t=0135 QUERY source=n_91a2bf2900cb target=n_769a9d4bd7d8
[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_4d3fd9c4912c node_type=claim
t=0001 CREATE_NODE id=n_d95559f3e686 node_type=claim
t=0002 CREATE_NODE id=n_76b70948692d node_type=claim
t=0003 CREATE_NODE id=n_77a4e5e7bd34 node_type=claim
t=0004 CREATE_NODE id=n_b74f00f7f967 node_type=claim
t=0005 CREATE_NODE id=n_50c3216434d5 node_type=claim
t=0006 CREATE_NODE id=n_55bcf7a7dc08 node_type=claim
t=0007 CREATE_NODE id=n_6e6683005c10 node_type=claim
t=0008 CREATE_NODE id=n_44d946f7ccaa node_type=claim
t=0009 CREATE_NODE id=n_40e90242c327 node_type=claim
t=0010 CREATE_NODE id=n_55a5216f723d node_type=claim
t=0011 CREATE_NODE id=n_b30bbbde09cc node_type=claim
t=0012 CREATE_NODE id=n_9a67180d7acf node_type=claim
t=0013 CREATE_NODE id=n_417ddfa57713 node_type=claim
t=0014 CREATE_NODE id=n_8febfbb2ff2a node_type=claim
t=0015 CREATE_NODE id=n_9f0404e3df01 node_type=claim
t=0016 CREATE_NODE id=n_94f26185ed22 node_type=claim
t=0017 CREATE_NODE id=n_6e1209207e39 node_type=claim
t=0018 CREATE_NODE id=n_93dd638fee5c node_type=claim
t=0019 CREATE_NODE id=n_3ab16cd6dae1 node_type=claim
t=0020 CREATE_NODE id=n_e90edca3aaf8 node_type=claim
t=0021 CREATE_NODE id=n_c51ae9894831 node_type=claim
t=0022 CREATE_NODE id=n_d596a1288411 node_type=claim
t=0023 CREATE_NODE id=n_e70f0ca762b3 node_type=claim
t=0024 CREATE_NODE id=n_a1afa51b749d node_type=claim
t=0025 CREATE_NODE id=n_0bf40dffda3e node_type=claim
t=0026 CREATE_NODE id=n_21e8f0debc2e node_type=claim
t=0027 CREATE_NODE id=n_f19553e503e5 node_type=claim
t=0028 CREATE_NODE id=n_9f176a3b1dbc node_type=claim
t=0029 CREATE_NODE id=n_8d1decf11fca node_type=claim
t=0030 CREATE_NODE id=n_01ff8ebd9ea2 node_type=claim
t=0031 CREATE_NODE id=n_70558951d353 node_type=claim
t=0032 CREATE_NODE id=n_0367e5e2836b node_type=claim
t=0033 CREATE_NODE id=n_08ecfa1eaa51 node_type=claim
t=0034 CREATE_NODE id=n_8deb90899d74 node_type=claim
t=0035 CREATE_NODE id=n_bcf9328b87c1 node_type=claim
t=0036 CREATE_NODE id=n_4f2a1bc84346 node_type=claim
t=0037 CREATE_NODE id=n_af2b1028aba8 node_type=claim
t=0038 CREATE_NODE id=n_8854415c4c67 node_type=claim
t=0039 CREATE_NODE id=n_9141ee2a133a node_type=claim
t=0040 CREATE_NODE id=n_ccd7c2a6cf6a node_type=claim
t=0041 CREATE_NODE id=n_059382373fa8 node_type=claim
t=0042 CREATE_NODE id=n_63f962287285 node_type=claim
t=0043 CREATE_NODE id=n_fab2f1aee10c node_type=claim
t=0044 CREATE_NODE id=n_c394b4c885ef node_type=claim
t=0045 CREATE_NODE id=n_df59b0d7ce15 node_type=claim
t=0046 CREATE_NODE id=n_344c2a55ff38 node_type=claim
t=0047 CREATE_NODE id=n_7fb2e3a8969f node_type=claim
t=0048 CREATE_NODE id=n_c111b93bb76d node_type=claim
t=0049 CREATE_NODE id=n_3a0ef994f2d8 node_type=claim
t=0050 CREATE_NODE id=n_1444a0e8df8d node_type=claim
t=0051 CREATE_NODE id=n_960e729013ff node_type=claim
t=0052 CREATE_NODE id=n_3ef5e02dde7a node_type=claim
t=0053 CREATE_NODE id=n_ff7bbd477c67 node_type=claim
t=0054 CREATE_NODE id=n_11fedd476c62 node_type=claim
t=0055 CREATE_NODE id=n_4390b56696bd node_type=claim
t=0056 CREATE_NODE id=n_dabc8121e1ff node_type=claim
t=0057 CREATE_NODE id=n_fee34b1d6af4 node_type=claim
t=0058 CREATE_NODE id=n_65e50d65a827 node_type=claim
t=0059 CREATE_NODE id=n_65562484f8cc node_type=claim
t=0060 CREATE_NODE id=n_13f79e8e1efa node_type=claim
t=0061 CREATE_NODE id=n_542e1c03e500 node_type=claim
t=0062 CREATE_NODE id=n_4842a382f9ef node_type=claim
t=0063 CREATE_NODE id=n_9f190b5265f9 node_type=claim
t=0064 CREATE_NODE id=n_1d6bc5f4c11c node_type=claim
t=0065 CREATE_NODE id=n_6c10dec6d691 node_type=claim
t=0066 CREATE_NODE id=n_6cb77e24f5e5 node_type=claim
t=0067 CREATE_NODE id=n_ae959cf0a742 node_type=claim
t=0068 ASSERT_ROOT node=n_059382373fa8 value=TRUE
t=0069 ADD_EDGE edge_id=e_23b01cc13406 source=n_542e1c03e500 edge_type=supports target=n_e70f0ca762b3
t=0070 ADD_EDGE edge_id=e_884468f7190a source=n_0367e5e2836b edge_type=refutes target=n_21e8f0debc2e
t=0071 ADD_EDGE edge_id=e_47a79e2d6b14 source=n_63f962287285 edge_type=refutes target=n_af2b1028aba8
t=0072 ADD_EDGE edge_id=e_cffb2cc642c2 source=n_6e1209207e39 edge_type=supports target=n_65562484f8cc
t=0073 ADD_EDGE edge_id=e_5649025cd2f5 source=n_40e90242c327 edge_type=refutes target=n_11fedd476c62
t=0074 ADD_EDGE edge_id=e_61ac2c0d3ab9 source=n_af2b1028aba8 edge_type=supports target=n_9a67180d7acf
t=0075 ADD_EDGE edge_id=e_5214a079830a source=n_4390b56696bd edge_type=supports target=n_c51ae9894831
t=0076 ADD_EDGE edge_id=e_faf1ca5d81a1 source=n_059382373fa8 edge_type=refutes target=n_c394b4c885ef
t=0077 ADD_EDGE edge_id=e_5e806aa800e7 source=n_ccd7c2a6cf6a edge_type=supports target=n_344c2a55ff38
t=0078 ADD_EDGE edge_id=e_ce0863799178 source=n_9f176a3b1dbc edge_type=supports target=n_44d946f7ccaa
t=0079 ADD_EDGE edge_id=e_337b9558d06b source=n_e90edca3aaf8 edge_type=supports target=n_65e50d65a827
t=0080 ADD_EDGE edge_id=e_3d9c0fcd913c source=n_9f0404e3df01 edge_type=refutes target=n_4842a382f9ef
t=0081 ADD_EDGE edge_id=e_55540d613591 source=n_50c3216434d5 edge_type=supports target=n_3a0ef994f2d8
t=0082 ADD_EDGE edge_id=e_0636c3b881ec source=n_af2b1028aba8 edge_type=refutes target=n_bcf9328b87c1
t=0083 ADD_EDGE edge_id=e_c91106009ab5 source=n_af2b1028aba8 edge_type=refutes target=n_01ff8ebd9ea2
t=0084 ADD_EDGE edge_id=e_fce4437cc22f source=n_c394b4c885ef edge_type=supports target=n_ff7bbd477c67
t=0085 ADD_EDGE edge_id=e_9965434a4fff source=n_70558951d353 edge_type=refutes target=n_7fb2e3a8969f
t=0086 ADD_EDGE edge_id=e_2cf626c94e39 source=n_fee34b1d6af4 edge_type=refutes target=n_63f962287285
t=0087 ADD_EDGE edge_id=e_cfa6ecf2c2f4 source=n_f19553e503e5 edge_type=supports target=n_9141ee2a133a
t=0088 ADD_EDGE edge_id=e_26ee8d403a09 source=n_344c2a55ff38 edge_type=supports target=n_f19553e503e5
t=0089 ADD_EDGE edge_id=e_29cf4e32dcd8 source=n_1444a0e8df8d edge_type=supports target=n_0bf40dffda3e
t=0090 ADD_EDGE edge_id=e_444772bc5e80 source=n_55bcf7a7dc08 edge_type=refutes target=n_6c10dec6d691
t=0091 ADD_EDGE edge_id=e_fdbbdded0842 source=n_01ff8ebd9ea2 edge_type=supports target=n_960e729013ff
t=0092 ADD_EDGE edge_id=e_8ad907275a87 source=n_9a67180d7acf edge_type=supports target=n_4d3fd9c4912c
t=0093 ADD_EDGE edge_id=e_4d61325cb32c source=n_6e1209207e39 edge_type=supports target=n_13f79e8e1efa
t=0094 ADD_EDGE edge_id=e_478d72c07628 source=n_65e50d65a827 edge_type=supports target=n_55bcf7a7dc08
t=0095 ADD_EDGE edge_id=e_212e0b8b8c75 source=n_fee34b1d6af4 edge_type=refutes target=n_d596a1288411
t=0096 ADD_EDGE edge_id=e_0da003567f84 source=n_4d3fd9c4912c edge_type=refutes target=n_1d6bc5f4c11c
t=0097 ADD_EDGE edge_id=e_4b704495dfa9 source=n_6cb77e24f5e5 edge_type=supports target=n_ccd7c2a6cf6a
t=0098 ADD_EDGE edge_id=e_d5c18da4d39a source=n_d95559f3e686 edge_type=refutes target=n_50c3216434d5
t=0099 ADD_EDGE edge_id=e_11d479a34748 source=n_344c2a55ff38 edge_type=supports target=n_a1afa51b749d
t=0100 ADD_EDGE edge_id=e_248850fbb311 source=n_70558951d353 edge_type=supports target=n_9f176a3b1dbc
t=0101 ADD_EDGE edge_id=e_6650840b8a02 source=n_3a0ef994f2d8 edge_type=refutes target=n_4390b56696bd
t=0102 ADD_EDGE edge_id=e_6d0f842ef550 source=n_c111b93bb76d edge_type=refutes target=n_55a5216f723d
t=0103 ADD_EDGE edge_id=e_cccb9c0b883f source=n_ff7bbd477c67 edge_type=refutes target=n_e90edca3aaf8
t=0104 ADD_EDGE edge_id=e_82989543d9a2 source=n_6e6683005c10 edge_type=supports target=n_3ef5e02dde7a
t=0105 ADD_EDGE edge_id=e_971092f36210 source=n_fab2f1aee10c edge_type=refutes target=n_40e90242c327
t=0106 ADD_EDGE edge_id=e_f37c6edf0564 source=n_1444a0e8df8d edge_type=supports target=n_94f26185ed22
t=0107 ADD_EDGE edge_id=e_e258ed8cba27 source=n_77a4e5e7bd34 edge_type=supports target=n_df59b0d7ce15
t=0108 ADD_EDGE edge_id=e_f88040fed0f3 source=n_3ef5e02dde7a edge_type=supports target=n_8febfbb2ff2a
t=0109 ADD_EDGE edge_id=e_6bef457df55b source=n_1d6bc5f4c11c edge_type=refutes target=n_93dd638fee5c
t=0110 ADD_EDGE edge_id=e_dee271bc0c63 source=n_9a67180d7acf edge_type=refutes target=n_70558951d353
t=0111 ADD_EDGE edge_id=e_604e3b53f288 source=n_76b70948692d edge_type=refutes target=n_4f2a1bc84346
t=0112 ADD_EDGE edge_id=e_0e1e1b226e6e source=n_ae959cf0a742 edge_type=supports target=n_6cb77e24f5e5
t=0113 ADD_EDGE edge_id=e_83399dacd59d source=n_9f0404e3df01 edge_type=refutes target=n_9f190b5265f9
t=0114 ADD_EDGE edge_id=e_3d9b26a65b41 source=n_55bcf7a7dc08 edge_type=refutes target=n_8854415c4c67
t=0115 ADD_EDGE edge_id=e_6b4830116f4d source=n_9141ee2a133a edge_type=supports target=n_b30bbbde09cc
t=0116 ADD_EDGE edge_id=e_6ea3eacb1ca4 source=n_1444a0e8df8d edge_type=supports target=n_542e1c03e500
t=0117 ADD_EDGE edge_id=e_d834b0204276 source=n_63f962287285 edge_type=refutes target=n_6e1209207e39
t=0118 ADD_EDGE edge_id=e_155b6a605e13 source=n_c51ae9894831 edge_type=supports target=n_c111b93bb76d
t=0119 ADD_EDGE edge_id=e_6892a90ce6c4 source=n_af2b1028aba8 edge_type=refutes target=n_dabc8121e1ff
t=0120 ADD_EDGE edge_id=e_5da9de962632 source=n_08ecfa1eaa51 edge_type=supports target=n_8d1decf11fca
t=0121 ADD_EDGE edge_id=e_1a954329ddf7 source=n_01ff8ebd9ea2 edge_type=refutes target=n_77a4e5e7bd34
t=0122 ADD_EDGE edge_id=e_cf63e74d1939 source=n_8febfbb2ff2a edge_type=supports target=n_ae959cf0a742
t=0123 ADD_EDGE edge_id=e_e1e2d54d7d7b source=n_4f2a1bc84346 edge_type=refutes target=n_fab2f1aee10c
t=0124 ADD_EDGE edge_id=e_94d300104434 source=n_55a5216f723d edge_type=refutes target=n_0367e5e2836b
t=0125 ADD_EDGE edge_id=e_e9b6e2d27b0f source=n_6c10dec6d691 edge_type=refutes target=n_76b70948692d
t=0126 ADD_EDGE edge_id=e_94f8992c3a1c source=n_08ecfa1eaa51 edge_type=supports target=n_417ddfa57713
t=0127 ADD_EDGE edge_id=e_7538475ed8d5 source=n_9141ee2a133a edge_type=refutes target=n_3ab16cd6dae1
t=0128 ADD_EDGE edge_id=e_edcba4888e33 source=n_fee34b1d6af4 edge_type=refutes target=n_08ecfa1eaa51
t=0129 ADD_EDGE edge_id=e_71889060d8e6 source=n_542e1c03e500 edge_type=supports target=n_b74f00f7f967
t=0130 ADD_EDGE edge_id=e_6e22fff70503 source=n_b30bbbde09cc edge_type=supports target=n_d95559f3e686
t=0131 ADD_EDGE edge_id=e_848e384f3879 source=n_6e1209207e39 edge_type=refutes target=n_8deb90899d74
t=0132 ADD_EDGE edge_id=e_60835bb71857 source=n_11fedd476c62 edge_type=refutes target=n_6e6683005c10
t=0133 ADD_EDGE edge_id=e_c2f7f77c3401 source=n_417ddfa57713 edge_type=supports target=n_9f0404e3df01
t=0134 ADD_EDGE edge_id=e_018aa16aba72 source=n_1444a0e8df8d edge_type=refutes target=n_fee34b1d6af4
t=0135 QUERY source=n_059382373fa8 target=n_0367e5e2836b
[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_4d6980b2fb0b node_type=claim
t=0001 CREATE_NODE id=n_18ad458a17bf node_type=claim
t=0002 CREATE_NODE id=n_fd308f02f13f node_type=claim
t=0003 CREATE_NODE id=n_bf891f58e1de node_type=claim
t=0004 CREATE_NODE id=n_e6feead7249b node_type=claim
t=0005 CREATE_NODE id=n_2120122842ed node_type=claim
t=0006 CREATE_NODE id=n_176f1bee542f node_type=claim
t=0007 CREATE_NODE id=n_26006a87ce82 node_type=claim
t=0008 CREATE_NODE id=n_532ff4178b96 node_type=claim
t=0009 CREATE_NODE id=n_4556b052c44a node_type=claim
t=0010 CREATE_NODE id=n_4074d4d4be2e node_type=claim
t=0011 CREATE_NODE id=n_ffe81851d19d node_type=claim
t=0012 CREATE_NODE id=n_66aea4d380de node_type=claim
t=0013 CREATE_NODE id=n_faf6c7d0b410 node_type=claim
t=0014 CREATE_NODE id=n_3e77cbb42023 node_type=claim
t=0015 CREATE_NODE id=n_be9e2f93fd98 node_type=claim
t=0016 CREATE_NODE id=n_d2366a2e8357 node_type=claim
t=0017 CREATE_NODE id=n_68146819b6d6 node_type=claim
t=0018 CREATE_NODE id=n_0ba26ec64353 node_type=claim
t=0019 CREATE_NODE id=n_2f2a293b18d3 node_type=claim
t=0020 CREATE_NODE id=n_e711be828206 node_type=claim
t=0021 CREATE_NODE id=n_54597035e5bd node_type=claim
t=0022 CREATE_NODE id=n_c3a210509525 node_type=claim
t=0023 CREATE_NODE id=n_dd4ef2738b72 node_type=claim
t=0024 CREATE_NODE id=n_82e3d1353593 node_type=claim
t=0025 CREATE_NODE id=n_54ded7ca042a node_type=claim
t=0026 CREATE_NODE id=n_61b448d37eac node_type=claim
t=0027 CREATE_NODE id=n_92e743f1787f node_type=claim
t=0028 CREATE_NODE id=n_bc6e120bbe8d node_type=claim
t=0029 CREATE_NODE id=n_acd5ad56f3f9 node_type=claim
t=0030 CREATE_NODE id=n_635d0fa19295 node_type=claim
t=0031 CREATE_NODE id=n_8cc1031c2b72 node_type=claim
t=0032 CREATE_NODE id=n_abc52342cd12 node_type=claim
t=0033 CREATE_NODE id=n_bc919866d0a2 node_type=claim
t=0034 CREATE_NODE id=n_0491d0989af1 node_type=claim
t=0035 CREATE_NODE id=n_505dd24facab node_type=claim
t=0036 CREATE_NODE id=n_49f8eb472d4b node_type=claim
t=0037 CREATE_NODE id=n_7d80111bbb53 node_type=claim
t=0038 CREATE_NODE id=n_c542a1c7933e node_type=claim
t=0039 CREATE_NODE id=n_38305fb8136b node_type=claim
t=0040 CREATE_NODE id=n_e9f6d3bbce2d node_type=claim
t=0041 CREATE_NODE id=n_d6b074cb27a6 node_type=claim
t=0042 CREATE_NODE id=n_3c71312b5a1b node_type=claim
t=0043 CREATE_NODE id=n_a2785f2de1ba node_type=claim
t=0044 CREATE_NODE id=n_a2e6d792e312 node_type=claim
t=0045 CREATE_NODE id=n_641bcd2405b7 node_type=claim
t=0046 CREATE_NODE id=n_51a430d96392 node_type=claim
t=0047 CREATE_NODE id=n_c5c0ebc99843 node_type=claim
t=0048 CREATE_NODE id=n_2231fd5fbfd2 node_type=claim
t=0049 CREATE_NODE id=n_88c3a487d70d node_type=claim
t=0050 CREATE_NODE id=n_5d99c2b73cab node_type=claim
t=0051 CREATE_NODE id=n_bed5ca0da234 node_type=claim
t=0052 CREATE_NODE id=n_94296b7ba1dc node_type=claim
t=0053 CREATE_NODE id=n_0ca6c1d5f2dc node_type=claim
t=0054 CREATE_NODE id=n_7b547699981e node_type=claim
t=0055 CREATE_NODE id=n_619363ea9493 node_type=claim
t=0056 CREATE_NODE id=n_a5148add8a34 node_type=claim
t=0057 CREATE_NODE id=n_9d7ef239c122 node_type=claim
t=0058 CREATE_NODE id=n_6fa51b97fa2a node_type=claim
t=0059 CREATE_NODE id=n_20786400a52c node_type=claim
t=0060 CREATE_NODE id=n_c20dbda23340 node_type=claim
t=0061 CREATE_NODE id=n_c035d71d75b5 node_type=claim
t=0062 CREATE_NODE id=n_dd3044d16d78 node_type=claim
t=0063 CREATE_NODE id=n_faa55fb7b8ea node_type=claim
t=0064 CREATE_NODE id=n_519cf962db9e node_type=claim
t=0065 CREATE_NODE id=n_d1a98c59a4b7 node_type=claim
t=0066 CREATE_NODE id=n_8fc33fa55a77 node_type=claim
t=0067 CREATE_NODE id=n_948c47462e3e node_type=claim
t=0068 ASSERT_ROOT node=n_8fc33fa55a77 value=FALSE
t=0069 ADD_EDGE edge_id=e_0489595ed580 source=n_a2785f2de1ba edge_type=refutes target=n_92e743f1787f
t=0070 ADD_EDGE edge_id=e_54bbd94dab8e source=n_49f8eb472d4b edge_type=supports target=n_0ca6c1d5f2dc
t=0071 ADD_EDGE edge_id=e_66e53bf84fb8 source=n_0491d0989af1 edge_type=refutes target=n_176f1bee542f
t=0072 ADD_EDGE edge_id=e_c60787eab959 source=n_18ad458a17bf edge_type=refutes target=n_c035d71d75b5
t=0073 ADD_EDGE edge_id=e_bd97a257ad24 source=n_a5148add8a34 edge_type=supports target=n_d2366a2e8357
t=0074 ADD_EDGE edge_id=e_ee4c02cbc710 source=n_8fc33fa55a77 edge_type=refutes target=n_bed5ca0da234
t=0075 ADD_EDGE edge_id=e_df0ef0407da0 source=n_4556b052c44a edge_type=refutes target=n_51a430d96392
t=0076 ADD_EDGE edge_id=e_9b88efbdaa87 source=n_68146819b6d6 edge_type=refutes target=n_61b448d37eac
t=0077 ADD_EDGE edge_id=e_c705df002336 source=n_c3a210509525 edge_type=refutes target=n_0491d0989af1
t=0078 ADD_EDGE edge_id=e_05c95c6dd435 source=n_4d6980b2fb0b edge_type=supports target=n_c3a210509525
t=0079 ADD_EDGE edge_id=e_9b03d73fe5c4 source=n_3c71312b5a1b edge_type=refutes target=n_abc52342cd12
t=0080 ADD_EDGE edge_id=e_770bed34abf6 source=n_3e77cbb42023 edge_type=refutes target=n_dd4ef2738b72
t=0081 ADD_EDGE edge_id=e_153ebe8d08ee source=n_54ded7ca042a edge_type=supports target=n_26006a87ce82
t=0082 ADD_EDGE edge_id=e_125a741ec5b4 source=n_4d6980b2fb0b edge_type=refutes target=n_948c47462e3e
t=0083 ADD_EDGE edge_id=e_44776cafcc30 source=n_c20dbda23340 edge_type=refutes target=n_9d7ef239c122
t=0084 ADD_EDGE edge_id=e_94bf55d93948 source=n_bed5ca0da234 edge_type=supports target=n_5d99c2b73cab
t=0085 ADD_EDGE edge_id=e_9d14d335ceee source=n_68146819b6d6 edge_type=refutes target=n_88c3a487d70d
t=0086 ADD_EDGE edge_id=e_89dbdb25a2e0 source=n_4d6980b2fb0b edge_type=supports target=n_bc919866d0a2
t=0087 ADD_EDGE edge_id=e_090fd243d7fa source=n_a2e6d792e312 edge_type=supports target=n_c5c0ebc99843
t=0088 ADD_EDGE edge_id=e_52588b8b4bf7 source=n_948c47462e3e edge_type=supports target=n_faa55fb7b8ea
t=0089 ADD_EDGE edge_id=e_3fcdca07f33d source=n_88c3a487d70d edge_type=refutes target=n_66aea4d380de
t=0090 ADD_EDGE edge_id=e_1daf5cde6348 source=n_4d6980b2fb0b edge_type=supports target=n_94296b7ba1dc
t=0091 ADD_EDGE edge_id=e_9121093ead32 source=n_4d6980b2fb0b edge_type=supports target=n_54ded7ca042a
t=0092 ADD_EDGE edge_id=e_37066fe2dc13 source=n_948c47462e3e edge_type=refutes target=n_49f8eb472d4b
t=0093 ADD_EDGE edge_id=e_75049a58c35f source=n_e711be828206 edge_type=refutes target=n_e9f6d3bbce2d
t=0094 ADD_EDGE edge_id=e_10300f40cd5e source=n_92e743f1787f edge_type=supports target=n_20786400a52c
t=0095 ADD_EDGE edge_id=e_1cf90229a30e source=n_4074d4d4be2e edge_type=refutes target=n_a2785f2de1ba
t=0096 ADD_EDGE edge_id=e_cdc775f7581b source=n_2f2a293b18d3 edge_type=supports target=n_4556b052c44a
t=0097 ADD_EDGE edge_id=e_1f3e6ba8ad69 source=n_0ba26ec64353 edge_type=refutes target=n_635d0fa19295
t=0098 ADD_EDGE edge_id=e_e81e1281f35b source=n_dd3044d16d78 edge_type=refutes target=n_0ba26ec64353
t=0099 ADD_EDGE edge_id=e_1c26726d1d68 source=n_e9f6d3bbce2d edge_type=refutes target=n_ffe81851d19d
t=0100 ADD_EDGE edge_id=e_937ac081f39f source=n_54ded7ca042a edge_type=supports target=n_7d80111bbb53
t=0101 ADD_EDGE edge_id=e_b7867ff2f048 source=n_18ad458a17bf edge_type=supports target=n_a2e6d792e312
t=0102 ADD_EDGE edge_id=e_f8eb4227f618 source=n_5d99c2b73cab edge_type=supports target=n_2231fd5fbfd2
t=0103 ADD_EDGE edge_id=e_eab30854e631 source=n_4d6980b2fb0b edge_type=refutes target=n_3c71312b5a1b
t=0104 ADD_EDGE edge_id=e_c1b1cf7aa6de source=n_88c3a487d70d edge_type=refutes target=n_be9e2f93fd98
t=0105 ADD_EDGE edge_id=e_216eb8d25ff1 source=n_20786400a52c edge_type=refutes target=n_82e3d1353593
t=0106 ADD_EDGE edge_id=e_33f5ddfa5a08 source=n_51a430d96392 edge_type=refutes target=n_68146819b6d6
t=0107 ADD_EDGE edge_id=e_aa673ac7c621 source=n_dd4ef2738b72 edge_type=supports target=n_d6b074cb27a6
t=0108 ADD_EDGE edge_id=e_632ba3e4e533 source=n_2120122842ed edge_type=supports target=n_3e77cbb42023
t=0109 ADD_EDGE edge_id=e_9a359ee71a88 source=n_82e3d1353593 edge_type=refutes target=n_519cf962db9e
t=0110 ADD_EDGE edge_id=e_768a43bb014b source=n_505dd24facab edge_type=supports target=n_641bcd2405b7
t=0111 ADD_EDGE edge_id=e_93602b54b01d source=n_7b547699981e edge_type=supports target=n_2f2a293b18d3
t=0112 ADD_EDGE edge_id=e_7b9207f7bd97 source=n_3e77cbb42023 edge_type=refutes target=n_fd308f02f13f
t=0113 ADD_EDGE edge_id=e_1f51281d65a0 source=n_641bcd2405b7 edge_type=refutes target=n_38305fb8136b
t=0114 ADD_EDGE edge_id=e_6efbe576668e source=n_d1a98c59a4b7 edge_type=refutes target=n_4d6980b2fb0b
t=0115 ADD_EDGE edge_id=e_6b39c4f9c36a source=n_bc919866d0a2 edge_type=supports target=n_acd5ad56f3f9
t=0116 ADD_EDGE edge_id=e_e1b2015dcaf5 source=n_8cc1031c2b72 edge_type=refutes target=n_e711be828206
t=0117 ADD_EDGE edge_id=e_884b8882ef1b source=n_faf6c7d0b410 edge_type=supports target=n_8cc1031c2b72
t=0118 ADD_EDGE edge_id=e_be0ce0009c5b source=n_2f2a293b18d3 edge_type=refutes target=n_619363ea9493
t=0119 ADD_EDGE edge_id=e_ba560a6a3052 source=n_519cf962db9e edge_type=supports target=n_faf6c7d0b410
t=0120 ADD_EDGE edge_id=e_4919eeab6aec source=n_948c47462e3e edge_type=refutes target=n_54597035e5bd
t=0121 ADD_EDGE edge_id=e_675d1c0c3351 source=n_532ff4178b96 edge_type=refutes target=n_dd3044d16d78
t=0122 ADD_EDGE edge_id=e_022708490091 source=n_635d0fa19295 edge_type=supports target=n_505dd24facab
t=0123 ADD_EDGE edge_id=e_af03ef84e823 source=n_c3a210509525 edge_type=supports target=n_a5148add8a34
t=0124 ADD_EDGE edge_id=e_802c7acc464c source=n_38305fb8136b edge_type=supports target=n_7b547699981e
t=0125 ADD_EDGE edge_id=e_7530d07519e1 source=n_3c71312b5a1b edge_type=supports target=n_e6feead7249b
t=0126 ADD_EDGE edge_id=e_1e78a2679ce8 source=n_fd308f02f13f edge_type=refutes target=n_bf891f58e1de
t=0127 ADD_EDGE edge_id=e_cb6c572bd4bc source=n_c3a210509525 edge_type=supports target=n_c20dbda23340
t=0128 ADD_EDGE edge_id=e_516e5a30a61a source=n_c542a1c7933e edge_type=supports target=n_532ff4178b96
t=0129 ADD_EDGE edge_id=e_105844a9678e source=n_18ad458a17bf edge_type=supports target=n_2120122842ed
t=0130 ADD_EDGE edge_id=e_ebfe0a7a91d4 source=n_d1a98c59a4b7 edge_type=supports target=n_18ad458a17bf
t=0131 ADD_EDGE edge_id=e_7c279d57bd2a source=n_66aea4d380de edge_type=supports target=n_4074d4d4be2e
t=0132 ADD_EDGE edge_id=e_1f2861ff854a source=n_0ba26ec64353 edge_type=supports target=n_6fa51b97fa2a
t=0133 ADD_EDGE edge_id=e_3d726d2be9db source=n_2231fd5fbfd2 edge_type=supports target=n_c542a1c7933e
t=0134 ADD_EDGE edge_id=e_f668f9cbc75b source=n_948c47462e3e edge_type=refutes target=n_bc6e120bbe8d
t=0135 QUERY source=n_8fc33fa55a77 target=n_ffe81851d19d
[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_1e8f7825302f node_type=claim
t=0001 CREATE_NODE id=n_8b738aecc47b node_type=claim
t=0002 CREATE_NODE id=n_f6f70a628350 node_type=claim
t=0003 CREATE_NODE id=n_2920210a0ae4 node_type=claim
t=0004 CREATE_NODE id=n_dec823122d34 node_type=claim
t=0005 CREATE_NODE id=n_4073fd0d6ca6 node_type=claim
t=0006 CREATE_NODE id=n_20aa06e00c81 node_type=claim
t=0007 CREATE_NODE id=n_b95844ca3bf6 node_type=claim
t=0008 CREATE_NODE id=n_e09ea5894c1f node_type=claim
t=0009 CREATE_NODE id=n_9a494839749d node_type=claim
t=0010 CREATE_NODE id=n_91d21922ead5 node_type=claim
t=0011 CREATE_NODE id=n_2903e31080af node_type=claim
t=0012 CREATE_NODE id=n_62283e43d9c0 node_type=claim
t=0013 CREATE_NODE id=n_0b8bf730c962 node_type=claim
t=0014 CREATE_NODE id=n_6fdc9caf6f69 node_type=claim
t=0015 CREATE_NODE id=n_205ac48151b4 node_type=claim
t=0016 CREATE_NODE id=n_1285960a5a72 node_type=claim
t=0017 CREATE_NODE id=n_3c6eb17783d7 node_type=claim
t=0018 CREATE_NODE id=n_6176f2709ad2 node_type=claim
t=0019 CREATE_NODE id=n_41619644cfd8 node_type=claim
t=0020 CREATE_NODE id=n_452405b6819e node_type=claim
t=0021 CREATE_NODE id=n_fc6b8eb05848 node_type=claim
t=0022 CREATE_NODE id=n_0db5f5d44835 node_type=claim
t=0023 CREATE_NODE id=n_8e0e2c4c4c72 node_type=claim
t=0024 CREATE_NODE id=n_b4be031b7050 node_type=claim
t=0025 CREATE_NODE id=n_bdfa89cb76e4 node_type=claim
t=0026 CREATE_NODE id=n_8b3b67bc1eb6 node_type=claim
t=0027 CREATE_NODE id=n_7932476d6489 node_type=claim
t=0028 CREATE_NODE id=n_feeb840dcc37 node_type=claim
t=0029 CREATE_NODE id=n_f71b32e6f0f2 node_type=claim
t=0030 CREATE_NODE id=n_7177d3f65086 node_type=claim
t=0031 CREATE_NODE id=n_c9bfc4362c61 node_type=claim
t=0032 CREATE_NODE id=n_3ee7f8074c09 node_type=claim
t=0033 CREATE_NODE id=n_f59b818d703d node_type=claim
t=0034 CREATE_NODE id=n_7a0d0f54eaa0 node_type=claim
t=0035 CREATE_NODE id=n_979012998b9c node_type=claim
t=0036 CREATE_NODE id=n_4b13a44bea87 node_type=claim
t=0037 CREATE_NODE id=n_3303bd113d03 node_type=claim
t=0038 CREATE_NODE id=n_2317c67d6e55 node_type=claim
t=0039 CREATE_NODE id=n_bec0591adaa2 node_type=claim
t=0040 CREATE_NODE id=n_742f40c0ea35 node_type=claim
t=0041 CREATE_NODE id=n_a8b5c96b13af node_type=claim
t=0042 CREATE_NODE id=n_d1df36f38126 node_type=claim
t=0043 CREATE_NODE id=n_4d7338ce8537 node_type=claim
t=0044 CREATE_NODE id=n_58e45a494d1a node_type=claim
t=0045 CREATE_NODE id=n_23d7adb4caf8 node_type=claim
t=0046 CREATE_NODE id=n_8e9e1cb7f7f2 node_type=claim
t=0047 CREATE_NODE id=n_5296a21467a5 node_type=claim
t=0048 CREATE_NODE id=n_419e8c7c1b3e node_type=claim
t=0049 CREATE_NODE id=n_ad2f79fa5ade node_type=claim
t=0050 CREATE_NODE id=n_ea29efffd3d7 node_type=claim
t=0051 CREATE_NODE id=n_d6323a121a9f node_type=claim
t=0052 CREATE_NODE id=n_d1ab188ab418 node_type=claim
t=0053 CREATE_NODE id=n_2b94b7a6d85a node_type=claim
t=0054 CREATE_NODE id=n_f29335df2043 node_type=claim
t=0055 CREATE_NODE id=n_93f7803cfd62 node_type=claim
t=0056 CREATE_NODE id=n_017a63707e26 node_type=claim
t=0057 CREATE_NODE id=n_0980684fd415 node_type=claim
t=0058 CREATE_NODE id=n_2a2760cb9df2 node_type=claim
t=0059 CREATE_NODE id=n_dd14a05c8af2 node_type=claim
t=0060 CREATE_NODE id=n_0a30fab225d3 node_type=claim
t=0061 CREATE_NODE id=n_f1f77983e377 node_type=claim
t=0062 CREATE_NODE id=n_2675aa89a0ce node_type=claim
t=0063 CREATE_NODE id=n_e5b117fbfc5c node_type=claim
t=0064 CREATE_NODE id=n_4a94ea939f0e node_type=claim
t=0065 CREATE_NODE id=n_6f1661f54fd8 node_type=claim
t=0066 CREATE_NODE id=n_82bb0b11cb43 node_type=claim
t=0067 CREATE_NODE id=n_cede10a24ebc node_type=claim
t=0068 ASSERT_ROOT node=n_3c6eb17783d7 value=TRUE
t=0069 ADD_EDGE edge_id=e_d212fe91ba52 source=n_7a0d0f54eaa0 edge_type=refutes target=n_0980684fd415
t=0070 ADD_EDGE edge_id=e_cfbc4322b2c1 source=n_d1df36f38126 edge_type=refutes target=n_4b13a44bea87
t=0071 ADD_EDGE edge_id=e_07642b75d54f source=n_205ac48151b4 edge_type=supports target=n_2b94b7a6d85a
t=0072 ADD_EDGE edge_id=e_0df00bcc8d61 source=n_8b3b67bc1eb6 edge_type=supports target=n_2317c67d6e55
t=0073 ADD_EDGE edge_id=e_0e5d04d57e4d source=n_6f1661f54fd8 edge_type=refutes target=n_4073fd0d6ca6
t=0074 ADD_EDGE edge_id=e_9699836074c7 source=n_6f1661f54fd8 edge_type=refutes target=n_f59b818d703d
t=0075 ADD_EDGE edge_id=e_9313f9aba29e source=n_23d7adb4caf8 edge_type=supports target=n_c9bfc4362c61
t=0076 ADD_EDGE edge_id=e_d1f2fd772c27 source=n_3c6eb17783d7 edge_type=supports target=n_0db5f5d44835
t=0077 ADD_EDGE edge_id=e_5a9bc1a5e3e7 source=n_419e8c7c1b3e edge_type=refutes target=n_6176f2709ad2
t=0078 ADD_EDGE edge_id=e_24361b3b526a source=n_e09ea5894c1f edge_type=supports target=n_62283e43d9c0
t=0079 ADD_EDGE edge_id=e_764fa29e35db source=n_feeb840dcc37 edge_type=supports target=n_d6323a121a9f
t=0080 ADD_EDGE edge_id=e_5351ffb6f0b2 source=n_f1f77983e377 edge_type=supports target=n_1285960a5a72
t=0081 ADD_EDGE edge_id=e_de643ffe64e4 source=n_9a494839749d edge_type=supports target=n_dd14a05c8af2
t=0082 ADD_EDGE edge_id=e_a151a086ec90 source=n_e5b117fbfc5c edge_type=supports target=n_7177d3f65086
t=0083 ADD_EDGE edge_id=e_c7ef3b33782a source=n_82bb0b11cb43 edge_type=refutes target=n_58e45a494d1a
t=0084 ADD_EDGE edge_id=e_25620070f7fd source=n_2903e31080af edge_type=refutes target=n_3ee7f8074c09
t=0085 ADD_EDGE edge_id=e_f80a1449d94f source=n_9a494839749d edge_type=refutes target=n_8b3b67bc1eb6
t=0086 ADD_EDGE edge_id=e_d5ab08e1c37a source=n_d1df36f38126 edge_type=supports target=n_7932476d6489
t=0087 ADD_EDGE edge_id=e_5959d99bf3c9 source=n_0b8bf730c962 edge_type=supports target=n_b4be031b7050
t=0088 ADD_EDGE edge_id=e_95b83ee3bf81 source=n_b95844ca3bf6 edge_type=supports target=n_0a30fab225d3
t=0089 ADD_EDGE edge_id=e_031f01954697 source=n_5296a21467a5 edge_type=supports target=n_ad2f79fa5ade
t=0090 ADD_EDGE edge_id=e_167cdd39eb39 source=n_cede10a24ebc edge_type=supports target=n_8e9e1cb7f7f2
t=0091 ADD_EDGE edge_id=e_13720ca7d072 source=n_3ee7f8074c09 edge_type=supports target=n_41619644cfd8
t=0092 ADD_EDGE edge_id=e_17c8eee861db source=n_e09ea5894c1f edge_type=supports target=n_f71b32e6f0f2
t=0093 ADD_EDGE edge_id=e_5fcf2a5c1006 source=n_dec823122d34 edge_type=supports target=n_205ac48151b4
t=0094 ADD_EDGE edge_id=e_167e5f8bddf8 source=n_d1ab188ab418 edge_type=refutes target=n_bdfa89cb76e4
t=0095 ADD_EDGE edge_id=e_3933d6963efa source=n_e09ea5894c1f edge_type=refutes target=n_ea29efffd3d7
t=0096 ADD_EDGE edge_id=e_dc182f4526c7 source=n_20aa06e00c81 edge_type=refutes target=n_4a94ea939f0e
t=0097 ADD_EDGE edge_id=e_6cd0316d940b source=n_2903e31080af edge_type=supports target=n_f6f70a628350
t=0098 ADD_EDGE edge_id=e_11d5c1d038a3 source=n_6176f2709ad2 edge_type=refutes target=n_9a494839749d
t=0099 ADD_EDGE edge_id=e_19291cf9ec6f source=n_bdfa89cb76e4 edge_type=supports target=n_e5b117fbfc5c
t=0100 ADD_EDGE edge_id=e_10484e4d544b source=n_4073fd0d6ca6 edge_type=supports target=n_d1df36f38126
t=0101 ADD_EDGE edge_id=e_9518f4e2b369 source=n_e09ea5894c1f edge_type=refutes target=n_1e8f7825302f
t=0102 ADD_EDGE edge_id=e_7ec515348826 source=n_c9bfc4362c61 edge_type=refutes target=n_dec823122d34
t=0103 ADD_EDGE edge_id=e_d2a4711f8012 source=n_742f40c0ea35 edge_type=supports target=n_6fdc9caf6f69
t=0104 ADD_EDGE edge_id=e_cda43bbed02e source=n_a8b5c96b13af edge_type=supports target=n_419e8c7c1b3e
t=0105 ADD_EDGE edge_id=e_bd2f5a31e2ce source=n_0a30fab225d3 edge_type=refutes target=n_7a0d0f54eaa0
t=0106 ADD_EDGE edge_id=e_d3a4555f4402 source=n_41619644cfd8 edge_type=supports target=n_452405b6819e
t=0107 ADD_EDGE edge_id=e_992fad1e66df source=n_3ee7f8074c09 edge_type=supports target=n_8e0e2c4c4c72
t=0108 ADD_EDGE edge_id=e_5dc479860cd7 source=n_2b94b7a6d85a edge_type=refutes target=n_0b8bf730c962
t=0109 ADD_EDGE edge_id=e_efcb355bbc7c source=n_2903e31080af edge_type=refutes target=n_e09ea5894c1f
t=0110 ADD_EDGE edge_id=e_871fc8f076c0 source=n_58e45a494d1a edge_type=refutes target=n_979012998b9c
t=0111 ADD_EDGE edge_id=e_5c1e61fc03a8 source=n_4a94ea939f0e edge_type=supports target=n_017a63707e26
t=0112 ADD_EDGE edge_id=e_ff29832cd48a source=n_3c6eb17783d7 edge_type=refutes target=n_23d7adb4caf8
t=0113 ADD_EDGE edge_id=e_0a841fd01aae source=n_41619644cfd8 edge_type=supports target=n_82bb0b11cb43
t=0114 ADD_EDGE edge_id=e_4c13ee0f2d7a source=n_23d7adb4caf8 edge_type=refutes target=n_f29335df2043
t=0115 ADD_EDGE edge_id=e_e31846f09524 source=n_1285960a5a72 edge_type=refutes target=n_2675aa89a0ce
t=0116 ADD_EDGE edge_id=e_7cdb2668930c source=n_6f1661f54fd8 edge_type=refutes target=n_3303bd113d03
t=0117 ADD_EDGE edge_id=e_882e24c0380a source=n_ad2f79fa5ade edge_type=supports target=n_8b738aecc47b
t=0118 ADD_EDGE edge_id=e_0fdfa5dea4d6 source=n_ea29efffd3d7 edge_type=refutes target=n_f1f77983e377
t=0119 ADD_EDGE edge_id=e_dc2b28e4fbe4 source=n_6f1661f54fd8 edge_type=supports target=n_cede10a24ebc
t=0120 ADD_EDGE edge_id=e_e9f89e54dcc9 source=n_d6323a121a9f edge_type=refutes target=n_2a2760cb9df2
t=0121 ADD_EDGE edge_id=e_7ed1a3b0c9dc source=n_58e45a494d1a edge_type=refutes target=n_bec0591adaa2
t=0122 ADD_EDGE edge_id=e_09c498a1435c source=n_0980684fd415 edge_type=supports target=n_a8b5c96b13af
t=0123 ADD_EDGE edge_id=e_28bb5c7be327 source=n_b4be031b7050 edge_type=supports target=n_d1ab188ab418
t=0124 ADD_EDGE edge_id=e_fb3767fadc15 source=n_2903e31080af edge_type=refutes target=n_91d21922ead5
t=0125 ADD_EDGE edge_id=e_1b66de00f545 source=n_6f1661f54fd8 edge_type=refutes target=n_2903e31080af
t=0126 ADD_EDGE edge_id=e_c4a43b6f1ed2 source=n_2317c67d6e55 edge_type=supports target=n_feeb840dcc37
t=0127 ADD_EDGE edge_id=e_c501057f6abd source=n_4073fd0d6ca6 edge_type=refutes target=n_20aa06e00c81
t=0128 ADD_EDGE edge_id=e_2147c4165b43 source=n_6fdc9caf6f69 edge_type=refutes target=n_93f7803cfd62
t=0129 ADD_EDGE edge_id=e_99be325db9d9 source=n_93f7803cfd62 edge_type=refutes target=n_b95844ca3bf6
t=0130 ADD_EDGE edge_id=e_b19ee3800e2c source=n_e09ea5894c1f edge_type=refutes target=n_4d7338ce8537
t=0131 ADD_EDGE edge_id=e_da511c96a16e source=n_7932476d6489 edge_type=refutes target=n_2920210a0ae4
t=0132 ADD_EDGE edge_id=e_82c400bb089a source=n_8b738aecc47b edge_type=supports target=n_742f40c0ea35
t=0133 ADD_EDGE edge_id=e_c2a486b58846 source=n_41619644cfd8 edge_type=supports target=n_fc6b8eb05848
t=0134 ADD_EDGE edge_id=e_e8af75423343 source=n_e5b117fbfc5c edge_type=refutes target=n_5296a21467a5
t=0135 QUERY source=n_3c6eb17783d7 target=n_2a2760cb9df2
[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_80ecd0d7a0d5 node_type=claim
t=0001 CREATE_NODE id=n_8ebaf4747b34 node_type=claim
t=0002 CREATE_NODE id=n_615bce576f27 node_type=claim
t=0003 CREATE_NODE id=n_055728d92f20 node_type=claim
t=0004 CREATE_NODE id=n_607269f30ab8 node_type=claim
t=0005 CREATE_NODE id=n_7785bbee6ae3 node_type=claim
t=0006 CREATE_NODE id=n_e8f8749885dd node_type=claim
t=0007 CREATE_NODE id=n_14c9d9ca1963 node_type=claim
t=0008 CREATE_NODE id=n_4c45efe48827 node_type=claim
t=0009 CREATE_NODE id=n_6cec5edc4946 node_type=claim
t=0010 CREATE_NODE id=n_0103687952fb node_type=claim
t=0011 CREATE_NODE id=n_92f036e6b71b node_type=claim
t=0012 CREATE_NODE id=n_e75efef65f3c node_type=claim
t=0013 CREATE_NODE id=n_8893bf469337 node_type=claim
t=0014 CREATE_NODE id=n_8ab008ab5b61 node_type=claim
t=0015 CREATE_NODE id=n_35397c4ad0ab node_type=claim
t=0016 CREATE_NODE id=n_5d9bc00060f1 node_type=claim
t=0017 CREATE_NODE id=n_5e4d9d44d7ea node_type=claim
t=0018 CREATE_NODE id=n_c11786b1276f node_type=claim
t=0019 CREATE_NODE id=n_ea5ded00279c node_type=claim
t=0020 CREATE_NODE id=n_7612cad53268 node_type=claim
t=0021 CREATE_NODE id=n_a5c1a436bd3c node_type=claim
t=0022 CREATE_NODE id=n_8536fccba993 node_type=claim
t=0023 CREATE_NODE id=n_ef322bf47900 node_type=claim
t=0024 CREATE_NODE id=n_0dc4623262b6 node_type=claim
t=0025 CREATE_NODE id=n_0f9af2810bad node_type=claim
t=0026 CREATE_NODE id=n_de8b518ed358 node_type=claim
t=0027 CREATE_NODE id=n_cc71e80f0a12 node_type=claim
t=0028 CREATE_NODE id=n_9f3d95491e1e node_type=claim
t=0029 CREATE_NODE id=n_a36cc6be1dd6 node_type=claim
t=0030 CREATE_NODE id=n_ad9b6de24e07 node_type=claim
t=0031 CREATE_NODE id=n_194732341714 node_type=claim
t=0032 CREATE_NODE id=n_dbca683c39f6 node_type=claim
t=0033 CREATE_NODE id=n_7594e813e8ba node_type=claim
t=0034 CREATE_NODE id=n_c6542e6c5268 node_type=claim
t=0035 CREATE_NODE id=n_5b97d69ff829 node_type=claim
t=0036 CREATE_NODE id=n_bc6d1e0bc377 node_type=claim
t=0037 CREATE_NODE id=n_db6616115996 node_type=claim
t=0038 CREATE_NODE id=n_cee29d59a39b node_type=claim
t=0039 CREATE_NODE id=n_c3c6fc494400 node_type=claim
t=0040 CREATE_NODE id=n_26e27cbf38db node_type=claim
t=0041 CREATE_NODE id=n_193ad7df2ca7 node_type=claim
t=0042 CREATE_NODE id=n_e318cae0c584 node_type=claim
t=0043 CREATE_NODE id=n_d5b6219418af node_type=claim
t=0044 CREATE_NODE id=n_a1ee195d9f51 node_type=claim
t=0045 CREATE_NODE id=n_6c0faffbc708 node_type=claim
t=0046 CREATE_NODE id=n_b962fc488645 node_type=claim
t=0047 CREATE_NODE id=n_9c09448424ee node_type=claim
t=0048 CREATE_NODE id=n_d287fd1d3f7f node_type=claim
t=0049 CREATE_NODE id=n_ddc98abf9f20 node_type=claim
t=0050 CREATE_NODE id=n_75b3bec6b63b node_type=claim
t=0051 CREATE_NODE id=n_d15ad5f83a76 node_type=claim
t=0052 CREATE_NODE id=n_b664e2ff1443 node_type=claim
t=0053 CREATE_NODE id=n_07496cc21547 node_type=claim
t=0054 CREATE_NODE id=n_726141f366d7 node_type=claim
t=0055 CREATE_NODE id=n_6f8e386af64d node_type=claim
t=0056 CREATE_NODE id=n_6ce3cd6cf866 node_type=claim
t=0057 CREATE_NODE id=n_91edaf5a9fdb node_type=claim
t=0058 CREATE_NODE id=n_deab7e96fe1f node_type=claim
t=0059 CREATE_NODE id=n_f32a11077acd node_type=claim
t=0060 CREATE_NODE id=n_258ecefcf4a1 node_type=claim
t=0061 CREATE_NODE id=n_4e144db04c5c node_type=claim
t=0062 CREATE_NODE id=n_cf1be23ac155 node_type=claim
t=0063 CREATE_NODE id=n_1c32e5b2ea86 node_type=claim
t=0064 CREATE_NODE id=n_8c7cefa1b041 node_type=claim
t=0065 CREATE_NODE id=n_3e93112b9289 node_type=claim
t=0066 CREATE_NODE id=n_74cc5c4c3669 node_type=claim
t=0067 CREATE_NODE id=n_0bd35a9e4528 node_type=claim
t=0068 ASSERT_ROOT node=n_6c0faffbc708 value=FALSE
t=0069 ADD_EDGE edge_id=e_ded5a337561f source=n_6ce3cd6cf866 edge_type=refutes target=n_ea5ded00279c
t=0070 ADD_EDGE edge_id=e_8fdab0d97ccf source=n_6c0faffbc708 edge_type=supports target=n_b962fc488645
t=0071 ADD_EDGE edge_id=e_c090ed86c8cf source=n_6cec5edc4946 edge_type=supports target=n_ef322bf47900
t=0072 ADD_EDGE edge_id=e_7b777005d6a9 source=n_5d9bc00060f1 edge_type=refutes target=n_db6616115996
t=0073 ADD_EDGE edge_id=e_1a17bbb362f3 source=n_d5b6219418af edge_type=supports target=n_0103687952fb
t=0074 ADD_EDGE edge_id=e_be48191c69a3 source=n_e318cae0c584 edge_type=supports target=n_c6542e6c5268
t=0075 ADD_EDGE edge_id=e_0014663c4ad4 source=n_d287fd1d3f7f edge_type=supports target=n_dbca683c39f6
t=0076 ADD_EDGE edge_id=e_7d876332f77e source=n_055728d92f20 edge_type=refutes target=n_e8f8749885dd
t=0077 ADD_EDGE edge_id=e_c12c1e1461fe source=n_75b3bec6b63b edge_type=refutes target=n_35397c4ad0ab
t=0078 ADD_EDGE edge_id=e_093062ffa197 source=n_d287fd1d3f7f edge_type=refutes target=n_258ecefcf4a1
t=0079 ADD_EDGE edge_id=e_96a251234036 source=n_8ebaf4747b34 edge_type=refutes target=n_7785bbee6ae3
t=0080 ADD_EDGE edge_id=e_dabce2f3ea9b source=n_ea5ded00279c edge_type=supports target=n_193ad7df2ca7
t=0081 ADD_EDGE edge_id=e_2a939424b897 source=n_74cc5c4c3669 edge_type=refutes target=n_e75efef65f3c
t=0082 ADD_EDGE edge_id=e_f36434d585c8 source=n_80ecd0d7a0d5 edge_type=supports target=n_cee29d59a39b
t=0083 ADD_EDGE edge_id=e_01f7b928b0f4 source=n_8893bf469337 edge_type=supports target=n_607269f30ab8
t=0084 ADD_EDGE edge_id=e_3577aa25e766 source=n_4c45efe48827 edge_type=refutes target=n_5d9bc00060f1
t=0085 ADD_EDGE edge_id=e_144745da6ec8 source=n_0103687952fb edge_type=supports target=n_055728d92f20
t=0086 ADD_EDGE edge_id=e_db683c8c233a source=n_bc6d1e0bc377 edge_type=supports target=n_6cec5edc4946
t=0087 ADD_EDGE edge_id=e_e977b58faf3d source=n_0f9af2810bad edge_type=supports target=n_26e27cbf38db
t=0088 ADD_EDGE edge_id=e_4f59eeaa3845 source=n_8536fccba993 edge_type=refutes target=n_0dc4623262b6
t=0089 ADD_EDGE edge_id=e_874623fdba85 source=n_5e4d9d44d7ea edge_type=refutes target=n_c11786b1276f
t=0090 ADD_EDGE edge_id=e_fb0a68d1a121 source=n_7612cad53268 edge_type=supports target=n_9f3d95491e1e
t=0091 ADD_EDGE edge_id=e_98dd669a5e90 source=n_c11786b1276f edge_type=supports target=n_3e93112b9289
t=0092 ADD_EDGE edge_id=e_8e59b459ad03 source=n_6ce3cd6cf866 edge_type=supports target=n_92f036e6b71b
t=0093 ADD_EDGE edge_id=e_e3f6b81c8d26 source=n_deab7e96fe1f edge_type=refutes target=n_7594e813e8ba
t=0094 ADD_EDGE edge_id=e_cdd81672e4bb source=n_de8b518ed358 edge_type=refutes target=n_80ecd0d7a0d5
t=0095 ADD_EDGE edge_id=e_4600cb5062e1 source=n_e8f8749885dd edge_type=supports target=n_726141f366d7
t=0096 ADD_EDGE edge_id=e_c70136bebaaf source=n_5b97d69ff829 edge_type=refutes target=n_8ab008ab5b61
t=0097 ADD_EDGE edge_id=e_063ab063a150 source=n_cc71e80f0a12 edge_type=refutes target=n_07496cc21547
t=0098 ADD_EDGE edge_id=e_d7051bcde307 source=n_91edaf5a9fdb edge_type=refutes target=n_14c9d9ca1963
t=0099 ADD_EDGE edge_id=e_343486bc9c47 source=n_615bce576f27 edge_type=supports target=n_91edaf5a9fdb
t=0100 ADD_EDGE edge_id=e_444b87ce1c58 source=n_8ebaf4747b34 edge_type=refutes target=n_0f9af2810bad
t=0101 ADD_EDGE edge_id=e_c1fa820d85a6 source=n_726141f366d7 edge_type=supports target=n_cf1be23ac155
t=0102 ADD_EDGE edge_id=e_ce233f8aa7f9 source=n_35397c4ad0ab edge_type=supports target=n_4e144db04c5c
t=0103 ADD_EDGE edge_id=e_bc4b3e77b8b9 source=n_607269f30ab8 edge_type=refutes target=n_194732341714
t=0104 ADD_EDGE edge_id=e_41c1b2ca7173 source=n_7785bbee6ae3 edge_type=refutes target=n_f32a11077acd
t=0105 ADD_EDGE edge_id=e_88f1e538927f source=n_6c0faffbc708 edge_type=refutes target=n_1c32e5b2ea86
t=0106 ADD_EDGE edge_id=e_6849a67cdd0a source=n_607269f30ab8 edge_type=refutes target=n_b664e2ff1443
t=0107 ADD_EDGE edge_id=e_aeb0d56abf52 source=n_ddc98abf9f20 edge_type=refutes target=n_615bce576f27
t=0108 ADD_EDGE edge_id=e_2a8f7bb977d8 source=n_0dc4623262b6 edge_type=supports target=n_ddc98abf9f20
t=0109 ADD_EDGE edge_id=e_65f9a940b333 source=n_91edaf5a9fdb edge_type=refutes target=n_e318cae0c584
t=0110 ADD_EDGE edge_id=e_8100bd0ae9c9 source=n_c11786b1276f edge_type=supports target=n_a5c1a436bd3c
t=0111 ADD_EDGE edge_id=e_d79fb8915dc2 source=n_d287fd1d3f7f edge_type=refutes target=n_8893bf469337
t=0112 ADD_EDGE edge_id=e_da7798c74b49 source=n_6f8e386af64d edge_type=refutes target=n_5e4d9d44d7ea
t=0113 ADD_EDGE edge_id=e_7174478eb2c5 source=n_607269f30ab8 edge_type=supports target=n_cc71e80f0a12
t=0114 ADD_EDGE edge_id=e_85bac2b3e14c source=n_db6616115996 edge_type=supports target=n_0bd35a9e4528
t=0115 ADD_EDGE edge_id=e_b41d46f4b88d source=n_7594e813e8ba edge_type=refutes target=n_a36cc6be1dd6
t=0116 ADD_EDGE edge_id=e_d47fd3b7aa67 source=n_a5c1a436bd3c edge_type=supports target=n_4c45efe48827
t=0117 ADD_EDGE edge_id=e_bc6f9d2ba297 source=n_75b3bec6b63b edge_type=refutes target=n_5b97d69ff829
t=0118 ADD_EDGE edge_id=e_b20a7cad2342 source=n_607269f30ab8 edge_type=refutes target=n_6ce3cd6cf866
t=0119 ADD_EDGE edge_id=e_c1d615a3613c source=n_6ce3cd6cf866 edge_type=supports target=n_ad9b6de24e07
t=0120 ADD_EDGE edge_id=e_e6818faaeb0d source=n_d287fd1d3f7f edge_type=supports target=n_75b3bec6b63b
t=0121 ADD_EDGE edge_id=e_36b26a8345ec source=n_cf1be23ac155 edge_type=supports target=n_6f8e386af64d
t=0122 ADD_EDGE edge_id=e_2a67f370ff64 source=n_ea5ded00279c edge_type=refutes target=n_74cc5c4c3669
t=0123 ADD_EDGE edge_id=e_56b259ec53e3 source=n_607269f30ab8 edge_type=refutes target=n_bc6d1e0bc377
t=0124 ADD_EDGE edge_id=e_36b349504a61 source=n_6ce3cd6cf866 edge_type=supports target=n_8ebaf4747b34
t=0125 ADD_EDGE edge_id=e_71e66bd212eb source=n_c6542e6c5268 edge_type=refutes target=n_d5b6219418af
t=0126 ADD_EDGE edge_id=e_20c93c76fed8 source=n_8893bf469337 edge_type=refutes target=n_c3c6fc494400
t=0127 ADD_EDGE edge_id=e_bfa5ede27f3a source=n_cf1be23ac155 edge_type=supports target=n_d15ad5f83a76
t=0128 ADD_EDGE edge_id=e_cf9a56e4ce4d source=n_0bd35a9e4528 edge_type=supports target=n_9c09448424ee
t=0129 ADD_EDGE edge_id=e_8954a3fa9d22 source=n_1c32e5b2ea86 edge_type=supports target=n_8536fccba993
t=0130 ADD_EDGE edge_id=e_ec9b19edbbac source=n_8c7cefa1b041 edge_type=refutes target=n_7612cad53268
t=0131 ADD_EDGE edge_id=e_08f4d60ac842 source=n_35397c4ad0ab edge_type=supports target=n_deab7e96fe1f
t=0132 ADD_EDGE edge_id=e_01d80348d269 source=n_9c09448424ee edge_type=supports target=n_de8b518ed358
t=0133 ADD_EDGE edge_id=e_a7f11c2cb7c5 source=n_d287fd1d3f7f edge_type=refutes target=n_a1ee195d9f51
t=0134 ADD_EDGE edge_id=e_d2e4af9cbf6f source=n_cee29d59a39b edge_type=supports target=n_8c7cefa1b041
t=0135 QUERY source=n_6c0faffbc708 target=n_9f3d95491e1e
[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_ead3705661bc node_type=claim
t=0001 CREATE_NODE id=n_75c5ae766a73 node_type=claim
t=0002 CREATE_NODE id=n_c3ccad9c311f node_type=claim
t=0003 CREATE_NODE id=n_eca84113c333 node_type=claim
t=0004 CREATE_NODE id=n_b5d40c4bee6a node_type=claim
t=0005 CREATE_NODE id=n_d5667b27c1cd node_type=claim
t=0006 CREATE_NODE id=n_55adc0f73039 node_type=claim
t=0007 CREATE_NODE id=n_47331a357922 node_type=claim
t=0008 CREATE_NODE id=n_7820c97348bd node_type=claim
t=0009 CREATE_NODE id=n_a8ddf49cb2bf node_type=claim
t=0010 CREATE_NODE id=n_19cbdf7b7576 node_type=claim
t=0011 CREATE_NODE id=n_2eaf9a9e0afa node_type=claim
t=0012 CREATE_NODE id=n_55325cdeaf8d node_type=claim
t=0013 CREATE_NODE id=n_86b64973b360 node_type=claim
t=0014 CREATE_NODE id=n_515a0b8f1708 node_type=claim
t=0015 CREATE_NODE id=n_828709ea982d node_type=claim
t=0016 CREATE_NODE id=n_a174bacccea5 node_type=claim
t=0017 CREATE_NODE id=n_6403ebc4f413 node_type=claim
t=0018 CREATE_NODE id=n_c07cd1896057 node_type=claim
t=0019 CREATE_NODE id=n_d5cd0c5bf4c5 node_type=claim
t=0020 CREATE_NODE id=n_a95058f9c2a4 node_type=claim
t=0021 CREATE_NODE id=n_ec7b0a38d9af node_type=claim
t=0022 CREATE_NODE id=n_dc5aa1850ade node_type=claim
t=0023 CREATE_NODE id=n_3d107ec0703d node_type=claim
t=0024 CREATE_NODE id=n_be75ab68219a node_type=claim
t=0025 CREATE_NODE id=n_d1ecb3e9c6d5 node_type=claim
t=0026 CREATE_NODE id=n_0abce29b6321 node_type=claim
t=0027 CREATE_NODE id=n_f0e19c34dea4 node_type=claim
t=0028 CREATE_NODE id=n_d2261a294b46 node_type=claim
t=0029 CREATE_NODE id=n_1a60e04dcd44 node_type=claim
t=0030 CREATE_NODE id=n_8f909ed3a562 node_type=claim
t=0031 CREATE_NODE id=n_640cdb6ea44c node_type=claim
t=0032 CREATE_NODE id=n_6793fb109a9c node_type=claim
t=0033 CREATE_NODE id=n_f40718da459e node_type=claim
t=0034 CREATE_NODE id=n_e940d4c51016 node_type=claim
t=0035 CREATE_NODE id=n_86e1175cf5f2 node_type=claim
t=0036 CREATE_NODE id=n_8dc50a55eee6 node_type=claim
t=0037 CREATE_NODE id=n_e8ce39bb735b node_type=claim
t=0038 CREATE_NODE id=n_a0f721c658a2 node_type=claim
t=0039 CREATE_NODE id=n_e8fb5aad8aa4 node_type=claim
t=0040 CREATE_NODE id=n_1c2f977208ff node_type=claim
t=0041 CREATE_NODE id=n_bbeffdb07a36 node_type=claim
t=0042 CREATE_NODE id=n_995acf09ed6d node_type=claim
t=0043 CREATE_NODE id=n_667577d25cdc node_type=claim
t=0044 CREATE_NODE id=n_11e7a093ce56 node_type=claim
t=0045 CREATE_NODE id=n_69d09b65eb25 node_type=claim
t=0046 CREATE_NODE id=n_781ce1638e61 node_type=claim
t=0047 CREATE_NODE id=n_ebb89d0c101d node_type=claim
t=0048 CREATE_NODE id=n_3bf7610a6c8d node_type=claim
t=0049 CREATE_NODE id=n_dbc78bb14f3e node_type=claim
t=0050 CREATE_NODE id=n_3c793eb9443a node_type=claim
t=0051 CREATE_NODE id=n_484a1e5a9174 node_type=claim
t=0052 CREATE_NODE id=n_065ec5b65bd0 node_type=claim
t=0053 CREATE_NODE id=n_308080b01cda node_type=claim
t=0054 CREATE_NODE id=n_3bcec7f3d03e node_type=claim
t=0055 CREATE_NODE id=n_71d55abf9d2d node_type=claim
t=0056 CREATE_NODE id=n_7e3c5681eb19 node_type=claim
t=0057 CREATE_NODE id=n_80fdc7c72d58 node_type=claim
t=0058 CREATE_NODE id=n_c5e16e4609d6 node_type=claim
t=0059 CREATE_NODE id=n_90df2157fc11 node_type=claim
t=0060 CREATE_NODE id=n_da67a2786496 node_type=claim
t=0061 CREATE_NODE id=n_59d4a0e069ac node_type=claim
t=0062 CREATE_NODE id=n_129235106be2 node_type=claim
t=0063 CREATE_NODE id=n_1c8be2ac2373 node_type=claim
t=0064 CREATE_NODE id=n_6bc1f5041633 node_type=claim
t=0065 CREATE_NODE id=n_719934c85f8b node_type=claim
t=0066 CREATE_NODE id=n_2bc4b05497a0 node_type=claim
t=0067 CREATE_NODE id=n_372ed2e0f6d1 node_type=claim
t=0068 ASSERT_ROOT node=n_1a60e04dcd44 value=TRUE
t=0069 ADD_EDGE edge_id=e_fce3cdf750d7 source=n_667577d25cdc edge_type=refutes target=n_3c793eb9443a
t=0070 ADD_EDGE edge_id=e_a78984777a1b source=n_90df2157fc11 edge_type=supports target=n_ebb89d0c101d
t=0071 ADD_EDGE edge_id=e_91c998da1275 source=n_372ed2e0f6d1 edge_type=supports target=n_19cbdf7b7576
t=0072 ADD_EDGE edge_id=e_4ec85bfd5942 source=n_1c8be2ac2373 edge_type=supports target=n_55325cdeaf8d
t=0073 ADD_EDGE edge_id=e_007dc8ad6a00 source=n_c5e16e4609d6 edge_type=refutes target=n_065ec5b65bd0
t=0074 ADD_EDGE edge_id=e_b32f12d8946d source=n_75c5ae766a73 edge_type=refutes target=n_be75ab68219a
t=0075 ADD_EDGE edge_id=e_e274a4b64069 source=n_ebb89d0c101d edge_type=refutes target=n_80fdc7c72d58
t=0076 ADD_EDGE edge_id=e_ba94cc2bf640 source=n_484a1e5a9174 edge_type=supports target=n_69d09b65eb25
t=0077 ADD_EDGE edge_id=e_61be57f52ab5 source=n_c3ccad9c311f edge_type=refutes target=n_2eaf9a9e0afa
t=0078 ADD_EDGE edge_id=e_5bd63a91decb source=n_6bc1f5041633 edge_type=supports target=n_bbeffdb07a36
t=0079 ADD_EDGE edge_id=e_a424aef621e6 source=n_90df2157fc11 edge_type=supports target=n_d2261a294b46
t=0080 ADD_EDGE edge_id=e_e58877370b74 source=n_2eaf9a9e0afa edge_type=supports target=n_e940d4c51016
t=0081 ADD_EDGE edge_id=e_5c68a4965e54 source=n_a95058f9c2a4 edge_type=supports target=n_3bf7610a6c8d
t=0082 ADD_EDGE edge_id=e_ac1325fafb9e source=n_1a60e04dcd44 edge_type=supports target=n_8dc50a55eee6
t=0083 ADD_EDGE edge_id=e_620d52857be2 source=n_ead3705661bc edge_type=supports target=n_a95058f9c2a4
t=0084 ADD_EDGE edge_id=e_5014e5752913 source=n_be75ab68219a edge_type=supports target=n_3bcec7f3d03e
t=0085 ADD_EDGE edge_id=e_e4f2155ba1dd source=n_7820c97348bd edge_type=supports target=n_75c5ae766a73
t=0086 ADD_EDGE edge_id=e_566f29ce5019 source=n_69d09b65eb25 edge_type=refutes target=n_f0e19c34dea4
t=0087 ADD_EDGE edge_id=e_15af928c091e source=n_dbc78bb14f3e edge_type=supports target=n_ec7b0a38d9af
t=0088 ADD_EDGE edge_id=e_6838ee2438e7 source=n_308080b01cda edge_type=refutes target=n_da67a2786496
t=0089 ADD_EDGE edge_id=e_bca1a84ed9ee source=n_f0e19c34dea4 edge_type=refutes target=n_55adc0f73039
t=0090 ADD_EDGE edge_id=e_e1ba7691debd source=n_308080b01cda edge_type=refutes target=n_eca84113c333
t=0091 ADD_EDGE edge_id=e_3276ccc1c848 source=n_b5d40c4bee6a edge_type=refutes target=n_c07cd1896057
t=0092 ADD_EDGE edge_id=e_8a1f5d4da6a7 source=n_308080b01cda edge_type=refutes target=n_b5d40c4bee6a
t=0093 ADD_EDGE edge_id=e_3d3a4c40bf70 source=n_1a60e04dcd44 edge_type=supports target=n_47331a357922
t=0094 ADD_EDGE edge_id=e_995eab501308 source=n_308080b01cda edge_type=refutes target=n_2bc4b05497a0
t=0095 ADD_EDGE edge_id=e_d4a0be137b4f source=n_3bcec7f3d03e edge_type=supports target=n_781ce1638e61
t=0096 ADD_EDGE edge_id=e_db572bffee32 source=n_1c2f977208ff edge_type=refutes target=n_484a1e5a9174
t=0097 ADD_EDGE edge_id=e_bbb437520d31 source=n_59d4a0e069ac edge_type=refutes target=n_1c2f977208ff
t=0098 ADD_EDGE edge_id=e_7c495f4c0edf source=n_bbeffdb07a36 edge_type=refutes target=n_a8ddf49cb2bf
t=0099 ADD_EDGE edge_id=e_50c8454bc82c source=n_86e1175cf5f2 edge_type=supports target=n_dbc78bb14f3e
t=0100 ADD_EDGE edge_id=e_b928f6976152 source=n_2bc4b05497a0 edge_type=refutes target=n_90df2157fc11
t=0101 ADD_EDGE edge_id=e_cedd7382a247 source=n_2bc4b05497a0 edge_type=supports target=n_640cdb6ea44c
t=0102 ADD_EDGE edge_id=e_7751fd67ac48 source=n_8f909ed3a562 edge_type=supports target=n_515a0b8f1708
t=0103 ADD_EDGE edge_id=e_f88800cbc0b5 source=n_308080b01cda edge_type=supports target=n_11e7a093ce56
t=0104 ADD_EDGE edge_id=e_daed92737845 source=n_ebb89d0c101d edge_type=refutes target=n_a174bacccea5
t=0105 ADD_EDGE edge_id=e_88b06c8efabc source=n_1a60e04dcd44 edge_type=refutes target=n_719934c85f8b
t=0106 ADD_EDGE edge_id=e_99e8195f2af0 source=n_8f909ed3a562 edge_type=supports target=n_995acf09ed6d
t=0107 ADD_EDGE edge_id=e_4522357366f4 source=n_308080b01cda edge_type=supports target=n_d5667b27c1cd
t=0108 ADD_EDGE edge_id=e_aecc42ec309e source=n_1c8be2ac2373 edge_type=refutes target=n_828709ea982d
t=0109 ADD_EDGE edge_id=e_aada036c1003 source=n_d5667b27c1cd edge_type=refutes target=n_e8fb5aad8aa4
t=0110 ADD_EDGE edge_id=e_67141372ad48 source=n_dc5aa1850ade edge_type=refutes target=n_7820c97348bd
t=0111 ADD_EDGE edge_id=e_f8204f3eb63c source=n_8f909ed3a562 edge_type=supports target=n_6403ebc4f413
t=0112 ADD_EDGE edge_id=e_7c7f75ec5046 source=n_8dc50a55eee6 edge_type=supports target=n_dc5aa1850ade
t=0113 ADD_EDGE edge_id=e_b5b84a0c3c9c source=n_065ec5b65bd0 edge_type=supports target=n_6793fb109a9c
t=0114 ADD_EDGE edge_id=e_5dca4f6fa3e4 source=n_1c8be2ac2373 edge_type=refutes target=n_d1ecb3e9c6d5
t=0115 ADD_EDGE edge_id=e_fc56c67544f1 source=n_d2261a294b46 edge_type=refutes target=n_d5cd0c5bf4c5
t=0116 ADD_EDGE edge_id=e_2ba43c635239 source=n_a174bacccea5 edge_type=refutes target=n_a0f721c658a2
t=0117 ADD_EDGE edge_id=e_4ffd7ac3f001 source=n_f0e19c34dea4 edge_type=refutes target=n_7e3c5681eb19
t=0118 ADD_EDGE edge_id=e_31a2203e4752 source=n_c3ccad9c311f edge_type=supports target=n_129235106be2
t=0119 ADD_EDGE edge_id=e_9975ecefe048 source=n_3bf7610a6c8d edge_type=refutes target=n_6bc1f5041633
t=0120 ADD_EDGE edge_id=e_089e2d76507b source=n_6793fb109a9c edge_type=supports target=n_0abce29b6321
t=0121 ADD_EDGE edge_id=e_10d4498dc01b source=n_f0e19c34dea4 edge_type=refutes target=n_86e1175cf5f2
t=0122 ADD_EDGE edge_id=e_87093ce107cf source=n_8f909ed3a562 edge_type=refutes target=n_308080b01cda
t=0123 ADD_EDGE edge_id=e_ae64eb8ebeaa source=n_da67a2786496 edge_type=supports target=n_1c8be2ac2373
t=0124 ADD_EDGE edge_id=e_288fd847cd34 source=n_995acf09ed6d edge_type=supports target=n_e8ce39bb735b
t=0125 ADD_EDGE edge_id=e_6d5d37e41970 source=n_86b64973b360 edge_type=refutes target=n_c3ccad9c311f
t=0126 ADD_EDGE edge_id=e_a4b437527f4a source=n_80fdc7c72d58 edge_type=supports target=n_71d55abf9d2d
t=0127 ADD_EDGE edge_id=e_f67b2a2c428d source=n_a8ddf49cb2bf edge_type=refutes target=n_372ed2e0f6d1
t=0128 ADD_EDGE edge_id=e_272c20975138 source=n_515a0b8f1708 edge_type=supports target=n_86b64973b360
t=0129 ADD_EDGE edge_id=e_7bd1b0c7071c source=n_781ce1638e61 edge_type=refutes target=n_667577d25cdc
t=0130 ADD_EDGE edge_id=e_00e2a75afab9 source=n_ec7b0a38d9af edge_type=refutes target=n_c5e16e4609d6
t=0131 ADD_EDGE edge_id=e_dc9bd52b6f07 source=n_995acf09ed6d edge_type=refutes target=n_3d107ec0703d
t=0132 ADD_EDGE edge_id=e_28251cccd887 source=n_a174bacccea5 edge_type=supports target=n_f40718da459e
t=0133 ADD_EDGE edge_id=e_8db70b281b2a source=n_3c793eb9443a edge_type=supports target=n_ead3705661bc
t=0134 ADD_EDGE edge_id=e_55823ac19469 source=n_19cbdf7b7576 edge_type=supports target=n_59d4a0e069ac
t=0135 QUERY source=n_1a60e04dcd44 target=n_0abce29b6321
[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_b91f2e363c94 node_type=claim
t=0001 CREATE_NODE id=n_b439ad92e8ec node_type=claim
t=0002 CREATE_NODE id=n_00654b094744 node_type=claim
t=0003 CREATE_NODE id=n_6878068e72a3 node_type=claim
t=0004 CREATE_NODE id=n_72df73f089fc node_type=claim
t=0005 CREATE_NODE id=n_58888297eb63 node_type=claim
t=0006 CREATE_NODE id=n_1a9fbfc738c7 node_type=claim
t=0007 CREATE_NODE id=n_eeafe1c5c502 node_type=claim
t=0008 CREATE_NODE id=n_1e5233419b0a node_type=claim
t=0009 CREATE_NODE id=n_4549d835d9bf node_type=claim
t=0010 CREATE_NODE id=n_7b44fd70b47c node_type=claim
t=0011 CREATE_NODE id=n_8949dd264f20 node_type=claim
t=0012 CREATE_NODE id=n_ae1478c07dd6 node_type=claim
t=0013 CREATE_NODE id=n_9edff43d8452 node_type=claim
t=0014 CREATE_NODE id=n_c01a0f504eab node_type=claim
t=0015 CREATE_NODE id=n_36cb3c80b5e4 node_type=claim
t=0016 CREATE_NODE id=n_367f693073ea node_type=claim
t=0017 CREATE_NODE id=n_4cd822020fad node_type=claim
t=0018 CREATE_NODE id=n_4c8553a3e14d node_type=claim
t=0019 CREATE_NODE id=n_3b49fd0a3adf node_type=claim
t=0020 CREATE_NODE id=n_ea549c50ab58 node_type=claim
t=0021 CREATE_NODE id=n_144e5f9b62db node_type=claim
t=0022 CREATE_NODE id=n_b74447e672f9 node_type=claim
t=0023 CREATE_NODE id=n_d29f6c73eaef node_type=claim
t=0024 CREATE_NODE id=n_1d03055611f7 node_type=claim
t=0025 CREATE_NODE id=n_120e2b4c4ee7 node_type=claim
t=0026 CREATE_NODE id=n_348da1d56a51 node_type=claim
t=0027 CREATE_NODE id=n_a2de11193571 node_type=claim
t=0028 CREATE_NODE id=n_0897a0cdb045 node_type=claim
t=0029 CREATE_NODE id=n_921784e9a9bc node_type=claim
t=0030 CREATE_NODE id=n_3fcacc1be951 node_type=claim
t=0031 CREATE_NODE id=n_30201fd8aa5d node_type=claim
t=0032 CREATE_NODE id=n_ea2a72e57150 node_type=claim
t=0033 CREATE_NODE id=n_620c4106b9f5 node_type=claim
t=0034 CREATE_NODE id=n_c6433b9ab70e node_type=claim
t=0035 CREATE_NODE id=n_c66f6c88a7e7 node_type=claim
t=0036 CREATE_NODE id=n_75bc4f450f76 node_type=claim
t=0037 CREATE_NODE id=n_f0814a41314a node_type=claim
t=0038 CREATE_NODE id=n_2a51f37b7cdd node_type=claim
t=0039 CREATE_NODE id=n_1933674bc1dc node_type=claim
t=0040 CREATE_NODE id=n_12583f49f3f9 node_type=claim
t=0041 CREATE_NODE id=n_36bcd1ad1815 node_type=claim
t=0042 CREATE_NODE id=n_ab91dee7ee03 node_type=claim
t=0043 CREATE_NODE id=n_8b20ad7e72b5 node_type=claim
t=0044 CREATE_NODE id=n_bf57dcc17e93 node_type=claim
t=0045 CREATE_NODE id=n_d2cb448d1954 node_type=claim
t=0046 CREATE_NODE id=n_e06a11f11c9f node_type=claim
t=0047 CREATE_NODE id=n_3a8ef8ea6444 node_type=claim
t=0048 CREATE_NODE id=n_75df1216f706 node_type=claim
t=0049 CREATE_NODE id=n_a3ce389160f2 node_type=claim
t=0050 CREATE_NODE id=n_e8feba7fae17 node_type=claim
t=0051 CREATE_NODE id=n_2c051ffbb0f8 node_type=claim
t=0052 CREATE_NODE id=n_cecb4d74430b node_type=claim
t=0053 CREATE_NODE id=n_63efff23c7c2 node_type=claim
t=0054 CREATE_NODE id=n_1ec3ffa1d341 node_type=claim
t=0055 CREATE_NODE id=n_6faee1406ece node_type=claim
t=0056 CREATE_NODE id=n_2b68122ac3e4 node_type=claim
t=0057 CREATE_NODE id=n_2457a56f5e66 node_type=claim
t=0058 CREATE_NODE id=n_4c3b2d5995be node_type=claim
t=0059 CREATE_NODE id=n_2cceabfd02a8 node_type=claim
t=0060 CREATE_NODE id=n_f28491f550c8 node_type=claim
t=0061 CREATE_NODE id=n_61744493826b node_type=claim
t=0062 CREATE_NODE id=n_29b2cca414de node_type=claim
t=0063 CREATE_NODE id=n_1d41b7b88759 node_type=claim
t=0064 CREATE_NODE id=n_d8e7bbf0e477 node_type=claim
t=0065 CREATE_NODE id=n_16c249fcd92a node_type=claim
t=0066 CREATE_NODE id=n_297561f53c30 node_type=claim
t=0067 CREATE_NODE id=n_66b42e9770be node_type=claim
t=0068 CREATE_NODE id=n_7d1d25232b24 node_type=claim
t=0069 CREATE_NODE id=n_972f509a2adf node_type=claim
t=0070 ASSERT_ROOT node=n_1d03055611f7 value=TRUE
t=0071 ADD_EDGE edge_id=e_ebf51d305094 source=n_a2de11193571 edge_type=supports target=n_36bcd1ad1815
t=0072 ADD_EDGE edge_id=e_8ba089c55652 source=n_a3ce389160f2 edge_type=refutes target=n_75df1216f706
t=0073 ADD_EDGE edge_id=e_8e170d1c8811 source=n_e06a11f11c9f edge_type=supports target=n_6878068e72a3
t=0074 ADD_EDGE edge_id=e_a31da65ca07d source=n_7b44fd70b47c edge_type=refutes target=n_cecb4d74430b
t=0075 ADD_EDGE edge_id=e_ce2cce8f93ff source=n_2cceabfd02a8 edge_type=supports target=n_a3ce389160f2
t=0076 ADD_EDGE edge_id=e_2965fced4972 source=n_eeafe1c5c502 edge_type=refutes target=n_3fcacc1be951
t=0077 ADD_EDGE edge_id=e_88e814f45e65 source=n_620c4106b9f5 edge_type=supports target=n_7b44fd70b47c
t=0078 ADD_EDGE edge_id=e_6f377f257e53 source=n_c66f6c88a7e7 edge_type=refutes target=n_36cb3c80b5e4
t=0079 ADD_EDGE edge_id=e_a82aeed730c2 source=n_4cd822020fad edge_type=supports target=n_972f509a2adf
t=0080 ADD_EDGE edge_id=e_dabc94ad8bb6 source=n_ab91dee7ee03 edge_type=supports target=n_620c4106b9f5
t=0081 ADD_EDGE edge_id=e_3e957ab38bc7 source=n_75bc4f450f76 edge_type=supports target=n_8949dd264f20
t=0082 ADD_EDGE edge_id=e_5244f26cedf6 source=n_d8e7bbf0e477 edge_type=supports target=n_2a51f37b7cdd
t=0083 ADD_EDGE edge_id=e_31492c12856f source=n_72df73f089fc edge_type=refutes target=n_d8e7bbf0e477
t=0084 ADD_EDGE edge_id=e_870f014d77cf source=n_2cceabfd02a8 edge_type=refutes target=n_0897a0cdb045
t=0085 ADD_EDGE edge_id=e_195990a49a1b source=n_cecb4d74430b edge_type=supports target=n_3b49fd0a3adf
t=0086 ADD_EDGE edge_id=e_8b0d99722d31 source=n_3b49fd0a3adf edge_type=refutes target=n_b91f2e363c94
t=0087 ADD_EDGE edge_id=e_d2b1a9579ff3 source=n_3fcacc1be951 edge_type=refutes target=n_12583f49f3f9
t=0088 ADD_EDGE edge_id=e_bd77e22330f8 source=n_e8feba7fae17 edge_type=refutes target=n_c66f6c88a7e7
t=0089 ADD_EDGE edge_id=e_32eaec24749d source=n_2cceabfd02a8 edge_type=refutes target=n_3a8ef8ea6444
t=0090 ADD_EDGE edge_id=e_cb856ac367a5 source=n_4c8553a3e14d edge_type=supports target=n_ab91dee7ee03
t=0091 ADD_EDGE edge_id=e_4660f312a62b source=n_d2cb448d1954 edge_type=refutes target=n_4c3b2d5995be
t=0092 ADD_EDGE edge_id=e_c9c806140c8b source=n_36cb3c80b5e4 edge_type=supports target=n_4549d835d9bf
t=0093 ADD_EDGE edge_id=e_7ccd4f3c8993 source=n_1d03055611f7 edge_type=refutes target=n_61744493826b
t=0094 ADD_EDGE edge_id=e_e62fe795dd4f source=n_b91f2e363c94 edge_type=supports target=n_921784e9a9bc
t=0095 ADD_EDGE edge_id=e_74003fcbcd9f source=n_2b68122ac3e4 edge_type=refutes target=n_1a9fbfc738c7
t=0096 ADD_EDGE edge_id=e_8bc1354821a8 source=n_972f509a2adf edge_type=refutes target=n_00654b094744
t=0097 ADD_EDGE edge_id=e_96f2140f1188 source=n_2c051ffbb0f8 edge_type=refutes target=n_d2cb448d1954
t=0098 ADD_EDGE edge_id=e_e6f96350c8bc source=n_6faee1406ece edge_type=refutes target=n_a2de11193571
t=0099 ADD_EDGE edge_id=e_405dab998ce6 source=n_c6433b9ab70e edge_type=refutes target=n_1e5233419b0a
t=0100 ADD_EDGE edge_id=e_b009340784e2 source=n_2cceabfd02a8 edge_type=supports target=n_367f693073ea
t=0101 ADD_EDGE edge_id=e_7934593b2e63 source=n_2b68122ac3e4 edge_type=refutes target=n_63efff23c7c2
t=0102 ADD_EDGE edge_id=e_a870ac0e40fc source=n_972f509a2adf edge_type=supports target=n_7d1d25232b24
t=0103 ADD_EDGE edge_id=e_4ec18c1a72ee source=n_58888297eb63 edge_type=supports target=n_1d41b7b88759
t=0104 ADD_EDGE edge_id=e_88936b4fdb17 source=n_f28491f550c8 edge_type=supports target=n_2c051ffbb0f8
t=0105 ADD_EDGE edge_id=e_83b34717c824 source=n_4cd822020fad edge_type=refutes target=n_b74447e672f9
t=0106 ADD_EDGE edge_id=e_ff6d6f9612e3 source=n_c01a0f504eab edge_type=supports target=n_f28491f550c8
t=0107 ADD_EDGE edge_id=e_546de111d3fe source=n_348da1d56a51 edge_type=supports target=n_1933674bc1dc
t=0108 ADD_EDGE edge_id=e_fb9241991fda source=n_0897a0cdb045 edge_type=supports target=n_16c249fcd92a
t=0109 ADD_EDGE edge_id=e_37b0e1d78169 source=n_58888297eb63 edge_type=refutes target=n_75bc4f450f76
t=0110 ADD_EDGE edge_id=e_ca56bbafe8d3 source=n_3fcacc1be951 edge_type=refutes target=n_1ec3ffa1d341
t=0111 ADD_EDGE edge_id=e_c1ce7a6d6225 source=n_16c249fcd92a edge_type=refutes target=n_297561f53c30
t=0112 ADD_EDGE edge_id=e_8c420fccee4a source=n_1d41b7b88759 edge_type=supports target=n_ea549c50ab58
t=0113 ADD_EDGE edge_id=e_25351a73e4ae source=n_3a8ef8ea6444 edge_type=supports target=n_6faee1406ece
t=0114 ADD_EDGE edge_id=e_3b5389c7f275 source=n_f0814a41314a edge_type=supports target=n_66b42e9770be
t=0115 ADD_EDGE edge_id=e_d63b2736a8dc source=n_d29f6c73eaef edge_type=refutes target=n_ea2a72e57150
t=0116 ADD_EDGE edge_id=e_3710201ea5d2 source=n_29b2cca414de edge_type=supports target=n_b439ad92e8ec
t=0117 ADD_EDGE edge_id=e_bceb988c3c3f source=n_e06a11f11c9f edge_type=refutes target=n_eeafe1c5c502
t=0118 ADD_EDGE edge_id=e_44ac943f2f67 source=n_61744493826b edge_type=supports target=n_72df73f089fc
t=0119 ADD_EDGE edge_id=e_070c067403ce source=n_36cb3c80b5e4 edge_type=refutes target=n_ae1478c07dd6
t=0120 ADD_EDGE edge_id=e_8d2c08055786 source=n_58888297eb63 edge_type=refutes target=n_d29f6c73eaef
t=0121 ADD_EDGE edge_id=e_fc3747235e9e source=n_63efff23c7c2 edge_type=supports target=n_30201fd8aa5d
t=0122 ADD_EDGE edge_id=e_bc435a33ccfa source=n_b439ad92e8ec edge_type=supports target=n_bf57dcc17e93
t=0123 ADD_EDGE edge_id=e_651f95a98591 source=n_4cd822020fad edge_type=supports target=n_2457a56f5e66
t=0124 ADD_EDGE edge_id=e_df72b62f3079 source=n_120e2b4c4ee7 edge_type=refutes target=n_9edff43d8452
t=0125 ADD_EDGE edge_id=e_5c4e7d883e62 source=n_921784e9a9bc edge_type=refutes target=n_29b2cca414de
t=0126 ADD_EDGE edge_id=e_64e1135b03fb source=n_2cceabfd02a8 edge_type=refutes target=n_58888297eb63
t=0127 ADD_EDGE edge_id=e_0c8d1d5e4066 source=n_30201fd8aa5d edge_type=supports target=n_c01a0f504eab
t=0128 ADD_EDGE edge_id=e_f4b5a1300251 source=n_b439ad92e8ec edge_type=supports target=n_8b20ad7e72b5
t=0129 ADD_EDGE edge_id=e_76145745002b source=n_58888297eb63 edge_type=refutes target=n_120e2b4c4ee7
t=0130 ADD_EDGE edge_id=e_a7df74c8aab1 source=n_2457a56f5e66 edge_type=supports target=n_e06a11f11c9f
t=0131 ADD_EDGE edge_id=e_5c30916edc40 source=n_66b42e9770be edge_type=refutes target=n_2b68122ac3e4
t=0132 ADD_EDGE edge_id=e_6447321714d6 source=n_1e5233419b0a edge_type=refutes target=n_f0814a41314a
t=0133 ADD_EDGE edge_id=e_f02c31c9e545 source=n_4cd822020fad edge_type=supports target=n_2cceabfd02a8
t=0134 ADD_EDGE edge_id=e_01d26eecee63 source=n_2a51f37b7cdd edge_type=supports target=n_e8feba7fae17
t=0135 ADD_EDGE edge_id=e_377380068993 source=n_a3ce389160f2 edge_type=supports target=n_348da1d56a51
t=0136 ADD_EDGE edge_id=e_3690901f6dcb source=n_36cb3c80b5e4 edge_type=refutes target=n_4c8553a3e14d
t=0137 ADD_EDGE edge_id=e_3508b10c35d4 source=n_8b20ad7e72b5 edge_type=supports target=n_c6433b9ab70e
t=0138 ADD_EDGE edge_id=e_1afed699f07c source=n_3a8ef8ea6444 edge_type=refutes target=n_144e5f9b62db
t=0139 QUERY source=n_1d03055611f7 target=n_4c3b2d5995be
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.