[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_b183ddf79707 node_type=claim
t=0001 CREATE_NODE id=n_014e2c7114cf node_type=claim
t=0002 CREATE_NODE id=n_5b3384332223 node_type=claim
t=0003 CREATE_NODE id=n_97f0c9e7f229 node_type=claim
t=0004 CREATE_NODE id=n_63d67aa5a9fe node_type=claim
t=0005 CREATE_NODE id=n_57b8bbf5fc7a node_type=claim
t=0006 CREATE_NODE id=n_540b7e5ce2fe node_type=claim
t=0007 CREATE_NODE id=n_989f393edd5e node_type=claim
t=0008 CREATE_NODE id=n_de8d8b8e3288 node_type=claim
t=0009 CREATE_NODE id=n_dc01f692ed0e node_type=claim
t=0010 CREATE_NODE id=n_c65989e6adc3 node_type=claim
t=0011 CREATE_NODE id=n_95def6fa0213 node_type=claim
t=0012 CREATE_NODE id=n_b9df31f3c6de node_type=claim
t=0013 CREATE_NODE id=n_b98a4dab7b87 node_type=claim
t=0014 CREATE_NODE id=n_76c4cd58f81f node_type=claim
t=0015 CREATE_NODE id=n_cdc95c5f1800 node_type=claim
t=0016 CREATE_NODE id=n_878223007a22 node_type=claim
t=0017 CREATE_NODE id=n_3bbb66471066 node_type=claim
t=0018 CREATE_NODE id=n_18efd8a7a536 node_type=claim
t=0019 CREATE_NODE id=n_209f0b909e03 node_type=claim
t=0020 CREATE_NODE id=n_50b0f620a96d node_type=claim
t=0021 CREATE_NODE id=n_e02a60e26d8c node_type=claim
t=0022 CREATE_NODE id=n_78b2ea69c13b node_type=claim
t=0023 CREATE_NODE id=n_c080282c3d83 node_type=claim
t=0024 CREATE_NODE id=n_3f35fe34d26c node_type=claim
t=0025 CREATE_NODE id=n_f0011b6e0c18 node_type=claim
t=0026 CREATE_NODE id=n_15e5112167f4 node_type=claim
t=0027 CREATE_NODE id=n_5c4bd537f257 node_type=claim
t=0028 CREATE_NODE id=n_09d799b8afcd node_type=claim
t=0029 CREATE_NODE id=n_b3ae917d5c1f node_type=claim
t=0030 CREATE_NODE id=n_2a6d18a029b8 node_type=claim
t=0031 CREATE_NODE id=n_049bdb905cce node_type=claim
t=0032 CREATE_NODE id=n_ce7b6d09e3b4 node_type=claim
t=0033 CREATE_NODE id=n_7fd463e32d48 node_type=claim
t=0034 CREATE_NODE id=n_3ee3b8792f15 node_type=claim
t=0035 CREATE_NODE id=n_080e8c5a8ff2 node_type=claim
t=0036 CREATE_NODE id=n_cafb5c461e5c node_type=claim
t=0037 CREATE_NODE id=n_0ffede10b9d5 node_type=claim
t=0038 CREATE_NODE id=n_5c45ea7bb79d node_type=claim
t=0039 CREATE_NODE id=n_7307cf90711e node_type=claim
t=0040 CREATE_NODE id=n_256426e1462e node_type=claim
t=0041 CREATE_NODE id=n_75f514da2d2e node_type=claim
t=0042 CREATE_NODE id=n_13207b8c39e8 node_type=claim
t=0043 CREATE_NODE id=n_b8521b975f2d node_type=claim
t=0044 CREATE_NODE id=n_a59bd74d186a node_type=claim
t=0045 CREATE_NODE id=n_c6328fba8dae node_type=claim
t=0046 CREATE_NODE id=n_4dfae2a6fb72 node_type=claim
t=0047 CREATE_NODE id=n_dd13c9d41abf node_type=claim
t=0048 CREATE_NODE id=n_086af6335f54 node_type=claim
t=0049 CREATE_NODE id=n_9d9effdee398 node_type=claim
t=0050 ASSERT_ROOT node=n_080e8c5a8ff2 value=FALSE
t=0051 ADD_EDGE edge_id=e_5dc5c8ae1567 source=n_15e5112167f4 edge_type=refutes target=n_7307cf90711e
t=0052 ADD_EDGE edge_id=e_12c4fdd74fb6 source=n_b98a4dab7b87 edge_type=supports target=n_b9df31f3c6de
t=0053 ADD_EDGE edge_id=e_c299935e8dec source=n_b98a4dab7b87 edge_type=refutes target=n_15e5112167f4
t=0054 ADD_EDGE edge_id=e_099b1a14d429 source=n_878223007a22 edge_type=supports target=n_b3ae917d5c1f
t=0055 ADD_EDGE edge_id=e_d288b5799bba source=n_989f393edd5e edge_type=refutes target=n_dc01f692ed0e
t=0056 ADD_EDGE edge_id=e_ae4477dfc8c3 source=n_e02a60e26d8c edge_type=supports target=n_5c45ea7bb79d
t=0057 ADD_EDGE edge_id=e_8a12ef0dfacb source=n_18efd8a7a536 edge_type=refutes target=n_78b2ea69c13b
t=0058 ADD_EDGE edge_id=e_245d4ccccd8a source=n_cdc95c5f1800 edge_type=refutes target=n_540b7e5ce2fe
t=0059 ADD_EDGE edge_id=e_f7befc4f2b9f source=n_f0011b6e0c18 edge_type=supports target=n_014e2c7114cf
t=0060 ADD_EDGE edge_id=e_f829d2c013e8 source=n_4dfae2a6fb72 edge_type=supports target=n_b98a4dab7b87
t=0061 ADD_EDGE edge_id=e_8e15e2b898a4 source=n_7fd463e32d48 edge_type=refutes target=n_086af6335f54
t=0062 ADD_EDGE edge_id=e_7040d799b425 source=n_4dfae2a6fb72 edge_type=refutes target=n_50b0f620a96d
t=0063 ADD_EDGE edge_id=e_8540957ec489 source=n_5b3384332223 edge_type=supports target=n_5c4bd537f257
t=0064 ADD_EDGE edge_id=e_d3b897b58bb0 source=n_014e2c7114cf edge_type=refutes target=n_e02a60e26d8c
t=0065 ADD_EDGE edge_id=e_ee9c7085b95e source=n_b8521b975f2d edge_type=refutes target=n_9d9effdee398
t=0066 ADD_EDGE edge_id=e_14d50db2f757 source=n_5b3384332223 edge_type=refutes target=n_256426e1462e
t=0067 ADD_EDGE edge_id=e_320d347f7a94 source=n_de8d8b8e3288 edge_type=refutes target=n_b183ddf79707
t=0068 ADD_EDGE edge_id=e_871a821a6788 source=n_dd13c9d41abf edge_type=supports target=n_c65989e6adc3
t=0069 ADD_EDGE edge_id=e_916d7bd965c0 source=n_63d67aa5a9fe edge_type=supports target=n_95def6fa0213
t=0070 ADD_EDGE edge_id=e_71089a7b8eb6 source=n_5b3384332223 edge_type=supports target=n_09d799b8afcd
t=0071 ADD_EDGE edge_id=e_ee3c09982cb8 source=n_cafb5c461e5c edge_type=supports target=n_ce7b6d09e3b4
t=0072 ADD_EDGE edge_id=e_0197f7a10ffe source=n_5c45ea7bb79d edge_type=supports target=n_989f393edd5e
t=0073 ADD_EDGE edge_id=e_eba948901295 source=n_4dfae2a6fb72 edge_type=supports target=n_de8d8b8e3288
t=0074 ADD_EDGE edge_id=e_7afda4a2f71c source=n_63d67aa5a9fe edge_type=supports target=n_c6328fba8dae
t=0075 ADD_EDGE edge_id=e_c8a8368fb179 source=n_13207b8c39e8 edge_type=refutes target=n_5b3384332223
t=0076 ADD_EDGE edge_id=e_a4a9089fe8c3 source=n_5c45ea7bb79d edge_type=supports target=n_0ffede10b9d5
t=0077 ADD_EDGE edge_id=e_6606b7b8f88a source=n_5b3384332223 edge_type=refutes target=n_dd13c9d41abf
t=0078 ADD_EDGE edge_id=e_0b789ceb5b4f source=n_080e8c5a8ff2 edge_type=refutes target=n_b8521b975f2d
t=0079 ADD_EDGE edge_id=e_486e9f01042d source=n_15e5112167f4 edge_type=refutes target=n_cafb5c461e5c
t=0080 ADD_EDGE edge_id=e_0ccf3f217e90 source=n_5c4bd537f257 edge_type=supports target=n_049bdb905cce
t=0081 ADD_EDGE edge_id=e_f17c6a49f0a2 source=n_989f393edd5e edge_type=refutes target=n_57b8bbf5fc7a
t=0082 ADD_EDGE edge_id=e_86909a31128c source=n_2a6d18a029b8 edge_type=supports target=n_75f514da2d2e
t=0083 ADD_EDGE edge_id=e_bbcb90bd42ff source=n_c6328fba8dae edge_type=supports target=n_2a6d18a029b8
t=0084 ADD_EDGE edge_id=e_e7caa9f14200 source=n_97f0c9e7f229 edge_type=refutes target=n_3bbb66471066
t=0085 ADD_EDGE edge_id=e_b9c43416c430 source=n_9d9effdee398 edge_type=supports target=n_cdc95c5f1800
t=0086 ADD_EDGE edge_id=e_b43d3d3ac5fa source=n_13207b8c39e8 edge_type=supports target=n_4dfae2a6fb72
t=0087 ADD_EDGE edge_id=e_a2d8d0699328 source=n_7307cf90711e edge_type=refutes target=n_878223007a22
t=0088 ADD_EDGE edge_id=e_a30de19da171 source=n_540b7e5ce2fe edge_type=refutes target=n_63d67aa5a9fe
t=0089 ADD_EDGE edge_id=e_21d9886173ff source=n_cafb5c461e5c edge_type=refutes target=n_76c4cd58f81f
t=0090 ADD_EDGE edge_id=e_575059616b47 source=n_014e2c7114cf edge_type=supports target=n_a59bd74d186a
t=0091 ADD_EDGE edge_id=e_6f189b135a56 source=n_3bbb66471066 edge_type=refutes target=n_f0011b6e0c18
t=0092 ADD_EDGE edge_id=e_43d125b6100d source=n_dc01f692ed0e edge_type=supports target=n_18efd8a7a536
t=0093 ADD_EDGE edge_id=e_1e7b3a486858 source=n_78b2ea69c13b edge_type=supports target=n_7fd463e32d48
t=0094 ADD_EDGE edge_id=e_34f45b835b40 source=n_b98a4dab7b87 edge_type=supports target=n_209f0b909e03
t=0095 ADD_EDGE edge_id=e_4984abae7869 source=n_209f0b909e03 edge_type=refutes target=n_3ee3b8792f15
t=0096 ADD_EDGE edge_id=e_a0af32776731 source=n_209f0b909e03 edge_type=refutes target=n_3f35fe34d26c
t=0097 ADD_EDGE edge_id=e_4d81eb3437f2 source=n_75f514da2d2e edge_type=refutes target=n_97f0c9e7f229
t=0098 ADD_EDGE edge_id=e_26581aca8b71 source=n_15e5112167f4 edge_type=supports target=n_c080282c3d83
t=0099 QUERY source=n_080e8c5a8ff2 target=n_086af6335f54
[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_aaeb05cd551d node_type=claim
t=0001 CREATE_NODE id=n_dc82f35f8634 node_type=claim
t=0002 CREATE_NODE id=n_0c19532edd20 node_type=claim
t=0003 CREATE_NODE id=n_d740edaaa213 node_type=claim
t=0004 CREATE_NODE id=n_275e401a21b7 node_type=claim
t=0005 CREATE_NODE id=n_6e33dd521822 node_type=claim
t=0006 CREATE_NODE id=n_56e78e69ef31 node_type=claim
t=0007 CREATE_NODE id=n_cc293a9e8133 node_type=claim
t=0008 CREATE_NODE id=n_cb05bcf809b1 node_type=claim
t=0009 CREATE_NODE id=n_3f558b0bd53f node_type=claim
t=0010 CREATE_NODE id=n_174ea45c3f85 node_type=claim
t=0011 CREATE_NODE id=n_0a626060a1db node_type=claim
t=0012 CREATE_NODE id=n_680088b6c920 node_type=claim
t=0013 CREATE_NODE id=n_c2451ad4f2e0 node_type=claim
t=0014 CREATE_NODE id=n_e755bce73786 node_type=claim
t=0015 CREATE_NODE id=n_1115b96f196b node_type=claim
t=0016 CREATE_NODE id=n_e330c766f735 node_type=claim
t=0017 CREATE_NODE id=n_5578ebdb52f0 node_type=claim
t=0018 CREATE_NODE id=n_79296839b7c6 node_type=claim
t=0019 CREATE_NODE id=n_3badfd8aa0cd node_type=claim
t=0020 CREATE_NODE id=n_4bcf604a0589 node_type=claim
t=0021 CREATE_NODE id=n_469ad1d0521a node_type=claim
t=0022 CREATE_NODE id=n_402f8a6c43ac node_type=claim
t=0023 CREATE_NODE id=n_0226fdd69631 node_type=claim
t=0024 CREATE_NODE id=n_ce994cc79cd1 node_type=claim
t=0025 CREATE_NODE id=n_108dcbddcc06 node_type=claim
t=0026 CREATE_NODE id=n_55eb96309370 node_type=claim
t=0027 CREATE_NODE id=n_8852ca03c57b node_type=claim
t=0028 CREATE_NODE id=n_4b7529138126 node_type=claim
t=0029 CREATE_NODE id=n_926351036ea9 node_type=claim
t=0030 CREATE_NODE id=n_2ae3d830ce27 node_type=claim
t=0031 CREATE_NODE id=n_fbf96580dcdc node_type=claim
t=0032 CREATE_NODE id=n_81545f2520a3 node_type=claim
t=0033 CREATE_NODE id=n_c9fb26c2645c node_type=claim
t=0034 CREATE_NODE id=n_4f044d5eab96 node_type=claim
t=0035 CREATE_NODE id=n_ab80044bfb6a node_type=claim
t=0036 CREATE_NODE id=n_b565ac09bd2e node_type=claim
t=0037 CREATE_NODE id=n_dcd6158e0f8c node_type=claim
t=0038 CREATE_NODE id=n_e93f079704ca node_type=claim
t=0039 CREATE_NODE id=n_fbdcef945a9e node_type=claim
t=0040 CREATE_NODE id=n_8be5bd2f0f68 node_type=claim
t=0041 CREATE_NODE id=n_e12176a1b6f4 node_type=claim
t=0042 CREATE_NODE id=n_ff7a7798ad01 node_type=claim
t=0043 CREATE_NODE id=n_ccd88a66a71c node_type=claim
t=0044 CREATE_NODE id=n_f9cec4ebd9e4 node_type=claim
t=0045 CREATE_NODE id=n_e5478b2cb0c7 node_type=claim
t=0046 CREATE_NODE id=n_de95bead2d56 node_type=claim
t=0047 CREATE_NODE id=n_509a08d53c58 node_type=claim
t=0048 CREATE_NODE id=n_7dfeb854c869 node_type=claim
t=0049 CREATE_NODE id=n_dfcd88c72d8d node_type=claim
t=0050 ASSERT_ROOT node=n_cb05bcf809b1 value=TRUE
t=0051 ADD_EDGE edge_id=e_6d032e40fc5b source=n_79296839b7c6 edge_type=refutes target=n_e755bce73786
t=0052 ADD_EDGE edge_id=e_18cfe255735d source=n_509a08d53c58 edge_type=supports target=n_55eb96309370
t=0053 ADD_EDGE edge_id=e_5c454ead27a0 source=n_fbf96580dcdc edge_type=refutes target=n_0226fdd69631
t=0054 ADD_EDGE edge_id=e_6dd1a6e392af source=n_cb05bcf809b1 edge_type=refutes target=n_1115b96f196b
t=0055 ADD_EDGE edge_id=e_6d80e18d0af7 source=n_2ae3d830ce27 edge_type=refutes target=n_f9cec4ebd9e4
t=0056 ADD_EDGE edge_id=e_21b665840ee9 source=n_b565ac09bd2e edge_type=refutes target=n_0a626060a1db
t=0057 ADD_EDGE edge_id=e_290a2a7324bd source=n_3f558b0bd53f edge_type=supports target=n_c9fb26c2645c
t=0058 ADD_EDGE edge_id=e_6853d02894e9 source=n_3f558b0bd53f edge_type=supports target=n_469ad1d0521a
t=0059 ADD_EDGE edge_id=e_4f2fb16aa003 source=n_3f558b0bd53f edge_type=refutes target=n_dcd6158e0f8c
t=0060 ADD_EDGE edge_id=e_73b181d0a903 source=n_6e33dd521822 edge_type=refutes target=n_8be5bd2f0f68
t=0061 ADD_EDGE edge_id=e_d63172656a95 source=n_4b7529138126 edge_type=supports target=n_108dcbddcc06
t=0062 ADD_EDGE edge_id=e_7e469eac054c source=n_79296839b7c6 edge_type=refutes target=n_3badfd8aa0cd
t=0063 ADD_EDGE edge_id=e_ebaf5eca2405 source=n_4f044d5eab96 edge_type=supports target=n_509a08d53c58
t=0064 ADD_EDGE edge_id=e_c048fa3ed56b source=n_2ae3d830ce27 edge_type=supports target=n_4b7529138126
t=0065 ADD_EDGE edge_id=e_ef4ae4d9959b source=n_c9fb26c2645c edge_type=refutes target=n_aaeb05cd551d
t=0066 ADD_EDGE edge_id=e_db3b3387bd7c source=n_ff7a7798ad01 edge_type=refutes target=n_3f558b0bd53f
t=0067 ADD_EDGE edge_id=e_b050dee9f63a source=n_ab80044bfb6a edge_type=refutes target=n_d740edaaa213
t=0068 ADD_EDGE edge_id=e_73ce188da21c source=n_0a626060a1db edge_type=supports target=n_8852ca03c57b
t=0069 ADD_EDGE edge_id=e_94f614b329cc source=n_6e33dd521822 edge_type=refutes target=n_81545f2520a3
t=0070 ADD_EDGE edge_id=e_b259f71129f9 source=n_0226fdd69631 edge_type=refutes target=n_0c19532edd20
t=0071 ADD_EDGE edge_id=e_c1973189bcd9 source=n_e330c766f735 edge_type=refutes target=n_275e401a21b7
t=0072 ADD_EDGE edge_id=e_be5beb9bac2d source=n_d740edaaa213 edge_type=supports target=n_4bcf604a0589
t=0073 ADD_EDGE edge_id=e_5f8aad9d52a7 source=n_4b7529138126 edge_type=refutes target=n_79296839b7c6
t=0074 ADD_EDGE edge_id=e_64cb2187e3fd source=n_4b7529138126 edge_type=refutes target=n_e93f079704ca
t=0075 ADD_EDGE edge_id=e_a84e6c39ac6b source=n_dfcd88c72d8d edge_type=supports target=n_de95bead2d56
t=0076 ADD_EDGE edge_id=e_bec0be8de978 source=n_2ae3d830ce27 edge_type=supports target=n_ff7a7798ad01
t=0077 ADD_EDGE edge_id=e_00b242ad891c source=n_0226fdd69631 edge_type=refutes target=n_402f8a6c43ac
t=0078 ADD_EDGE edge_id=e_15b7162395ae source=n_ff7a7798ad01 edge_type=supports target=n_cc293a9e8133
t=0079 ADD_EDGE edge_id=e_e89386879b8f source=n_ccd88a66a71c edge_type=supports target=n_6e33dd521822
t=0080 ADD_EDGE edge_id=e_4e2f30d81824 source=n_2ae3d830ce27 edge_type=refutes target=n_e5478b2cb0c7
t=0081 ADD_EDGE edge_id=e_762ae3aba956 source=n_926351036ea9 edge_type=refutes target=n_c2451ad4f2e0
t=0082 ADD_EDGE edge_id=e_447527e7ff6d source=n_81545f2520a3 edge_type=refutes target=n_dfcd88c72d8d
t=0083 ADD_EDGE edge_id=e_3ec85f6a1891 source=n_4bcf604a0589 edge_type=supports target=n_56e78e69ef31
t=0084 ADD_EDGE edge_id=e_7e35bb5ba0f1 source=n_4b7529138126 edge_type=supports target=n_ce994cc79cd1
t=0085 ADD_EDGE edge_id=e_c0d6342bd372 source=n_509a08d53c58 edge_type=supports target=n_fbf96580dcdc
t=0086 ADD_EDGE edge_id=e_67a38b23546f source=n_dc82f35f8634 edge_type=refutes target=n_b565ac09bd2e
t=0087 ADD_EDGE edge_id=e_b9fa9af74025 source=n_4b7529138126 edge_type=supports target=n_680088b6c920
t=0088 ADD_EDGE edge_id=e_ee680d1ca6d1 source=n_1115b96f196b edge_type=refutes target=n_dc82f35f8634
t=0089 ADD_EDGE edge_id=e_1c8f50c80062 source=n_f9cec4ebd9e4 edge_type=refutes target=n_7dfeb854c869
t=0090 ADD_EDGE edge_id=e_bbfc62cc5340 source=n_926351036ea9 edge_type=supports target=n_174ea45c3f85
t=0091 ADD_EDGE edge_id=e_be86cba4d0d8 source=n_5578ebdb52f0 edge_type=refutes target=n_4f044d5eab96
t=0092 ADD_EDGE edge_id=e_ed8f630145ff source=n_8852ca03c57b edge_type=supports target=n_ccd88a66a71c
t=0093 ADD_EDGE edge_id=e_c4a06c5c530e source=n_ff7a7798ad01 edge_type=supports target=n_926351036ea9
t=0094 ADD_EDGE edge_id=e_fd0e764d6415 source=n_56e78e69ef31 edge_type=supports target=n_5578ebdb52f0
t=0095 ADD_EDGE edge_id=e_e523b5cb318c source=n_e5478b2cb0c7 edge_type=supports target=n_e330c766f735
t=0096 ADD_EDGE edge_id=e_65f4d7a86f6c source=n_4bcf604a0589 edge_type=supports target=n_e12176a1b6f4
t=0097 ADD_EDGE edge_id=e_f91941770b75 source=n_926351036ea9 edge_type=supports target=n_fbdcef945a9e
t=0098 ADD_EDGE edge_id=e_d97538592d05 source=n_de95bead2d56 edge_type=supports target=n_ab80044bfb6a
t=0099 QUERY source=n_cb05bcf809b1 target=n_0c19532edd20
[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_9c61beb70a4a node_type=claim
t=0001 CREATE_NODE id=n_79e1df601fca node_type=claim
t=0002 CREATE_NODE id=n_6cb3e8545382 node_type=claim
t=0003 CREATE_NODE id=n_66f0ea5122f9 node_type=claim
t=0004 CREATE_NODE id=n_ba315c9ac217 node_type=claim
t=0005 CREATE_NODE id=n_6a60c100ed1c node_type=claim
t=0006 CREATE_NODE id=n_e38f9805485f node_type=claim
t=0007 CREATE_NODE id=n_d284159432e0 node_type=claim
t=0008 CREATE_NODE id=n_cc1f4e8f09e8 node_type=claim
t=0009 CREATE_NODE id=n_39fed2bf5465 node_type=claim
t=0010 CREATE_NODE id=n_36ee26e2ad5d node_type=claim
t=0011 CREATE_NODE id=n_a3cdc02e0d19 node_type=claim
t=0012 CREATE_NODE id=n_33bb08f89e67 node_type=claim
t=0013 CREATE_NODE id=n_9ed30a7c5316 node_type=claim
t=0014 CREATE_NODE id=n_4fbd6dfd59d2 node_type=claim
t=0015 CREATE_NODE id=n_943f769a0240 node_type=claim
t=0016 CREATE_NODE id=n_8e36e1dd0bba node_type=claim
t=0017 CREATE_NODE id=n_dda75afcf304 node_type=claim
t=0018 CREATE_NODE id=n_bd1a34ec15dc node_type=claim
t=0019 CREATE_NODE id=n_18ef5b7bf31a node_type=claim
t=0020 CREATE_NODE id=n_625277a568ca node_type=claim
t=0021 CREATE_NODE id=n_ab774d02eaae node_type=claim
t=0022 CREATE_NODE id=n_96c60b574edd node_type=claim
t=0023 CREATE_NODE id=n_bd72ecfa4c20 node_type=claim
t=0024 CREATE_NODE id=n_b927af80b8ae node_type=claim
t=0025 CREATE_NODE id=n_e1a31c6ed4b3 node_type=claim
t=0026 CREATE_NODE id=n_c90967eb6e54 node_type=claim
t=0027 CREATE_NODE id=n_cb54954f0ec6 node_type=claim
t=0028 CREATE_NODE id=n_fac8f2d330bc node_type=claim
t=0029 CREATE_NODE id=n_d7db81698ff8 node_type=claim
t=0030 CREATE_NODE id=n_4f1e4d6559f8 node_type=claim
t=0031 CREATE_NODE id=n_f4bdbf2ee881 node_type=claim
t=0032 CREATE_NODE id=n_ab7b343c57a0 node_type=claim
t=0033 CREATE_NODE id=n_3596c3a1b204 node_type=claim
t=0034 CREATE_NODE id=n_02a86f2537de node_type=claim
t=0035 CREATE_NODE id=n_4710d8850cf3 node_type=claim
t=0036 CREATE_NODE id=n_351d0a325e50 node_type=claim
t=0037 CREATE_NODE id=n_bf1688dad42b node_type=claim
t=0038 CREATE_NODE id=n_8272e2acbc52 node_type=claim
t=0039 CREATE_NODE id=n_4b4d4650983c node_type=claim
t=0040 CREATE_NODE id=n_1939067b9154 node_type=claim
t=0041 CREATE_NODE id=n_da4361b6b6e9 node_type=claim
t=0042 CREATE_NODE id=n_b4054e29bea4 node_type=claim
t=0043 CREATE_NODE id=n_4ab8c72a7ad5 node_type=claim
t=0044 CREATE_NODE id=n_d557db739290 node_type=claim
t=0045 CREATE_NODE id=n_0ae22aff0a06 node_type=claim
t=0046 CREATE_NODE id=n_e48c91efb6b1 node_type=claim
t=0047 CREATE_NODE id=n_b66ca393a4d3 node_type=claim
t=0048 CREATE_NODE id=n_ed5fb7b784a3 node_type=claim
t=0049 CREATE_NODE id=n_5a2724b61d17 node_type=claim
t=0050 ASSERT_ROOT node=n_cb54954f0ec6 value=FALSE
t=0051 ADD_EDGE edge_id=e_dae76d5b3abc source=n_9c61beb70a4a edge_type=supports target=n_c90967eb6e54
t=0052 ADD_EDGE edge_id=e_d9a8da1d8a35 source=n_4f1e4d6559f8 edge_type=supports target=n_d557db739290
t=0053 ADD_EDGE edge_id=e_4c5021c50dc4 source=n_b4054e29bea4 edge_type=refutes target=n_4f1e4d6559f8
t=0054 ADD_EDGE edge_id=e_2d056aebd763 source=n_b927af80b8ae edge_type=supports target=n_96c60b574edd
t=0055 ADD_EDGE edge_id=e_601115f79da6 source=n_66f0ea5122f9 edge_type=refutes target=n_ba315c9ac217
t=0056 ADD_EDGE edge_id=e_0496c9a3e8e8 source=n_4b4d4650983c edge_type=refutes target=n_66f0ea5122f9
t=0057 ADD_EDGE edge_id=e_70bdaac76e2c source=n_bd72ecfa4c20 edge_type=supports target=n_36ee26e2ad5d
t=0058 ADD_EDGE edge_id=e_ae57039f5a11 source=n_4710d8850cf3 edge_type=supports target=n_943f769a0240
t=0059 ADD_EDGE edge_id=e_4e3d0724b3ab source=n_b66ca393a4d3 edge_type=supports target=n_8e36e1dd0bba
t=0060 ADD_EDGE edge_id=e_1e74de7aeb97 source=n_943f769a0240 edge_type=refutes target=n_4ab8c72a7ad5
t=0061 ADD_EDGE edge_id=e_1f24d2b18521 source=n_ba315c9ac217 edge_type=refutes target=n_3596c3a1b204
t=0062 ADD_EDGE edge_id=e_8e0daf56cd70 source=n_4710d8850cf3 edge_type=refutes target=n_1939067b9154
t=0063 ADD_EDGE edge_id=e_b2e9cbb44a85 source=n_3596c3a1b204 edge_type=supports target=n_9ed30a7c5316
t=0064 ADD_EDGE edge_id=e_e1ca87f66a6f source=n_b927af80b8ae edge_type=supports target=n_4710d8850cf3
t=0065 ADD_EDGE edge_id=e_b78aa8ed0bb7 source=n_e1a31c6ed4b3 edge_type=supports target=n_f4bdbf2ee881
t=0066 ADD_EDGE edge_id=e_7951ad97e1f1 source=n_4f1e4d6559f8 edge_type=supports target=n_e38f9805485f
t=0067 ADD_EDGE edge_id=e_4d864b443ef3 source=n_b927af80b8ae edge_type=supports target=n_da4361b6b6e9
t=0068 ADD_EDGE edge_id=e_0a93f762da3f source=n_39fed2bf5465 edge_type=refutes target=n_dda75afcf304
t=0069 ADD_EDGE edge_id=e_ea028b8d1042 source=n_bf1688dad42b edge_type=refutes target=n_6cb3e8545382
t=0070 ADD_EDGE edge_id=e_e9cb540c4542 source=n_96c60b574edd edge_type=supports target=n_d7db81698ff8
t=0071 ADD_EDGE edge_id=e_ed19426e5d50 source=n_02a86f2537de edge_type=supports target=n_4b4d4650983c
t=0072 ADD_EDGE edge_id=e_b5f676886b50 source=n_f4bdbf2ee881 edge_type=refutes target=n_4fbd6dfd59d2
t=0073 ADD_EDGE edge_id=e_48e67cb7ac32 source=n_d557db739290 edge_type=refutes target=n_a3cdc02e0d19
t=0074 ADD_EDGE edge_id=e_71fb9d08c576 source=n_351d0a325e50 edge_type=refutes target=n_fac8f2d330bc
t=0075 ADD_EDGE edge_id=e_3bef6ca6b6b1 source=n_bf1688dad42b edge_type=supports target=n_ab7b343c57a0
t=0076 ADD_EDGE edge_id=e_f0365a42f7d7 source=n_39fed2bf5465 edge_type=refutes target=n_d284159432e0
t=0077 ADD_EDGE edge_id=e_c3b287eb418b source=n_1939067b9154 edge_type=refutes target=n_0ae22aff0a06
t=0078 ADD_EDGE edge_id=e_4686b28971bb source=n_cb54954f0ec6 edge_type=supports target=n_351d0a325e50
t=0079 ADD_EDGE edge_id=e_6d3d5249f5c4 source=n_6cb3e8545382 edge_type=supports target=n_cc1f4e8f09e8
t=0080 ADD_EDGE edge_id=e_d187b5736da6 source=n_3596c3a1b204 edge_type=supports target=n_bf1688dad42b
t=0081 ADD_EDGE edge_id=e_86139c145f72 source=n_da4361b6b6e9 edge_type=refutes target=n_33bb08f89e67
t=0082 ADD_EDGE edge_id=e_195fc7e6bbe4 source=n_f4bdbf2ee881 edge_type=refutes target=n_bd72ecfa4c20
t=0083 ADD_EDGE edge_id=e_84f39871f975 source=n_ab774d02eaae edge_type=refutes target=n_b4054e29bea4
t=0084 ADD_EDGE edge_id=e_cfd70fa87998 source=n_4710d8850cf3 edge_type=supports target=n_6a60c100ed1c
t=0085 ADD_EDGE edge_id=e_2276c2e0caaf source=n_d284159432e0 edge_type=supports target=n_bd1a34ec15dc
t=0086 ADD_EDGE edge_id=e_170183aeda5b source=n_c90967eb6e54 edge_type=supports target=n_b66ca393a4d3
t=0087 ADD_EDGE edge_id=e_ca654768d4a9 source=n_da4361b6b6e9 edge_type=refutes target=n_39fed2bf5465
t=0088 ADD_EDGE edge_id=e_7bee4de5245b source=n_f4bdbf2ee881 edge_type=supports target=n_8272e2acbc52
t=0089 ADD_EDGE edge_id=e_ff565f5be69a source=n_b927af80b8ae edge_type=refutes target=n_e1a31c6ed4b3
t=0090 ADD_EDGE edge_id=e_6ce6a9dc469d source=n_e48c91efb6b1 edge_type=refutes target=n_ab774d02eaae
t=0091 ADD_EDGE edge_id=e_89bfba24a831 source=n_8272e2acbc52 edge_type=refutes target=n_ed5fb7b784a3
t=0092 ADD_EDGE edge_id=e_0387a1c8d121 source=n_a3cdc02e0d19 edge_type=supports target=n_5a2724b61d17
t=0093 ADD_EDGE edge_id=e_d5836d729a35 source=n_6a60c100ed1c edge_type=refutes target=n_79e1df601fca
t=0094 ADD_EDGE edge_id=e_2f8dd22f7969 source=n_5a2724b61d17 edge_type=supports target=n_9c61beb70a4a
t=0095 ADD_EDGE edge_id=e_7ea4dc957e6e source=n_351d0a325e50 edge_type=refutes target=n_02a86f2537de
t=0096 ADD_EDGE edge_id=e_f5b07f8b944c source=n_b927af80b8ae edge_type=refutes target=n_18ef5b7bf31a
t=0097 ADD_EDGE edge_id=e_63c1444c0a4e source=n_cc1f4e8f09e8 edge_type=supports target=n_e48c91efb6b1
t=0098 ADD_EDGE edge_id=e_eddbee3fe306 source=n_39fed2bf5465 edge_type=refutes target=n_625277a568ca
t=0099 QUERY source=n_cb54954f0ec6 target=n_8e36e1dd0bba
[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_aaf91defc499 node_type=claim
t=0001 CREATE_NODE id=n_2738f18b5213 node_type=claim
t=0002 CREATE_NODE id=n_86cdbb34563e node_type=claim
t=0003 CREATE_NODE id=n_862bdfe2f1e5 node_type=claim
t=0004 CREATE_NODE id=n_c3f4963dfdc9 node_type=claim
t=0005 CREATE_NODE id=n_82200c0697f0 node_type=claim
t=0006 CREATE_NODE id=n_dd77bfd3125d node_type=claim
t=0007 CREATE_NODE id=n_d117017a6ca7 node_type=claim
t=0008 CREATE_NODE id=n_bf4fd9d1db6e node_type=claim
t=0009 CREATE_NODE id=n_854b27ab0868 node_type=claim
t=0010 CREATE_NODE id=n_98108beb7382 node_type=claim
t=0011 CREATE_NODE id=n_4352dd00817b node_type=claim
t=0012 CREATE_NODE id=n_3df0b7e4b359 node_type=claim
t=0013 CREATE_NODE id=n_530e79a99ea5 node_type=claim
t=0014 CREATE_NODE id=n_def2cb5fb515 node_type=claim
t=0015 CREATE_NODE id=n_a2026e46be64 node_type=claim
t=0016 CREATE_NODE id=n_4c6ab7cb75fb node_type=claim
t=0017 CREATE_NODE id=n_eea5ddd57136 node_type=claim
t=0018 CREATE_NODE id=n_ef6b0c9ff230 node_type=claim
t=0019 CREATE_NODE id=n_577c52708864 node_type=claim
t=0020 CREATE_NODE id=n_2e76f4e39b6f node_type=claim
t=0021 CREATE_NODE id=n_05a49f4623fc node_type=claim
t=0022 CREATE_NODE id=n_a21a1236c60f node_type=claim
t=0023 CREATE_NODE id=n_bebb08db1551 node_type=claim
t=0024 CREATE_NODE id=n_dc092197a40f node_type=claim
t=0025 CREATE_NODE id=n_e83497cb0533 node_type=claim
t=0026 CREATE_NODE id=n_d545193d5c31 node_type=claim
t=0027 CREATE_NODE id=n_d273f4bd36f7 node_type=claim
t=0028 CREATE_NODE id=n_5438b1d8d712 node_type=claim
t=0029 CREATE_NODE id=n_6bd15875c82d node_type=claim
t=0030 CREATE_NODE id=n_5782b6e7a7ed node_type=claim
t=0031 CREATE_NODE id=n_da812a9e9d17 node_type=claim
t=0032 CREATE_NODE id=n_c0773b33abb2 node_type=claim
t=0033 CREATE_NODE id=n_ea5cb7be7c1f node_type=claim
t=0034 CREATE_NODE id=n_fa3072638559 node_type=claim
t=0035 CREATE_NODE id=n_4d4b403f02fa node_type=claim
t=0036 CREATE_NODE id=n_ad09224ff4b3 node_type=claim
t=0037 CREATE_NODE id=n_fb3287993848 node_type=claim
t=0038 CREATE_NODE id=n_8a7dd90453d6 node_type=claim
t=0039 CREATE_NODE id=n_88c684fe26a1 node_type=claim
t=0040 CREATE_NODE id=n_51d9004f6800 node_type=claim
t=0041 CREATE_NODE id=n_f1735aa53374 node_type=claim
t=0042 CREATE_NODE id=n_37239ef90daa node_type=claim
t=0043 CREATE_NODE id=n_ae1a140d7480 node_type=claim
t=0044 CREATE_NODE id=n_fbe37753eb9c node_type=claim
t=0045 CREATE_NODE id=n_ba24a82667e2 node_type=claim
t=0046 CREATE_NODE id=n_ce91878ef70f node_type=claim
t=0047 CREATE_NODE id=n_72a151133b45 node_type=claim
t=0048 CREATE_NODE id=n_ae6cb2aadfc3 node_type=claim
t=0049 CREATE_NODE id=n_4215e9ac4b69 node_type=claim
t=0050 ASSERT_ROOT node=n_ba24a82667e2 value=TRUE
t=0051 ADD_EDGE edge_id=e_d154230c8616 source=n_577c52708864 edge_type=refutes target=n_862bdfe2f1e5
t=0052 ADD_EDGE edge_id=e_f62f01f0c60b source=n_3df0b7e4b359 edge_type=refutes target=n_def2cb5fb515
t=0053 ADD_EDGE edge_id=e_c7fcfb10dcc5 source=n_fa3072638559 edge_type=refutes target=n_ea5cb7be7c1f
t=0054 ADD_EDGE edge_id=e_b58cec5743b7 source=n_d545193d5c31 edge_type=refutes target=n_eea5ddd57136
t=0055 ADD_EDGE edge_id=e_9084e01c87c8 source=n_a21a1236c60f edge_type=supports target=n_dc092197a40f
t=0056 ADD_EDGE edge_id=e_ab6ec20c9fc9 source=n_577c52708864 edge_type=supports target=n_c0773b33abb2
t=0057 ADD_EDGE edge_id=e_f93146a3afba source=n_4d4b403f02fa edge_type=supports target=n_d273f4bd36f7
t=0058 ADD_EDGE edge_id=e_332ea6d7b0a8 source=n_5438b1d8d712 edge_type=supports target=n_aaf91defc499
t=0059 ADD_EDGE edge_id=e_d3e9a4e21710 source=n_98108beb7382 edge_type=supports target=n_f1735aa53374
t=0060 ADD_EDGE edge_id=e_5986bc309486 source=n_d117017a6ca7 edge_type=supports target=n_d545193d5c31
t=0061 ADD_EDGE edge_id=e_2d3e8f1282d9 source=n_2738f18b5213 edge_type=refutes target=n_854b27ab0868
t=0062 ADD_EDGE edge_id=e_75266ba86285 source=n_88c684fe26a1 edge_type=refutes target=n_fa3072638559
t=0063 ADD_EDGE edge_id=e_051de82283f5 source=n_37239ef90daa edge_type=refutes target=n_bf4fd9d1db6e
t=0064 ADD_EDGE edge_id=e_1150edf7f6a7 source=n_f1735aa53374 edge_type=refutes target=n_530e79a99ea5
t=0065 ADD_EDGE edge_id=e_93aa1bb6dc2f source=n_a21a1236c60f edge_type=refutes target=n_05a49f4623fc
t=0066 ADD_EDGE edge_id=e_be391df2082d source=n_37239ef90daa edge_type=refutes target=n_ce91878ef70f
t=0067 ADD_EDGE edge_id=e_ad6da86f4e9d source=n_577c52708864 edge_type=supports target=n_bebb08db1551
t=0068 ADD_EDGE edge_id=e_febc9dbc6c9f source=n_2e76f4e39b6f edge_type=refutes target=n_a2026e46be64
t=0069 ADD_EDGE edge_id=e_ecd383959436 source=n_4d4b403f02fa edge_type=refutes target=n_8a7dd90453d6
t=0070 ADD_EDGE edge_id=e_0ed5bfbb657c source=n_a21a1236c60f edge_type=supports target=n_ef6b0c9ff230
t=0071 ADD_EDGE edge_id=e_36a93d4ae7e5 source=n_51d9004f6800 edge_type=refutes target=n_3df0b7e4b359
t=0072 ADD_EDGE edge_id=e_de6ba4e505dc source=n_5438b1d8d712 edge_type=supports target=n_577c52708864
t=0073 ADD_EDGE edge_id=e_4dcc814a9387 source=n_ba24a82667e2 edge_type=refutes target=n_e83497cb0533
t=0074 ADD_EDGE edge_id=e_e986c7ed22d4 source=n_d273f4bd36f7 edge_type=refutes target=n_2e76f4e39b6f
t=0075 ADD_EDGE edge_id=e_7c881ac1857e source=n_def2cb5fb515 edge_type=supports target=n_4d4b403f02fa
t=0076 ADD_EDGE edge_id=e_67c2cf8458fb source=n_d545193d5c31 edge_type=supports target=n_86cdbb34563e
t=0077 ADD_EDGE edge_id=e_eb1a0c4a9f50 source=n_ad09224ff4b3 edge_type=supports target=n_fbe37753eb9c
t=0078 ADD_EDGE edge_id=e_5a4c36858327 source=n_bf4fd9d1db6e edge_type=refutes target=n_72a151133b45
t=0079 ADD_EDGE edge_id=e_4b9992bfe975 source=n_ea5cb7be7c1f edge_type=supports target=n_dd77bfd3125d
t=0080 ADD_EDGE edge_id=e_3f7a53b707c2 source=n_bebb08db1551 edge_type=supports target=n_da812a9e9d17
t=0081 ADD_EDGE edge_id=e_48cf57fef816 source=n_ae6cb2aadfc3 edge_type=refutes target=n_6bd15875c82d
t=0082 ADD_EDGE edge_id=e_ef75287c540c source=n_a21a1236c60f edge_type=refutes target=n_5438b1d8d712
t=0083 ADD_EDGE edge_id=e_6a65a160e827 source=n_577c52708864 edge_type=supports target=n_5782b6e7a7ed
t=0084 ADD_EDGE edge_id=e_356f890a0da0 source=n_a21a1236c60f edge_type=refutes target=n_37239ef90daa
t=0085 ADD_EDGE edge_id=e_e68275e06a23 source=n_dc092197a40f edge_type=supports target=n_4c6ab7cb75fb
t=0086 ADD_EDGE edge_id=e_8d14dc1f2ebc source=n_fb3287993848 edge_type=supports target=n_2738f18b5213
t=0087 ADD_EDGE edge_id=e_ef191381235c source=n_37239ef90daa edge_type=supports target=n_82200c0697f0
t=0088 ADD_EDGE edge_id=e_2bd8f44b6862 source=n_fbe37753eb9c edge_type=supports target=n_51d9004f6800
t=0089 ADD_EDGE edge_id=e_ac72001e8321 source=n_eea5ddd57136 edge_type=supports target=n_fb3287993848
t=0090 ADD_EDGE edge_id=e_e192d404d20f source=n_2738f18b5213 edge_type=refutes target=n_ad09224ff4b3
t=0091 ADD_EDGE edge_id=e_060c1deaeddb source=n_e83497cb0533 edge_type=refutes target=n_d117017a6ca7
t=0092 ADD_EDGE edge_id=e_51b5c52afea4 source=n_a21a1236c60f edge_type=supports target=n_ae6cb2aadfc3
t=0093 ADD_EDGE edge_id=e_687f4e45f51f source=n_a21a1236c60f edge_type=refutes target=n_98108beb7382
t=0094 ADD_EDGE edge_id=e_bfcf67e5e2ed source=n_37239ef90daa edge_type=supports target=n_ae1a140d7480
t=0095 ADD_EDGE edge_id=e_b6e7e09b1f0b source=n_4352dd00817b edge_type=refutes target=n_88c684fe26a1
t=0096 ADD_EDGE edge_id=e_cea75fad1280 source=n_577c52708864 edge_type=supports target=n_c3f4963dfdc9
t=0097 ADD_EDGE edge_id=e_cb448bf53c9c source=n_a2026e46be64 edge_type=refutes target=n_4352dd00817b
t=0098 ADD_EDGE edge_id=e_b0ea48cc5625 source=n_ea5cb7be7c1f edge_type=supports target=n_4215e9ac4b69
t=0099 QUERY source=n_ba24a82667e2 target=n_dd77bfd3125d
[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_63e89e760e81 node_type=claim
t=0001 CREATE_NODE id=n_5aaf6652175a node_type=claim
t=0002 CREATE_NODE id=n_3ca578955251 node_type=claim
t=0003 CREATE_NODE id=n_c1fe41c338e1 node_type=claim
t=0004 CREATE_NODE id=n_a3586bdb8d37 node_type=claim
t=0005 CREATE_NODE id=n_7c6fbd04fb41 node_type=claim
t=0006 CREATE_NODE id=n_0caa8fdf4619 node_type=claim
t=0007 CREATE_NODE id=n_8e8fccd3e760 node_type=claim
t=0008 CREATE_NODE id=n_34b72552aea6 node_type=claim
t=0009 CREATE_NODE id=n_74e8c21765c3 node_type=claim
t=0010 CREATE_NODE id=n_3dc02a489113 node_type=claim
t=0011 CREATE_NODE id=n_681680b5f7b9 node_type=claim
t=0012 CREATE_NODE id=n_c38991b7eb0c node_type=claim
t=0013 CREATE_NODE id=n_b95705a5ebf8 node_type=claim
t=0014 CREATE_NODE id=n_462ee1f0dfc1 node_type=claim
t=0015 CREATE_NODE id=n_7290f630ea39 node_type=claim
t=0016 CREATE_NODE id=n_488b61b5a973 node_type=claim
t=0017 CREATE_NODE id=n_28185504ffee node_type=claim
t=0018 CREATE_NODE id=n_f82f9b844859 node_type=claim
t=0019 CREATE_NODE id=n_020a9fed96ed node_type=claim
t=0020 CREATE_NODE id=n_7613ffd1906a node_type=claim
t=0021 CREATE_NODE id=n_f4363a5a483e node_type=claim
t=0022 CREATE_NODE id=n_bfc98dda22e6 node_type=claim
t=0023 CREATE_NODE id=n_b6185442c3af node_type=claim
t=0024 CREATE_NODE id=n_c756d2369ff6 node_type=claim
t=0025 CREATE_NODE id=n_ca77b65562f1 node_type=claim
t=0026 CREATE_NODE id=n_4161b9abff10 node_type=claim
t=0027 CREATE_NODE id=n_b943c04ae01d node_type=claim
t=0028 CREATE_NODE id=n_c04601f86998 node_type=claim
t=0029 CREATE_NODE id=n_04b91b5f72b5 node_type=claim
t=0030 CREATE_NODE id=n_60cd35e800fb node_type=claim
t=0031 CREATE_NODE id=n_abc4f6341dc6 node_type=claim
t=0032 CREATE_NODE id=n_4f328ccb60f9 node_type=claim
t=0033 CREATE_NODE id=n_e106da5d51be node_type=claim
t=0034 CREATE_NODE id=n_6b051be22975 node_type=claim
t=0035 CREATE_NODE id=n_87578dc8635f node_type=claim
t=0036 CREATE_NODE id=n_f7b44612248c node_type=claim
t=0037 CREATE_NODE id=n_bb6b4aaf3cfb node_type=claim
t=0038 CREATE_NODE id=n_b6348f41c5ba node_type=claim
t=0039 CREATE_NODE id=n_8c58827a20e8 node_type=claim
t=0040 CREATE_NODE id=n_6de687c8cb8c node_type=claim
t=0041 CREATE_NODE id=n_ef3a6074ae1f node_type=claim
t=0042 CREATE_NODE id=n_54edd5651fc1 node_type=claim
t=0043 CREATE_NODE id=n_fbd3902ab67b node_type=claim
t=0044 CREATE_NODE id=n_9bfbf2b48f0b node_type=claim
t=0045 CREATE_NODE id=n_9481375b20b2 node_type=claim
t=0046 CREATE_NODE id=n_14dea5f071ed node_type=claim
t=0047 CREATE_NODE id=n_8cb8acfc2f88 node_type=claim
t=0048 CREATE_NODE id=n_a4544ab13f52 node_type=claim
t=0049 CREATE_NODE id=n_e3968c263aa9 node_type=claim
t=0050 ASSERT_ROOT node=n_9481375b20b2 value=TRUE
t=0051 ADD_EDGE edge_id=e_e53fcb9b4baa source=n_ca77b65562f1 edge_type=refutes target=n_c38991b7eb0c
t=0052 ADD_EDGE edge_id=e_ccd701641d41 source=n_60cd35e800fb edge_type=supports target=n_14dea5f071ed
t=0053 ADD_EDGE edge_id=e_2e562a3c7440 source=n_020a9fed96ed edge_type=refutes target=n_34b72552aea6
t=0054 ADD_EDGE edge_id=e_4292a2e52d6e source=n_63e89e760e81 edge_type=supports target=n_a4544ab13f52
t=0055 ADD_EDGE edge_id=e_4a1bf2648c24 source=n_6de687c8cb8c edge_type=supports target=n_87578dc8635f
t=0056 ADD_EDGE edge_id=e_55c87f01b5d6 source=n_8c58827a20e8 edge_type=supports target=n_7c6fbd04fb41
t=0057 ADD_EDGE edge_id=e_203f67a223ae source=n_abc4f6341dc6 edge_type=supports target=n_4161b9abff10
t=0058 ADD_EDGE edge_id=e_86fb471e8aee source=n_ef3a6074ae1f edge_type=refutes target=n_54edd5651fc1
t=0059 ADD_EDGE edge_id=e_ea799b85a131 source=n_34b72552aea6 edge_type=refutes target=n_a3586bdb8d37
t=0060 ADD_EDGE edge_id=e_602def29ed39 source=n_b6348f41c5ba edge_type=supports target=n_5aaf6652175a
t=0061 ADD_EDGE edge_id=e_77c6bd9d1508 source=n_34b72552aea6 edge_type=supports target=n_abc4f6341dc6
t=0062 ADD_EDGE edge_id=e_2bd370c076a6 source=n_4161b9abff10 edge_type=refutes target=n_f4363a5a483e
t=0063 ADD_EDGE edge_id=e_3de9550006c1 source=n_14dea5f071ed edge_type=refutes target=n_63e89e760e81
t=0064 ADD_EDGE edge_id=e_9396127fffaf source=n_f4363a5a483e edge_type=supports target=n_681680b5f7b9
t=0065 ADD_EDGE edge_id=e_756c4419f5e4 source=n_28185504ffee edge_type=refutes target=n_c04601f86998
t=0066 ADD_EDGE edge_id=e_9b4a84f97c23 source=n_c04601f86998 edge_type=refutes target=n_8e8fccd3e760
t=0067 ADD_EDGE edge_id=e_c59acc3938f8 source=n_5aaf6652175a edge_type=refutes target=n_e106da5d51be
t=0068 ADD_EDGE edge_id=e_c85640addb85 source=n_5aaf6652175a edge_type=refutes target=n_fbd3902ab67b
t=0069 ADD_EDGE edge_id=e_a9bd64f3c480 source=n_5aaf6652175a edge_type=refutes target=n_6b051be22975
t=0070 ADD_EDGE edge_id=e_d92dc3b19050 source=n_fbd3902ab67b edge_type=supports target=n_7613ffd1906a
t=0071 ADD_EDGE edge_id=e_8644eb8f7bbc source=n_b6348f41c5ba edge_type=refutes target=n_8c58827a20e8
t=0072 ADD_EDGE edge_id=e_063422ddc5a5 source=n_04b91b5f72b5 edge_type=supports target=n_f7b44612248c
t=0073 ADD_EDGE edge_id=e_66f3a37a68ce source=n_ca77b65562f1 edge_type=supports target=n_04b91b5f72b5
t=0074 ADD_EDGE edge_id=e_d15776d98e0e source=n_c38991b7eb0c edge_type=supports target=n_c1fe41c338e1
t=0075 ADD_EDGE edge_id=e_36c4b06d559a source=n_14dea5f071ed edge_type=supports target=n_7290f630ea39
t=0076 ADD_EDGE edge_id=e_d513908cbfe6 source=n_b6185442c3af edge_type=supports target=n_b95705a5ebf8
t=0077 ADD_EDGE edge_id=e_7396799c15f8 source=n_c38991b7eb0c edge_type=refutes target=n_b943c04ae01d
t=0078 ADD_EDGE edge_id=e_9b4313e272bc source=n_bb6b4aaf3cfb edge_type=supports target=n_ca77b65562f1
t=0079 ADD_EDGE edge_id=e_ac0a04f738b2 source=n_b6348f41c5ba edge_type=refutes target=n_0caa8fdf4619
t=0080 ADD_EDGE edge_id=e_9a8c4a98b24a source=n_e3968c263aa9 edge_type=refutes target=n_3ca578955251
t=0081 ADD_EDGE edge_id=e_0243c4f46c2a source=n_a4544ab13f52 edge_type=supports target=n_28185504ffee
t=0082 ADD_EDGE edge_id=e_31aaa3c6770e source=n_e106da5d51be edge_type=refutes target=n_8cb8acfc2f88
t=0083 ADD_EDGE edge_id=e_8a8982299d5f source=n_7613ffd1906a edge_type=supports target=n_3dc02a489113
t=0084 ADD_EDGE edge_id=e_a7483e3004d8 source=n_4f328ccb60f9 edge_type=supports target=n_c756d2369ff6
t=0085 ADD_EDGE edge_id=e_8c8438d87404 source=n_9481375b20b2 edge_type=refutes target=n_b6185442c3af
t=0086 ADD_EDGE edge_id=e_1c3178cb1675 source=n_3ca578955251 edge_type=supports target=n_bfc98dda22e6
t=0087 ADD_EDGE edge_id=e_67a75d52897c source=n_b6348f41c5ba edge_type=refutes target=n_4f328ccb60f9
t=0088 ADD_EDGE edge_id=e_b6a252f3e8fe source=n_e106da5d51be edge_type=supports target=n_bb6b4aaf3cfb
t=0089 ADD_EDGE edge_id=e_ccedd554ff91 source=n_7c6fbd04fb41 edge_type=supports target=n_9bfbf2b48f0b
t=0090 ADD_EDGE edge_id=e_71bf10ad5093 source=n_54edd5651fc1 edge_type=refutes target=n_020a9fed96ed
t=0091 ADD_EDGE edge_id=e_348c238f8b1f source=n_04b91b5f72b5 edge_type=supports target=n_74e8c21765c3
t=0092 ADD_EDGE edge_id=e_f92146f110bf source=n_f82f9b844859 edge_type=refutes target=n_60cd35e800fb
t=0093 ADD_EDGE edge_id=e_eea92b26567b source=n_bfc98dda22e6 edge_type=refutes target=n_f82f9b844859
t=0094 ADD_EDGE edge_id=e_fea5e6e06f4c source=n_681680b5f7b9 edge_type=supports target=n_e3968c263aa9
t=0095 ADD_EDGE edge_id=e_1dc880b0fde8 source=n_a4544ab13f52 edge_type=refutes target=n_462ee1f0dfc1
t=0096 ADD_EDGE edge_id=e_16f12474ce07 source=n_8c58827a20e8 edge_type=refutes target=n_488b61b5a973
t=0097 ADD_EDGE edge_id=e_f940ef094de0 source=n_04b91b5f72b5 edge_type=supports target=n_6de687c8cb8c
t=0098 ADD_EDGE edge_id=e_85b0a80c8eae source=n_b95705a5ebf8 edge_type=refutes target=n_ef3a6074ae1f
t=0099 QUERY source=n_9481375b20b2 target=n_c04601f86998
[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_cbaf84897e1f node_type=claim
t=0001 CREATE_NODE id=n_cdf8a150e302 node_type=claim
t=0002 CREATE_NODE id=n_3508aa05cad8 node_type=claim
t=0003 CREATE_NODE id=n_282aae88ff2f node_type=claim
t=0004 CREATE_NODE id=n_9a76f1afcab8 node_type=claim
t=0005 CREATE_NODE id=n_c7b14a433afd node_type=claim
t=0006 CREATE_NODE id=n_719f2cd3ba55 node_type=claim
t=0007 CREATE_NODE id=n_a06dde37aebf node_type=claim
t=0008 CREATE_NODE id=n_372f1a4583bd node_type=claim
t=0009 CREATE_NODE id=n_5b41ecf3ee65 node_type=claim
t=0010 CREATE_NODE id=n_a4211a127f47 node_type=claim
t=0011 CREATE_NODE id=n_6c69ed30a74c node_type=claim
t=0012 CREATE_NODE id=n_5b1338f9783b node_type=claim
t=0013 CREATE_NODE id=n_1d6c3bd1514f node_type=claim
t=0014 CREATE_NODE id=n_f2e76584e6b8 node_type=claim
t=0015 CREATE_NODE id=n_77b3714ae9b0 node_type=claim
t=0016 CREATE_NODE id=n_21cedfb5864c node_type=claim
t=0017 CREATE_NODE id=n_1000d405f011 node_type=claim
t=0018 CREATE_NODE id=n_b9f2d0b6d4b5 node_type=claim
t=0019 CREATE_NODE id=n_75a9f5f314f2 node_type=claim
t=0020 CREATE_NODE id=n_8d77002926f9 node_type=claim
t=0021 CREATE_NODE id=n_421e78ec855c node_type=claim
t=0022 CREATE_NODE id=n_33200c9e3fd4 node_type=claim
t=0023 CREATE_NODE id=n_ec77d0cd5dd3 node_type=claim
t=0024 CREATE_NODE id=n_938c1e9eb87c node_type=claim
t=0025 CREATE_NODE id=n_533ccb2ce074 node_type=claim
t=0026 CREATE_NODE id=n_3931a6facd56 node_type=claim
t=0027 CREATE_NODE id=n_973d8b8f82ad node_type=claim
t=0028 CREATE_NODE id=n_d8b6ceb15c1d node_type=claim
t=0029 CREATE_NODE id=n_02650f3377c1 node_type=claim
t=0030 CREATE_NODE id=n_136d351e48cd node_type=claim
t=0031 CREATE_NODE id=n_bb69cd9caa01 node_type=claim
t=0032 CREATE_NODE id=n_155b2f27eb04 node_type=claim
t=0033 CREATE_NODE id=n_8c750e3ee090 node_type=claim
t=0034 CREATE_NODE id=n_97d05ec1f142 node_type=claim
t=0035 CREATE_NODE id=n_394da3b81fa7 node_type=claim
t=0036 CREATE_NODE id=n_d695cc7e54eb node_type=claim
t=0037 CREATE_NODE id=n_0a29ddb214bd node_type=claim
t=0038 CREATE_NODE id=n_87da3aefd009 node_type=claim
t=0039 CREATE_NODE id=n_65d36a4df352 node_type=claim
t=0040 CREATE_NODE id=n_b4038ebe1d99 node_type=claim
t=0041 CREATE_NODE id=n_9a3a995b5ea6 node_type=claim
t=0042 CREATE_NODE id=n_f1a698856a92 node_type=claim
t=0043 CREATE_NODE id=n_ba9af8358278 node_type=claim
t=0044 CREATE_NODE id=n_27b00740cd17 node_type=claim
t=0045 CREATE_NODE id=n_643dc1c3c463 node_type=claim
t=0046 CREATE_NODE id=n_4a8e2da82a55 node_type=claim
t=0047 CREATE_NODE id=n_592e2e66b832 node_type=claim
t=0048 CREATE_NODE id=n_5217c1aa2210 node_type=claim
t=0049 CREATE_NODE id=n_9ad9bb8276d2 node_type=claim
t=0050 ASSERT_ROOT node=n_719f2cd3ba55 value=FALSE
t=0051 ADD_EDGE edge_id=e_e0135a4c5003 source=n_719f2cd3ba55 edge_type=supports target=n_8c750e3ee090
t=0052 ADD_EDGE edge_id=e_627ae135b86d source=n_1d6c3bd1514f edge_type=supports target=n_ba9af8358278
t=0053 ADD_EDGE edge_id=e_b938ff959509 source=n_372f1a4583bd edge_type=supports target=n_4a8e2da82a55
t=0054 ADD_EDGE edge_id=e_b4edbd38fcf6 source=n_372f1a4583bd edge_type=refutes target=n_9ad9bb8276d2
t=0055 ADD_EDGE edge_id=e_0458a9c5aa69 source=n_0a29ddb214bd edge_type=supports target=n_938c1e9eb87c
t=0056 ADD_EDGE edge_id=e_9ab5be327528 source=n_b9f2d0b6d4b5 edge_type=refutes target=n_d8b6ceb15c1d
t=0057 ADD_EDGE edge_id=e_34ba22dc7a12 source=n_cdf8a150e302 edge_type=supports target=n_973d8b8f82ad
t=0058 ADD_EDGE edge_id=e_8f42a87fb50e source=n_9a76f1afcab8 edge_type=refutes target=n_ec77d0cd5dd3
t=0059 ADD_EDGE edge_id=e_9f6ed96eea4d source=n_cbaf84897e1f edge_type=refutes target=n_8d77002926f9
t=0060 ADD_EDGE edge_id=e_5f45d63e3b43 source=n_5b41ecf3ee65 edge_type=supports target=n_5217c1aa2210
t=0061 ADD_EDGE edge_id=e_cf7968074120 source=n_ba9af8358278 edge_type=refutes target=n_bb69cd9caa01
t=0062 ADD_EDGE edge_id=e_1d3f5ec7edab source=n_c7b14a433afd edge_type=refutes target=n_65d36a4df352
t=0063 ADD_EDGE edge_id=e_6ee36894bfe8 source=n_21cedfb5864c edge_type=supports target=n_b9f2d0b6d4b5
t=0064 ADD_EDGE edge_id=e_c45c07b9282c source=n_f1a698856a92 edge_type=refutes target=n_0a29ddb214bd
t=0065 ADD_EDGE edge_id=e_c3959a6c9fb7 source=n_ec77d0cd5dd3 edge_type=refutes target=n_592e2e66b832
t=0066 ADD_EDGE edge_id=e_d6404d23ffff source=n_f1a698856a92 edge_type=supports target=n_372f1a4583bd
t=0067 ADD_EDGE edge_id=e_67a602dce517 source=n_65d36a4df352 edge_type=supports target=n_9a3a995b5ea6
t=0068 ADD_EDGE edge_id=e_cc14b6dbdf36 source=n_643dc1c3c463 edge_type=supports target=n_1000d405f011
t=0069 ADD_EDGE edge_id=e_2ef424035784 source=n_75a9f5f314f2 edge_type=refutes target=n_d695cc7e54eb
t=0070 ADD_EDGE edge_id=e_043485ba1d70 source=n_d8b6ceb15c1d edge_type=refutes target=n_a4211a127f47
t=0071 ADD_EDGE edge_id=e_d4331d569605 source=n_4a8e2da82a55 edge_type=refutes target=n_a06dde37aebf
t=0072 ADD_EDGE edge_id=e_5983448d0da3 source=n_87da3aefd009 edge_type=supports target=n_f2e76584e6b8
t=0073 ADD_EDGE edge_id=e_36fbe20b82fa source=n_9a3a995b5ea6 edge_type=refutes target=n_155b2f27eb04
t=0074 ADD_EDGE edge_id=e_443c1ffcd502 source=n_9ad9bb8276d2 edge_type=supports target=n_02650f3377c1
t=0075 ADD_EDGE edge_id=e_640f1a68360e source=n_75a9f5f314f2 edge_type=refutes target=n_33200c9e3fd4
t=0076 ADD_EDGE edge_id=e_4a9188d1884a source=n_394da3b81fa7 edge_type=supports target=n_6c69ed30a74c
t=0077 ADD_EDGE edge_id=e_bf1591c72814 source=n_8c750e3ee090 edge_type=refutes target=n_1d6c3bd1514f
t=0078 ADD_EDGE edge_id=e_038c19b8b4f1 source=n_643dc1c3c463 edge_type=supports target=n_c7b14a433afd
t=0079 ADD_EDGE edge_id=e_1f7994ce7a1e source=n_6c69ed30a74c edge_type=supports target=n_21cedfb5864c
t=0080 ADD_EDGE edge_id=e_c303bd08f158 source=n_c7b14a433afd edge_type=refutes target=n_f1a698856a92
t=0081 ADD_EDGE edge_id=e_ceafbfc9b006 source=n_421e78ec855c edge_type=refutes target=n_282aae88ff2f
t=0082 ADD_EDGE edge_id=e_4587c75d11cd source=n_282aae88ff2f edge_type=refutes target=n_77b3714ae9b0
t=0083 ADD_EDGE edge_id=e_c1d46ddc4875 source=n_592e2e66b832 edge_type=supports target=n_421e78ec855c
t=0084 ADD_EDGE edge_id=e_c8cf437dba2c source=n_8d77002926f9 edge_type=supports target=n_9a76f1afcab8
t=0085 ADD_EDGE edge_id=e_1256ff3ba913 source=n_f1a698856a92 edge_type=refutes target=n_cdf8a150e302
t=0086 ADD_EDGE edge_id=e_35f2e041f1df source=n_75a9f5f314f2 edge_type=refutes target=n_5b41ecf3ee65
t=0087 ADD_EDGE edge_id=e_cb3e65914665 source=n_4a8e2da82a55 edge_type=supports target=n_3931a6facd56
t=0088 ADD_EDGE edge_id=e_f04b4e658f80 source=n_97d05ec1f142 edge_type=refutes target=n_136d351e48cd
t=0089 ADD_EDGE edge_id=e_edb17e982f46 source=n_719f2cd3ba55 edge_type=refutes target=n_b4038ebe1d99
t=0090 ADD_EDGE edge_id=e_a9332e12b873 source=n_3508aa05cad8 edge_type=supports target=n_533ccb2ce074
t=0091 ADD_EDGE edge_id=e_42e30a49dd8a source=n_87da3aefd009 edge_type=supports target=n_cbaf84897e1f
t=0092 ADD_EDGE edge_id=e_b889e6bccb1b source=n_75a9f5f314f2 edge_type=supports target=n_3508aa05cad8
t=0093 ADD_EDGE edge_id=e_2bc087e5ea16 source=n_c7b14a433afd edge_type=supports target=n_75a9f5f314f2
t=0094 ADD_EDGE edge_id=e_6ddcf38cf18d source=n_bb69cd9caa01 edge_type=supports target=n_87da3aefd009
t=0095 ADD_EDGE edge_id=e_0732b8639b40 source=n_1000d405f011 edge_type=refutes target=n_27b00740cd17
t=0096 ADD_EDGE edge_id=e_a545d2d132e9 source=n_136d351e48cd edge_type=refutes target=n_5b1338f9783b
t=0097 ADD_EDGE edge_id=e_3c5fc3caac72 source=n_77b3714ae9b0 edge_type=supports target=n_394da3b81fa7
t=0098 ADD_EDGE edge_id=e_52b33d0bca38 source=n_d8b6ceb15c1d edge_type=refutes target=n_97d05ec1f142
t=0099 QUERY source=n_719f2cd3ba55 target=n_136d351e48cd
[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_714bd90849d4 node_type=claim
t=0001 CREATE_NODE id=n_de29d736af99 node_type=claim
t=0002 CREATE_NODE id=n_fdaeed9e063a node_type=claim
t=0003 CREATE_NODE id=n_6220c2ace1c1 node_type=claim
t=0004 CREATE_NODE id=n_68f8ad10a317 node_type=claim
t=0005 CREATE_NODE id=n_b1d88bf4128d node_type=claim
t=0006 CREATE_NODE id=n_37421e782345 node_type=claim
t=0007 CREATE_NODE id=n_2ad7b9a211c8 node_type=claim
t=0008 CREATE_NODE id=n_09a7ed5dbd48 node_type=claim
t=0009 CREATE_NODE id=n_6676c8014f5b node_type=claim
t=0010 CREATE_NODE id=n_4b7597dc791b node_type=claim
t=0011 CREATE_NODE id=n_1322d08d7a04 node_type=claim
t=0012 CREATE_NODE id=n_c69f25dbd089 node_type=claim
t=0013 CREATE_NODE id=n_260483445936 node_type=claim
t=0014 CREATE_NODE id=n_fe7a1f74b3a3 node_type=claim
t=0015 CREATE_NODE id=n_b5809d40677c node_type=claim
t=0016 CREATE_NODE id=n_a7d4282516a1 node_type=claim
t=0017 CREATE_NODE id=n_e4f56cab5029 node_type=claim
t=0018 CREATE_NODE id=n_9e054c6b98ec node_type=claim
t=0019 CREATE_NODE id=n_3bdb34fe03d7 node_type=claim
t=0020 CREATE_NODE id=n_cf8e6068dfd4 node_type=claim
t=0021 CREATE_NODE id=n_36b1c52adc1a node_type=claim
t=0022 CREATE_NODE id=n_92c327854dad node_type=claim
t=0023 CREATE_NODE id=n_702b4a6b8c48 node_type=claim
t=0024 CREATE_NODE id=n_1bb14324f33a node_type=claim
t=0025 CREATE_NODE id=n_568c5d7f28e5 node_type=claim
t=0026 CREATE_NODE id=n_e905a98b9c7d node_type=claim
t=0027 CREATE_NODE id=n_c7ed4de4e2d2 node_type=claim
t=0028 CREATE_NODE id=n_5d56b5c0a709 node_type=claim
t=0029 CREATE_NODE id=n_a7d8a783cd71 node_type=claim
t=0030 CREATE_NODE id=n_c56eb40e95ef node_type=claim
t=0031 CREATE_NODE id=n_6188e22dc6a0 node_type=claim
t=0032 CREATE_NODE id=n_383a60344d3b node_type=claim
t=0033 CREATE_NODE id=n_ea2ac492396f node_type=claim
t=0034 CREATE_NODE id=n_69a7ecd10dc9 node_type=claim
t=0035 CREATE_NODE id=n_5d767fe5519b node_type=claim
t=0036 CREATE_NODE id=n_9f272c5970ef node_type=claim
t=0037 CREATE_NODE id=n_3688fd333c99 node_type=claim
t=0038 CREATE_NODE id=n_1db63747b1d2 node_type=claim
t=0039 CREATE_NODE id=n_9e039f36d7c6 node_type=claim
t=0040 CREATE_NODE id=n_1479c4239318 node_type=claim
t=0041 CREATE_NODE id=n_6be36fd8b34b node_type=claim
t=0042 CREATE_NODE id=n_03cd9a123f56 node_type=claim
t=0043 CREATE_NODE id=n_0a2e8bdbc49b node_type=claim
t=0044 CREATE_NODE id=n_5ca7ba7ddd16 node_type=claim
t=0045 CREATE_NODE id=n_bc1f8df81718 node_type=claim
t=0046 CREATE_NODE id=n_5448a315517f node_type=claim
t=0047 CREATE_NODE id=n_e37195e8c79b node_type=claim
t=0048 CREATE_NODE id=n_f9176f155d11 node_type=claim
t=0049 CREATE_NODE id=n_8742f17c8994 node_type=claim
t=0050 ASSERT_ROOT node=n_6220c2ace1c1 value=TRUE
t=0051 ADD_EDGE edge_id=e_66bb8e287de6 source=n_702b4a6b8c48 edge_type=supports target=n_8742f17c8994
t=0052 ADD_EDGE edge_id=e_217df218ef36 source=n_3688fd333c99 edge_type=supports target=n_c7ed4de4e2d2
t=0053 ADD_EDGE edge_id=e_82da8645cb3d source=n_6be36fd8b34b edge_type=supports target=n_37421e782345
t=0054 ADD_EDGE edge_id=e_04a439b99709 source=n_8742f17c8994 edge_type=refutes target=n_0a2e8bdbc49b
t=0055 ADD_EDGE edge_id=e_0041c485864a source=n_714bd90849d4 edge_type=refutes target=n_68f8ad10a317
t=0056 ADD_EDGE edge_id=e_39348da4890b source=n_714bd90849d4 edge_type=refutes target=n_1db63747b1d2
t=0057 ADD_EDGE edge_id=e_90a0c828f0f4 source=n_0a2e8bdbc49b edge_type=supports target=n_f9176f155d11
t=0058 ADD_EDGE edge_id=e_03e7ada5757f source=n_9e039f36d7c6 edge_type=refutes target=n_1322d08d7a04
t=0059 ADD_EDGE edge_id=e_21065236a784 source=n_0a2e8bdbc49b edge_type=supports target=n_e4f56cab5029
t=0060 ADD_EDGE edge_id=e_26ae6cb55a8c source=n_fe7a1f74b3a3 edge_type=refutes target=n_c56eb40e95ef
t=0061 ADD_EDGE edge_id=e_790ab2ec7ace source=n_2ad7b9a211c8 edge_type=supports target=n_cf8e6068dfd4
t=0062 ADD_EDGE edge_id=e_d6324cf57795 source=n_bc1f8df81718 edge_type=supports target=n_5d767fe5519b
t=0063 ADD_EDGE edge_id=e_f804b88fe313 source=n_92c327854dad edge_type=refutes target=n_568c5d7f28e5
t=0064 ADD_EDGE edge_id=e_ec1adcc6094c source=n_6be36fd8b34b edge_type=refutes target=n_260483445936
t=0065 ADD_EDGE edge_id=e_b4ae22f02965 source=n_de29d736af99 edge_type=supports target=n_5d56b5c0a709
t=0066 ADD_EDGE edge_id=e_8ea1b0c0d539 source=n_4b7597dc791b edge_type=supports target=n_b5809d40677c
t=0067 ADD_EDGE edge_id=e_f0fc3fec8b8f source=n_1db63747b1d2 edge_type=refutes target=n_2ad7b9a211c8
t=0068 ADD_EDGE edge_id=e_53fb7d771d79 source=n_36b1c52adc1a edge_type=supports target=n_5ca7ba7ddd16
t=0069 ADD_EDGE edge_id=e_b3f47c8ae92b source=n_b5809d40677c edge_type=refutes target=n_383a60344d3b
t=0070 ADD_EDGE edge_id=e_7c4647edd044 source=n_383a60344d3b edge_type=refutes target=n_9e054c6b98ec
t=0071 ADD_EDGE edge_id=e_326f81d4f856 source=n_e37195e8c79b edge_type=refutes target=n_714bd90849d4
t=0072 ADD_EDGE edge_id=e_671f64467483 source=n_36b1c52adc1a edge_type=supports target=n_1479c4239318
t=0073 ADD_EDGE edge_id=e_5d97fb9afaa9 source=n_69a7ecd10dc9 edge_type=supports target=n_92c327854dad
t=0074 ADD_EDGE edge_id=e_c26a5e3ad150 source=n_69a7ecd10dc9 edge_type=refutes target=n_9f272c5970ef
t=0075 ADD_EDGE edge_id=e_9363d29e15ff source=n_69a7ecd10dc9 edge_type=supports target=n_03cd9a123f56
t=0076 ADD_EDGE edge_id=e_e3a01da29fa3 source=n_5ca7ba7ddd16 edge_type=supports target=n_702b4a6b8c48
t=0077 ADD_EDGE edge_id=e_c7b4fe82a815 source=n_69a7ecd10dc9 edge_type=refutes target=n_5448a315517f
t=0078 ADD_EDGE edge_id=e_3ffc634eccb7 source=n_03cd9a123f56 edge_type=supports target=n_a7d8a783cd71
t=0079 ADD_EDGE edge_id=e_c53a7c357f1c source=n_69a7ecd10dc9 edge_type=refutes target=n_b1d88bf4128d
t=0080 ADD_EDGE edge_id=e_578cdf93a4ea source=n_fe7a1f74b3a3 edge_type=supports target=n_6be36fd8b34b
t=0081 ADD_EDGE edge_id=e_0dac137466e3 source=n_69a7ecd10dc9 edge_type=refutes target=n_09a7ed5dbd48
t=0082 ADD_EDGE edge_id=e_2097154de9b5 source=n_260483445936 edge_type=supports target=n_de29d736af99
t=0083 ADD_EDGE edge_id=e_ac62882d47c8 source=n_e37195e8c79b edge_type=supports target=n_a7d4282516a1
t=0084 ADD_EDGE edge_id=e_d4b544693c45 source=n_f9176f155d11 edge_type=refutes target=n_c69f25dbd089
t=0085 ADD_EDGE edge_id=e_f8c3e6a10065 source=n_5d767fe5519b edge_type=refutes target=n_fe7a1f74b3a3
t=0086 ADD_EDGE edge_id=e_64da74cd5885 source=n_6188e22dc6a0 edge_type=supports target=n_fdaeed9e063a
t=0087 ADD_EDGE edge_id=e_98dc740d4d3a source=n_9e054c6b98ec edge_type=refutes target=n_36b1c52adc1a
t=0088 ADD_EDGE edge_id=e_142cfe21e381 source=n_6220c2ace1c1 edge_type=supports target=n_bc1f8df81718
t=0089 ADD_EDGE edge_id=e_af63f9066b57 source=n_6188e22dc6a0 edge_type=refutes target=n_3688fd333c99
t=0090 ADD_EDGE edge_id=e_b3b30fb0bcec source=n_5d56b5c0a709 edge_type=refutes target=n_9e039f36d7c6
t=0091 ADD_EDGE edge_id=e_1129b7c7c4b9 source=n_1322d08d7a04 edge_type=supports target=n_4b7597dc791b
t=0092 ADD_EDGE edge_id=e_c0d43eedbf8c source=n_fdaeed9e063a edge_type=refutes target=n_3bdb34fe03d7
t=0093 ADD_EDGE edge_id=e_ed94d73dbfb5 source=n_a7d8a783cd71 edge_type=refutes target=n_6676c8014f5b
t=0094 ADD_EDGE edge_id=e_e208318e4a01 source=n_714bd90849d4 edge_type=supports target=n_69a7ecd10dc9
t=0095 ADD_EDGE edge_id=e_40385cd470c2 source=n_2ad7b9a211c8 edge_type=supports target=n_e905a98b9c7d
t=0096 ADD_EDGE edge_id=e_26d6a4ab16b5 source=n_e37195e8c79b edge_type=refutes target=n_ea2ac492396f
t=0097 ADD_EDGE edge_id=e_12c60a458fec source=n_568c5d7f28e5 edge_type=refutes target=n_1bb14324f33a
t=0098 ADD_EDGE edge_id=e_9711d151a9e1 source=n_e37195e8c79b edge_type=supports target=n_6188e22dc6a0
t=0099 QUERY source=n_6220c2ace1c1 target=n_c69f25dbd089
[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_ca909e33e86a node_type=claim
t=0001 CREATE_NODE id=n_2bb7dee50d87 node_type=claim
t=0002 CREATE_NODE id=n_73345df67b45 node_type=claim
t=0003 CREATE_NODE id=n_cf7ad5039d59 node_type=claim
t=0004 CREATE_NODE id=n_e8d9fceba915 node_type=claim
t=0005 CREATE_NODE id=n_533d5c771f13 node_type=claim
t=0006 CREATE_NODE id=n_28e92e42577c node_type=claim
t=0007 CREATE_NODE id=n_09fe54896291 node_type=claim
t=0008 CREATE_NODE id=n_98e941557eee node_type=claim
t=0009 CREATE_NODE id=n_659a45df5e87 node_type=claim
t=0010 CREATE_NODE id=n_412938474f71 node_type=claim
t=0011 CREATE_NODE id=n_b1a72b0630cb node_type=claim
t=0012 CREATE_NODE id=n_866e67afea66 node_type=claim
t=0013 CREATE_NODE id=n_7ae736d35552 node_type=claim
t=0014 CREATE_NODE id=n_6e082cb98091 node_type=claim
t=0015 CREATE_NODE id=n_e8efe2806bd5 node_type=claim
t=0016 CREATE_NODE id=n_5f9e7ab0d3a0 node_type=claim
t=0017 CREATE_NODE id=n_a3f713e07868 node_type=claim
t=0018 CREATE_NODE id=n_6b3ad992b72a node_type=claim
t=0019 CREATE_NODE id=n_6976d36aecef node_type=claim
t=0020 CREATE_NODE id=n_75e1f28caf87 node_type=claim
t=0021 CREATE_NODE id=n_75be4f645bb5 node_type=claim
t=0022 CREATE_NODE id=n_9d6b2661aa87 node_type=claim
t=0023 CREATE_NODE id=n_a2dfcb82dd39 node_type=claim
t=0024 CREATE_NODE id=n_916c092b5632 node_type=claim
t=0025 CREATE_NODE id=n_36024a71f9c4 node_type=claim
t=0026 CREATE_NODE id=n_5f639ab840a1 node_type=claim
t=0027 CREATE_NODE id=n_4f652302775d node_type=claim
t=0028 CREATE_NODE id=n_5c077e12004b node_type=claim
t=0029 CREATE_NODE id=n_157a2844a61a node_type=claim
t=0030 CREATE_NODE id=n_bd3d8017deb2 node_type=claim
t=0031 CREATE_NODE id=n_ef2c3258248c node_type=claim
t=0032 CREATE_NODE id=n_1e7b56bd6efd node_type=claim
t=0033 CREATE_NODE id=n_55a1cd659522 node_type=claim
t=0034 CREATE_NODE id=n_4ef52dabc2c2 node_type=claim
t=0035 CREATE_NODE id=n_ced1b33853d3 node_type=claim
t=0036 CREATE_NODE id=n_fb0c6510a0a1 node_type=claim
t=0037 CREATE_NODE id=n_4b6db8d3b222 node_type=claim
t=0038 CREATE_NODE id=n_e4dd32156b37 node_type=claim
t=0039 CREATE_NODE id=n_63ae23d65462 node_type=claim
t=0040 CREATE_NODE id=n_58527d1971bf node_type=claim
t=0041 CREATE_NODE id=n_7ca5b0233c7f node_type=claim
t=0042 CREATE_NODE id=n_4e0183c9b9f4 node_type=claim
t=0043 CREATE_NODE id=n_cf975eaf47e8 node_type=claim
t=0044 CREATE_NODE id=n_60527744c86c node_type=claim
t=0045 CREATE_NODE id=n_0834cda7b847 node_type=claim
t=0046 CREATE_NODE id=n_29e49924185e node_type=claim
t=0047 CREATE_NODE id=n_3399145f5a36 node_type=claim
t=0048 CREATE_NODE id=n_b6d18d0cd0c2 node_type=claim
t=0049 CREATE_NODE id=n_a000bebd4ebf node_type=claim
t=0050 ASSERT_ROOT node=n_2bb7dee50d87 value=FALSE
t=0051 ADD_EDGE edge_id=e_1e68ee63639e source=n_58527d1971bf edge_type=refutes target=n_5f9e7ab0d3a0
t=0052 ADD_EDGE edge_id=e_05aeddf8f085 source=n_412938474f71 edge_type=refutes target=n_e8d9fceba915
t=0053 ADD_EDGE edge_id=e_8a4dab93fae8 source=n_e4dd32156b37 edge_type=supports target=n_9d6b2661aa87
t=0054 ADD_EDGE edge_id=e_ed3203038419 source=n_b6d18d0cd0c2 edge_type=refutes target=n_60527744c86c
t=0055 ADD_EDGE edge_id=e_1b005a68e607 source=n_5f639ab840a1 edge_type=supports target=n_63ae23d65462
t=0056 ADD_EDGE edge_id=e_045503ce406e source=n_75e1f28caf87 edge_type=supports target=n_916c092b5632
t=0057 ADD_EDGE edge_id=e_8d511807f0f4 source=n_b6d18d0cd0c2 edge_type=supports target=n_157a2844a61a
t=0058 ADD_EDGE edge_id=e_a1a13f96b466 source=n_b1a72b0630cb edge_type=refutes target=n_75be4f645bb5
t=0059 ADD_EDGE edge_id=e_62a016e9ce9e source=n_cf975eaf47e8 edge_type=refutes target=n_36024a71f9c4
t=0060 ADD_EDGE edge_id=e_4887ac07e911 source=n_e4dd32156b37 edge_type=refutes target=n_4b6db8d3b222
t=0061 ADD_EDGE edge_id=e_aa13a6028308 source=n_1e7b56bd6efd edge_type=refutes target=n_58527d1971bf
t=0062 ADD_EDGE edge_id=e_4afbed684a1f source=n_cf975eaf47e8 edge_type=supports target=n_6976d36aecef
t=0063 ADD_EDGE edge_id=e_a5f815f72e53 source=n_4f652302775d edge_type=supports target=n_cf7ad5039d59
t=0064 ADD_EDGE edge_id=e_66b9effa7703 source=n_63ae23d65462 edge_type=supports target=n_4ef52dabc2c2
t=0065 ADD_EDGE edge_id=e_fc175958ba29 source=n_2bb7dee50d87 edge_type=supports target=n_1e7b56bd6efd
t=0066 ADD_EDGE edge_id=e_c7bd5c18f9f3 source=n_a000bebd4ebf edge_type=refutes target=n_bd3d8017deb2
t=0067 ADD_EDGE edge_id=e_4ba61f6a0d9c source=n_9d6b2661aa87 edge_type=refutes target=n_3399145f5a36
t=0068 ADD_EDGE edge_id=e_3860d29499e4 source=n_5f9e7ab0d3a0 edge_type=refutes target=n_6e082cb98091
t=0069 ADD_EDGE edge_id=e_aa6304c691e4 source=n_6976d36aecef edge_type=refutes target=n_e4dd32156b37
t=0070 ADD_EDGE edge_id=e_dcc91093fdc1 source=n_6976d36aecef edge_type=refutes target=n_0834cda7b847
t=0071 ADD_EDGE edge_id=e_8a69cc08223d source=n_4f652302775d edge_type=supports target=n_e8efe2806bd5
t=0072 ADD_EDGE edge_id=e_035de87b6af4 source=n_63ae23d65462 edge_type=supports target=n_09fe54896291
t=0073 ADD_EDGE edge_id=e_8ad94ea56f4d source=n_bd3d8017deb2 edge_type=supports target=n_75e1f28caf87
t=0074 ADD_EDGE edge_id=e_4c75d22d2f96 source=n_4f652302775d edge_type=supports target=n_ca909e33e86a
t=0075 ADD_EDGE edge_id=e_c0940f31f6a8 source=n_533d5c771f13 edge_type=supports target=n_ced1b33853d3
t=0076 ADD_EDGE edge_id=e_0b75a7fedf84 source=n_63ae23d65462 edge_type=refutes target=n_cf975eaf47e8
t=0077 ADD_EDGE edge_id=e_f6e363d68dc2 source=n_a2dfcb82dd39 edge_type=refutes target=n_6b3ad992b72a
t=0078 ADD_EDGE edge_id=e_6c5e0a9a8bfd source=n_73345df67b45 edge_type=supports target=n_4e0183c9b9f4
t=0079 ADD_EDGE edge_id=e_2d9d58eda25a source=n_6e082cb98091 edge_type=supports target=n_a3f713e07868
t=0080 ADD_EDGE edge_id=e_abf284c83969 source=n_866e67afea66 edge_type=supports target=n_412938474f71
t=0081 ADD_EDGE edge_id=e_7cb14b46eb4f source=n_b6d18d0cd0c2 edge_type=supports target=n_29e49924185e
t=0082 ADD_EDGE edge_id=e_27be289ba2f7 source=n_55a1cd659522 edge_type=refutes target=n_533d5c771f13
t=0083 ADD_EDGE edge_id=e_8881b03668e2 source=n_a2dfcb82dd39 edge_type=refutes target=n_fb0c6510a0a1
t=0084 ADD_EDGE edge_id=e_0b6571edf11b source=n_b1a72b0630cb edge_type=refutes target=n_98e941557eee
t=0085 ADD_EDGE edge_id=e_be412b794a55 source=n_5f639ab840a1 edge_type=refutes target=n_b6d18d0cd0c2
t=0086 ADD_EDGE edge_id=e_613c47955b00 source=n_a2dfcb82dd39 edge_type=refutes target=n_866e67afea66
t=0087 ADD_EDGE edge_id=e_eab36929786b source=n_e8d9fceba915 edge_type=refutes target=n_28e92e42577c
t=0088 ADD_EDGE edge_id=e_43cde1487342 source=n_e8d9fceba915 edge_type=supports target=n_a000bebd4ebf
t=0089 ADD_EDGE edge_id=e_7116dc50debe source=n_5f639ab840a1 edge_type=refutes target=n_7ae736d35552
t=0090 ADD_EDGE edge_id=e_5246279bbb7c source=n_7ca5b0233c7f edge_type=supports target=n_659a45df5e87
t=0091 ADD_EDGE edge_id=e_3341dd31d554 source=n_a3f713e07868 edge_type=supports target=n_55a1cd659522
t=0092 ADD_EDGE edge_id=e_1ebb881f65c5 source=n_7ca5b0233c7f edge_type=refutes target=n_4f652302775d
t=0093 ADD_EDGE edge_id=e_2a972c253fcc source=n_cf975eaf47e8 edge_type=supports target=n_7ca5b0233c7f
t=0094 ADD_EDGE edge_id=e_ab44b8f193a1 source=n_b6d18d0cd0c2 edge_type=refutes target=n_ef2c3258248c
t=0095 ADD_EDGE edge_id=e_1a5a8a0f4e41 source=n_4e0183c9b9f4 edge_type=supports target=n_a2dfcb82dd39
t=0096 ADD_EDGE edge_id=e_8534e709a7a4 source=n_916c092b5632 edge_type=supports target=n_b1a72b0630cb
t=0097 ADD_EDGE edge_id=e_f5afa71afbfb source=n_4f652302775d edge_type=refutes target=n_5c077e12004b
t=0098 ADD_EDGE edge_id=e_c3963457e315 source=n_ced1b33853d3 edge_type=supports target=n_73345df67b45
t=0099 QUERY source=n_2bb7dee50d87 target=n_98e941557eee
[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_370bda41508c node_type=claim
t=0001 CREATE_NODE id=n_ad4b011d6515 node_type=claim
t=0002 CREATE_NODE id=n_72c3a658f772 node_type=claim
t=0003 CREATE_NODE id=n_171e45929ec3 node_type=claim
t=0004 CREATE_NODE id=n_8066ad8647f5 node_type=claim
t=0005 CREATE_NODE id=n_318909010aeb node_type=claim
t=0006 CREATE_NODE id=n_9513d8295b63 node_type=claim
t=0007 CREATE_NODE id=n_2d6f0200620c node_type=claim
t=0008 CREATE_NODE id=n_b4b350529f05 node_type=claim
t=0009 CREATE_NODE id=n_a9b52dc98b02 node_type=claim
t=0010 CREATE_NODE id=n_c3e4ef62dee5 node_type=claim
t=0011 CREATE_NODE id=n_062c9c0eda57 node_type=claim
t=0012 CREATE_NODE id=n_231e4d01d917 node_type=claim
t=0013 CREATE_NODE id=n_2b393969bf33 node_type=claim
t=0014 CREATE_NODE id=n_5eda4fa844f1 node_type=claim
t=0015 CREATE_NODE id=n_297f36ac4915 node_type=claim
t=0016 CREATE_NODE id=n_166d333b446f node_type=claim
t=0017 CREATE_NODE id=n_051fcada0910 node_type=claim
t=0018 CREATE_NODE id=n_98e5aa77dd74 node_type=claim
t=0019 CREATE_NODE id=n_e870dac635e6 node_type=claim
t=0020 CREATE_NODE id=n_f76e169ec184 node_type=claim
t=0021 CREATE_NODE id=n_f2401048d0d9 node_type=claim
t=0022 CREATE_NODE id=n_635a440918ce node_type=claim
t=0023 CREATE_NODE id=n_1ef672fbcab7 node_type=claim
t=0024 CREATE_NODE id=n_2c95cf443884 node_type=claim
t=0025 CREATE_NODE id=n_a5afa20ac0b4 node_type=claim
t=0026 CREATE_NODE id=n_76a4294d9911 node_type=claim
t=0027 CREATE_NODE id=n_b8368e729bea node_type=claim
t=0028 CREATE_NODE id=n_095c47b9684d node_type=claim
t=0029 CREATE_NODE id=n_11bc9c47d6dc node_type=claim
t=0030 CREATE_NODE id=n_f1edec5a21d8 node_type=claim
t=0031 CREATE_NODE id=n_f0fb31736e96 node_type=claim
t=0032 CREATE_NODE id=n_cfd5a109d243 node_type=claim
t=0033 CREATE_NODE id=n_30ee69000fcd node_type=claim
t=0034 CREATE_NODE id=n_b764760c3f4d node_type=claim
t=0035 CREATE_NODE id=n_0f4fddddfca4 node_type=claim
t=0036 CREATE_NODE id=n_2db5fff5b42d node_type=claim
t=0037 CREATE_NODE id=n_2f317ed544d0 node_type=claim
t=0038 CREATE_NODE id=n_28e5bd39aa3a node_type=claim
t=0039 CREATE_NODE id=n_9635b975970d node_type=claim
t=0040 CREATE_NODE id=n_b16b1a6beb68 node_type=claim
t=0041 CREATE_NODE id=n_70bdeee271f0 node_type=claim
t=0042 CREATE_NODE id=n_710aa176de6b node_type=claim
t=0043 CREATE_NODE id=n_6670e99b8e46 node_type=claim
t=0044 CREATE_NODE id=n_8eea715617a5 node_type=claim
t=0045 CREATE_NODE id=n_2ee3935e12e0 node_type=claim
t=0046 CREATE_NODE id=n_980575ac8b08 node_type=claim
t=0047 CREATE_NODE id=n_5a01d873c130 node_type=claim
t=0048 CREATE_NODE id=n_00163eabb626 node_type=claim
t=0049 CREATE_NODE id=n_bf1eca3fedf8 node_type=claim
t=0050 ASSERT_ROOT node=n_70bdeee271f0 value=TRUE
t=0051 ADD_EDGE edge_id=e_1fbefea66f68 source=n_166d333b446f edge_type=refutes target=n_635a440918ce
t=0052 ADD_EDGE edge_id=e_d8e309de0e7d source=n_11bc9c47d6dc edge_type=supports target=n_b16b1a6beb68
t=0053 ADD_EDGE edge_id=e_25c092cdedcb source=n_f0fb31736e96 edge_type=refutes target=n_710aa176de6b
t=0054 ADD_EDGE edge_id=e_b668a5eb96d6 source=n_70bdeee271f0 edge_type=supports target=n_00163eabb626
t=0055 ADD_EDGE edge_id=e_9e73ec1ed39b source=n_98e5aa77dd74 edge_type=refutes target=n_8066ad8647f5
t=0056 ADD_EDGE edge_id=e_b8e67c8521aa source=n_76a4294d9911 edge_type=refutes target=n_2d6f0200620c
t=0057 ADD_EDGE edge_id=e_7b70568f97d1 source=n_76a4294d9911 edge_type=refutes target=n_f2401048d0d9
t=0058 ADD_EDGE edge_id=e_39a8de092054 source=n_710aa176de6b edge_type=supports target=n_2c95cf443884
t=0059 ADD_EDGE edge_id=e_cd90e3bfbf5f source=n_2b393969bf33 edge_type=refutes target=n_1ef672fbcab7
t=0060 ADD_EDGE edge_id=e_4a5d0be8e9ea source=n_98e5aa77dd74 edge_type=refutes target=n_72c3a658f772
t=0061 ADD_EDGE edge_id=e_8e5a8af985aa source=n_171e45929ec3 edge_type=refutes target=n_e870dac635e6
t=0062 ADD_EDGE edge_id=e_8844f5a0d8af source=n_051fcada0910 edge_type=supports target=n_9513d8295b63
t=0063 ADD_EDGE edge_id=e_ffce5e60f271 source=n_f76e169ec184 edge_type=supports target=n_ad4b011d6515
t=0064 ADD_EDGE edge_id=e_caaada591e4e source=n_f1edec5a21d8 edge_type=supports target=n_171e45929ec3
t=0065 ADD_EDGE edge_id=e_673f408615a1 source=n_e870dac635e6 edge_type=supports target=n_9635b975970d
t=0066 ADD_EDGE edge_id=e_55a07377300a source=n_710aa176de6b edge_type=refutes target=n_28e5bd39aa3a
t=0067 ADD_EDGE edge_id=e_2bae1a625d96 source=n_231e4d01d917 edge_type=refutes target=n_bf1eca3fedf8
t=0068 ADD_EDGE edge_id=e_36056f4240d7 source=n_318909010aeb edge_type=supports target=n_f76e169ec184
t=0069 ADD_EDGE edge_id=e_213e0f611eef source=n_cfd5a109d243 edge_type=supports target=n_2b393969bf33
t=0070 ADD_EDGE edge_id=e_2e5c2374fed7 source=n_051fcada0910 edge_type=refutes target=n_5a01d873c130
t=0071 ADD_EDGE edge_id=e_a34df8d09c41 source=n_370bda41508c edge_type=supports target=n_6670e99b8e46
t=0072 ADD_EDGE edge_id=e_f68bffa1df50 source=n_5eda4fa844f1 edge_type=supports target=n_a5afa20ac0b4
t=0073 ADD_EDGE edge_id=e_370113f17c0e source=n_11bc9c47d6dc edge_type=supports target=n_980575ac8b08
t=0074 ADD_EDGE edge_id=e_3cbe41b9d456 source=n_c3e4ef62dee5 edge_type=refutes target=n_5eda4fa844f1
t=0075 ADD_EDGE edge_id=e_191cd52fe726 source=n_5a01d873c130 edge_type=refutes target=n_2ee3935e12e0
t=0076 ADD_EDGE edge_id=e_87b37f6989c1 source=n_76a4294d9911 edge_type=refutes target=n_cfd5a109d243
t=0077 ADD_EDGE edge_id=e_33a0526753aa source=n_095c47b9684d edge_type=refutes target=n_166d333b446f
t=0078 ADD_EDGE edge_id=e_41ebf7082aa1 source=n_1ef672fbcab7 edge_type=refutes target=n_370bda41508c
t=0079 ADD_EDGE edge_id=e_2409a0562eda source=n_00163eabb626 edge_type=supports target=n_051fcada0910
t=0080 ADD_EDGE edge_id=e_69293936a53a source=n_370bda41508c edge_type=supports target=n_11bc9c47d6dc
t=0081 ADD_EDGE edge_id=e_99fb1028cbc3 source=n_2ee3935e12e0 edge_type=refutes target=n_297f36ac4915
t=0082 ADD_EDGE edge_id=e_96ee01c1faac source=n_30ee69000fcd edge_type=supports target=n_318909010aeb
t=0083 ADD_EDGE edge_id=e_e5b37f7d3ba1 source=n_c3e4ef62dee5 edge_type=supports target=n_b8368e729bea
t=0084 ADD_EDGE edge_id=e_634cf9ebf72b source=n_e870dac635e6 edge_type=supports target=n_0f4fddddfca4
t=0085 ADD_EDGE edge_id=e_1d2204aeedc8 source=n_231e4d01d917 edge_type=refutes target=n_062c9c0eda57
t=0086 ADD_EDGE edge_id=e_ec20f8a984cf source=n_635a440918ce edge_type=supports target=n_f1edec5a21d8
t=0087 ADD_EDGE edge_id=e_a5e066daf6be source=n_c3e4ef62dee5 edge_type=supports target=n_98e5aa77dd74
t=0088 ADD_EDGE edge_id=e_076242ea9f9e source=n_1ef672fbcab7 edge_type=supports target=n_2f317ed544d0
t=0089 ADD_EDGE edge_id=e_6cd7475eef65 source=n_f2401048d0d9 edge_type=refutes target=n_c3e4ef62dee5
t=0090 ADD_EDGE edge_id=e_f8c1aeead42a source=n_1ef672fbcab7 edge_type=refutes target=n_231e4d01d917
t=0091 ADD_EDGE edge_id=e_6922967864c9 source=n_1ef672fbcab7 edge_type=supports target=n_2db5fff5b42d
t=0092 ADD_EDGE edge_id=e_53ceb07d60e9 source=n_ad4b011d6515 edge_type=supports target=n_095c47b9684d
t=0093 ADD_EDGE edge_id=e_49638b742681 source=n_2f317ed544d0 edge_type=refutes target=n_8eea715617a5
t=0094 ADD_EDGE edge_id=e_d62d2828676a source=n_2b393969bf33 edge_type=refutes target=n_b4b350529f05
t=0095 ADD_EDGE edge_id=e_324a1cdcffe4 source=n_e870dac635e6 edge_type=supports target=n_b764760c3f4d
t=0096 ADD_EDGE edge_id=e_3d772e90d451 source=n_2c95cf443884 edge_type=refutes target=n_a9b52dc98b02
t=0097 ADD_EDGE edge_id=e_30a286cf4d9e source=n_297f36ac4915 edge_type=refutes target=n_30ee69000fcd
t=0098 ADD_EDGE edge_id=e_55ec6e8ee1d7 source=n_9635b975970d edge_type=supports target=n_f0fb31736e96
t=0099 QUERY source=n_70bdeee271f0 target=n_a9b52dc98b02
[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_5106a99a6887 node_type=claim
t=0001 CREATE_NODE id=n_8d48c250503a node_type=claim
t=0002 CREATE_NODE id=n_e35249a679a3 node_type=claim
t=0003 CREATE_NODE id=n_d170e1c0cda5 node_type=claim
t=0004 CREATE_NODE id=n_f2336b8b30ed node_type=claim
t=0005 CREATE_NODE id=n_1b1d5869eb28 node_type=claim
t=0006 CREATE_NODE id=n_c8708c9ae141 node_type=claim
t=0007 CREATE_NODE id=n_245a265033c6 node_type=claim
t=0008 CREATE_NODE id=n_d5a22ed7e1be node_type=claim
t=0009 CREATE_NODE id=n_ba402972a2d6 node_type=claim
t=0010 CREATE_NODE id=n_2d1680578c11 node_type=claim
t=0011 CREATE_NODE id=n_af18cc4b3477 node_type=claim
t=0012 CREATE_NODE id=n_8d77d0251c21 node_type=claim
t=0013 CREATE_NODE id=n_204f84bf49ae node_type=claim
t=0014 CREATE_NODE id=n_f3e88909f643 node_type=claim
t=0015 CREATE_NODE id=n_5f684d7fbe3d node_type=claim
t=0016 CREATE_NODE id=n_cb62c01391b9 node_type=claim
t=0017 CREATE_NODE id=n_ef6731f6b0de node_type=claim
t=0018 CREATE_NODE id=n_07f6f01a623a node_type=claim
t=0019 CREATE_NODE id=n_7a19e63fe9cc node_type=claim
t=0020 CREATE_NODE id=n_d1f16869ea01 node_type=claim
t=0021 CREATE_NODE id=n_ce524311017d node_type=claim
t=0022 CREATE_NODE id=n_f8ef6cfec542 node_type=claim
t=0023 CREATE_NODE id=n_ce248fe14574 node_type=claim
t=0024 CREATE_NODE id=n_c35e2e23bda6 node_type=claim
t=0025 CREATE_NODE id=n_4412edb3b29c node_type=claim
t=0026 CREATE_NODE id=n_3813ddacc428 node_type=claim
t=0027 CREATE_NODE id=n_94e07d8e81ca node_type=claim
t=0028 CREATE_NODE id=n_21960f7915a9 node_type=claim
t=0029 CREATE_NODE id=n_36e7b004284e node_type=claim
t=0030 CREATE_NODE id=n_00ba906d3723 node_type=claim
t=0031 CREATE_NODE id=n_bfe030155d13 node_type=claim
t=0032 CREATE_NODE id=n_df066be2b061 node_type=claim
t=0033 CREATE_NODE id=n_7a4365ffedeb node_type=claim
t=0034 CREATE_NODE id=n_57365c782548 node_type=claim
t=0035 CREATE_NODE id=n_110b1551d874 node_type=claim
t=0036 CREATE_NODE id=n_d95ee59f63ab node_type=claim
t=0037 CREATE_NODE id=n_1886752e3d3c node_type=claim
t=0038 CREATE_NODE id=n_3d3813aa6141 node_type=claim
t=0039 CREATE_NODE id=n_7a7221ad8293 node_type=claim
t=0040 CREATE_NODE id=n_b0c28930ed35 node_type=claim
t=0041 CREATE_NODE id=n_1e81f98186b1 node_type=claim
t=0042 CREATE_NODE id=n_688c1e88f65d node_type=claim
t=0043 CREATE_NODE id=n_a8b896fca4e7 node_type=claim
t=0044 CREATE_NODE id=n_5d37e81a16b2 node_type=claim
t=0045 CREATE_NODE id=n_01f4bbc87bb7 node_type=claim
t=0046 CREATE_NODE id=n_1d8e74bcd4b5 node_type=claim
t=0047 CREATE_NODE id=n_c102c781748c node_type=claim
t=0048 CREATE_NODE id=n_40262c043d0d node_type=claim
t=0049 CREATE_NODE id=n_bec5c6a816ea node_type=claim
t=0050 CREATE_NODE id=n_71cca5621094 node_type=claim
t=0051 CREATE_NODE id=n_3a4928813885 node_type=claim
t=0052 ASSERT_ROOT node=n_5d37e81a16b2 value=TRUE
t=0053 ADD_EDGE edge_id=e_7fd291bd68fc source=n_7a7221ad8293 edge_type=supports target=n_df066be2b061
t=0054 ADD_EDGE edge_id=e_b2ad7e847cf1 source=n_d170e1c0cda5 edge_type=refutes target=n_ce248fe14574
t=0055 ADD_EDGE edge_id=e_dce82199ffd0 source=n_c102c781748c edge_type=refutes target=n_2d1680578c11
t=0056 ADD_EDGE edge_id=e_75fd532daed0 source=n_1d8e74bcd4b5 edge_type=refutes target=n_1e81f98186b1
t=0057 ADD_EDGE edge_id=e_ce2a195b680c source=n_cb62c01391b9 edge_type=refutes target=n_c8708c9ae141
t=0058 ADD_EDGE edge_id=e_ff8ba5449dc2 source=n_4412edb3b29c edge_type=supports target=n_b0c28930ed35
t=0059 ADD_EDGE edge_id=e_d693bd45e7b7 source=n_7a19e63fe9cc edge_type=refutes target=n_1b1d5869eb28
t=0060 ADD_EDGE edge_id=e_baf1e4f0eac7 source=n_df066be2b061 edge_type=refutes target=n_4412edb3b29c
t=0061 ADD_EDGE edge_id=e_5bf679194414 source=n_bfe030155d13 edge_type=supports target=n_f8ef6cfec542
t=0062 ADD_EDGE edge_id=e_1d8385ad3ed0 source=n_5d37e81a16b2 edge_type=refutes target=n_57365c782548
t=0063 ADD_EDGE edge_id=e_fd48f1499d80 source=n_07f6f01a623a edge_type=supports target=n_7a19e63fe9cc
t=0064 ADD_EDGE edge_id=e_2418f4da22ec source=n_5106a99a6887 edge_type=supports target=n_c102c781748c
t=0065 ADD_EDGE edge_id=e_c62c3d8e3356 source=n_3813ddacc428 edge_type=refutes target=n_bfe030155d13
t=0066 ADD_EDGE edge_id=e_60e2b52d967d source=n_7a4365ffedeb edge_type=supports target=n_00ba906d3723
t=0067 ADD_EDGE edge_id=e_3eb22c557586 source=n_94e07d8e81ca edge_type=supports target=n_8d48c250503a
t=0068 ADD_EDGE edge_id=e_015b23917774 source=n_d1f16869ea01 edge_type=refutes target=n_ce524311017d
t=0069 ADD_EDGE edge_id=e_afc2ed88663c source=n_01f4bbc87bb7 edge_type=supports target=n_cb62c01391b9
t=0070 ADD_EDGE edge_id=e_d4742cdc5762 source=n_ba402972a2d6 edge_type=supports target=n_8d77d0251c21
t=0071 ADD_EDGE edge_id=e_4036f604228f source=n_2d1680578c11 edge_type=supports target=n_1d8e74bcd4b5
t=0072 ADD_EDGE edge_id=e_815e13b44187 source=n_7a4365ffedeb edge_type=supports target=n_21960f7915a9
t=0073 ADD_EDGE edge_id=e_9f8307eaf27a source=n_2d1680578c11 edge_type=supports target=n_40262c043d0d
t=0074 ADD_EDGE edge_id=e_831c87428210 source=n_7a19e63fe9cc edge_type=refutes target=n_71cca5621094
t=0075 ADD_EDGE edge_id=e_aab524371379 source=n_36e7b004284e edge_type=supports target=n_bec5c6a816ea
t=0076 ADD_EDGE edge_id=e_15b4cfc70887 source=n_5d37e81a16b2 edge_type=supports target=n_110b1551d874
t=0077 ADD_EDGE edge_id=e_258ad0facdda source=n_00ba906d3723 edge_type=refutes target=n_94e07d8e81ca
t=0078 ADD_EDGE edge_id=e_b6239a24f12f source=n_7a4365ffedeb edge_type=refutes target=n_f3e88909f643
t=0079 ADD_EDGE edge_id=e_a0d67b06122c source=n_f3e88909f643 edge_type=refutes target=n_c35e2e23bda6
t=0080 ADD_EDGE edge_id=e_36e61ae24931 source=n_bec5c6a816ea edge_type=supports target=n_f2336b8b30ed
t=0081 ADD_EDGE edge_id=e_5ff3ebe60bc2 source=n_ba402972a2d6 edge_type=refutes target=n_1886752e3d3c
t=0082 ADD_EDGE edge_id=e_e5f3597c71cf source=n_07f6f01a623a edge_type=supports target=n_688c1e88f65d
t=0083 ADD_EDGE edge_id=e_02efe7a92e6c source=n_7a4365ffedeb edge_type=refutes target=n_07f6f01a623a
t=0084 ADD_EDGE edge_id=e_67ab5bae40ca source=n_2d1680578c11 edge_type=supports target=n_ef6731f6b0de
t=0085 ADD_EDGE edge_id=e_e4989c14eac9 source=n_d170e1c0cda5 edge_type=supports target=n_e35249a679a3
t=0086 ADD_EDGE edge_id=e_070233e0ed0c source=n_7a7221ad8293 edge_type=refutes target=n_245a265033c6
t=0087 ADD_EDGE edge_id=e_10ae1926cc24 source=n_f2336b8b30ed edge_type=supports target=n_01f4bbc87bb7
t=0088 ADD_EDGE edge_id=e_ce329d915af4 source=n_2d1680578c11 edge_type=supports target=n_d170e1c0cda5
t=0089 ADD_EDGE edge_id=e_67982dbd0d83 source=n_c102c781748c edge_type=refutes target=n_d1f16869ea01
t=0090 ADD_EDGE edge_id=e_20b0480694b0 source=n_00ba906d3723 edge_type=refutes target=n_5106a99a6887
t=0091 ADD_EDGE edge_id=e_8138a1c8d472 source=n_204f84bf49ae edge_type=refutes target=n_ba402972a2d6
t=0092 ADD_EDGE edge_id=e_3bad818a4f4a source=n_b0c28930ed35 edge_type=refutes target=n_5f684d7fbe3d
t=0093 ADD_EDGE edge_id=e_31bb4f332c44 source=n_f8ef6cfec542 edge_type=refutes target=n_36e7b004284e
t=0094 ADD_EDGE edge_id=e_013b4988168c source=n_d5a22ed7e1be edge_type=refutes target=n_d95ee59f63ab
t=0095 ADD_EDGE edge_id=e_a7b169f94233 source=n_c8708c9ae141 edge_type=supports target=n_204f84bf49ae
t=0096 ADD_EDGE edge_id=e_3a7b6087f66a source=n_57365c782548 edge_type=supports target=n_3d3813aa6141
t=0097 ADD_EDGE edge_id=e_090e108909e0 source=n_c102c781748c edge_type=refutes target=n_d5a22ed7e1be
t=0098 ADD_EDGE edge_id=e_5c5a4b413bf6 source=n_af18cc4b3477 edge_type=refutes target=n_a8b896fca4e7
t=0099 ADD_EDGE edge_id=e_52294027cbaf source=n_36e7b004284e edge_type=supports target=n_3a4928813885
t=0100 ADD_EDGE edge_id=e_29033252f151 source=n_5f684d7fbe3d edge_type=supports target=n_af18cc4b3477
t=0101 ADD_EDGE edge_id=e_c99c83e58528 source=n_a8b896fca4e7 edge_type=supports target=n_3813ddacc428
t=0102 ADD_EDGE edge_id=e_af5a4b05c778 source=n_3d3813aa6141 edge_type=refutes target=n_7a7221ad8293
t=0103 QUERY source=n_5d37e81a16b2 target=n_1886752e3d3c
[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_3d95d8d58c1f node_type=claim
t=0001 CREATE_NODE id=n_1a59a95d272a node_type=claim
t=0002 CREATE_NODE id=n_483ff1f979e3 node_type=claim
t=0003 CREATE_NODE id=n_c42dbb0bf86d node_type=claim
t=0004 CREATE_NODE id=n_f45c7e708d68 node_type=claim
t=0005 CREATE_NODE id=n_01d2ae7c0256 node_type=claim
t=0006 CREATE_NODE id=n_42e137e55c82 node_type=claim
t=0007 CREATE_NODE id=n_acc59e5b6223 node_type=claim
t=0008 CREATE_NODE id=n_ca7e7c52beb6 node_type=claim
t=0009 CREATE_NODE id=n_7fa866e67d40 node_type=claim
t=0010 CREATE_NODE id=n_4ccc73d8c5a4 node_type=claim
t=0011 CREATE_NODE id=n_652abc96b2e6 node_type=claim
t=0012 CREATE_NODE id=n_404a6b0db063 node_type=claim
t=0013 CREATE_NODE id=n_6ec0eb755d94 node_type=claim
t=0014 CREATE_NODE id=n_cd0f60f87499 node_type=claim
t=0015 CREATE_NODE id=n_24282f77cb8a node_type=claim
t=0016 CREATE_NODE id=n_233806761169 node_type=claim
t=0017 CREATE_NODE id=n_079199803e83 node_type=claim
t=0018 CREATE_NODE id=n_85e375e9faa1 node_type=claim
t=0019 CREATE_NODE id=n_a55b8f77c95e node_type=claim
t=0020 CREATE_NODE id=n_d1fe9a67ca7e node_type=claim
t=0021 CREATE_NODE id=n_f3acc5e6ba90 node_type=claim
t=0022 CREATE_NODE id=n_b698ba80d143 node_type=claim
t=0023 CREATE_NODE id=n_02143b0eee82 node_type=claim
t=0024 CREATE_NODE id=n_6df55c6de8dc node_type=claim
t=0025 CREATE_NODE id=n_ac6a00c3b6f6 node_type=claim
t=0026 CREATE_NODE id=n_ad76dd5aab4b node_type=claim
t=0027 CREATE_NODE id=n_89e755fcdee9 node_type=claim
t=0028 CREATE_NODE id=n_ac00ce2b95fd node_type=claim
t=0029 CREATE_NODE id=n_2c1ea4dd93d3 node_type=claim
t=0030 CREATE_NODE id=n_c2f4d6538132 node_type=claim
t=0031 CREATE_NODE id=n_1e1fb6423228 node_type=claim
t=0032 CREATE_NODE id=n_11b026ae681f node_type=claim
t=0033 CREATE_NODE id=n_9496799189e8 node_type=claim
t=0034 CREATE_NODE id=n_79f02a2ee617 node_type=claim
t=0035 CREATE_NODE id=n_5920b875f2b1 node_type=claim
t=0036 CREATE_NODE id=n_5bc7a8476a4a node_type=claim
t=0037 CREATE_NODE id=n_c6a339dafec8 node_type=claim
t=0038 CREATE_NODE id=n_43aac5d54f03 node_type=claim
t=0039 CREATE_NODE id=n_25e57d1e7f20 node_type=claim
t=0040 CREATE_NODE id=n_9b2b82d4a2ef node_type=claim
t=0041 CREATE_NODE id=n_3f3433844abb node_type=claim
t=0042 CREATE_NODE id=n_7d531b24f3f2 node_type=claim
t=0043 CREATE_NODE id=n_5903449815dd node_type=claim
t=0044 CREATE_NODE id=n_de4b41aa1356 node_type=claim
t=0045 CREATE_NODE id=n_9650a40a158e node_type=claim
t=0046 CREATE_NODE id=n_0ac39ce19020 node_type=claim
t=0047 CREATE_NODE id=n_9dea70acd330 node_type=claim
t=0048 CREATE_NODE id=n_ef15c7162422 node_type=claim
t=0049 CREATE_NODE id=n_170d5baa7862 node_type=claim
t=0050 CREATE_NODE id=n_fb2cb3f4efc0 node_type=claim
t=0051 CREATE_NODE id=n_d52bf7adc5df node_type=claim
t=0052 ASSERT_ROOT node=n_9650a40a158e value=FALSE
t=0053 ADD_EDGE edge_id=e_07fc6ecdebbc source=n_01d2ae7c0256 edge_type=supports target=n_ac00ce2b95fd
t=0054 ADD_EDGE edge_id=e_606b533a42ca source=n_f45c7e708d68 edge_type=refutes target=n_0ac39ce19020
t=0055 ADD_EDGE edge_id=e_376882d2a8a2 source=n_404a6b0db063 edge_type=refutes target=n_7d531b24f3f2
t=0056 ADD_EDGE edge_id=e_a7d016e82fad source=n_5bc7a8476a4a edge_type=refutes target=n_43aac5d54f03
t=0057 ADD_EDGE edge_id=e_a5a0598cdf56 source=n_acc59e5b6223 edge_type=supports target=n_c42dbb0bf86d
t=0058 ADD_EDGE edge_id=e_8b73991b8d5f source=n_89e755fcdee9 edge_type=refutes target=n_483ff1f979e3
t=0059 ADD_EDGE edge_id=e_f41d2cdcdfab source=n_f45c7e708d68 edge_type=refutes target=n_9b2b82d4a2ef
t=0060 ADD_EDGE edge_id=e_a9c2fb32099e source=n_79f02a2ee617 edge_type=refutes target=n_1e1fb6423228
t=0061 ADD_EDGE edge_id=e_a822eb617da6 source=n_42e137e55c82 edge_type=refutes target=n_170d5baa7862
t=0062 ADD_EDGE edge_id=e_4ee37e197329 source=n_42e137e55c82 edge_type=supports target=n_c6a339dafec8
t=0063 ADD_EDGE edge_id=e_993b8ec861e8 source=n_9dea70acd330 edge_type=supports target=n_ac6a00c3b6f6
t=0064 ADD_EDGE edge_id=e_81fe42bc14e4 source=n_b698ba80d143 edge_type=supports target=n_42e137e55c82
t=0065 ADD_EDGE edge_id=e_330c5cad5f39 source=n_01d2ae7c0256 edge_type=refutes target=n_652abc96b2e6
t=0066 ADD_EDGE edge_id=e_b418bb3e9e4a source=n_01d2ae7c0256 edge_type=refutes target=n_ca7e7c52beb6
t=0067 ADD_EDGE edge_id=e_5adcb7fe6341 source=n_ac00ce2b95fd edge_type=supports target=n_5920b875f2b1
t=0068 ADD_EDGE edge_id=e_333d8d1c0d4a source=n_ef15c7162422 edge_type=supports target=n_9496799189e8
t=0069 ADD_EDGE edge_id=e_331a5fceed40 source=n_6df55c6de8dc edge_type=refutes target=n_11b026ae681f
t=0070 ADD_EDGE edge_id=e_c6983bfe904a source=n_0ac39ce19020 edge_type=supports target=n_9dea70acd330
t=0071 ADD_EDGE edge_id=e_db9723ad202a source=n_24282f77cb8a edge_type=refutes target=n_fb2cb3f4efc0
t=0072 ADD_EDGE edge_id=e_88024ae19930 source=n_079199803e83 edge_type=supports target=n_5903449815dd
t=0073 ADD_EDGE edge_id=e_577151a83888 source=n_6ec0eb755d94 edge_type=supports target=n_c2f4d6538132
t=0074 ADD_EDGE edge_id=e_9b5377bd8265 source=n_5920b875f2b1 edge_type=refutes target=n_d52bf7adc5df
t=0075 ADD_EDGE edge_id=e_d5a279b0b96e source=n_11b026ae681f edge_type=supports target=n_404a6b0db063
t=0076 ADD_EDGE edge_id=e_c78606d36093 source=n_7d531b24f3f2 edge_type=supports target=n_6ec0eb755d94
t=0077 ADD_EDGE edge_id=e_2900213627cc source=n_c42dbb0bf86d edge_type=refutes target=n_2c1ea4dd93d3
t=0078 ADD_EDGE edge_id=e_c0b6a3ed26f7 source=n_cd0f60f87499 edge_type=supports target=n_5bc7a8476a4a
t=0079 ADD_EDGE edge_id=e_cf029112d492 source=n_7fa866e67d40 edge_type=supports target=n_acc59e5b6223
t=0080 ADD_EDGE edge_id=e_631c1d311a52 source=n_fb2cb3f4efc0 edge_type=refutes target=n_85e375e9faa1
t=0081 ADD_EDGE edge_id=e_27e6e05d7c08 source=n_42e137e55c82 edge_type=refutes target=n_079199803e83
t=0082 ADD_EDGE edge_id=e_bdfe1bedc46e source=n_1e1fb6423228 edge_type=supports target=n_3f3433844abb
t=0083 ADD_EDGE edge_id=e_89da19778793 source=n_170d5baa7862 edge_type=supports target=n_ad76dd5aab4b
t=0084 ADD_EDGE edge_id=e_5ab5e2a89f57 source=n_2c1ea4dd93d3 edge_type=refutes target=n_24282f77cb8a
t=0085 ADD_EDGE edge_id=e_fb8c96f67b34 source=n_c2f4d6538132 edge_type=supports target=n_ef15c7162422
t=0086 ADD_EDGE edge_id=e_4ab16b0bbcaa source=n_01d2ae7c0256 edge_type=supports target=n_b698ba80d143
t=0087 ADD_EDGE edge_id=e_e84042be876d source=n_b698ba80d143 edge_type=supports target=n_cd0f60f87499
t=0088 ADD_EDGE edge_id=e_d19a6bb5e03d source=n_ca7e7c52beb6 edge_type=refutes target=n_f45c7e708d68
t=0089 ADD_EDGE edge_id=e_64034aec18a7 source=n_1a59a95d272a edge_type=refutes target=n_79f02a2ee617
t=0090 ADD_EDGE edge_id=e_9c90ca75a6fd source=n_d1fe9a67ca7e edge_type=refutes target=n_3d95d8d58c1f
t=0091 ADD_EDGE edge_id=e_a37c14560951 source=n_d1fe9a67ca7e edge_type=supports target=n_25e57d1e7f20
t=0092 ADD_EDGE edge_id=e_1c9afeabad81 source=n_0ac39ce19020 edge_type=refutes target=n_233806761169
t=0093 ADD_EDGE edge_id=e_57caafd2e5f1 source=n_25e57d1e7f20 edge_type=refutes target=n_7fa866e67d40
t=0094 ADD_EDGE edge_id=e_8c32c78c0018 source=n_cd0f60f87499 edge_type=refutes target=n_f3acc5e6ba90
t=0095 ADD_EDGE edge_id=e_5e8a000f253a source=n_3f3433844abb edge_type=refutes target=n_6df55c6de8dc
t=0096 ADD_EDGE edge_id=e_373a2d9a8232 source=n_85e375e9faa1 edge_type=refutes target=n_02143b0eee82
t=0097 ADD_EDGE edge_id=e_2192efc9e470 source=n_9650a40a158e edge_type=refutes target=n_1a59a95d272a
t=0098 ADD_EDGE edge_id=e_2a34163fe10f source=n_9496799189e8 edge_type=supports target=n_d1fe9a67ca7e
t=0099 ADD_EDGE edge_id=e_5170019c99ba source=n_42e137e55c82 edge_type=supports target=n_de4b41aa1356
t=0100 ADD_EDGE edge_id=e_43da948ad27b source=n_cd0f60f87499 edge_type=supports target=n_89e755fcdee9
t=0101 ADD_EDGE edge_id=e_b61d3e71b637 source=n_9650a40a158e edge_type=supports target=n_a55b8f77c95e
t=0102 ADD_EDGE edge_id=e_7a78d387e52d source=n_6df55c6de8dc edge_type=supports target=n_4ccc73d8c5a4
t=0103 QUERY source=n_9650a40a158e target=n_85e375e9faa1
[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_ba9dce469681 node_type=claim
t=0001 CREATE_NODE id=n_83f7858c975c node_type=claim
t=0002 CREATE_NODE id=n_ce1f8ff43689 node_type=claim
t=0003 CREATE_NODE id=n_6d50c9a7564b node_type=claim
t=0004 CREATE_NODE id=n_835f50a136b9 node_type=claim
t=0005 CREATE_NODE id=n_ffdd443289ae node_type=claim
t=0006 CREATE_NODE id=n_0028bdcad491 node_type=claim
t=0007 CREATE_NODE id=n_0d71cf3ff783 node_type=claim
t=0008 CREATE_NODE id=n_450bf2fcad5e node_type=claim
t=0009 CREATE_NODE id=n_8b218917977a node_type=claim
t=0010 CREATE_NODE id=n_3ed6db0497e6 node_type=claim
t=0011 CREATE_NODE id=n_009969af97ec node_type=claim
t=0012 CREATE_NODE id=n_03b197a6f11b node_type=claim
t=0013 CREATE_NODE id=n_4d5297fc99c4 node_type=claim
t=0014 CREATE_NODE id=n_57ae0218440c node_type=claim
t=0015 CREATE_NODE id=n_8b708e2023c5 node_type=claim
t=0016 CREATE_NODE id=n_a2e4e516c60a node_type=claim
t=0017 CREATE_NODE id=n_f237b22cf1cf node_type=claim
t=0018 CREATE_NODE id=n_eafff8ea8a0d node_type=claim
t=0019 CREATE_NODE id=n_18c1816bf891 node_type=claim
t=0020 CREATE_NODE id=n_ec8c7d027843 node_type=claim
t=0021 CREATE_NODE id=n_09bdba13e6d5 node_type=claim
t=0022 CREATE_NODE id=n_29291fc83c28 node_type=claim
t=0023 CREATE_NODE id=n_582d296cdc81 node_type=claim
t=0024 CREATE_NODE id=n_751f25d80165 node_type=claim
t=0025 CREATE_NODE id=n_43ae9a8d9efb node_type=claim
t=0026 CREATE_NODE id=n_ff7fbc2fe344 node_type=claim
t=0027 CREATE_NODE id=n_7a844f5769c9 node_type=claim
t=0028 CREATE_NODE id=n_ae17d18a3f2f node_type=claim
t=0029 CREATE_NODE id=n_ab0473e98fae node_type=claim
t=0030 CREATE_NODE id=n_7af74532333d node_type=claim
t=0031 CREATE_NODE id=n_b18617f3324a node_type=claim
t=0032 CREATE_NODE id=n_b0ac9fcd4cd4 node_type=claim
t=0033 CREATE_NODE id=n_551094466a4e node_type=claim
t=0034 CREATE_NODE id=n_9814d9ca1a1d node_type=claim
t=0035 CREATE_NODE id=n_9107d97aafe3 node_type=claim
t=0036 CREATE_NODE id=n_60e358bc04e5 node_type=claim
t=0037 CREATE_NODE id=n_9bc9a8ff8f7f node_type=claim
t=0038 CREATE_NODE id=n_5ead9c7d0a57 node_type=claim
t=0039 CREATE_NODE id=n_9374275685e7 node_type=claim
t=0040 CREATE_NODE id=n_e69d203a1648 node_type=claim
t=0041 CREATE_NODE id=n_a9c7de30aef9 node_type=claim
t=0042 CREATE_NODE id=n_b037a9d9c340 node_type=claim
t=0043 CREATE_NODE id=n_0e0224d2206c node_type=claim
t=0044 CREATE_NODE id=n_350ffb564a64 node_type=claim
t=0045 CREATE_NODE id=n_c0f7ae1fe5a0 node_type=claim
t=0046 CREATE_NODE id=n_966e3646c078 node_type=claim
t=0047 CREATE_NODE id=n_7491a1f504a4 node_type=claim
t=0048 CREATE_NODE id=n_17a6acce659f node_type=claim
t=0049 CREATE_NODE id=n_4195a633d5d0 node_type=claim
t=0050 CREATE_NODE id=n_67d80d9cbd7a node_type=claim
t=0051 CREATE_NODE id=n_f736fca1c7e0 node_type=claim
t=0052 ASSERT_ROOT node=n_b18617f3324a value=TRUE
t=0053 ADD_EDGE edge_id=e_fbb0c8ceea02 source=n_7af74532333d edge_type=supports target=n_83f7858c975c
t=0054 ADD_EDGE edge_id=e_f3563aeaab13 source=n_6d50c9a7564b edge_type=refutes target=n_f736fca1c7e0
t=0055 ADD_EDGE edge_id=e_50a1d135241c source=n_a9c7de30aef9 edge_type=supports target=n_9374275685e7
t=0056 ADD_EDGE edge_id=e_c9b17b1217f1 source=n_6d50c9a7564b edge_type=refutes target=n_8b218917977a
t=0057 ADD_EDGE edge_id=e_4b5cd8843896 source=n_5ead9c7d0a57 edge_type=refutes target=n_ff7fbc2fe344
t=0058 ADD_EDGE edge_id=e_97092d81e06d source=n_450bf2fcad5e edge_type=refutes target=n_ec8c7d027843
t=0059 ADD_EDGE edge_id=e_2ca722efedee source=n_b18617f3324a edge_type=supports target=n_b037a9d9c340
t=0060 ADD_EDGE edge_id=e_0caf34e03d3c source=n_ff7fbc2fe344 edge_type=supports target=n_03b197a6f11b
t=0061 ADD_EDGE edge_id=e_c21329048a19 source=n_43ae9a8d9efb edge_type=refutes target=n_6d50c9a7564b
t=0062 ADD_EDGE edge_id=e_142bcd74e32d source=n_83f7858c975c edge_type=refutes target=n_29291fc83c28
t=0063 ADD_EDGE edge_id=e_aaabc238fca6 source=n_09bdba13e6d5 edge_type=supports target=n_4d5297fc99c4
t=0064 ADD_EDGE edge_id=e_37482ea43806 source=n_009969af97ec edge_type=supports target=n_ab0473e98fae
t=0065 ADD_EDGE edge_id=e_71d6fea43799 source=n_a2e4e516c60a edge_type=refutes target=n_7a844f5769c9
t=0066 ADD_EDGE edge_id=e_3bad6f0f0efb source=n_83f7858c975c edge_type=refutes target=n_551094466a4e
t=0067 ADD_EDGE edge_id=e_8e76324cdd87 source=n_4195a633d5d0 edge_type=supports target=n_0028bdcad491
t=0068 ADD_EDGE edge_id=e_1df8b984b2bb source=n_a2e4e516c60a edge_type=refutes target=n_c0f7ae1fe5a0
t=0069 ADD_EDGE edge_id=e_cb0b7850a4e3 source=n_835f50a136b9 edge_type=refutes target=n_3ed6db0497e6
t=0070 ADD_EDGE edge_id=e_2a6f556124b9 source=n_551094466a4e edge_type=supports target=n_0e0224d2206c
t=0071 ADD_EDGE edge_id=e_ae8bab8c431d source=n_8b708e2023c5 edge_type=refutes target=n_751f25d80165
t=0072 ADD_EDGE edge_id=e_e7c6e21ef255 source=n_835f50a136b9 edge_type=refutes target=n_a9c7de30aef9
t=0073 ADD_EDGE edge_id=e_c6885193e41a source=n_350ffb564a64 edge_type=refutes target=n_009969af97ec
t=0074 ADD_EDGE edge_id=e_5deb35af2294 source=n_67d80d9cbd7a edge_type=supports target=n_17a6acce659f
t=0075 ADD_EDGE edge_id=e_cb792568e3f6 source=n_e69d203a1648 edge_type=refutes target=n_b0ac9fcd4cd4
t=0076 ADD_EDGE edge_id=e_d1d570bd72e7 source=n_ff7fbc2fe344 edge_type=supports target=n_450bf2fcad5e
t=0077 ADD_EDGE edge_id=e_554c691d12ab source=n_60e358bc04e5 edge_type=supports target=n_966e3646c078
t=0078 ADD_EDGE edge_id=e_2fc6ba06755e source=n_4195a633d5d0 edge_type=refutes target=n_ba9dce469681
t=0079 ADD_EDGE edge_id=e_33cfba83960d source=n_9bc9a8ff8f7f edge_type=supports target=n_57ae0218440c
t=0080 ADD_EDGE edge_id=e_043af952dbaa source=n_835f50a136b9 edge_type=supports target=n_67d80d9cbd7a
t=0081 ADD_EDGE edge_id=e_af7d46e2c1c1 source=n_966e3646c078 edge_type=supports target=n_43ae9a8d9efb
t=0082 ADD_EDGE edge_id=e_b658bf01a327 source=n_7af74532333d edge_type=refutes target=n_9107d97aafe3
t=0083 ADD_EDGE edge_id=e_5b67567c2b14 source=n_9107d97aafe3 edge_type=supports target=n_ae17d18a3f2f
t=0084 ADD_EDGE edge_id=e_53b2ee2e2722 source=n_966e3646c078 edge_type=refutes target=n_eafff8ea8a0d
t=0085 ADD_EDGE edge_id=e_594ec22a0499 source=n_09bdba13e6d5 edge_type=supports target=n_ffdd443289ae
t=0086 ADD_EDGE edge_id=e_1fb77a675a9c source=n_67d80d9cbd7a edge_type=refutes target=n_f237b22cf1cf
t=0087 ADD_EDGE edge_id=e_958b91567670 source=n_835f50a136b9 edge_type=refutes target=n_0d71cf3ff783
t=0088 ADD_EDGE edge_id=e_cfdf6047fbc7 source=n_450bf2fcad5e edge_type=supports target=n_582d296cdc81
t=0089 ADD_EDGE edge_id=e_8d178bb11961 source=n_a2e4e516c60a edge_type=refutes target=n_9814d9ca1a1d
t=0090 ADD_EDGE edge_id=e_84664f33a382 source=n_ce1f8ff43689 edge_type=refutes target=n_7491a1f504a4
t=0091 ADD_EDGE edge_id=e_cedb852bc57d source=n_ab0473e98fae edge_type=refutes target=n_e69d203a1648
t=0092 ADD_EDGE edge_id=e_a14069982ca3 source=n_7491a1f504a4 edge_type=supports target=n_60e358bc04e5
t=0093 ADD_EDGE edge_id=e_8ef1fa98caf8 source=n_835f50a136b9 edge_type=refutes target=n_7af74532333d
t=0094 ADD_EDGE edge_id=e_f67cb1df9e82 source=n_b0ac9fcd4cd4 edge_type=supports target=n_8b708e2023c5
t=0095 ADD_EDGE edge_id=e_d0715a86905b source=n_7af74532333d edge_type=supports target=n_09bdba13e6d5
t=0096 ADD_EDGE edge_id=e_9209b8248c5d source=n_8b218917977a edge_type=refutes target=n_350ffb564a64
t=0097 ADD_EDGE edge_id=e_b3adff92a5d7 source=n_4195a633d5d0 edge_type=supports target=n_835f50a136b9
t=0098 ADD_EDGE edge_id=e_d0e968611484 source=n_4195a633d5d0 edge_type=supports target=n_a2e4e516c60a
t=0099 ADD_EDGE edge_id=e_ab22c974f1dd source=n_57ae0218440c edge_type=supports target=n_ce1f8ff43689
t=0100 ADD_EDGE edge_id=e_a4dc969d2fa7 source=n_751f25d80165 edge_type=refutes target=n_5ead9c7d0a57
t=0101 ADD_EDGE edge_id=e_b49b9282366c source=n_835f50a136b9 edge_type=supports target=n_18c1816bf891
t=0102 ADD_EDGE edge_id=e_10b2b438efb0 source=n_b037a9d9c340 edge_type=supports target=n_9bc9a8ff8f7f
t=0103 QUERY source=n_b18617f3324a target=n_582d296cdc81
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.