[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_9bf63bf61673 node_type=claim
t=0001 CREATE_NODE id=n_c575e1c9a379 node_type=claim
t=0002 CREATE_NODE id=n_96dbfa46a658 node_type=claim
t=0003 CREATE_NODE id=n_3ee502fd7d8d node_type=claim
t=0004 CREATE_NODE id=n_a2f06a4f6d7d node_type=claim
t=0005 CREATE_NODE id=n_787de8e34b9e node_type=claim
t=0006 CREATE_NODE id=n_912bd2949379 node_type=claim
t=0007 CREATE_NODE id=n_0927c9362dce node_type=claim
t=0008 CREATE_NODE id=n_f6d57fc4f9d7 node_type=claim
t=0009 CREATE_NODE id=n_c4f04e29cdeb node_type=claim
t=0010 CREATE_NODE id=n_9f7a2d92d8d5 node_type=claim
t=0011 CREATE_NODE id=n_b8f311fa1ca0 node_type=claim
t=0012 CREATE_NODE id=n_1ad8c660beff node_type=claim
t=0013 CREATE_NODE id=n_b8da25850299 node_type=claim
t=0014 CREATE_NODE id=n_ebc1bbe08742 node_type=claim
t=0015 CREATE_NODE id=n_11245d20e4e5 node_type=claim
t=0016 CREATE_NODE id=n_e6aaed9f17b8 node_type=claim
t=0017 CREATE_NODE id=n_45cad3799ca6 node_type=claim
t=0018 CREATE_NODE id=n_b10aa703b3a3 node_type=claim
t=0019 CREATE_NODE id=n_827771d4bfa0 node_type=claim
t=0020 CREATE_NODE id=n_03a42c1a5053 node_type=claim
t=0021 CREATE_NODE id=n_ddf018ea1012 node_type=claim
t=0022 CREATE_NODE id=n_7bfc0ed135fb node_type=claim
t=0023 CREATE_NODE id=n_987fa4e6ef59 node_type=claim
t=0024 CREATE_NODE id=n_8e9b89391fea node_type=claim
t=0025 CREATE_NODE id=n_dcf5a839d700 node_type=claim
t=0026 CREATE_NODE id=n_2111fd6da573 node_type=claim
t=0027 CREATE_NODE id=n_ebe3aadde47c node_type=claim
t=0028 CREATE_NODE id=n_4e9267a0b38d node_type=claim
t=0029 CREATE_NODE id=n_330026424d60 node_type=claim
t=0030 CREATE_NODE id=n_b016fc33c60e node_type=claim
t=0031 CREATE_NODE id=n_f861d4ed4ca8 node_type=claim
t=0032 CREATE_NODE id=n_4cf585bd1505 node_type=claim
t=0033 CREATE_NODE id=n_8f626e0aa31b node_type=claim
t=0034 CREATE_NODE id=n_63fe2e583940 node_type=claim
t=0035 CREATE_NODE id=n_3d344d2690b7 node_type=claim
t=0036 CREATE_NODE id=n_3aac1e81df38 node_type=claim
t=0037 CREATE_NODE id=n_5733cd6c1ca0 node_type=claim
t=0038 CREATE_NODE id=n_970e1a67db51 node_type=claim
t=0039 CREATE_NODE id=n_5a9e7dc31af6 node_type=claim
t=0040 CREATE_NODE id=n_a9aa477f9da0 node_type=claim
t=0041 CREATE_NODE id=n_92cf9be0e9b4 node_type=claim
t=0042 CREATE_NODE id=n_a9c913595f71 node_type=claim
t=0043 CREATE_NODE id=n_eefcd92cf7ac node_type=claim
t=0044 CREATE_NODE id=n_a4d8f24eac25 node_type=claim
t=0045 CREATE_NODE id=n_ef656a0c447b node_type=claim
t=0046 CREATE_NODE id=n_744b71692049 node_type=claim
t=0047 CREATE_NODE id=n_1ce934c54290 node_type=claim
t=0048 CREATE_NODE id=n_0cd124e0fc23 node_type=claim
t=0049 CREATE_NODE id=n_f757093bfaa3 node_type=claim
t=0050 CREATE_NODE id=n_ec9cb33f4b35 node_type=claim
t=0051 CREATE_NODE id=n_ffe7e6eb449b node_type=claim
t=0052 CREATE_NODE id=n_0ffeebd2970d node_type=claim
t=0053 CREATE_NODE id=n_bd3efedcbd86 node_type=claim
t=0054 CREATE_NODE id=n_fd368edefd59 node_type=claim
t=0055 CREATE_NODE id=n_6b9fa679dcdd node_type=claim
t=0056 CREATE_NODE id=n_d1ec2663fd61 node_type=claim
t=0057 CREATE_NODE id=n_c4bc1137d453 node_type=claim
t=0058 CREATE_NODE id=n_89797923468e node_type=claim
t=0059 CREATE_NODE id=n_c91d7c232709 node_type=claim
t=0060 CREATE_NODE id=n_65af93975a66 node_type=claim
t=0061 CREATE_NODE id=n_e86d75052605 node_type=claim
t=0062 CREATE_NODE id=n_edf330382c53 node_type=claim
t=0063 CREATE_NODE id=n_8c149bddc63c node_type=claim
t=0064 CREATE_NODE id=n_c01aef44e6a1 node_type=claim
t=0065 CREATE_NODE id=n_125137d9e0e2 node_type=claim
t=0066 CREATE_NODE id=n_5df342b679e1 node_type=claim
t=0067 CREATE_NODE id=n_fd3217adfbb9 node_type=claim
t=0068 CREATE_NODE id=n_ca4891808a2b node_type=claim
t=0069 CREATE_NODE id=n_7ba3fae0c2cd node_type=claim
t=0070 ASSERT_ROOT node=n_c01aef44e6a1 value=FALSE
t=0071 ADD_EDGE edge_id=e_35609d8e02b6 source=n_92cf9be0e9b4 edge_type=supports target=n_787de8e34b9e
t=0072 ADD_EDGE edge_id=e_ae1a3233382d source=n_0927c9362dce edge_type=refutes target=n_5df342b679e1
t=0073 ADD_EDGE edge_id=e_4ce061d671aa source=n_9f7a2d92d8d5 edge_type=supports target=n_987fa4e6ef59
t=0074 ADD_EDGE edge_id=e_c09179104025 source=n_970e1a67db51 edge_type=refutes target=n_ca4891808a2b
t=0075 ADD_EDGE edge_id=e_03999a0d2422 source=n_b8da25850299 edge_type=supports target=n_edf330382c53
t=0076 ADD_EDGE edge_id=e_ab99aed119e8 source=n_0927c9362dce edge_type=supports target=n_89797923468e
t=0077 ADD_EDGE edge_id=e_732d52241ad2 source=n_9f7a2d92d8d5 edge_type=supports target=n_c4f04e29cdeb
t=0078 ADD_EDGE edge_id=e_55791c65881f source=n_ffe7e6eb449b edge_type=supports target=n_744b71692049
t=0079 ADD_EDGE edge_id=e_022195bfb079 source=n_96dbfa46a658 edge_type=supports target=n_eefcd92cf7ac
t=0080 ADD_EDGE edge_id=e_67b074a38349 source=n_3aac1e81df38 edge_type=refutes target=n_7bfc0ed135fb
t=0081 ADD_EDGE edge_id=e_aa6bbddde69a source=n_edf330382c53 edge_type=refutes target=n_f6d57fc4f9d7
t=0082 ADD_EDGE edge_id=e_0c1c2541ef27 source=n_827771d4bfa0 edge_type=refutes target=n_fd3217adfbb9
t=0083 ADD_EDGE edge_id=e_d1a256b9b997 source=n_65af93975a66 edge_type=supports target=n_ffe7e6eb449b
t=0084 ADD_EDGE edge_id=e_2c3c77193dfd source=n_ddf018ea1012 edge_type=supports target=n_63fe2e583940
t=0085 ADD_EDGE edge_id=e_5d2cf13562fe source=n_dcf5a839d700 edge_type=refutes target=n_6b9fa679dcdd
t=0086 ADD_EDGE edge_id=e_ebba417059e8 source=n_7bfc0ed135fb edge_type=refutes target=n_8f626e0aa31b
t=0087 ADD_EDGE edge_id=e_4540aefd7509 source=n_0927c9362dce edge_type=refutes target=n_3d344d2690b7
t=0088 ADD_EDGE edge_id=e_74b9115c2c5d source=n_0927c9362dce edge_type=supports target=n_9f7a2d92d8d5
t=0089 ADD_EDGE edge_id=e_785779484d50 source=n_eefcd92cf7ac edge_type=refutes target=n_c4bc1137d453
t=0090 ADD_EDGE edge_id=e_cf4f7a0d0570 source=n_8f626e0aa31b edge_type=supports target=n_b8da25850299
t=0091 ADD_EDGE edge_id=e_c5786280da8e source=n_a2f06a4f6d7d edge_type=refutes target=n_e86d75052605
t=0092 ADD_EDGE edge_id=e_2db8b7ffbfe5 source=n_c01aef44e6a1 edge_type=refutes target=n_1ce934c54290
t=0093 ADD_EDGE edge_id=e_b720c8cece7a source=n_fd368edefd59 edge_type=supports target=n_b016fc33c60e
t=0094 ADD_EDGE edge_id=e_cd882d7b6765 source=n_e6aaed9f17b8 edge_type=supports target=n_0cd124e0fc23
t=0095 ADD_EDGE edge_id=e_10bb3f6da8eb source=n_89797923468e edge_type=refutes target=n_a2f06a4f6d7d
t=0096 ADD_EDGE edge_id=e_b6063922f745 source=n_ef656a0c447b edge_type=supports target=n_f757093bfaa3
t=0097 ADD_EDGE edge_id=e_920dac738bde source=n_9bf63bf61673 edge_type=supports target=n_3aac1e81df38
t=0098 ADD_EDGE edge_id=e_08251ca4ec8d source=n_ca4891808a2b edge_type=refutes target=n_03a42c1a5053
t=0099 ADD_EDGE edge_id=e_4a1200123d34 source=n_bd3efedcbd86 edge_type=supports target=n_125137d9e0e2
t=0100 ADD_EDGE edge_id=e_86b63d30c245 source=n_a9c913595f71 edge_type=refutes target=n_a9aa477f9da0
t=0101 ADD_EDGE edge_id=e_d82b59760977 source=n_787de8e34b9e edge_type=supports target=n_ddf018ea1012
t=0102 ADD_EDGE edge_id=e_94e7e1ac4191 source=n_3d344d2690b7 edge_type=refutes target=n_970e1a67db51
t=0103 ADD_EDGE edge_id=e_f834d07b038d source=n_a9aa477f9da0 edge_type=refutes target=n_9bf63bf61673
t=0104 ADD_EDGE edge_id=e_34b35c447c2a source=n_1ce934c54290 edge_type=refutes target=n_5733cd6c1ca0
t=0105 ADD_EDGE edge_id=e_142409f53ad5 source=n_a2f06a4f6d7d edge_type=supports target=n_2111fd6da573
t=0106 ADD_EDGE edge_id=e_696301ba70a1 source=n_ca4891808a2b edge_type=supports target=n_4e9267a0b38d
t=0107 ADD_EDGE edge_id=e_e3c8a0fdf403 source=n_c4bc1137d453 edge_type=refutes target=n_8c149bddc63c
t=0108 ADD_EDGE edge_id=e_6b73a21bf03d source=n_0927c9362dce edge_type=supports target=n_bd3efedcbd86
t=0109 ADD_EDGE edge_id=e_7f8a59d0cd82 source=n_5df342b679e1 edge_type=refutes target=n_1ad8c660beff
t=0110 ADD_EDGE edge_id=e_63145aedffd6 source=n_89797923468e edge_type=supports target=n_ebc1bbe08742
t=0111 ADD_EDGE edge_id=e_ac5b6608f87d source=n_7ba3fae0c2cd edge_type=refutes target=n_c575e1c9a379
t=0112 ADD_EDGE edge_id=e_602b6c4d47c1 source=n_45cad3799ca6 edge_type=supports target=n_c91d7c232709
t=0113 ADD_EDGE edge_id=e_5a7f456febbf source=n_89797923468e edge_type=refutes target=n_330026424d60
t=0114 ADD_EDGE edge_id=e_949c4b90ec24 source=n_b016fc33c60e edge_type=supports target=n_65af93975a66
t=0115 ADD_EDGE edge_id=e_1d641fd91699 source=n_987fa4e6ef59 edge_type=refutes target=n_11245d20e4e5
t=0116 ADD_EDGE edge_id=e_6375c2a62816 source=n_3ee502fd7d8d edge_type=supports target=n_a9c913595f71
t=0117 ADD_EDGE edge_id=e_1140e28f7bb4 source=n_0ffeebd2970d edge_type=refutes target=n_92cf9be0e9b4
t=0118 ADD_EDGE edge_id=e_c8dea1b3fea2 source=n_9bf63bf61673 edge_type=supports target=n_a4d8f24eac25
t=0119 ADD_EDGE edge_id=e_c8cba21f6153 source=n_0927c9362dce edge_type=supports target=n_dcf5a839d700
t=0120 ADD_EDGE edge_id=e_4103ce88554d source=n_5df342b679e1 edge_type=supports target=n_4cf585bd1505
t=0121 ADD_EDGE edge_id=e_c3f37e6b3906 source=n_970e1a67db51 edge_type=refutes target=n_827771d4bfa0
t=0122 ADD_EDGE edge_id=e_f6480c468244 source=n_9f7a2d92d8d5 edge_type=supports target=n_ef656a0c447b
t=0123 ADD_EDGE edge_id=e_c1dbf28ddea0 source=n_bd3efedcbd86 edge_type=refutes target=n_b8f311fa1ca0
t=0124 ADD_EDGE edge_id=e_5c1a156dd703 source=n_89797923468e edge_type=refutes target=n_f861d4ed4ca8
t=0125 ADD_EDGE edge_id=e_e98c9176eaa6 source=n_987fa4e6ef59 edge_type=refutes target=n_7ba3fae0c2cd
t=0126 ADD_EDGE edge_id=e_ad87a6e3f728 source=n_c4bc1137d453 edge_type=refutes target=n_ebe3aadde47c
t=0127 ADD_EDGE edge_id=e_400e9d70f883 source=n_f6d57fc4f9d7 edge_type=refutes target=n_5a9e7dc31af6
t=0128 ADD_EDGE edge_id=e_99ef52547e1f source=n_3ee502fd7d8d edge_type=supports target=n_8e9b89391fea
t=0129 ADD_EDGE edge_id=e_303c67195aa3 source=n_ec9cb33f4b35 edge_type=supports target=n_0ffeebd2970d
t=0130 ADD_EDGE edge_id=e_f124fa6ed44b source=n_a2f06a4f6d7d edge_type=refutes target=n_d1ec2663fd61
t=0131 ADD_EDGE edge_id=e_28e1db6f118c source=n_c91d7c232709 edge_type=supports target=n_3ee502fd7d8d
t=0132 ADD_EDGE edge_id=e_70b0a9cbbd4c source=n_744b71692049 edge_type=refutes target=n_ec9cb33f4b35
t=0133 ADD_EDGE edge_id=e_ebed4484689d source=n_63fe2e583940 edge_type=refutes target=n_45cad3799ca6
t=0134 ADD_EDGE edge_id=e_247f58ae5bed source=n_5a9e7dc31af6 edge_type=supports target=n_b10aa703b3a3
t=0135 ADD_EDGE edge_id=e_c944d5c2226e source=n_f861d4ed4ca8 edge_type=refutes target=n_912bd2949379
t=0136 ADD_EDGE edge_id=e_7c842fce33f8 source=n_1ce934c54290 edge_type=refutes target=n_fd368edefd59
t=0137 ADD_EDGE edge_id=e_ebfd4b3a3b1e source=n_b10aa703b3a3 edge_type=supports target=n_96dbfa46a658
t=0138 ADD_EDGE edge_id=e_2931a3b2522e source=n_0927c9362dce edge_type=supports target=n_e6aaed9f17b8
t=0139 QUERY source=n_c01aef44e6a1 target=n_8c149bddc63c
[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_21d48132bfcb node_type=claim
t=0001 CREATE_NODE id=n_7bf342f7af79 node_type=claim
t=0002 CREATE_NODE id=n_19a19bece89f node_type=claim
t=0003 CREATE_NODE id=n_f11bb9d916fe node_type=claim
t=0004 CREATE_NODE id=n_7e77c8273fc3 node_type=claim
t=0005 CREATE_NODE id=n_cea5b0856600 node_type=claim
t=0006 CREATE_NODE id=n_94bd60695849 node_type=claim
t=0007 CREATE_NODE id=n_b470e4364506 node_type=claim
t=0008 CREATE_NODE id=n_165a763bd446 node_type=claim
t=0009 CREATE_NODE id=n_f1ce374cc2fd node_type=claim
t=0010 CREATE_NODE id=n_896a653f91d7 node_type=claim
t=0011 CREATE_NODE id=n_a459a36005bb node_type=claim
t=0012 CREATE_NODE id=n_ef7b5dea5c80 node_type=claim
t=0013 CREATE_NODE id=n_826f0d19bde0 node_type=claim
t=0014 CREATE_NODE id=n_800ad2f8e4fc node_type=claim
t=0015 CREATE_NODE id=n_657f96038aa2 node_type=claim
t=0016 CREATE_NODE id=n_fb54bed50428 node_type=claim
t=0017 CREATE_NODE id=n_732b53bbe4f3 node_type=claim
t=0018 CREATE_NODE id=n_5a0eb0acb3bf node_type=claim
t=0019 CREATE_NODE id=n_416f43e91219 node_type=claim
t=0020 CREATE_NODE id=n_b19f82a661e7 node_type=claim
t=0021 CREATE_NODE id=n_ab77e74f3dc8 node_type=claim
t=0022 CREATE_NODE id=n_56d121353a9e node_type=claim
t=0023 CREATE_NODE id=n_3fef948e4830 node_type=claim
t=0024 CREATE_NODE id=n_7c84893aae40 node_type=claim
t=0025 CREATE_NODE id=n_2bdb1c64d210 node_type=claim
t=0026 CREATE_NODE id=n_bb657759984b node_type=claim
t=0027 CREATE_NODE id=n_a922fbfd7f5d node_type=claim
t=0028 CREATE_NODE id=n_b475055ada54 node_type=claim
t=0029 CREATE_NODE id=n_9fed453b883b node_type=claim
t=0030 CREATE_NODE id=n_a5db5fa3b713 node_type=claim
t=0031 CREATE_NODE id=n_8957a04c2c1b node_type=claim
t=0032 CREATE_NODE id=n_9e80cabb02bd node_type=claim
t=0033 CREATE_NODE id=n_bffa601ef83c node_type=claim
t=0034 CREATE_NODE id=n_e09516877030 node_type=claim
t=0035 CREATE_NODE id=n_1a942ceff21a node_type=claim
t=0036 CREATE_NODE id=n_1acdca25af4b node_type=claim
t=0037 CREATE_NODE id=n_88b5a1290388 node_type=claim
t=0038 CREATE_NODE id=n_b4980ea652f0 node_type=claim
t=0039 CREATE_NODE id=n_68fb6e858c17 node_type=claim
t=0040 CREATE_NODE id=n_1a76ddfb14cf node_type=claim
t=0041 CREATE_NODE id=n_a48bb08ea9cf node_type=claim
t=0042 CREATE_NODE id=n_783c1b031a60 node_type=claim
t=0043 CREATE_NODE id=n_5638d2887517 node_type=claim
t=0044 CREATE_NODE id=n_2d0306b5c563 node_type=claim
t=0045 CREATE_NODE id=n_c5e466712158 node_type=claim
t=0046 CREATE_NODE id=n_482603acebc5 node_type=claim
t=0047 CREATE_NODE id=n_b4af1862f2ec node_type=claim
t=0048 CREATE_NODE id=n_e033d8d57e27 node_type=claim
t=0049 CREATE_NODE id=n_a3391ff0d26f node_type=claim
t=0050 CREATE_NODE id=n_6c99893db0ea node_type=claim
t=0051 CREATE_NODE id=n_eb7520808a16 node_type=claim
t=0052 CREATE_NODE id=n_180db99d4f12 node_type=claim
t=0053 CREATE_NODE id=n_dc075d82a497 node_type=claim
t=0054 CREATE_NODE id=n_997971861ce8 node_type=claim
t=0055 CREATE_NODE id=n_d4e8ec24d00d node_type=claim
t=0056 CREATE_NODE id=n_8c57ead637db node_type=claim
t=0057 CREATE_NODE id=n_d698e98cb34f node_type=claim
t=0058 CREATE_NODE id=n_405a9ea601b9 node_type=claim
t=0059 CREATE_NODE id=n_0f238e9b1c3a node_type=claim
t=0060 CREATE_NODE id=n_25ba3e550270 node_type=claim
t=0061 CREATE_NODE id=n_7d22183d11ab node_type=claim
t=0062 CREATE_NODE id=n_0ded9f2d23b7 node_type=claim
t=0063 CREATE_NODE id=n_d824bac08ee9 node_type=claim
t=0064 CREATE_NODE id=n_90e55bb7e167 node_type=claim
t=0065 CREATE_NODE id=n_d38bfa435bdf node_type=claim
t=0066 CREATE_NODE id=n_7f43420938f2 node_type=claim
t=0067 CREATE_NODE id=n_a7f29869ee4b node_type=claim
t=0068 CREATE_NODE id=n_483be85071e2 node_type=claim
t=0069 CREATE_NODE id=n_8dd5699b472f node_type=claim
t=0070 ASSERT_ROOT node=n_8957a04c2c1b value=TRUE
t=0071 ADD_EDGE edge_id=e_7de3895c5ee5 source=n_826f0d19bde0 edge_type=refutes target=n_b475055ada54
t=0072 ADD_EDGE edge_id=e_d8279bd114c1 source=n_a48bb08ea9cf edge_type=refutes target=n_bffa601ef83c
t=0073 ADD_EDGE edge_id=e_74072ee529c3 source=n_180db99d4f12 edge_type=refutes target=n_e09516877030
t=0074 ADD_EDGE edge_id=e_4366cb729ac2 source=n_783c1b031a60 edge_type=supports target=n_6c99893db0ea
t=0075 ADD_EDGE edge_id=e_560bc23b020d source=n_b475055ada54 edge_type=supports target=n_b470e4364506
t=0076 ADD_EDGE edge_id=e_304aeecdadc1 source=n_1acdca25af4b edge_type=supports target=n_8dd5699b472f
t=0077 ADD_EDGE edge_id=e_ee2313fa7555 source=n_483be85071e2 edge_type=refutes target=n_0ded9f2d23b7
t=0078 ADD_EDGE edge_id=e_a4eab84431d5 source=n_21d48132bfcb edge_type=supports target=n_8c57ead637db
t=0079 ADD_EDGE edge_id=e_61a29b2b75ab source=n_165a763bd446 edge_type=supports target=n_eb7520808a16
t=0080 ADD_EDGE edge_id=e_3cbbfb2669a1 source=n_b19f82a661e7 edge_type=refutes target=n_657f96038aa2
t=0081 ADD_EDGE edge_id=e_c4bccc9d7ac4 source=n_165a763bd446 edge_type=refutes target=n_5a0eb0acb3bf
t=0082 ADD_EDGE edge_id=e_1945c1723de6 source=n_7bf342f7af79 edge_type=supports target=n_826f0d19bde0
t=0083 ADD_EDGE edge_id=e_d352a86d0b73 source=n_7f43420938f2 edge_type=supports target=n_e033d8d57e27
t=0084 ADD_EDGE edge_id=e_b7a1c0cb4fd2 source=n_a48bb08ea9cf edge_type=supports target=n_7c84893aae40
t=0085 ADD_EDGE edge_id=e_b3e7a203a63e source=n_d698e98cb34f edge_type=refutes target=n_d824bac08ee9
t=0086 ADD_EDGE edge_id=e_84e71e3094f5 source=n_b19f82a661e7 edge_type=refutes target=n_b4af1862f2ec
t=0087 ADD_EDGE edge_id=e_88761d5977db source=n_405a9ea601b9 edge_type=refutes target=n_1acdca25af4b
t=0088 ADD_EDGE edge_id=e_bda8b52f890c source=n_7f43420938f2 edge_type=refutes target=n_fb54bed50428
t=0089 ADD_EDGE edge_id=e_ac7f118b974b source=n_9fed453b883b edge_type=refutes target=n_896a653f91d7
t=0090 ADD_EDGE edge_id=e_6036a83ceab5 source=n_d824bac08ee9 edge_type=supports target=n_1a942ceff21a
t=0091 ADD_EDGE edge_id=e_f0c75bc53bf6 source=n_a48bb08ea9cf edge_type=supports target=n_c5e466712158
t=0092 ADD_EDGE edge_id=e_71ababcb6584 source=n_a48bb08ea9cf edge_type=refutes target=n_a3391ff0d26f
t=0093 ADD_EDGE edge_id=e_83d91dd024b1 source=n_8c57ead637db edge_type=refutes target=n_f1ce374cc2fd
t=0094 ADD_EDGE edge_id=e_339e45f783c9 source=n_7e77c8273fc3 edge_type=supports target=n_732b53bbe4f3
t=0095 ADD_EDGE edge_id=e_701fa81e00dd source=n_0ded9f2d23b7 edge_type=supports target=n_ef7b5dea5c80
t=0096 ADD_EDGE edge_id=e_1588603044b8 source=n_b470e4364506 edge_type=supports target=n_0f238e9b1c3a
t=0097 ADD_EDGE edge_id=e_c9bc7936321c source=n_a48bb08ea9cf edge_type=supports target=n_2bdb1c64d210
t=0098 ADD_EDGE edge_id=e_560756548f9c source=n_d4e8ec24d00d edge_type=supports target=n_ab77e74f3dc8
t=0099 ADD_EDGE edge_id=e_1f3df5da59f7 source=n_0f238e9b1c3a edge_type=supports target=n_405a9ea601b9
t=0100 ADD_EDGE edge_id=e_6d688f136516 source=n_25ba3e550270 edge_type=supports target=n_56d121353a9e
t=0101 ADD_EDGE edge_id=e_e344f53c6c73 source=n_25ba3e550270 edge_type=supports target=n_d38bfa435bdf
t=0102 ADD_EDGE edge_id=e_fb17d2a0f78d source=n_8957a04c2c1b edge_type=supports target=n_a5db5fa3b713
t=0103 ADD_EDGE edge_id=e_6623d1da6e7e source=n_25ba3e550270 edge_type=refutes target=n_7d22183d11ab
t=0104 ADD_EDGE edge_id=e_5bf4bc87d617 source=n_9fed453b883b edge_type=supports target=n_783c1b031a60
t=0105 ADD_EDGE edge_id=e_16866aad2ca4 source=n_416f43e91219 edge_type=supports target=n_d698e98cb34f
t=0106 ADD_EDGE edge_id=e_eb827d915006 source=n_19a19bece89f edge_type=supports target=n_5638d2887517
t=0107 ADD_EDGE edge_id=e_49656d56a8d4 source=n_a5db5fa3b713 edge_type=refutes target=n_1a76ddfb14cf
t=0108 ADD_EDGE edge_id=e_166655b804b0 source=n_2bdb1c64d210 edge_type=refutes target=n_cea5b0856600
t=0109 ADD_EDGE edge_id=e_e81d088e37a3 source=n_5a0eb0acb3bf edge_type=refutes target=n_7bf342f7af79
t=0110 ADD_EDGE edge_id=e_122691dfd1ec source=n_482603acebc5 edge_type=supports target=n_a48bb08ea9cf
t=0111 ADD_EDGE edge_id=e_11a28487334b source=n_c5e466712158 edge_type=refutes target=n_88b5a1290388
t=0112 ADD_EDGE edge_id=e_ad1f614164eb source=n_7d22183d11ab edge_type=refutes target=n_f11bb9d916fe
t=0113 ADD_EDGE edge_id=e_0886aba9bbd6 source=n_c5e466712158 edge_type=refutes target=n_b19f82a661e7
t=0114 ADD_EDGE edge_id=e_02741ab5e57b source=n_a3391ff0d26f edge_type=refutes target=n_b4980ea652f0
t=0115 ADD_EDGE edge_id=e_84871c9065a8 source=n_8dd5699b472f edge_type=refutes target=n_68fb6e858c17
t=0116 ADD_EDGE edge_id=e_fd5af2b987b2 source=n_732b53bbe4f3 edge_type=supports target=n_a7f29869ee4b
t=0117 ADD_EDGE edge_id=e_5db6a5bac2fb source=n_8dd5699b472f edge_type=supports target=n_a459a36005bb
t=0118 ADD_EDGE edge_id=e_9506dbc0fc28 source=n_bffa601ef83c edge_type=refutes target=n_9e80cabb02bd
t=0119 ADD_EDGE edge_id=e_52e4b52f6d52 source=n_f1ce374cc2fd edge_type=refutes target=n_165a763bd446
t=0120 ADD_EDGE edge_id=e_eb614f4d2b5f source=n_c5e466712158 edge_type=refutes target=n_d4e8ec24d00d
t=0121 ADD_EDGE edge_id=e_fcddc60497bf source=n_180db99d4f12 edge_type=supports target=n_dc075d82a497
t=0122 ADD_EDGE edge_id=e_b6d4f52ab9f8 source=n_a7f29869ee4b edge_type=refutes target=n_21d48132bfcb
t=0123 ADD_EDGE edge_id=e_6c055319084a source=n_482603acebc5 edge_type=refutes target=n_90e55bb7e167
t=0124 ADD_EDGE edge_id=e_be31bb3aaa66 source=n_88b5a1290388 edge_type=supports target=n_180db99d4f12
t=0125 ADD_EDGE edge_id=e_480187a59011 source=n_ef7b5dea5c80 edge_type=supports target=n_19a19bece89f
t=0126 ADD_EDGE edge_id=e_04cbbe51a3ac source=n_3fef948e4830 edge_type=supports target=n_416f43e91219
t=0127 ADD_EDGE edge_id=e_84be983bfa69 source=n_2bdb1c64d210 edge_type=refutes target=n_a922fbfd7f5d
t=0128 ADD_EDGE edge_id=e_0f08ccbc0644 source=n_9fed453b883b edge_type=refutes target=n_800ad2f8e4fc
t=0129 ADD_EDGE edge_id=e_0c10b2d2fd14 source=n_1a76ddfb14cf edge_type=supports target=n_483be85071e2
t=0130 ADD_EDGE edge_id=e_e1dd92c5ddc3 source=n_2d0306b5c563 edge_type=supports target=n_7e77c8273fc3
t=0131 ADD_EDGE edge_id=e_3bfd9a63e514 source=n_f1ce374cc2fd edge_type=refutes target=n_bb657759984b
t=0132 ADD_EDGE edge_id=e_bfe39b1bf22b source=n_5638d2887517 edge_type=supports target=n_2d0306b5c563
t=0133 ADD_EDGE edge_id=e_e31cc49e48c0 source=n_896a653f91d7 edge_type=supports target=n_7f43420938f2
t=0134 ADD_EDGE edge_id=e_b65fc8eac903 source=n_482603acebc5 edge_type=refutes target=n_9fed453b883b
t=0135 ADD_EDGE edge_id=e_d68f15e4750c source=n_482603acebc5 edge_type=refutes target=n_25ba3e550270
t=0136 ADD_EDGE edge_id=e_71d136db7d38 source=n_88b5a1290388 edge_type=supports target=n_997971861ce8
t=0137 ADD_EDGE edge_id=e_6a899ec9dca0 source=n_b470e4364506 edge_type=refutes target=n_94bd60695849
t=0138 ADD_EDGE edge_id=e_7519c895f7ea source=n_68fb6e858c17 edge_type=refutes target=n_3fef948e4830
t=0139 QUERY source=n_8957a04c2c1b target=n_1a942ceff21a
[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_6f34c1e6ea12 node_type=claim
t=0001 CREATE_NODE id=n_eaa454e511d6 node_type=claim
t=0002 CREATE_NODE id=n_f912f6df937b node_type=claim
t=0003 CREATE_NODE id=n_425f01799282 node_type=claim
t=0004 CREATE_NODE id=n_42e04a0d5012 node_type=claim
t=0005 CREATE_NODE id=n_ca4c28d3a3cd node_type=claim
t=0006 CREATE_NODE id=n_13f2f4e561c7 node_type=claim
t=0007 CREATE_NODE id=n_ca38ddbc71ab node_type=claim
t=0008 CREATE_NODE id=n_23c1ef6a17d9 node_type=claim
t=0009 CREATE_NODE id=n_cbeb7118e366 node_type=claim
t=0010 CREATE_NODE id=n_349d87e039ab node_type=claim
t=0011 CREATE_NODE id=n_f9967ce3849c node_type=claim
t=0012 CREATE_NODE id=n_355bf0ce75c1 node_type=claim
t=0013 CREATE_NODE id=n_97113799d73b node_type=claim
t=0014 CREATE_NODE id=n_b39b640edc61 node_type=claim
t=0015 CREATE_NODE id=n_332538325693 node_type=claim
t=0016 CREATE_NODE id=n_acec4a85c2a1 node_type=claim
t=0017 CREATE_NODE id=n_5555a3ee5133 node_type=claim
t=0018 CREATE_NODE id=n_d8b59400238c node_type=claim
t=0019 CREATE_NODE id=n_364e612917e4 node_type=claim
t=0020 CREATE_NODE id=n_c0fbbe269627 node_type=claim
t=0021 CREATE_NODE id=n_a4b3870fcf2c node_type=claim
t=0022 CREATE_NODE id=n_3c655deae1a6 node_type=claim
t=0023 CREATE_NODE id=n_d44cc28e3069 node_type=claim
t=0024 CREATE_NODE id=n_934a4740898c node_type=claim
t=0025 CREATE_NODE id=n_c8fc1bba5bb6 node_type=claim
t=0026 CREATE_NODE id=n_1ebcf9ef630a node_type=claim
t=0027 CREATE_NODE id=n_92bd30e1a920 node_type=claim
t=0028 CREATE_NODE id=n_48cfd609a385 node_type=claim
t=0029 CREATE_NODE id=n_6507ec5a682b node_type=claim
t=0030 CREATE_NODE id=n_228c7b01ef83 node_type=claim
t=0031 CREATE_NODE id=n_0670f4156082 node_type=claim
t=0032 CREATE_NODE id=n_375d6e211e92 node_type=claim
t=0033 CREATE_NODE id=n_b9ee13f351ec node_type=claim
t=0034 CREATE_NODE id=n_9c069a90c262 node_type=claim
t=0035 CREATE_NODE id=n_9eff4b462c62 node_type=claim
t=0036 CREATE_NODE id=n_8838adb8ea1e node_type=claim
t=0037 CREATE_NODE id=n_63b9aafe0375 node_type=claim
t=0038 CREATE_NODE id=n_4e51aa26174a node_type=claim
t=0039 CREATE_NODE id=n_0c60aa3fa1a0 node_type=claim
t=0040 CREATE_NODE id=n_ac435b748fc4 node_type=claim
t=0041 CREATE_NODE id=n_f0a8c26fdc10 node_type=claim
t=0042 CREATE_NODE id=n_b9391d09bb27 node_type=claim
t=0043 CREATE_NODE id=n_8aebb3b3d940 node_type=claim
t=0044 CREATE_NODE id=n_643dfce1c5f7 node_type=claim
t=0045 CREATE_NODE id=n_8d661305183d node_type=claim
t=0046 CREATE_NODE id=n_0c7244f4c0af node_type=claim
t=0047 CREATE_NODE id=n_07a027d1b824 node_type=claim
t=0048 CREATE_NODE id=n_224a016df9d5 node_type=claim
t=0049 CREATE_NODE id=n_fd0e3a8268d0 node_type=claim
t=0050 CREATE_NODE id=n_a4acc9d51274 node_type=claim
t=0051 CREATE_NODE id=n_9b8872922e97 node_type=claim
t=0052 CREATE_NODE id=n_bff258a790d5 node_type=claim
t=0053 CREATE_NODE id=n_d3476ef90507 node_type=claim
t=0054 CREATE_NODE id=n_5cab0d9a46d9 node_type=claim
t=0055 CREATE_NODE id=n_3ae247884091 node_type=claim
t=0056 CREATE_NODE id=n_a9bca7d80f69 node_type=claim
t=0057 CREATE_NODE id=n_747210fb9c08 node_type=claim
t=0058 CREATE_NODE id=n_19ea61887b75 node_type=claim
t=0059 CREATE_NODE id=n_594556396f39 node_type=claim
t=0060 CREATE_NODE id=n_18f7fdf33d46 node_type=claim
t=0061 CREATE_NODE id=n_db4666235812 node_type=claim
t=0062 CREATE_NODE id=n_1ab2d3ea49af node_type=claim
t=0063 CREATE_NODE id=n_f3e8eb328107 node_type=claim
t=0064 CREATE_NODE id=n_dfd129a7107f node_type=claim
t=0065 CREATE_NODE id=n_06a8e1df2abc node_type=claim
t=0066 CREATE_NODE id=n_25c96a486a82 node_type=claim
t=0067 CREATE_NODE id=n_d955eb7cca3f node_type=claim
t=0068 CREATE_NODE id=n_8027008ab3a3 node_type=claim
t=0069 CREATE_NODE id=n_743ca88a9292 node_type=claim
t=0070 ASSERT_ROOT node=n_228c7b01ef83 value=FALSE
t=0071 ADD_EDGE edge_id=e_1822c5c4433c source=n_a9bca7d80f69 edge_type=supports target=n_f3e8eb328107
t=0072 ADD_EDGE edge_id=e_fdb7aa6c19b0 source=n_b9ee13f351ec edge_type=supports target=n_8027008ab3a3
t=0073 ADD_EDGE edge_id=e_5881be25f5fa source=n_19ea61887b75 edge_type=refutes target=n_355bf0ce75c1
t=0074 ADD_EDGE edge_id=e_334a130b64ce source=n_cbeb7118e366 edge_type=refutes target=n_c8fc1bba5bb6
t=0075 ADD_EDGE edge_id=e_411b4c64e551 source=n_f9967ce3849c edge_type=refutes target=n_1ab2d3ea49af
t=0076 ADD_EDGE edge_id=e_f46f65191688 source=n_643dfce1c5f7 edge_type=supports target=n_224a016df9d5
t=0077 ADD_EDGE edge_id=e_97172202e1f3 source=n_cbeb7118e366 edge_type=refutes target=n_643dfce1c5f7
t=0078 ADD_EDGE edge_id=e_71c5686b52c0 source=n_8d661305183d edge_type=supports target=n_349d87e039ab
t=0079 ADD_EDGE edge_id=e_ada9f96fd7a7 source=n_a9bca7d80f69 edge_type=refutes target=n_b9ee13f351ec
t=0080 ADD_EDGE edge_id=e_880ebc908129 source=n_6f34c1e6ea12 edge_type=supports target=n_ca38ddbc71ab
t=0081 ADD_EDGE edge_id=e_f1a29142b2c6 source=n_0670f4156082 edge_type=supports target=n_8d661305183d
t=0082 ADD_EDGE edge_id=e_38bcea1251ba source=n_4e51aa26174a edge_type=refutes target=n_0670f4156082
t=0083 ADD_EDGE edge_id=e_a89538eacc57 source=n_f0a8c26fdc10 edge_type=refutes target=n_375d6e211e92
t=0084 ADD_EDGE edge_id=e_068623357d4f source=n_4e51aa26174a edge_type=supports target=n_18f7fdf33d46
t=0085 ADD_EDGE edge_id=e_1c592359cb1c source=n_9eff4b462c62 edge_type=supports target=n_92bd30e1a920
t=0086 ADD_EDGE edge_id=e_cee67bdab4f2 source=n_643dfce1c5f7 edge_type=refutes target=n_23c1ef6a17d9
t=0087 ADD_EDGE edge_id=e_3178853c2dea source=n_643dfce1c5f7 edge_type=refutes target=n_19ea61887b75
t=0088 ADD_EDGE edge_id=e_60d7515f8dd1 source=n_224a016df9d5 edge_type=refutes target=n_0c7244f4c0af
t=0089 ADD_EDGE edge_id=e_f39158b26867 source=n_d3476ef90507 edge_type=refutes target=n_07a027d1b824
t=0090 ADD_EDGE edge_id=e_e058af05f4d9 source=n_48cfd609a385 edge_type=refutes target=n_d3476ef90507
t=0091 ADD_EDGE edge_id=e_b42f8032ace5 source=n_9b8872922e97 edge_type=supports target=n_d8b59400238c
t=0092 ADD_EDGE edge_id=e_76a69141b639 source=n_594556396f39 edge_type=supports target=n_425f01799282
t=0093 ADD_EDGE edge_id=e_23cfa841c3fa source=n_8027008ab3a3 edge_type=refutes target=n_a4acc9d51274
t=0094 ADD_EDGE edge_id=e_cf62e2f68df2 source=n_a4acc9d51274 edge_type=supports target=n_9b8872922e97
t=0095 ADD_EDGE edge_id=e_ba3d45088564 source=n_5555a3ee5133 edge_type=refutes target=n_acec4a85c2a1
t=0096 ADD_EDGE edge_id=e_f03b63664716 source=n_332538325693 edge_type=supports target=n_eaa454e511d6
t=0097 ADD_EDGE edge_id=e_5cb3bc41d4c5 source=n_b39b640edc61 edge_type=supports target=n_ac435b748fc4
t=0098 ADD_EDGE edge_id=e_698cd29fb7a7 source=n_743ca88a9292 edge_type=supports target=n_42e04a0d5012
t=0099 ADD_EDGE edge_id=e_0795786a063d source=n_375d6e211e92 edge_type=supports target=n_fd0e3a8268d0
t=0100 ADD_EDGE edge_id=e_0e0aa7295a4a source=n_9eff4b462c62 edge_type=refutes target=n_f912f6df937b
t=0101 ADD_EDGE edge_id=e_8f018e9f1c70 source=n_228c7b01ef83 edge_type=supports target=n_5555a3ee5133
t=0102 ADD_EDGE edge_id=e_32681056f342 source=n_9eff4b462c62 edge_type=refutes target=n_5cab0d9a46d9
t=0103 ADD_EDGE edge_id=e_0daeba495ad7 source=n_594556396f39 edge_type=refutes target=n_364e612917e4
t=0104 ADD_EDGE edge_id=e_15373e7a5acf source=n_d955eb7cca3f edge_type=supports target=n_6507ec5a682b
t=0105 ADD_EDGE edge_id=e_44eb9bec6f7a source=n_bff258a790d5 edge_type=refutes target=n_8838adb8ea1e
t=0106 ADD_EDGE edge_id=e_ac0664d914f6 source=n_224a016df9d5 edge_type=supports target=n_b9391d09bb27
t=0107 ADD_EDGE edge_id=e_2873f3e07a7f source=n_747210fb9c08 edge_type=supports target=n_3c655deae1a6
t=0108 ADD_EDGE edge_id=e_7e4605d3a28c source=n_cbeb7118e366 edge_type=supports target=n_13f2f4e561c7
t=0109 ADD_EDGE edge_id=e_a6fa0bc0064c source=n_63b9aafe0375 edge_type=refutes target=n_c0fbbe269627
t=0110 ADD_EDGE edge_id=e_9be9063c6635 source=n_ca38ddbc71ab edge_type=supports target=n_d955eb7cca3f
t=0111 ADD_EDGE edge_id=e_3db7562ae75d source=n_332538325693 edge_type=refutes target=n_06a8e1df2abc
t=0112 ADD_EDGE edge_id=e_883cc60c71d1 source=n_cbeb7118e366 edge_type=refutes target=n_332538325693
t=0113 ADD_EDGE edge_id=e_427c3e555711 source=n_db4666235812 edge_type=supports target=n_25c96a486a82
t=0114 ADD_EDGE edge_id=e_561fbdc54df6 source=n_eaa454e511d6 edge_type=supports target=n_97113799d73b
t=0115 ADD_EDGE edge_id=e_ed5f98ac2ee3 source=n_8838adb8ea1e edge_type=supports target=n_d44cc28e3069
t=0116 ADD_EDGE edge_id=e_5bef212d2899 source=n_8aebb3b3d940 edge_type=supports target=n_a9bca7d80f69
t=0117 ADD_EDGE edge_id=e_92843da94555 source=n_425f01799282 edge_type=refutes target=n_743ca88a9292
t=0118 ADD_EDGE edge_id=e_6bab35fef831 source=n_63b9aafe0375 edge_type=supports target=n_934a4740898c
t=0119 ADD_EDGE edge_id=e_f07ce44d0098 source=n_0c60aa3fa1a0 edge_type=refutes target=n_9c069a90c262
t=0120 ADD_EDGE edge_id=e_76732cc6adc1 source=n_42e04a0d5012 edge_type=refutes target=n_bff258a790d5
t=0121 ADD_EDGE edge_id=e_743e390aaac4 source=n_3c655deae1a6 edge_type=refutes target=n_3ae247884091
t=0122 ADD_EDGE edge_id=e_e450eecdaf79 source=n_cbeb7118e366 edge_type=refutes target=n_f9967ce3849c
t=0123 ADD_EDGE edge_id=e_0baaa7449476 source=n_dfd129a7107f edge_type=refutes target=n_db4666235812
t=0124 ADD_EDGE edge_id=e_17769ab60949 source=n_355bf0ce75c1 edge_type=refutes target=n_b39b640edc61
t=0125 ADD_EDGE edge_id=e_640f8a6c7c6b source=n_349d87e039ab edge_type=refutes target=n_594556396f39
t=0126 ADD_EDGE edge_id=e_dcacf00172f1 source=n_f0a8c26fdc10 edge_type=supports target=n_ca4c28d3a3cd
t=0127 ADD_EDGE edge_id=e_3e7ce6d6a135 source=n_d8b59400238c edge_type=refutes target=n_747210fb9c08
t=0128 ADD_EDGE edge_id=e_fdfd1b9b3abc source=n_97113799d73b edge_type=supports target=n_dfd129a7107f
t=0129 ADD_EDGE edge_id=e_5dd494a8f581 source=n_b9391d09bb27 edge_type=supports target=n_9eff4b462c62
t=0130 ADD_EDGE edge_id=e_ae55fc3cd324 source=n_6507ec5a682b edge_type=supports target=n_48cfd609a385
t=0131 ADD_EDGE edge_id=e_a0e57f2ff880 source=n_acec4a85c2a1 edge_type=supports target=n_6f34c1e6ea12
t=0132 ADD_EDGE edge_id=e_04fa05cf5733 source=n_b9391d09bb27 edge_type=refutes target=n_f0a8c26fdc10
t=0133 ADD_EDGE edge_id=e_5b5e71e06319 source=n_643dfce1c5f7 edge_type=refutes target=n_0c60aa3fa1a0
t=0134 ADD_EDGE edge_id=e_46442e6d4574 source=n_8aebb3b3d940 edge_type=supports target=n_a4b3870fcf2c
t=0135 ADD_EDGE edge_id=e_3c4bc6be9b9b source=n_ac435b748fc4 edge_type=supports target=n_63b9aafe0375
t=0136 ADD_EDGE edge_id=e_5a0b6b3f2278 source=n_3ae247884091 edge_type=refutes target=n_4e51aa26174a
t=0137 ADD_EDGE edge_id=e_118de13a5e17 source=n_07a027d1b824 edge_type=supports target=n_8aebb3b3d940
t=0138 ADD_EDGE edge_id=e_76fb223283cf source=n_19ea61887b75 edge_type=refutes target=n_1ebcf9ef630a
t=0139 QUERY source=n_228c7b01ef83 target=n_d44cc28e3069
[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_8f16d5448abb node_type=claim
t=0001 CREATE_NODE id=n_91163a927eae node_type=claim
t=0002 CREATE_NODE id=n_1e06295ff3bb node_type=claim
t=0003 CREATE_NODE id=n_c1da4eca6056 node_type=claim
t=0004 CREATE_NODE id=n_1b5f8d33bcc7 node_type=claim
t=0005 CREATE_NODE id=n_c9de4e7cedcb node_type=claim
t=0006 CREATE_NODE id=n_596eebb4697a node_type=claim
t=0007 CREATE_NODE id=n_b197cd9cc562 node_type=claim
t=0008 CREATE_NODE id=n_998269fd30ed node_type=claim
t=0009 CREATE_NODE id=n_53ed6d73ec9f node_type=claim
t=0010 CREATE_NODE id=n_562aa6a6a699 node_type=claim
t=0011 CREATE_NODE id=n_1d50c9594ef2 node_type=claim
t=0012 CREATE_NODE id=n_ca8a64a54c27 node_type=claim
t=0013 CREATE_NODE id=n_3855de65138d node_type=claim
t=0014 CREATE_NODE id=n_0552c9aaf137 node_type=claim
t=0015 CREATE_NODE id=n_4741a3b69a8f node_type=claim
t=0016 CREATE_NODE id=n_d7863c37044d node_type=claim
t=0017 CREATE_NODE id=n_676a0482e052 node_type=claim
t=0018 CREATE_NODE id=n_406832b2b029 node_type=claim
t=0019 CREATE_NODE id=n_9da643417087 node_type=claim
t=0020 CREATE_NODE id=n_39bdf91154cb node_type=claim
t=0021 CREATE_NODE id=n_1d8b9ad8ebb4 node_type=claim
t=0022 CREATE_NODE id=n_a0cf5966ef45 node_type=claim
t=0023 CREATE_NODE id=n_02b80e1aea39 node_type=claim
t=0024 CREATE_NODE id=n_3ce5cafd12c7 node_type=claim
t=0025 CREATE_NODE id=n_68cc75ddceda node_type=claim
t=0026 CREATE_NODE id=n_c58530068987 node_type=claim
t=0027 CREATE_NODE id=n_a1c82705fb7c node_type=claim
t=0028 CREATE_NODE id=n_2b423398ecd8 node_type=claim
t=0029 CREATE_NODE id=n_3a9c8ffda84a node_type=claim
t=0030 CREATE_NODE id=n_d666e93ed1a4 node_type=claim
t=0031 CREATE_NODE id=n_ca5058379cfd node_type=claim
t=0032 CREATE_NODE id=n_a978587a2c33 node_type=claim
t=0033 CREATE_NODE id=n_f1c909907a03 node_type=claim
t=0034 CREATE_NODE id=n_5afcdd7abdf4 node_type=claim
t=0035 CREATE_NODE id=n_756b550c00f6 node_type=claim
t=0036 CREATE_NODE id=n_f89f350afeb0 node_type=claim
t=0037 CREATE_NODE id=n_0b4f934b05b4 node_type=claim
t=0038 CREATE_NODE id=n_2e26a11f2d03 node_type=claim
t=0039 CREATE_NODE id=n_d6d3b2877c23 node_type=claim
t=0040 CREATE_NODE id=n_e928af8de1b5 node_type=claim
t=0041 CREATE_NODE id=n_79de7afc1543 node_type=claim
t=0042 CREATE_NODE id=n_4517398b5137 node_type=claim
t=0043 CREATE_NODE id=n_73516220d07c node_type=claim
t=0044 CREATE_NODE id=n_425c1fc03933 node_type=claim
t=0045 CREATE_NODE id=n_b23c1b8378d1 node_type=claim
t=0046 CREATE_NODE id=n_9450a4781050 node_type=claim
t=0047 CREATE_NODE id=n_9111ee4fe184 node_type=claim
t=0048 CREATE_NODE id=n_1341aa7f635c node_type=claim
t=0049 CREATE_NODE id=n_39d4eeeecd05 node_type=claim
t=0050 CREATE_NODE id=n_b237750b231b node_type=claim
t=0051 CREATE_NODE id=n_af9ece59242e node_type=claim
t=0052 CREATE_NODE id=n_855e296f1ddb node_type=claim
t=0053 CREATE_NODE id=n_b94df6f6b011 node_type=claim
t=0054 CREATE_NODE id=n_ab430d1f6c2d node_type=claim
t=0055 CREATE_NODE id=n_c00fcebe8077 node_type=claim
t=0056 CREATE_NODE id=n_9449f46842af node_type=claim
t=0057 CREATE_NODE id=n_355f7b927224 node_type=claim
t=0058 CREATE_NODE id=n_ffe2e390c9b1 node_type=claim
t=0059 CREATE_NODE id=n_19c895961d74 node_type=claim
t=0060 CREATE_NODE id=n_cead5deb81fb node_type=claim
t=0061 CREATE_NODE id=n_20de4a113989 node_type=claim
t=0062 CREATE_NODE id=n_6e473ea79a25 node_type=claim
t=0063 CREATE_NODE id=n_313dc78b93d5 node_type=claim
t=0064 CREATE_NODE id=n_5066edf8a87a node_type=claim
t=0065 CREATE_NODE id=n_2fcbab9ebb71 node_type=claim
t=0066 CREATE_NODE id=n_c55de2c6967c node_type=claim
t=0067 CREATE_NODE id=n_a64fa6e0c370 node_type=claim
t=0068 CREATE_NODE id=n_8e70e28c0b8d node_type=claim
t=0069 CREATE_NODE id=n_31c056e6e1e3 node_type=claim
t=0070 ASSERT_ROOT node=n_0b4f934b05b4 value=TRUE
t=0071 ADD_EDGE edge_id=e_7853612f39a0 source=n_b94df6f6b011 edge_type=supports target=n_1e06295ff3bb
t=0072 ADD_EDGE edge_id=e_4faf908ca7dc source=n_2fcbab9ebb71 edge_type=refutes target=n_cead5deb81fb
t=0073 ADD_EDGE edge_id=e_8912c47e2784 source=n_c9de4e7cedcb edge_type=refutes target=n_af9ece59242e
t=0074 ADD_EDGE edge_id=e_9e1917c64c3e source=n_1b5f8d33bcc7 edge_type=refutes target=n_20de4a113989
t=0075 ADD_EDGE edge_id=e_51b7e9b1d1b7 source=n_68cc75ddceda edge_type=supports target=n_1341aa7f635c
t=0076 ADD_EDGE edge_id=e_7dd0f31c5b9a source=n_ab430d1f6c2d edge_type=refutes target=n_19c895961d74
t=0077 ADD_EDGE edge_id=e_a6d162ff6f7e source=n_3ce5cafd12c7 edge_type=refutes target=n_b94df6f6b011
t=0078 ADD_EDGE edge_id=e_59e51b442e41 source=n_ca8a64a54c27 edge_type=supports target=n_6e473ea79a25
t=0079 ADD_EDGE edge_id=e_be6f969c142c source=n_c00fcebe8077 edge_type=refutes target=n_b197cd9cc562
t=0080 ADD_EDGE edge_id=e_53cb71352d86 source=n_a1c82705fb7c edge_type=refutes target=n_d7863c37044d
t=0081 ADD_EDGE edge_id=e_1c2570e62165 source=n_68cc75ddceda edge_type=supports target=n_53ed6d73ec9f
t=0082 ADD_EDGE edge_id=e_c97debc8b28c source=n_8e70e28c0b8d edge_type=supports target=n_a1c82705fb7c
t=0083 ADD_EDGE edge_id=e_9a798d789721 source=n_4741a3b69a8f edge_type=refutes target=n_91163a927eae
t=0084 ADD_EDGE edge_id=e_18c6f16a0126 source=n_1e06295ff3bb edge_type=supports target=n_d6d3b2877c23
t=0085 ADD_EDGE edge_id=e_4fe02f85ad24 source=n_73516220d07c edge_type=supports target=n_39d4eeeecd05
t=0086 ADD_EDGE edge_id=e_014da8d989ac source=n_8f16d5448abb edge_type=refutes target=n_d666e93ed1a4
t=0087 ADD_EDGE edge_id=e_064315c0999d source=n_ca5058379cfd edge_type=supports target=n_b237750b231b
t=0088 ADD_EDGE edge_id=e_ea84d6ba4084 source=n_9450a4781050 edge_type=supports target=n_ffe2e390c9b1
t=0089 ADD_EDGE edge_id=e_5a32fb561bb5 source=n_596eebb4697a edge_type=supports target=n_9da643417087
t=0090 ADD_EDGE edge_id=e_bfb5c98780c4 source=n_8e70e28c0b8d edge_type=refutes target=n_9449f46842af
t=0091 ADD_EDGE edge_id=e_76295c98064a source=n_79de7afc1543 edge_type=supports target=n_4517398b5137
t=0092 ADD_EDGE edge_id=e_6a7bda1c8922 source=n_1d8b9ad8ebb4 edge_type=supports target=n_596eebb4697a
t=0093 ADD_EDGE edge_id=e_de0d8870cc79 source=n_73516220d07c edge_type=supports target=n_ca8a64a54c27
t=0094 ADD_EDGE edge_id=e_742649dcd08f source=n_998269fd30ed edge_type=supports target=n_313dc78b93d5
t=0095 ADD_EDGE edge_id=e_a8eaa4e09802 source=n_a1c82705fb7c edge_type=refutes target=n_425c1fc03933
t=0096 ADD_EDGE edge_id=e_832cbcd16eef source=n_73516220d07c edge_type=refutes target=n_b23c1b8378d1
t=0097 ADD_EDGE edge_id=e_6f6feeb98065 source=n_ffe2e390c9b1 edge_type=refutes target=n_a0cf5966ef45
t=0098 ADD_EDGE edge_id=e_ab8d35b34688 source=n_ca8a64a54c27 edge_type=refutes target=n_9450a4781050
t=0099 ADD_EDGE edge_id=e_e1ed8a03c1bc source=n_f1c909907a03 edge_type=supports target=n_39bdf91154cb
t=0100 ADD_EDGE edge_id=e_193c4001bfb3 source=n_39d4eeeecd05 edge_type=supports target=n_2b423398ecd8
t=0101 ADD_EDGE edge_id=e_a4dc7f944f31 source=n_9da643417087 edge_type=refutes target=n_676a0482e052
t=0102 ADD_EDGE edge_id=e_07138fe2286e source=n_e928af8de1b5 edge_type=supports target=n_8e70e28c0b8d
t=0103 ADD_EDGE edge_id=e_83abd82ceda7 source=n_73516220d07c edge_type=refutes target=n_3855de65138d
t=0104 ADD_EDGE edge_id=e_b048a8bb22a0 source=n_d6d3b2877c23 edge_type=supports target=n_998269fd30ed
t=0105 ADD_EDGE edge_id=e_6b23754f9e80 source=n_af9ece59242e edge_type=refutes target=n_355f7b927224
t=0106 ADD_EDGE edge_id=e_29f998f7529e source=n_39d4eeeecd05 edge_type=refutes target=n_c1da4eca6056
t=0107 ADD_EDGE edge_id=e_579ca16dc6fe source=n_cead5deb81fb edge_type=refutes target=n_68cc75ddceda
t=0108 ADD_EDGE edge_id=e_b11fa999b714 source=n_73516220d07c edge_type=refutes target=n_8f16d5448abb
t=0109 ADD_EDGE edge_id=e_6e369db06a6c source=n_1b5f8d33bcc7 edge_type=supports target=n_2fcbab9ebb71
t=0110 ADD_EDGE edge_id=e_730eac8cc26f source=n_313dc78b93d5 edge_type=supports target=n_1d8b9ad8ebb4
t=0111 ADD_EDGE edge_id=e_af479a76265d source=n_d666e93ed1a4 edge_type=supports target=n_4741a3b69a8f
t=0112 ADD_EDGE edge_id=e_8101556cf9c9 source=n_8f16d5448abb edge_type=supports target=n_c9de4e7cedcb
t=0113 ADD_EDGE edge_id=e_4b05490233f4 source=n_9111ee4fe184 edge_type=refutes target=n_756b550c00f6
t=0114 ADD_EDGE edge_id=e_af96d2e28a5f source=n_9450a4781050 edge_type=refutes target=n_e928af8de1b5
t=0115 ADD_EDGE edge_id=e_f1ddf38083ee source=n_e928af8de1b5 edge_type=refutes target=n_2e26a11f2d03
t=0116 ADD_EDGE edge_id=e_98c609abec09 source=n_0b4f934b05b4 edge_type=supports target=n_ab430d1f6c2d
t=0117 ADD_EDGE edge_id=e_b6d68dd811f1 source=n_562aa6a6a699 edge_type=supports target=n_02b80e1aea39
t=0118 ADD_EDGE edge_id=e_1ff5ddba25f5 source=n_8e70e28c0b8d edge_type=supports target=n_5066edf8a87a
t=0119 ADD_EDGE edge_id=e_3c4fd22eb0e6 source=n_a1c82705fb7c edge_type=supports target=n_1d50c9594ef2
t=0120 ADD_EDGE edge_id=e_ebdf15e8ad2c source=n_ca5058379cfd edge_type=refutes target=n_855e296f1ddb
t=0121 ADD_EDGE edge_id=e_b163ec3c92e5 source=n_0552c9aaf137 edge_type=supports target=n_a978587a2c33
t=0122 ADD_EDGE edge_id=e_077075416902 source=n_3a9c8ffda84a edge_type=refutes target=n_c55de2c6967c
t=0123 ADD_EDGE edge_id=e_18d48f3b0a79 source=n_a1c82705fb7c edge_type=supports target=n_f89f350afeb0
t=0124 ADD_EDGE edge_id=e_f6743ed449d2 source=n_39d4eeeecd05 edge_type=supports target=n_31c056e6e1e3
t=0125 ADD_EDGE edge_id=e_5e53c0326d9a source=n_756b550c00f6 edge_type=refutes target=n_3ce5cafd12c7
t=0126 ADD_EDGE edge_id=e_7e0f15656923 source=n_c55de2c6967c edge_type=refutes target=n_c58530068987
t=0127 ADD_EDGE edge_id=e_c1cfe4a4d42b source=n_a1c82705fb7c edge_type=supports target=n_c00fcebe8077
t=0128 ADD_EDGE edge_id=e_2ea8689a207d source=n_4517398b5137 edge_type=refutes target=n_f1c909907a03
t=0129 ADD_EDGE edge_id=e_f64af1d61687 source=n_19c895961d74 edge_type=refutes target=n_406832b2b029
t=0130 ADD_EDGE edge_id=e_183130bf089a source=n_ffe2e390c9b1 edge_type=refutes target=n_562aa6a6a699
t=0131 ADD_EDGE edge_id=e_9096953b62a2 source=n_c58530068987 edge_type=supports target=n_ca5058379cfd
t=0132 ADD_EDGE edge_id=e_d7bf36b1d354 source=n_a0cf5966ef45 edge_type=refutes target=n_5afcdd7abdf4
t=0133 ADD_EDGE edge_id=e_30c648f38389 source=n_676a0482e052 edge_type=supports target=n_1b5f8d33bcc7
t=0134 ADD_EDGE edge_id=e_a6a29f5ab3d5 source=n_39bdf91154cb edge_type=supports target=n_9111ee4fe184
t=0135 ADD_EDGE edge_id=e_40b67bdc5cc3 source=n_1341aa7f635c edge_type=refutes target=n_0552c9aaf137
t=0136 ADD_EDGE edge_id=e_040e457578d3 source=n_8f16d5448abb edge_type=refutes target=n_a64fa6e0c370
t=0137 ADD_EDGE edge_id=e_148be69e2f51 source=n_19c895961d74 edge_type=supports target=n_79de7afc1543
t=0138 ADD_EDGE edge_id=e_8f40d33f49a4 source=n_a978587a2c33 edge_type=refutes target=n_3a9c8ffda84a
t=0139 QUERY source=n_0b4f934b05b4 target=n_b237750b231b
[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_206b1bce551e node_type=claim
t=0001 CREATE_NODE id=n_b761a3101ba8 node_type=claim
t=0002 CREATE_NODE id=n_6bd572828c2f node_type=claim
t=0003 CREATE_NODE id=n_c83e466e0e20 node_type=claim
t=0004 CREATE_NODE id=n_9d5dd0d0641c node_type=claim
t=0005 CREATE_NODE id=n_8f4bb29c66f0 node_type=claim
t=0006 CREATE_NODE id=n_0bc2f5fedc8b node_type=claim
t=0007 CREATE_NODE id=n_eb78434f8c4e node_type=claim
t=0008 CREATE_NODE id=n_5601febe725a node_type=claim
t=0009 CREATE_NODE id=n_76f55273bd19 node_type=claim
t=0010 CREATE_NODE id=n_86958ea29225 node_type=claim
t=0011 CREATE_NODE id=n_a56a6d82410d node_type=claim
t=0012 CREATE_NODE id=n_052035aab14c node_type=claim
t=0013 CREATE_NODE id=n_b67eb7cf66d1 node_type=claim
t=0014 CREATE_NODE id=n_2e6ad8fe6ce3 node_type=claim
t=0015 CREATE_NODE id=n_eb7b6e2dc382 node_type=claim
t=0016 CREATE_NODE id=n_b080192e355f node_type=claim
t=0017 CREATE_NODE id=n_21aef5f27c3f node_type=claim
t=0018 CREATE_NODE id=n_9ef28628ea85 node_type=claim
t=0019 CREATE_NODE id=n_0fefe4c0d029 node_type=claim
t=0020 CREATE_NODE id=n_f829c7c27071 node_type=claim
t=0021 CREATE_NODE id=n_002a4b5c62cf node_type=claim
t=0022 CREATE_NODE id=n_a62af9ba3315 node_type=claim
t=0023 CREATE_NODE id=n_553ba09de609 node_type=claim
t=0024 CREATE_NODE id=n_1a1718d4f27b node_type=claim
t=0025 CREATE_NODE id=n_27dd2762d501 node_type=claim
t=0026 CREATE_NODE id=n_e462e9d87a08 node_type=claim
t=0027 CREATE_NODE id=n_1136dc68bb28 node_type=claim
t=0028 CREATE_NODE id=n_1d29a7c804b8 node_type=claim
t=0029 CREATE_NODE id=n_90a0e857b088 node_type=claim
t=0030 CREATE_NODE id=n_7822d1dd2e9b node_type=claim
t=0031 CREATE_NODE id=n_01c22b3d112b node_type=claim
t=0032 CREATE_NODE id=n_aa423b3a3caf node_type=claim
t=0033 CREATE_NODE id=n_b1eec6fc77f9 node_type=claim
t=0034 CREATE_NODE id=n_2ee4412f7edd node_type=claim
t=0035 CREATE_NODE id=n_8222fac10b60 node_type=claim
t=0036 CREATE_NODE id=n_8bf9379ec4cb node_type=claim
t=0037 CREATE_NODE id=n_831c295f8d38 node_type=claim
t=0038 CREATE_NODE id=n_8cff641eaabd node_type=claim
t=0039 CREATE_NODE id=n_96cb94bf44c1 node_type=claim
t=0040 CREATE_NODE id=n_d9082cac17cf node_type=claim
t=0041 CREATE_NODE id=n_9625fe84da2e node_type=claim
t=0042 CREATE_NODE id=n_b17a3d6307f6 node_type=claim
t=0043 CREATE_NODE id=n_d397d0df350d node_type=claim
t=0044 CREATE_NODE id=n_2141d035e4ec node_type=claim
t=0045 CREATE_NODE id=n_1dca1fbefd6d node_type=claim
t=0046 CREATE_NODE id=n_e0d89fadfde6 node_type=claim
t=0047 CREATE_NODE id=n_a58a18766619 node_type=claim
t=0048 CREATE_NODE id=n_e40705a58cad node_type=claim
t=0049 CREATE_NODE id=n_a680bdf71e25 node_type=claim
t=0050 CREATE_NODE id=n_9bf411a622a6 node_type=claim
t=0051 CREATE_NODE id=n_358c6cd00032 node_type=claim
t=0052 CREATE_NODE id=n_aa966000f174 node_type=claim
t=0053 CREATE_NODE id=n_7f493cc2606e node_type=claim
t=0054 CREATE_NODE id=n_ad5ef8541976 node_type=claim
t=0055 CREATE_NODE id=n_efa5b6f2e615 node_type=claim
t=0056 CREATE_NODE id=n_13ddf86d3a4d node_type=claim
t=0057 CREATE_NODE id=n_6e8b3fd7e1d6 node_type=claim
t=0058 CREATE_NODE id=n_3c29df93d01c node_type=claim
t=0059 CREATE_NODE id=n_edb035edbdcd node_type=claim
t=0060 CREATE_NODE id=n_2182700279c0 node_type=claim
t=0061 CREATE_NODE id=n_993faf8fe6e7 node_type=claim
t=0062 CREATE_NODE id=n_b482c75ebcb0 node_type=claim
t=0063 CREATE_NODE id=n_d62b47474afc node_type=claim
t=0064 CREATE_NODE id=n_ead4a93320be node_type=claim
t=0065 CREATE_NODE id=n_4d437512b39d node_type=claim
t=0066 CREATE_NODE id=n_12a53eef42bc node_type=claim
t=0067 CREATE_NODE id=n_d08d033090ac node_type=claim
t=0068 CREATE_NODE id=n_e359e0161bc9 node_type=claim
t=0069 CREATE_NODE id=n_bbf82dd44073 node_type=claim
t=0070 ASSERT_ROOT node=n_96cb94bf44c1 value=TRUE
t=0071 ADD_EDGE edge_id=e_e03d0b6d09e8 source=n_1a1718d4f27b edge_type=refutes target=n_21aef5f27c3f
t=0072 ADD_EDGE edge_id=e_f10f92f49a95 source=n_8bf9379ec4cb edge_type=refutes target=n_27dd2762d501
t=0073 ADD_EDGE edge_id=e_60b4a43397ae source=n_1d29a7c804b8 edge_type=refutes target=n_a58a18766619
t=0074 ADD_EDGE edge_id=e_e4fd2ebd7432 source=n_eb78434f8c4e edge_type=refutes target=n_edb035edbdcd
t=0075 ADD_EDGE edge_id=e_42505e2031fc source=n_7f493cc2606e edge_type=refutes target=n_e359e0161bc9
t=0076 ADD_EDGE edge_id=e_73af3cf80074 source=n_eb78434f8c4e edge_type=refutes target=n_a62af9ba3315
t=0077 ADD_EDGE edge_id=e_b27af5013827 source=n_6bd572828c2f edge_type=supports target=n_358c6cd00032
t=0078 ADD_EDGE edge_id=e_f8b735224dc8 source=n_ead4a93320be edge_type=supports target=n_d08d033090ac
t=0079 ADD_EDGE edge_id=e_0498a5b9995a source=n_5601febe725a edge_type=supports target=n_aa966000f174
t=0080 ADD_EDGE edge_id=e_73511edcc4e9 source=n_a58a18766619 edge_type=supports target=n_e40705a58cad
t=0081 ADD_EDGE edge_id=e_e37d1f43e3b2 source=n_27dd2762d501 edge_type=refutes target=n_b1eec6fc77f9
t=0082 ADD_EDGE edge_id=e_f7f9790073b6 source=n_ad5ef8541976 edge_type=supports target=n_1136dc68bb28
t=0083 ADD_EDGE edge_id=e_b1114ecce58b source=n_2141d035e4ec edge_type=refutes target=n_a680bdf71e25
t=0084 ADD_EDGE edge_id=e_082793ea8bd1 source=n_13ddf86d3a4d edge_type=supports target=n_206b1bce551e
t=0085 ADD_EDGE edge_id=e_415c0f740725 source=n_993faf8fe6e7 edge_type=supports target=n_2e6ad8fe6ce3
t=0086 ADD_EDGE edge_id=e_464e6427a3bc source=n_8cff641eaabd edge_type=supports target=n_0fefe4c0d029
t=0087 ADD_EDGE edge_id=e_647770f0c19e source=n_27dd2762d501 edge_type=refutes target=n_e0d89fadfde6
t=0088 ADD_EDGE edge_id=e_11c1a66e2415 source=n_7f493cc2606e edge_type=refutes target=n_b761a3101ba8
t=0089 ADD_EDGE edge_id=e_3c7c4071e72b source=n_76f55273bd19 edge_type=refutes target=n_d397d0df350d
t=0090 ADD_EDGE edge_id=e_6c881d9750ac source=n_e0d89fadfde6 edge_type=refutes target=n_2182700279c0
t=0091 ADD_EDGE edge_id=e_f2a15d284704 source=n_bbf82dd44073 edge_type=supports target=n_002a4b5c62cf
t=0092 ADD_EDGE edge_id=e_74d889360608 source=n_206b1bce551e edge_type=refutes target=n_b080192e355f
t=0093 ADD_EDGE edge_id=e_efe57e854d90 source=n_e0d89fadfde6 edge_type=refutes target=n_f829c7c27071
t=0094 ADD_EDGE edge_id=e_2e57d594e922 source=n_6bd572828c2f edge_type=refutes target=n_9ef28628ea85
t=0095 ADD_EDGE edge_id=e_248e607b91ce source=n_01c22b3d112b edge_type=supports target=n_4d437512b39d
t=0096 ADD_EDGE edge_id=e_15e76a83fcab source=n_7822d1dd2e9b edge_type=refutes target=n_ad5ef8541976
t=0097 ADD_EDGE edge_id=e_53e498ecd4d9 source=n_002a4b5c62cf edge_type=supports target=n_7822d1dd2e9b
t=0098 ADD_EDGE edge_id=e_ade4c5f9833b source=n_e0d89fadfde6 edge_type=refutes target=n_553ba09de609
t=0099 ADD_EDGE edge_id=e_74c1faa6345d source=n_b67eb7cf66d1 edge_type=refutes target=n_9625fe84da2e
t=0100 ADD_EDGE edge_id=e_0c12905c3788 source=n_052035aab14c edge_type=supports target=n_1d29a7c804b8
t=0101 ADD_EDGE edge_id=e_e366b5a2e27f source=n_d08d033090ac edge_type=refutes target=n_13ddf86d3a4d
t=0102 ADD_EDGE edge_id=e_49bb9a2b81d9 source=n_b67eb7cf66d1 edge_type=refutes target=n_052035aab14c
t=0103 ADD_EDGE edge_id=e_5f8eb825b834 source=n_2141d035e4ec edge_type=refutes target=n_01c22b3d112b
t=0104 ADD_EDGE edge_id=e_79bc45c1541c source=n_a62af9ba3315 edge_type=supports target=n_8222fac10b60
t=0105 ADD_EDGE edge_id=e_d595402fe0fb source=n_d62b47474afc edge_type=refutes target=n_aa423b3a3caf
t=0106 ADD_EDGE edge_id=e_6eeb5f58b8c3 source=n_86958ea29225 edge_type=refutes target=n_b17a3d6307f6
t=0107 ADD_EDGE edge_id=e_25ee9f762f91 source=n_d397d0df350d edge_type=refutes target=n_b67eb7cf66d1
t=0108 ADD_EDGE edge_id=e_920d55791fed source=n_21aef5f27c3f edge_type=refutes target=n_8cff641eaabd
t=0109 ADD_EDGE edge_id=e_e86df9854dc9 source=n_e40705a58cad edge_type=supports target=n_0bc2f5fedc8b
t=0110 ADD_EDGE edge_id=e_c4e23994511b source=n_90a0e857b088 edge_type=refutes target=n_6e8b3fd7e1d6
t=0111 ADD_EDGE edge_id=e_b4e036126e42 source=n_5601febe725a edge_type=supports target=n_8f4bb29c66f0
t=0112 ADD_EDGE edge_id=e_d0a98a1685ef source=n_0bc2f5fedc8b edge_type=supports target=n_ead4a93320be
t=0113 ADD_EDGE edge_id=e_0702208403a6 source=n_3c29df93d01c edge_type=supports target=n_e462e9d87a08
t=0114 ADD_EDGE edge_id=e_4b95aed1eb06 source=n_8bf9379ec4cb edge_type=refutes target=n_1dca1fbefd6d
t=0115 ADD_EDGE edge_id=e_957089ccf3e2 source=n_96cb94bf44c1 edge_type=refutes target=n_2ee4412f7edd
t=0116 ADD_EDGE edge_id=e_d0de2f4d515e source=n_d62b47474afc edge_type=supports target=n_9d5dd0d0641c
t=0117 ADD_EDGE edge_id=e_545c3a9e0857 source=n_8bf9379ec4cb edge_type=supports target=n_2141d035e4ec
t=0118 ADD_EDGE edge_id=e_5b93408b7d03 source=n_12a53eef42bc edge_type=refutes target=n_76f55273bd19
t=0119 ADD_EDGE edge_id=e_1723714fe848 source=n_e462e9d87a08 edge_type=refutes target=n_12a53eef42bc
t=0120 ADD_EDGE edge_id=e_cb78f60ab907 source=n_9ef28628ea85 edge_type=supports target=n_7f493cc2606e
t=0121 ADD_EDGE edge_id=e_21ac82335aec source=n_0fefe4c0d029 edge_type=refutes target=n_90a0e857b088
t=0122 ADD_EDGE edge_id=e_e4ccb5968202 source=n_a62af9ba3315 edge_type=supports target=n_d9082cac17cf
t=0123 ADD_EDGE edge_id=e_cc513718a881 source=n_d9082cac17cf edge_type=supports target=n_9bf411a622a6
t=0124 ADD_EDGE edge_id=e_189df0bc6765 source=n_7f493cc2606e edge_type=supports target=n_993faf8fe6e7
t=0125 ADD_EDGE edge_id=e_95f5cf5cdf3b source=n_6e8b3fd7e1d6 edge_type=supports target=n_c83e466e0e20
t=0126 ADD_EDGE edge_id=e_70fa39d059ec source=n_8bf9379ec4cb edge_type=refutes target=n_b482c75ebcb0
t=0127 ADD_EDGE edge_id=e_a83e98eb78cd source=n_8bf9379ec4cb edge_type=supports target=n_6bd572828c2f
t=0128 ADD_EDGE edge_id=e_141c60f26033 source=n_c83e466e0e20 edge_type=supports target=n_bbf82dd44073
t=0129 ADD_EDGE edge_id=e_cd00c7dab107 source=n_86958ea29225 edge_type=supports target=n_efa5b6f2e615
t=0130 ADD_EDGE edge_id=e_c977798b8c2c source=n_2ee4412f7edd edge_type=supports target=n_1a1718d4f27b
t=0131 ADD_EDGE edge_id=e_819e615287d5 source=n_7f493cc2606e edge_type=supports target=n_eb78434f8c4e
t=0132 ADD_EDGE edge_id=e_2363e2a62cd4 source=n_2141d035e4ec edge_type=supports target=n_d62b47474afc
t=0133 ADD_EDGE edge_id=e_b6c13a349e6b source=n_993faf8fe6e7 edge_type=supports target=n_a56a6d82410d
t=0134 ADD_EDGE edge_id=e_82118f818891 source=n_efa5b6f2e615 edge_type=supports target=n_3c29df93d01c
t=0135 ADD_EDGE edge_id=e_974f4184ba4a source=n_1136dc68bb28 edge_type=supports target=n_86958ea29225
t=0136 ADD_EDGE edge_id=e_ec96253f5cc0 source=n_8bf9379ec4cb edge_type=supports target=n_5601febe725a
t=0137 ADD_EDGE edge_id=e_5010c0d49173 source=n_a62af9ba3315 edge_type=refutes target=n_eb7b6e2dc382
t=0138 ADD_EDGE edge_id=e_cec2f2402681 source=n_1a1718d4f27b edge_type=refutes target=n_831c295f8d38
t=0139 QUERY source=n_96cb94bf44c1 target=n_206b1bce551e
[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_e659aafe597a node_type=claim
t=0001 CREATE_NODE id=n_4a5f7f157766 node_type=claim
t=0002 CREATE_NODE id=n_d065f26b4324 node_type=claim
t=0003 CREATE_NODE id=n_cc2dc2ec935c node_type=claim
t=0004 CREATE_NODE id=n_a1e57a571ae9 node_type=claim
t=0005 CREATE_NODE id=n_eaaa0a093cd5 node_type=claim
t=0006 CREATE_NODE id=n_0e8f417dbcb4 node_type=claim
t=0007 CREATE_NODE id=n_9567794b7f38 node_type=claim
t=0008 CREATE_NODE id=n_0e0f84303728 node_type=claim
t=0009 CREATE_NODE id=n_d1b96ad18da4 node_type=claim
t=0010 CREATE_NODE id=n_ef9cec1541bd node_type=claim
t=0011 CREATE_NODE id=n_a55b9729dfe8 node_type=claim
t=0012 CREATE_NODE id=n_715839a179e2 node_type=claim
t=0013 CREATE_NODE id=n_07d3176554f8 node_type=claim
t=0014 CREATE_NODE id=n_e097fe9fd1fe node_type=claim
t=0015 CREATE_NODE id=n_be46df5980f8 node_type=claim
t=0016 CREATE_NODE id=n_fdd2cba0f7d8 node_type=claim
t=0017 CREATE_NODE id=n_84ef6ca7d23f node_type=claim
t=0018 CREATE_NODE id=n_364de13eec9b node_type=claim
t=0019 CREATE_NODE id=n_a5e08b5a4cd1 node_type=claim
t=0020 CREATE_NODE id=n_60a0c97e633c node_type=claim
t=0021 CREATE_NODE id=n_c37322fa17de node_type=claim
t=0022 CREATE_NODE id=n_afbbaa63ad4d node_type=claim
t=0023 CREATE_NODE id=n_02ec113ab53e node_type=claim
t=0024 CREATE_NODE id=n_7cbda5a5002c node_type=claim
t=0025 CREATE_NODE id=n_252bb7235c0f node_type=claim
t=0026 CREATE_NODE id=n_5f7ea2297d2e node_type=claim
t=0027 CREATE_NODE id=n_2da48b558d1a node_type=claim
t=0028 CREATE_NODE id=n_4d746a3a5329 node_type=claim
t=0029 CREATE_NODE id=n_d7b648d210cf node_type=claim
t=0030 CREATE_NODE id=n_2d97b6661413 node_type=claim
t=0031 CREATE_NODE id=n_1de19fee9f3e node_type=claim
t=0032 CREATE_NODE id=n_f6d510dc57db node_type=claim
t=0033 CREATE_NODE id=n_1672ab521ebb node_type=claim
t=0034 CREATE_NODE id=n_1978c5c36097 node_type=claim
t=0035 CREATE_NODE id=n_36b924bcb273 node_type=claim
t=0036 CREATE_NODE id=n_d0b85a8db201 node_type=claim
t=0037 CREATE_NODE id=n_e2f13360f718 node_type=claim
t=0038 CREATE_NODE id=n_29489018ca63 node_type=claim
t=0039 CREATE_NODE id=n_9ec4c295c9c8 node_type=claim
t=0040 CREATE_NODE id=n_210f21c56bd6 node_type=claim
t=0041 CREATE_NODE id=n_4fcda9eda72c node_type=claim
t=0042 CREATE_NODE id=n_f4d426fb01e4 node_type=claim
t=0043 CREATE_NODE id=n_3cd48b62b4f4 node_type=claim
t=0044 CREATE_NODE id=n_ca490eb8b0eb node_type=claim
t=0045 CREATE_NODE id=n_9a16c76c77a7 node_type=claim
t=0046 CREATE_NODE id=n_a564c69ec321 node_type=claim
t=0047 CREATE_NODE id=n_2a9968a85af4 node_type=claim
t=0048 CREATE_NODE id=n_e117f4b5c22a node_type=claim
t=0049 CREATE_NODE id=n_809e04f2cc1d node_type=claim
t=0050 CREATE_NODE id=n_92b6917c46cf node_type=claim
t=0051 CREATE_NODE id=n_d8732ef88a1a node_type=claim
t=0052 CREATE_NODE id=n_3936a30b1b28 node_type=claim
t=0053 CREATE_NODE id=n_7565837e24cf node_type=claim
t=0054 CREATE_NODE id=n_d8c55ae023fa node_type=claim
t=0055 CREATE_NODE id=n_6c9da09de03f node_type=claim
t=0056 CREATE_NODE id=n_d514a453342f node_type=claim
t=0057 CREATE_NODE id=n_9eef3276f66d node_type=claim
t=0058 CREATE_NODE id=n_a86d5b456aca node_type=claim
t=0059 CREATE_NODE id=n_8b121516855a node_type=claim
t=0060 CREATE_NODE id=n_cb65ec02596a node_type=claim
t=0061 CREATE_NODE id=n_8e3103b28a09 node_type=claim
t=0062 CREATE_NODE id=n_62770ab56fd8 node_type=claim
t=0063 CREATE_NODE id=n_7cba16b22d07 node_type=claim
t=0064 CREATE_NODE id=n_0623316cba5a node_type=claim
t=0065 CREATE_NODE id=n_1162d61af6cf node_type=claim
t=0066 CREATE_NODE id=n_acb922a73b47 node_type=claim
t=0067 CREATE_NODE id=n_11afe1c7e901 node_type=claim
t=0068 CREATE_NODE id=n_2af46feb21a5 node_type=claim
t=0069 CREATE_NODE id=n_b50b0859aa30 node_type=claim
t=0070 ASSERT_ROOT node=n_d065f26b4324 value=FALSE
t=0071 ADD_EDGE edge_id=e_19fa433fb3f5 source=n_364de13eec9b edge_type=supports target=n_11afe1c7e901
t=0072 ADD_EDGE edge_id=e_64ac19c839ab source=n_9567794b7f38 edge_type=refutes target=n_6c9da09de03f
t=0073 ADD_EDGE edge_id=e_4950efa93c2a source=n_8e3103b28a09 edge_type=supports target=n_e2f13360f718
t=0074 ADD_EDGE edge_id=e_93280f07e2f5 source=n_acb922a73b47 edge_type=refutes target=n_84ef6ca7d23f
t=0075 ADD_EDGE edge_id=e_afd88e706cfd source=n_1de19fee9f3e edge_type=supports target=n_2da48b558d1a
t=0076 ADD_EDGE edge_id=e_b544a3503d2c source=n_0623316cba5a edge_type=supports target=n_be46df5980f8
t=0077 ADD_EDGE edge_id=e_c101445308b2 source=n_cb65ec02596a edge_type=refutes target=n_1672ab521ebb
t=0078 ADD_EDGE edge_id=e_c2825dedc1cf source=n_e097fe9fd1fe edge_type=supports target=n_7cbda5a5002c
t=0079 ADD_EDGE edge_id=e_f97b5f77f97d source=n_e659aafe597a edge_type=refutes target=n_7565837e24cf
t=0080 ADD_EDGE edge_id=e_9c0fac8be742 source=n_9a16c76c77a7 edge_type=supports target=n_a86d5b456aca
t=0081 ADD_EDGE edge_id=e_97d8a55cef84 source=n_92b6917c46cf edge_type=refutes target=n_e659aafe597a
t=0082 ADD_EDGE edge_id=e_4903b3cefe62 source=n_2d97b6661413 edge_type=supports target=n_3936a30b1b28
t=0083 ADD_EDGE edge_id=e_24c888cfe825 source=n_11afe1c7e901 edge_type=supports target=n_f4d426fb01e4
t=0084 ADD_EDGE edge_id=e_671e08f3c27d source=n_2af46feb21a5 edge_type=supports target=n_715839a179e2
t=0085 ADD_EDGE edge_id=e_0523a1c8768c source=n_1672ab521ebb edge_type=refutes target=n_d514a453342f
t=0086 ADD_EDGE edge_id=e_efd6f39855e4 source=n_1162d61af6cf edge_type=refutes target=n_a1e57a571ae9
t=0087 ADD_EDGE edge_id=e_1ece8b8fb4bf source=n_e097fe9fd1fe edge_type=supports target=n_7cba16b22d07
t=0088 ADD_EDGE edge_id=e_38a3b27e1615 source=n_d1b96ad18da4 edge_type=refutes target=n_210f21c56bd6
t=0089 ADD_EDGE edge_id=e_34d134729b5c source=n_84ef6ca7d23f edge_type=supports target=n_62770ab56fd8
t=0090 ADD_EDGE edge_id=e_c194f771215e source=n_be46df5980f8 edge_type=supports target=n_1de19fee9f3e
t=0091 ADD_EDGE edge_id=e_852726a845ef source=n_29489018ca63 edge_type=refutes target=n_d1b96ad18da4
t=0092 ADD_EDGE edge_id=e_2d6991fa7f6b source=n_d8c55ae023fa edge_type=refutes target=n_acb922a73b47
t=0093 ADD_EDGE edge_id=e_362f4b9b4900 source=n_9567794b7f38 edge_type=refutes target=n_8e3103b28a09
t=0094 ADD_EDGE edge_id=e_742f7507ee9f source=n_9ec4c295c9c8 edge_type=refutes target=n_0e0f84303728
t=0095 ADD_EDGE edge_id=e_1276352b78d9 source=n_8b121516855a edge_type=refutes target=n_cb65ec02596a
t=0096 ADD_EDGE edge_id=e_0def5fbc3a67 source=n_e097fe9fd1fe edge_type=supports target=n_02ec113ab53e
t=0097 ADD_EDGE edge_id=e_40747f0fc275 source=n_3936a30b1b28 edge_type=refutes target=n_5f7ea2297d2e
t=0098 ADD_EDGE edge_id=e_fb6d4483358d source=n_6c9da09de03f edge_type=refutes target=n_9a16c76c77a7
t=0099 ADD_EDGE edge_id=e_7aa36feac479 source=n_cc2dc2ec935c edge_type=supports target=n_92b6917c46cf
t=0100 ADD_EDGE edge_id=e_9cd51e575b0e source=n_1162d61af6cf edge_type=refutes target=n_4fcda9eda72c
t=0101 ADD_EDGE edge_id=e_dad8fc3e8d36 source=n_9eef3276f66d edge_type=refutes target=n_4a5f7f157766
t=0102 ADD_EDGE edge_id=e_aa322cf0b77e source=n_809e04f2cc1d edge_type=refutes target=n_0623316cba5a
t=0103 ADD_EDGE edge_id=e_caca6e9d1dba source=n_e659aafe597a edge_type=refutes target=n_eaaa0a093cd5
t=0104 ADD_EDGE edge_id=e_b358700295fa source=n_2d97b6661413 edge_type=supports target=n_e097fe9fd1fe
t=0105 ADD_EDGE edge_id=e_f903a363a2f7 source=n_1672ab521ebb edge_type=supports target=n_a55b9729dfe8
t=0106 ADD_EDGE edge_id=e_a17f1dcb80e8 source=n_ca490eb8b0eb edge_type=supports target=n_ef9cec1541bd
t=0107 ADD_EDGE edge_id=e_f7ab4b5dadc3 source=n_0e8f417dbcb4 edge_type=supports target=n_a5e08b5a4cd1
t=0108 ADD_EDGE edge_id=e_e0238b74a199 source=n_809e04f2cc1d edge_type=supports target=n_b50b0859aa30
t=0109 ADD_EDGE edge_id=e_9609a08c57c5 source=n_2a9968a85af4 edge_type=supports target=n_29489018ca63
t=0110 ADD_EDGE edge_id=e_3c4de372bc8c source=n_6c9da09de03f edge_type=supports target=n_36b924bcb273
t=0111 ADD_EDGE edge_id=e_012ef54e3d0b source=n_a86d5b456aca edge_type=refutes target=n_fdd2cba0f7d8
t=0112 ADD_EDGE edge_id=e_cc6d5785cc92 source=n_252bb7235c0f edge_type=refutes target=n_3cd48b62b4f4
t=0113 ADD_EDGE edge_id=e_04e64a30fc44 source=n_9a16c76c77a7 edge_type=supports target=n_c37322fa17de
t=0114 ADD_EDGE edge_id=e_ce209ad3e2f1 source=n_6c9da09de03f edge_type=supports target=n_8b121516855a
t=0115 ADD_EDGE edge_id=e_0b7e557a60ea source=n_715839a179e2 edge_type=refutes target=n_a564c69ec321
t=0116 ADD_EDGE edge_id=e_c9d78bd96c49 source=n_0e8f417dbcb4 edge_type=refutes target=n_252bb7235c0f
t=0117 ADD_EDGE edge_id=e_478d9d01f539 source=n_62770ab56fd8 edge_type=supports target=n_cc2dc2ec935c
t=0118 ADD_EDGE edge_id=e_d9d13e943a57 source=n_9a16c76c77a7 edge_type=refutes target=n_1978c5c36097
t=0119 ADD_EDGE edge_id=e_121881ac5849 source=n_ef9cec1541bd edge_type=supports target=n_e117f4b5c22a
t=0120 ADD_EDGE edge_id=e_761bd43ec966 source=n_7cbda5a5002c edge_type=refutes target=n_d0b85a8db201
t=0121 ADD_EDGE edge_id=e_849301571367 source=n_2d97b6661413 edge_type=refutes target=n_4d746a3a5329
t=0122 ADD_EDGE edge_id=e_75caa6a158f5 source=n_7565837e24cf edge_type=supports target=n_364de13eec9b
t=0123 ADD_EDGE edge_id=e_d3b94d163037 source=n_f4d426fb01e4 edge_type=supports target=n_07d3176554f8
t=0124 ADD_EDGE edge_id=e_1b18e77b6848 source=n_2da48b558d1a edge_type=supports target=n_9ec4c295c9c8
t=0125 ADD_EDGE edge_id=e_4a94fbb065bc source=n_0e0f84303728 edge_type=supports target=n_d8c55ae023fa
t=0126 ADD_EDGE edge_id=e_7abbe4d0daf1 source=n_4fcda9eda72c edge_type=refutes target=n_60a0c97e633c
t=0127 ADD_EDGE edge_id=e_5ca480b24368 source=n_3936a30b1b28 edge_type=refutes target=n_d7b648d210cf
t=0128 ADD_EDGE edge_id=e_4180b0910c52 source=n_d065f26b4324 edge_type=refutes target=n_809e04f2cc1d
t=0129 ADD_EDGE edge_id=e_79a7c466e7df source=n_8b121516855a edge_type=refutes target=n_afbbaa63ad4d
t=0130 ADD_EDGE edge_id=e_41e18b1f2d77 source=n_a564c69ec321 edge_type=refutes target=n_f6d510dc57db
t=0131 ADD_EDGE edge_id=e_c89de0fff43b source=n_e117f4b5c22a edge_type=supports target=n_0e8f417dbcb4
t=0132 ADD_EDGE edge_id=e_2dee71a7b13a source=n_9a16c76c77a7 edge_type=supports target=n_1162d61af6cf
t=0133 ADD_EDGE edge_id=e_1ef7e3dddf89 source=n_07d3176554f8 edge_type=refutes target=n_2a9968a85af4
t=0134 ADD_EDGE edge_id=e_452bc0ed6b6b source=n_e097fe9fd1fe edge_type=supports target=n_9567794b7f38
t=0135 ADD_EDGE edge_id=e_5594aadb0e9d source=n_6c9da09de03f edge_type=refutes target=n_2af46feb21a5
t=0136 ADD_EDGE edge_id=e_8b75bfbb7e7b source=n_1162d61af6cf edge_type=refutes target=n_d8732ef88a1a
t=0137 ADD_EDGE edge_id=e_09006473d72a source=n_4a5f7f157766 edge_type=supports target=n_ca490eb8b0eb
t=0138 ADD_EDGE edge_id=e_f17456a849d7 source=n_d1b96ad18da4 edge_type=supports target=n_9eef3276f66d
t=0139 QUERY source=n_d065f26b4324 target=n_3cd48b62b4f4
[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_4bf9b84a40d7 node_type=claim
t=0001 CREATE_NODE id=n_79aecad28305 node_type=claim
t=0002 CREATE_NODE id=n_24067544ecb6 node_type=claim
t=0003 CREATE_NODE id=n_9f84c23b9326 node_type=claim
t=0004 CREATE_NODE id=n_9a43819ec612 node_type=claim
t=0005 CREATE_NODE id=n_a81023999589 node_type=claim
t=0006 CREATE_NODE id=n_9a15d4dd42ec node_type=claim
t=0007 CREATE_NODE id=n_0adacd5ec52b node_type=claim
t=0008 CREATE_NODE id=n_b9fa8c1f2825 node_type=claim
t=0009 CREATE_NODE id=n_cb8fc7f4b657 node_type=claim
t=0010 CREATE_NODE id=n_5e2143c468ff node_type=claim
t=0011 CREATE_NODE id=n_fd81c3b16f8c node_type=claim
t=0012 CREATE_NODE id=n_919fe927aea8 node_type=claim
t=0013 CREATE_NODE id=n_41017a106d24 node_type=claim
t=0014 CREATE_NODE id=n_74c8f15bc9a2 node_type=claim
t=0015 CREATE_NODE id=n_be3e45345add node_type=claim
t=0016 CREATE_NODE id=n_f59e71afbc5f node_type=claim
t=0017 CREATE_NODE id=n_0764e32872fc node_type=claim
t=0018 CREATE_NODE id=n_55e8a579918c node_type=claim
t=0019 CREATE_NODE id=n_9f7cd96b8d33 node_type=claim
t=0020 CREATE_NODE id=n_d31bf0828077 node_type=claim
t=0021 CREATE_NODE id=n_e64dae5b2692 node_type=claim
t=0022 CREATE_NODE id=n_5c3cd4288fc0 node_type=claim
t=0023 CREATE_NODE id=n_ba215a9323f2 node_type=claim
t=0024 CREATE_NODE id=n_9e972cc39239 node_type=claim
t=0025 CREATE_NODE id=n_620ad20d2c12 node_type=claim
t=0026 CREATE_NODE id=n_adc4739f5f34 node_type=claim
t=0027 CREATE_NODE id=n_87503c4a77d4 node_type=claim
t=0028 CREATE_NODE id=n_a0b55e593811 node_type=claim
t=0029 CREATE_NODE id=n_702d3e1a5553 node_type=claim
t=0030 CREATE_NODE id=n_2b5ec7798a46 node_type=claim
t=0031 CREATE_NODE id=n_1dc99b5d7c43 node_type=claim
t=0032 CREATE_NODE id=n_91d27ac46d97 node_type=claim
t=0033 CREATE_NODE id=n_f5995963eb3f node_type=claim
t=0034 CREATE_NODE id=n_03c03fba96eb node_type=claim
t=0035 CREATE_NODE id=n_9d7bdce73f77 node_type=claim
t=0036 CREATE_NODE id=n_1eb02f253dd8 node_type=claim
t=0037 CREATE_NODE id=n_724985028329 node_type=claim
t=0038 CREATE_NODE id=n_a5b6fc5f88b0 node_type=claim
t=0039 CREATE_NODE id=n_143c58b5428e node_type=claim
t=0040 CREATE_NODE id=n_be47bd14cae9 node_type=claim
t=0041 CREATE_NODE id=n_93dff4d97141 node_type=claim
t=0042 CREATE_NODE id=n_42f267c00f42 node_type=claim
t=0043 CREATE_NODE id=n_d784e00b3afc node_type=claim
t=0044 CREATE_NODE id=n_1fee30e3e69a node_type=claim
t=0045 CREATE_NODE id=n_cb9c0a017e21 node_type=claim
t=0046 CREATE_NODE id=n_dfef5626b948 node_type=claim
t=0047 CREATE_NODE id=n_714cb7befa94 node_type=claim
t=0048 CREATE_NODE id=n_c981576ca527 node_type=claim
t=0049 CREATE_NODE id=n_43a92e2d9420 node_type=claim
t=0050 CREATE_NODE id=n_b46c21639a27 node_type=claim
t=0051 CREATE_NODE id=n_7a2afe526e76 node_type=claim
t=0052 CREATE_NODE id=n_dfca828ce144 node_type=claim
t=0053 CREATE_NODE id=n_8245d0f229a0 node_type=claim
t=0054 CREATE_NODE id=n_0f4ae2437078 node_type=claim
t=0055 CREATE_NODE id=n_3dbdbc2993cc node_type=claim
t=0056 CREATE_NODE id=n_b7ad772a0aa1 node_type=claim
t=0057 CREATE_NODE id=n_58f8f70cad25 node_type=claim
t=0058 CREATE_NODE id=n_7bd49dd54415 node_type=claim
t=0059 CREATE_NODE id=n_269d91f12281 node_type=claim
t=0060 CREATE_NODE id=n_821b0bea3f19 node_type=claim
t=0061 CREATE_NODE id=n_b5b84bbcd47d node_type=claim
t=0062 CREATE_NODE id=n_2aa2372ae130 node_type=claim
t=0063 CREATE_NODE id=n_b0aaffb468b4 node_type=claim
t=0064 CREATE_NODE id=n_3c8c6ffe9ef6 node_type=claim
t=0065 CREATE_NODE id=n_ae5b83251612 node_type=claim
t=0066 CREATE_NODE id=n_8f667ffba186 node_type=claim
t=0067 CREATE_NODE id=n_8f3886c3758c node_type=claim
t=0068 CREATE_NODE id=n_212c1f017333 node_type=claim
t=0069 CREATE_NODE id=n_284302df7bb3 node_type=claim
t=0070 ASSERT_ROOT node=n_b46c21639a27 value=TRUE
t=0071 ADD_EDGE edge_id=e_0546c0a52035 source=n_5e2143c468ff edge_type=refutes target=n_e64dae5b2692
t=0072 ADD_EDGE edge_id=e_9dbc56c72ac2 source=n_8245d0f229a0 edge_type=supports target=n_24067544ecb6
t=0073 ADD_EDGE edge_id=e_a46b420ef1a8 source=n_143c58b5428e edge_type=supports target=n_1eb02f253dd8
t=0074 ADD_EDGE edge_id=e_f68dc455e1d3 source=n_2aa2372ae130 edge_type=refutes target=n_dfca828ce144
t=0075 ADD_EDGE edge_id=e_ddd7b8eac46a source=n_0adacd5ec52b edge_type=supports target=n_9a43819ec612
t=0076 ADD_EDGE edge_id=e_8bb4d8ed781a source=n_d784e00b3afc edge_type=supports target=n_5c3cd4288fc0
t=0077 ADD_EDGE edge_id=e_6160317fd5bb source=n_adc4739f5f34 edge_type=refutes target=n_7bd49dd54415
t=0078 ADD_EDGE edge_id=e_0ec4db0350a1 source=n_42f267c00f42 edge_type=refutes target=n_1fee30e3e69a
t=0079 ADD_EDGE edge_id=e_85d653b1497d source=n_0f4ae2437078 edge_type=refutes target=n_284302df7bb3
t=0080 ADD_EDGE edge_id=e_b96a6179ec80 source=n_fd81c3b16f8c edge_type=refutes target=n_91d27ac46d97
t=0081 ADD_EDGE edge_id=e_24bcd2161038 source=n_284302df7bb3 edge_type=supports target=n_5e2143c468ff
t=0082 ADD_EDGE edge_id=e_bfba6599eb42 source=n_42f267c00f42 edge_type=supports target=n_f5995963eb3f
t=0083 ADD_EDGE edge_id=e_a1d87d1001f8 source=n_269d91f12281 edge_type=refutes target=n_a81023999589
t=0084 ADD_EDGE edge_id=e_3dac25c4ac44 source=n_f59e71afbc5f edge_type=refutes target=n_79aecad28305
t=0085 ADD_EDGE edge_id=e_b1f5ccccefb8 source=n_a5b6fc5f88b0 edge_type=refutes target=n_0f4ae2437078
t=0086 ADD_EDGE edge_id=e_2f5e12c00105 source=n_42f267c00f42 edge_type=refutes target=n_d31bf0828077
t=0087 ADD_EDGE edge_id=e_42f505a20c96 source=n_f59e71afbc5f edge_type=supports target=n_c981576ca527
t=0088 ADD_EDGE edge_id=e_20726940bfea source=n_8245d0f229a0 edge_type=supports target=n_be3e45345add
t=0089 ADD_EDGE edge_id=e_e433c135d86b source=n_b9fa8c1f2825 edge_type=refutes target=n_f59e71afbc5f
t=0090 ADD_EDGE edge_id=e_d0b2f6651e5d source=n_dfca828ce144 edge_type=refutes target=n_dfef5626b948
t=0091 ADD_EDGE edge_id=e_7cde46214ccc source=n_74c8f15bc9a2 edge_type=supports target=n_03c03fba96eb
t=0092 ADD_EDGE edge_id=e_f492b987193a source=n_ae5b83251612 edge_type=supports target=n_724985028329
t=0093 ADD_EDGE edge_id=e_a1f7b7e89e1c source=n_821b0bea3f19 edge_type=refutes target=n_9f84c23b9326
t=0094 ADD_EDGE edge_id=e_3077644e048d source=n_9d7bdce73f77 edge_type=refutes target=n_9a15d4dd42ec
t=0095 ADD_EDGE edge_id=e_ac4f406c4ee3 source=n_702d3e1a5553 edge_type=supports target=n_b5b84bbcd47d
t=0096 ADD_EDGE edge_id=e_91942e7dcfcc source=n_3dbdbc2993cc edge_type=refutes target=n_1dc99b5d7c43
t=0097 ADD_EDGE edge_id=e_e4ecc041d80a source=n_4bf9b84a40d7 edge_type=refutes target=n_821b0bea3f19
t=0098 ADD_EDGE edge_id=e_79e043cadcab source=n_74c8f15bc9a2 edge_type=refutes target=n_58f8f70cad25
t=0099 ADD_EDGE edge_id=e_5c6429972879 source=n_cb8fc7f4b657 edge_type=refutes target=n_9f7cd96b8d33
t=0100 ADD_EDGE edge_id=e_dfcb5929dfb0 source=n_3c8c6ffe9ef6 edge_type=refutes target=n_714cb7befa94
t=0101 ADD_EDGE edge_id=e_726a96369a68 source=n_1dc99b5d7c43 edge_type=refutes target=n_b0aaffb468b4
t=0102 ADD_EDGE edge_id=e_cb61a320bc7b source=n_b0aaffb468b4 edge_type=supports target=n_87503c4a77d4
t=0103 ADD_EDGE edge_id=e_69708946d8c6 source=n_e64dae5b2692 edge_type=supports target=n_adc4739f5f34
t=0104 ADD_EDGE edge_id=e_7a92db5441ba source=n_55e8a579918c edge_type=supports target=n_a0b55e593811
t=0105 ADD_EDGE edge_id=e_a50f6ac191c8 source=n_93dff4d97141 edge_type=supports target=n_0adacd5ec52b
t=0106 ADD_EDGE edge_id=e_435e934110f2 source=n_b9fa8c1f2825 edge_type=supports target=n_9e972cc39239
t=0107 ADD_EDGE edge_id=e_d71f35e49909 source=n_dfef5626b948 edge_type=refutes target=n_55e8a579918c
t=0108 ADD_EDGE edge_id=e_a2959a412364 source=n_212c1f017333 edge_type=supports target=n_3c8c6ffe9ef6
t=0109 ADD_EDGE edge_id=e_0fe532facf74 source=n_9a43819ec612 edge_type=refutes target=n_ae5b83251612
t=0110 ADD_EDGE edge_id=e_11c911821dd5 source=n_702d3e1a5553 edge_type=refutes target=n_cb9c0a017e21
t=0111 ADD_EDGE edge_id=e_73ffad878cbc source=n_b46c21639a27 edge_type=supports target=n_269d91f12281
t=0112 ADD_EDGE edge_id=e_421ab0af66f0 source=n_87503c4a77d4 edge_type=supports target=n_2aa2372ae130
t=0113 ADD_EDGE edge_id=e_68cf11bc9fcf source=n_cb8fc7f4b657 edge_type=refutes target=n_b7ad772a0aa1
t=0114 ADD_EDGE edge_id=e_bac21ad922f8 source=n_43a92e2d9420 edge_type=supports target=n_919fe927aea8
t=0115 ADD_EDGE edge_id=e_beed8b87b903 source=n_702d3e1a5553 edge_type=supports target=n_93dff4d97141
t=0116 ADD_EDGE edge_id=e_d20ab5169271 source=n_a81023999589 edge_type=refutes target=n_d784e00b3afc
t=0117 ADD_EDGE edge_id=e_4802efaaea11 source=n_9a43819ec612 edge_type=supports target=n_212c1f017333
t=0118 ADD_EDGE edge_id=e_fddf29f0390e source=n_be47bd14cae9 edge_type=supports target=n_9d7bdce73f77
t=0119 ADD_EDGE edge_id=e_3ce67830cc9c source=n_9a43819ec612 edge_type=refutes target=n_fd81c3b16f8c
t=0120 ADD_EDGE edge_id=e_3f0b0ede48ed source=n_143c58b5428e edge_type=refutes target=n_0764e32872fc
t=0121 ADD_EDGE edge_id=e_97ee4ca532b7 source=n_55e8a579918c edge_type=refutes target=n_ba215a9323f2
t=0122 ADD_EDGE edge_id=e_5d4485062482 source=n_9a15d4dd42ec edge_type=supports target=n_a5b6fc5f88b0
t=0123 ADD_EDGE edge_id=e_f94dfd47652d source=n_0764e32872fc edge_type=refutes target=n_8f667ffba186
t=0124 ADD_EDGE edge_id=e_5893af216f36 source=n_3c8c6ffe9ef6 edge_type=supports target=n_8f3886c3758c
t=0125 ADD_EDGE edge_id=e_bda689e7e88b source=n_5c3cd4288fc0 edge_type=refutes target=n_be47bd14cae9
t=0126 ADD_EDGE edge_id=e_ac6c2495416d source=n_f5995963eb3f edge_type=refutes target=n_43a92e2d9420
t=0127 ADD_EDGE edge_id=e_56982598ad8c source=n_b7ad772a0aa1 edge_type=supports target=n_41017a106d24
t=0128 ADD_EDGE edge_id=e_fc359bc8fa72 source=n_79aecad28305 edge_type=supports target=n_620ad20d2c12
t=0129 ADD_EDGE edge_id=e_717a00cebf5b source=n_93dff4d97141 edge_type=refutes target=n_2b5ec7798a46
t=0130 ADD_EDGE edge_id=e_7c67aea248f0 source=n_702d3e1a5553 edge_type=supports target=n_143c58b5428e
t=0131 ADD_EDGE edge_id=e_934b13178e5d source=n_7bd49dd54415 edge_type=supports target=n_4bf9b84a40d7
t=0132 ADD_EDGE edge_id=e_54a3235a52a9 source=n_ba215a9323f2 edge_type=supports target=n_b9fa8c1f2825
t=0133 ADD_EDGE edge_id=e_9008dc5e9043 source=n_2aa2372ae130 edge_type=supports target=n_7a2afe526e76
t=0134 ADD_EDGE edge_id=e_05aed72413de source=n_cb9c0a017e21 edge_type=supports target=n_74c8f15bc9a2
t=0135 ADD_EDGE edge_id=e_88a092a6550f source=n_9a43819ec612 edge_type=refutes target=n_8245d0f229a0
t=0136 ADD_EDGE edge_id=e_74dc0b27760f source=n_42f267c00f42 edge_type=supports target=n_702d3e1a5553
t=0137 ADD_EDGE edge_id=e_62444419a2da source=n_3c8c6ffe9ef6 edge_type=supports target=n_cb8fc7f4b657
t=0138 ADD_EDGE edge_id=e_10e7689955de source=n_9f84c23b9326 edge_type=refutes target=n_3dbdbc2993cc
t=0139 QUERY source=n_b46c21639a27 target=n_620ad20d2c12
[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_5786308ffb64 node_type=claim
t=0001 CREATE_NODE id=n_8704509213dd node_type=claim
t=0002 CREATE_NODE id=n_f950b2e24c38 node_type=claim
t=0003 CREATE_NODE id=n_c25edc9f9fa1 node_type=claim
t=0004 CREATE_NODE id=n_d4d91030c868 node_type=claim
t=0005 CREATE_NODE id=n_c344c31c45e7 node_type=claim
t=0006 CREATE_NODE id=n_a01de5ae5f44 node_type=claim
t=0007 CREATE_NODE id=n_7df6b4d00b06 node_type=claim
t=0008 CREATE_NODE id=n_21e006a63a09 node_type=claim
t=0009 CREATE_NODE id=n_254a652872ae node_type=claim
t=0010 CREATE_NODE id=n_76afef56c4bf node_type=claim
t=0011 CREATE_NODE id=n_432e51d7d96a node_type=claim
t=0012 CREATE_NODE id=n_18205cb581b8 node_type=claim
t=0013 CREATE_NODE id=n_a26554916294 node_type=claim
t=0014 CREATE_NODE id=n_6fce25d67dde node_type=claim
t=0015 CREATE_NODE id=n_5a20a3446ea8 node_type=claim
t=0016 CREATE_NODE id=n_0bcf75c697fc node_type=claim
t=0017 CREATE_NODE id=n_966a272190ad node_type=claim
t=0018 CREATE_NODE id=n_478a4a1e6017 node_type=claim
t=0019 CREATE_NODE id=n_77bf5aa441ea node_type=claim
t=0020 CREATE_NODE id=n_ea433dbf2471 node_type=claim
t=0021 CREATE_NODE id=n_24067832498d node_type=claim
t=0022 CREATE_NODE id=n_364b4ba9476a node_type=claim
t=0023 CREATE_NODE id=n_ca257f5210f6 node_type=claim
t=0024 CREATE_NODE id=n_a87b22172aca node_type=claim
t=0025 CREATE_NODE id=n_676a500c87b4 node_type=claim
t=0026 CREATE_NODE id=n_478a32551dab node_type=claim
t=0027 CREATE_NODE id=n_19104efb86a7 node_type=claim
t=0028 CREATE_NODE id=n_de0cadd08d4b node_type=claim
t=0029 CREATE_NODE id=n_0d93130548a2 node_type=claim
t=0030 CREATE_NODE id=n_e095cdd76c15 node_type=claim
t=0031 CREATE_NODE id=n_a8c3b9b9bba7 node_type=claim
t=0032 CREATE_NODE id=n_c3a375929959 node_type=claim
t=0033 CREATE_NODE id=n_560340bc2ae7 node_type=claim
t=0034 CREATE_NODE id=n_79ae874a3654 node_type=claim
t=0035 CREATE_NODE id=n_1a2b46870a5d node_type=claim
t=0036 CREATE_NODE id=n_1c5d9801f977 node_type=claim
t=0037 CREATE_NODE id=n_202dfc4497e5 node_type=claim
t=0038 CREATE_NODE id=n_f41f19bd2aea node_type=claim
t=0039 CREATE_NODE id=n_45eb09e58dbf node_type=claim
t=0040 CREATE_NODE id=n_68d6acadc6cf node_type=claim
t=0041 CREATE_NODE id=n_17cfc4d2bf69 node_type=claim
t=0042 CREATE_NODE id=n_4b91fbd29466 node_type=claim
t=0043 CREATE_NODE id=n_068c17e4b5b5 node_type=claim
t=0044 CREATE_NODE id=n_26f8a6f08717 node_type=claim
t=0045 CREATE_NODE id=n_89a9a39bda12 node_type=claim
t=0046 CREATE_NODE id=n_5598175d14f6 node_type=claim
t=0047 CREATE_NODE id=n_758fe57a758d node_type=claim
t=0048 CREATE_NODE id=n_f7ab3c2de681 node_type=claim
t=0049 CREATE_NODE id=n_b680a693ff06 node_type=claim
t=0050 CREATE_NODE id=n_cdb138359fda node_type=claim
t=0051 CREATE_NODE id=n_7573732d8277 node_type=claim
t=0052 CREATE_NODE id=n_3d84e8f96e44 node_type=claim
t=0053 CREATE_NODE id=n_49e05881de28 node_type=claim
t=0054 CREATE_NODE id=n_145fa9aa2151 node_type=claim
t=0055 CREATE_NODE id=n_515b01e27817 node_type=claim
t=0056 CREATE_NODE id=n_df696fd91660 node_type=claim
t=0057 CREATE_NODE id=n_26ee4b44dbc5 node_type=claim
t=0058 CREATE_NODE id=n_669b7e5655b9 node_type=claim
t=0059 CREATE_NODE id=n_343e0bb75749 node_type=claim
t=0060 CREATE_NODE id=n_9228403a7e9a node_type=claim
t=0061 CREATE_NODE id=n_ea20918038a5 node_type=claim
t=0062 CREATE_NODE id=n_2033575e87c0 node_type=claim
t=0063 CREATE_NODE id=n_fcde038e08d0 node_type=claim
t=0064 CREATE_NODE id=n_0d7b3a0913ce node_type=claim
t=0065 CREATE_NODE id=n_332f5eb7d94c node_type=claim
t=0066 CREATE_NODE id=n_581ade0d2eae node_type=claim
t=0067 CREATE_NODE id=n_32dba0efed83 node_type=claim
t=0068 CREATE_NODE id=n_e1167c816122 node_type=claim
t=0069 CREATE_NODE id=n_126e6f35b6f6 node_type=claim
t=0070 ASSERT_ROOT node=n_432e51d7d96a value=FALSE
t=0071 ADD_EDGE edge_id=e_a3f0ede6cac8 source=n_fcde038e08d0 edge_type=supports target=n_676a500c87b4
t=0072 ADD_EDGE edge_id=e_ceb4f1e19049 source=n_7df6b4d00b06 edge_type=refutes target=n_145fa9aa2151
t=0073 ADD_EDGE edge_id=e_10c0bc983eae source=n_2033575e87c0 edge_type=refutes target=n_758fe57a758d
t=0074 ADD_EDGE edge_id=e_7b879849f127 source=n_26f8a6f08717 edge_type=refutes target=n_ea20918038a5
t=0075 ADD_EDGE edge_id=e_b09a2ee6dc04 source=n_0bcf75c697fc edge_type=refutes target=n_18205cb581b8
t=0076 ADD_EDGE edge_id=e_ed1e87c82edd source=n_cdb138359fda edge_type=refutes target=n_17cfc4d2bf69
t=0077 ADD_EDGE edge_id=e_9854e229bcc4 source=n_7df6b4d00b06 edge_type=refutes target=n_5a20a3446ea8
t=0078 ADD_EDGE edge_id=e_71828b001048 source=n_758fe57a758d edge_type=refutes target=n_0d7b3a0913ce
t=0079 ADD_EDGE edge_id=e_23d0ac6dd03b source=n_77bf5aa441ea edge_type=refutes target=n_1a2b46870a5d
t=0080 ADD_EDGE edge_id=e_f90543bde961 source=n_b680a693ff06 edge_type=refutes target=n_5786308ffb64
t=0081 ADD_EDGE edge_id=e_88c96d28cee2 source=n_7df6b4d00b06 edge_type=supports target=n_f41f19bd2aea
t=0082 ADD_EDGE edge_id=e_300939e36971 source=n_19104efb86a7 edge_type=refutes target=n_49e05881de28
t=0083 ADD_EDGE edge_id=e_77529ac7b78c source=n_cdb138359fda edge_type=supports target=n_21e006a63a09
t=0084 ADD_EDGE edge_id=e_909c5944f98d source=n_581ade0d2eae edge_type=supports target=n_68d6acadc6cf
t=0085 ADD_EDGE edge_id=e_0d22b819f0c3 source=n_432e51d7d96a edge_type=supports target=n_343e0bb75749
t=0086 ADD_EDGE edge_id=e_124218f70be4 source=n_145fa9aa2151 edge_type=supports target=n_4b91fbd29466
t=0087 ADD_EDGE edge_id=e_21542ee8e781 source=n_7df6b4d00b06 edge_type=supports target=n_89a9a39bda12
t=0088 ADD_EDGE edge_id=e_fc1958cca276 source=n_9228403a7e9a edge_type=refutes target=n_068c17e4b5b5
t=0089 ADD_EDGE edge_id=e_dc0ec9a649df source=n_fcde038e08d0 edge_type=supports target=n_478a32551dab
t=0090 ADD_EDGE edge_id=e_6b8a9da5f580 source=n_068c17e4b5b5 edge_type=supports target=n_7573732d8277
t=0091 ADD_EDGE edge_id=e_507650814f76 source=n_c3a375929959 edge_type=refutes target=n_ca257f5210f6
t=0092 ADD_EDGE edge_id=e_1c374228cf04 source=n_145fa9aa2151 edge_type=refutes target=n_1c5d9801f977
t=0093 ADD_EDGE edge_id=e_9f0698b00d83 source=n_145fa9aa2151 edge_type=refutes target=n_26ee4b44dbc5
t=0094 ADD_EDGE edge_id=e_211ec3eb0dc0 source=n_343e0bb75749 edge_type=refutes target=n_77bf5aa441ea
t=0095 ADD_EDGE edge_id=e_a70f961c1559 source=n_cdb138359fda edge_type=refutes target=n_de0cadd08d4b
t=0096 ADD_EDGE edge_id=e_8f272f7650bc source=n_fcde038e08d0 edge_type=refutes target=n_560340bc2ae7
t=0097 ADD_EDGE edge_id=e_2358bef8eae0 source=n_79ae874a3654 edge_type=refutes target=n_26f8a6f08717
t=0098 ADD_EDGE edge_id=e_4b72da116b03 source=n_de0cadd08d4b edge_type=supports target=n_a26554916294
t=0099 ADD_EDGE edge_id=e_84499b92730f source=n_7df6b4d00b06 edge_type=supports target=n_669b7e5655b9
t=0100 ADD_EDGE edge_id=e_0331a28acf54 source=n_f7ab3c2de681 edge_type=supports target=n_3d84e8f96e44
t=0101 ADD_EDGE edge_id=e_3cab44f1380c source=n_7df6b4d00b06 edge_type=supports target=n_df696fd91660
t=0102 ADD_EDGE edge_id=e_7dc15e62b3ee source=n_6fce25d67dde edge_type=supports target=n_478a4a1e6017
t=0103 ADD_EDGE edge_id=e_da25b470c14f source=n_676a500c87b4 edge_type=supports target=n_e1167c816122
t=0104 ADD_EDGE edge_id=e_99caeb774812 source=n_332f5eb7d94c edge_type=refutes target=n_19104efb86a7
t=0105 ADD_EDGE edge_id=e_23862128c518 source=n_ea20918038a5 edge_type=supports target=n_126e6f35b6f6
t=0106 ADD_EDGE edge_id=e_0aebc8dcfa29 source=n_21e006a63a09 edge_type=supports target=n_8704509213dd
t=0107 ADD_EDGE edge_id=e_5f192c1a90ac source=n_b680a693ff06 edge_type=supports target=n_0bcf75c697fc
t=0108 ADD_EDGE edge_id=e_d661300ef43c source=n_f7ab3c2de681 edge_type=refutes target=n_9228403a7e9a
t=0109 ADD_EDGE edge_id=e_e55736196b5a source=n_77bf5aa441ea edge_type=supports target=n_515b01e27817
t=0110 ADD_EDGE edge_id=e_80457bd0f612 source=n_0d93130548a2 edge_type=refutes target=n_332f5eb7d94c
t=0111 ADD_EDGE edge_id=e_e1e82e2ec86b source=n_ea20918038a5 edge_type=refutes target=n_24067832498d
t=0112 ADD_EDGE edge_id=e_5e0763b98709 source=n_9228403a7e9a edge_type=supports target=n_a01de5ae5f44
t=0113 ADD_EDGE edge_id=e_817a32e1e7bc source=n_45eb09e58dbf edge_type=refutes target=n_202dfc4497e5
t=0114 ADD_EDGE edge_id=e_b3cf79acb1c0 source=n_669b7e5655b9 edge_type=supports target=n_32dba0efed83
t=0115 ADD_EDGE edge_id=e_03c4613ebaa0 source=n_a26554916294 edge_type=supports target=n_5598175d14f6
t=0116 ADD_EDGE edge_id=e_cfb55395b542 source=n_1a2b46870a5d edge_type=supports target=n_ea433dbf2471
t=0117 ADD_EDGE edge_id=e_0b074df7ce2d source=n_0d7b3a0913ce edge_type=supports target=n_6fce25d67dde
t=0118 ADD_EDGE edge_id=e_9b9ccea601b8 source=n_49e05881de28 edge_type=refutes target=n_364b4ba9476a
t=0119 ADD_EDGE edge_id=e_021db31b5cf8 source=n_9228403a7e9a edge_type=supports target=n_45eb09e58dbf
t=0120 ADD_EDGE edge_id=e_b7507418effc source=n_7df6b4d00b06 edge_type=refutes target=n_fcde038e08d0
t=0121 ADD_EDGE edge_id=e_ba2711145512 source=n_068c17e4b5b5 edge_type=refutes target=n_e095cdd76c15
t=0122 ADD_EDGE edge_id=e_aad25133b05c source=n_ea433dbf2471 edge_type=supports target=n_2033575e87c0
t=0123 ADD_EDGE edge_id=e_18503707a89a source=n_7df6b4d00b06 edge_type=refutes target=n_76afef56c4bf
t=0124 ADD_EDGE edge_id=e_80051a36af7c source=n_f41f19bd2aea edge_type=refutes target=n_f7ab3c2de681
t=0125 ADD_EDGE edge_id=e_bea806425225 source=n_68d6acadc6cf edge_type=supports target=n_d4d91030c868
t=0126 ADD_EDGE edge_id=e_9a4270e94b69 source=n_d4d91030c868 edge_type=refutes target=n_0d93130548a2
t=0127 ADD_EDGE edge_id=e_ad9de3f95145 source=n_478a4a1e6017 edge_type=refutes target=n_f950b2e24c38
t=0128 ADD_EDGE edge_id=e_79f7c4bed1e5 source=n_364b4ba9476a edge_type=refutes target=n_a8c3b9b9bba7
t=0129 ADD_EDGE edge_id=e_1b99208416b7 source=n_68d6acadc6cf edge_type=refutes target=n_254a652872ae
t=0130 ADD_EDGE edge_id=e_08ad5131bd56 source=n_a87b22172aca edge_type=supports target=n_966a272190ad
t=0131 ADD_EDGE edge_id=e_3f55eca60719 source=n_145fa9aa2151 edge_type=supports target=n_c25edc9f9fa1
t=0132 ADD_EDGE edge_id=e_afb4f1c1419d source=n_24067832498d edge_type=supports target=n_c3a375929959
t=0133 ADD_EDGE edge_id=e_5fb2e3d0cd2d source=n_ca257f5210f6 edge_type=refutes target=n_b680a693ff06
t=0134 ADD_EDGE edge_id=e_3101d644a797 source=n_f950b2e24c38 edge_type=supports target=n_581ade0d2eae
t=0135 ADD_EDGE edge_id=e_8f48859d655c source=n_18205cb581b8 edge_type=supports target=n_a87b22172aca
t=0136 ADD_EDGE edge_id=e_f05778a54e72 source=n_7df6b4d00b06 edge_type=supports target=n_cdb138359fda
t=0137 ADD_EDGE edge_id=e_5ad72dd26fc3 source=n_89a9a39bda12 edge_type=supports target=n_c344c31c45e7
t=0138 ADD_EDGE edge_id=e_b7bcf461b129 source=n_a8c3b9b9bba7 edge_type=refutes target=n_79ae874a3654
t=0139 QUERY source=n_432e51d7d96a target=n_966a272190ad
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.