[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_824ea81e935d node_type=claim
t=0001 CREATE_NODE id=n_caaeb34d6417 node_type=claim
t=0002 CREATE_NODE id=n_fa981669e0f2 node_type=claim
t=0003 CREATE_NODE id=n_38f95f777bb1 node_type=claim
t=0004 CREATE_NODE id=n_cf4636206d9d node_type=claim
t=0005 CREATE_NODE id=n_ba31789e82d1 node_type=claim
t=0006 CREATE_NODE id=n_a4e67419824c node_type=claim
t=0007 CREATE_NODE id=n_b7deb3bdf0cb node_type=claim
t=0008 CREATE_NODE id=n_f47b09519f0b node_type=claim
t=0009 CREATE_NODE id=n_105456bce657 node_type=claim
t=0010 CREATE_NODE id=n_3a17404868db node_type=claim
t=0011 CREATE_NODE id=n_6919b3d3ee65 node_type=claim
t=0012 CREATE_NODE id=n_a56753eb4c42 node_type=claim
t=0013 CREATE_NODE id=n_1272a79c9f34 node_type=claim
t=0014 CREATE_NODE id=n_22ec30ef2d05 node_type=claim
t=0015 CREATE_NODE id=n_fd18e239a963 node_type=claim
t=0016 CREATE_NODE id=n_70470a74eb22 node_type=claim
t=0017 CREATE_NODE id=n_9c5a298865d1 node_type=claim
t=0018 CREATE_NODE id=n_268526bdd1f7 node_type=claim
t=0019 CREATE_NODE id=n_9d7d2805c4bc node_type=claim
t=0020 CREATE_NODE id=n_60228619dac8 node_type=claim
t=0021 CREATE_NODE id=n_b8f46c1afeac node_type=claim
t=0022 CREATE_NODE id=n_b32518f006e0 node_type=claim
t=0023 CREATE_NODE id=n_f26cb9b3eda0 node_type=claim
t=0024 CREATE_NODE id=n_1791e093601c node_type=claim
t=0025 CREATE_NODE id=n_8f788933f58a node_type=claim
t=0026 CREATE_NODE id=n_c337ed3a0829 node_type=claim
t=0027 CREATE_NODE id=n_78a2c07fb526 node_type=claim
t=0028 CREATE_NODE id=n_4dc0a40563fc node_type=claim
t=0029 CREATE_NODE id=n_a1f69dd2a4a2 node_type=claim
t=0030 CREATE_NODE id=n_8fb0c36a4a78 node_type=claim
t=0031 CREATE_NODE id=n_2a234147f63e node_type=claim
t=0032 CREATE_NODE id=n_44d5ab1be84c node_type=claim
t=0033 CREATE_NODE id=n_397959c5a457 node_type=claim
t=0034 CREATE_NODE id=n_a51e596711a4 node_type=claim
t=0035 CREATE_NODE id=n_aa188b86e1e0 node_type=claim
t=0036 CREATE_NODE id=n_340fbcdde31d node_type=claim
t=0037 CREATE_NODE id=n_23b89b38d9f0 node_type=claim
t=0038 CREATE_NODE id=n_096863e58833 node_type=claim
t=0039 CREATE_NODE id=n_85b5af902c1e node_type=claim
t=0040 CREATE_NODE id=n_9200a3921e1a node_type=claim
t=0041 CREATE_NODE id=n_98218111b8d3 node_type=claim
t=0042 CREATE_NODE id=n_5b37ddc43e90 node_type=claim
t=0043 CREATE_NODE id=n_b90f6c6ec14e node_type=claim
t=0044 CREATE_NODE id=n_a8fb8a5624e0 node_type=claim
t=0045 CREATE_NODE id=n_221408c6c125 node_type=claim
t=0046 CREATE_NODE id=n_38e6131be7cd node_type=claim
t=0047 CREATE_NODE id=n_e4370373876c node_type=claim
t=0048 CREATE_NODE id=n_338b71ad4a63 node_type=claim
t=0049 CREATE_NODE id=n_85051d092ca5 node_type=claim
t=0050 CREATE_NODE id=n_c933e1da3a80 node_type=claim
t=0051 CREATE_NODE id=n_18b9eaf7a2ab node_type=claim
t=0052 CREATE_NODE id=n_e718ab40d9fa node_type=claim
t=0053 CREATE_NODE id=n_0bea853ad3ad node_type=claim
t=0054 CREATE_NODE id=n_7eb2a0990c6e node_type=claim
t=0055 CREATE_NODE id=n_79d3b9048af3 node_type=claim
t=0056 CREATE_NODE id=n_a3572a97f80d node_type=claim
t=0057 CREATE_NODE id=n_eca31911aab6 node_type=claim
t=0058 CREATE_NODE id=n_57c9d69b37e6 node_type=claim
t=0059 CREATE_NODE id=n_c2a7ec3f3c8d node_type=claim
t=0060 CREATE_NODE id=n_25c7f40754ab node_type=claim
t=0061 CREATE_NODE id=n_f111f4a90e88 node_type=claim
t=0062 ASSERT_ROOT node=n_3a17404868db value=TRUE
t=0063 ADD_EDGE edge_id=e_53327542124d source=n_9c5a298865d1 edge_type=supports target=n_e718ab40d9fa
t=0064 ADD_EDGE edge_id=e_01d89088ccb7 source=n_aa188b86e1e0 edge_type=refutes target=n_caaeb34d6417
t=0065 ADD_EDGE edge_id=e_983781ab1100 source=n_7eb2a0990c6e edge_type=refutes target=n_38f95f777bb1
t=0066 ADD_EDGE edge_id=e_184a4892e749 source=n_397959c5a457 edge_type=refutes target=n_18b9eaf7a2ab
t=0067 ADD_EDGE edge_id=e_1cbe9b4bb89b source=n_b8f46c1afeac edge_type=supports target=n_fd18e239a963
t=0068 ADD_EDGE edge_id=e_3fd0b9c39e7e source=n_268526bdd1f7 edge_type=refutes target=n_78a2c07fb526
t=0069 ADD_EDGE edge_id=e_9c46aba79f21 source=n_85b5af902c1e edge_type=supports target=n_ba31789e82d1
t=0070 ADD_EDGE edge_id=e_cce964c433c3 source=n_cf4636206d9d edge_type=refutes target=n_9c5a298865d1
t=0071 ADD_EDGE edge_id=e_69384cd4b772 source=n_85051d092ca5 edge_type=refutes target=n_c2a7ec3f3c8d
t=0072 ADD_EDGE edge_id=e_3c0f4fc8802e source=n_b8f46c1afeac edge_type=refutes target=n_268526bdd1f7
t=0073 ADD_EDGE edge_id=e_c97b1817590a source=n_44d5ab1be84c edge_type=supports target=n_f111f4a90e88
t=0074 ADD_EDGE edge_id=e_615dbb727ce9 source=n_a4e67419824c edge_type=supports target=n_25c7f40754ab
t=0075 ADD_EDGE edge_id=e_267725dd3ea9 source=n_b8f46c1afeac edge_type=refutes target=n_22ec30ef2d05
t=0076 ADD_EDGE edge_id=e_398c13aceca1 source=n_78a2c07fb526 edge_type=supports target=n_eca31911aab6
t=0077 ADD_EDGE edge_id=e_4428f63423c2 source=n_f26cb9b3eda0 edge_type=refutes target=n_8fb0c36a4a78
t=0078 ADD_EDGE edge_id=e_f1a08be9eff6 source=n_18b9eaf7a2ab edge_type=supports target=n_b7deb3bdf0cb
t=0079 ADD_EDGE edge_id=e_ed555568f80a source=n_a4e67419824c edge_type=supports target=n_a56753eb4c42
t=0080 ADD_EDGE edge_id=e_52878888d282 source=n_f47b09519f0b edge_type=refutes target=n_85b5af902c1e
t=0081 ADD_EDGE edge_id=e_d02169f70349 source=n_f111f4a90e88 edge_type=supports target=n_9d7d2805c4bc
t=0082 ADD_EDGE edge_id=e_216c207e5b70 source=n_340fbcdde31d edge_type=supports target=n_6919b3d3ee65
t=0083 ADD_EDGE edge_id=e_403929fe1da2 source=n_c2a7ec3f3c8d edge_type=refutes target=n_9200a3921e1a
t=0084 ADD_EDGE edge_id=e_02f734ef05bc source=n_c933e1da3a80 edge_type=supports target=n_c337ed3a0829
t=0085 ADD_EDGE edge_id=e_0b55bf4de09b source=n_c337ed3a0829 edge_type=supports target=n_fa981669e0f2
t=0086 ADD_EDGE edge_id=e_5956d32a6c59 source=n_e4370373876c edge_type=supports target=n_2a234147f63e
t=0087 ADD_EDGE edge_id=e_7a29d2224d0f source=n_25c7f40754ab edge_type=supports target=n_a51e596711a4
t=0088 ADD_EDGE edge_id=e_1639f3c39d7a source=n_a1f69dd2a4a2 edge_type=refutes target=n_1791e093601c
t=0089 ADD_EDGE edge_id=e_87ffea408ac1 source=n_79d3b9048af3 edge_type=refutes target=n_221408c6c125
t=0090 ADD_EDGE edge_id=e_66425778562e source=n_a4e67419824c edge_type=refutes target=n_096863e58833
t=0091 ADD_EDGE edge_id=e_0af4244f5bb7 source=n_1272a79c9f34 edge_type=refutes target=n_f47b09519f0b
t=0092 ADD_EDGE edge_id=e_700de54d1b4f source=n_6919b3d3ee65 edge_type=supports target=n_85051d092ca5
t=0093 ADD_EDGE edge_id=e_a50e625a3ff8 source=n_4dc0a40563fc edge_type=refutes target=n_e4370373876c
t=0094 ADD_EDGE edge_id=e_d6fa491a3bb4 source=n_22ec30ef2d05 edge_type=refutes target=n_57c9d69b37e6
t=0095 ADD_EDGE edge_id=e_615b6488ed9c source=n_5b37ddc43e90 edge_type=refutes target=n_1272a79c9f34
t=0096 ADD_EDGE edge_id=e_ff5a276d7b24 source=n_60228619dac8 edge_type=refutes target=n_5b37ddc43e90
t=0097 ADD_EDGE edge_id=e_1673fb529024 source=n_3a17404868db edge_type=refutes target=n_aa188b86e1e0
t=0098 ADD_EDGE edge_id=e_cdfee436c47c source=n_f111f4a90e88 edge_type=refutes target=n_4dc0a40563fc
t=0099 ADD_EDGE edge_id=e_c33682332823 source=n_a56753eb4c42 edge_type=refutes target=n_cf4636206d9d
t=0100 ADD_EDGE edge_id=e_29b77131c463 source=n_70470a74eb22 edge_type=refutes target=n_a3572a97f80d
t=0101 ADD_EDGE edge_id=e_41c722e78734 source=n_a51e596711a4 edge_type=supports target=n_c933e1da3a80
t=0102 ADD_EDGE edge_id=e_1c2bced362b9 source=n_eca31911aab6 edge_type=supports target=n_a8fb8a5624e0
t=0103 ADD_EDGE edge_id=e_51dc523392ac source=n_b7deb3bdf0cb edge_type=supports target=n_23b89b38d9f0
t=0104 ADD_EDGE edge_id=e_30444e6723db source=n_25c7f40754ab edge_type=supports target=n_70470a74eb22
t=0105 ADD_EDGE edge_id=e_9fa042d81c69 source=n_c2a7ec3f3c8d edge_type=refutes target=n_98218111b8d3
t=0106 ADD_EDGE edge_id=e_5b00920e21a1 source=n_b32518f006e0 edge_type=supports target=n_340fbcdde31d
t=0107 ADD_EDGE edge_id=e_5aca44c05cc0 source=n_ba31789e82d1 edge_type=refutes target=n_397959c5a457
t=0108 ADD_EDGE edge_id=e_fbed56bcd70e source=n_caaeb34d6417 edge_type=supports target=n_38e6131be7cd
t=0109 ADD_EDGE edge_id=e_ce4bc4bdcfc7 source=n_9200a3921e1a edge_type=refutes target=n_338b71ad4a63
t=0110 ADD_EDGE edge_id=e_212a11fb3c4e source=n_e4370373876c edge_type=refutes target=n_60228619dac8
t=0111 ADD_EDGE edge_id=e_ad77b9a4ff4e source=n_221408c6c125 edge_type=supports target=n_b90f6c6ec14e
t=0112 ADD_EDGE edge_id=e_143c30a3da22 source=n_a4e67419824c edge_type=supports target=n_b8f46c1afeac
t=0113 ADD_EDGE edge_id=e_f6f99e8e2b04 source=n_a3572a97f80d edge_type=supports target=n_8f788933f58a
t=0114 ADD_EDGE edge_id=e_d1ac749e6f1b source=n_268526bdd1f7 edge_type=refutes target=n_f26cb9b3eda0
t=0115 ADD_EDGE edge_id=e_692b7f73396c source=n_338b71ad4a63 edge_type=supports target=n_7eb2a0990c6e
t=0116 ADD_EDGE edge_id=e_0cdc56e699f9 source=n_fd18e239a963 edge_type=refutes target=n_824ea81e935d
t=0117 ADD_EDGE edge_id=e_03a4ff100b68 source=n_ba31789e82d1 edge_type=supports target=n_105456bce657
t=0118 ADD_EDGE edge_id=e_4c991c466514 source=n_38e6131be7cd edge_type=supports target=n_b32518f006e0
t=0119 ADD_EDGE edge_id=e_b9a1b8f6fc1d source=n_8fb0c36a4a78 edge_type=supports target=n_0bea853ad3ad
t=0120 ADD_EDGE edge_id=e_8387b6f0c405 source=n_38f95f777bb1 edge_type=supports target=n_44d5ab1be84c
t=0121 ADD_EDGE edge_id=e_edaea46b783e source=n_a4e67419824c edge_type=supports target=n_a1f69dd2a4a2
t=0122 ADD_EDGE edge_id=e_a92b225989c6 source=n_a4e67419824c edge_type=refutes target=n_79d3b9048af3
t=0123 QUERY source=n_3a17404868db target=n_23b89b38d9f0
[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_66787807c6ac node_type=claim
t=0001 CREATE_NODE id=n_817327f4d732 node_type=claim
t=0002 CREATE_NODE id=n_8eb2ff4629cd node_type=claim
t=0003 CREATE_NODE id=n_8d5f741d4850 node_type=claim
t=0004 CREATE_NODE id=n_e013d73e0106 node_type=claim
t=0005 CREATE_NODE id=n_bd7359ea5c8a node_type=claim
t=0006 CREATE_NODE id=n_3ce0aee9a420 node_type=claim
t=0007 CREATE_NODE id=n_1d9f14caf148 node_type=claim
t=0008 CREATE_NODE id=n_25a1cfd35e84 node_type=claim
t=0009 CREATE_NODE id=n_e0935df5794c node_type=claim
t=0010 CREATE_NODE id=n_13d9f878402d node_type=claim
t=0011 CREATE_NODE id=n_0b9874449104 node_type=claim
t=0012 CREATE_NODE id=n_3df62c3848ec node_type=claim
t=0013 CREATE_NODE id=n_157a1bc66a95 node_type=claim
t=0014 CREATE_NODE id=n_46ce29ea5261 node_type=claim
t=0015 CREATE_NODE id=n_644837c2da60 node_type=claim
t=0016 CREATE_NODE id=n_e7e4d9f0b1c9 node_type=claim
t=0017 CREATE_NODE id=n_b5e231b68190 node_type=claim
t=0018 CREATE_NODE id=n_8586777601c7 node_type=claim
t=0019 CREATE_NODE id=n_eaec62c20a1b node_type=claim
t=0020 CREATE_NODE id=n_8aa4a1678f48 node_type=claim
t=0021 CREATE_NODE id=n_050d50f54733 node_type=claim
t=0022 CREATE_NODE id=n_adb32a947737 node_type=claim
t=0023 CREATE_NODE id=n_a3429d0472cc node_type=claim
t=0024 CREATE_NODE id=n_a4cf19a7df81 node_type=claim
t=0025 CREATE_NODE id=n_798dbfcfb69e node_type=claim
t=0026 CREATE_NODE id=n_34aaa702dc4d node_type=claim
t=0027 CREATE_NODE id=n_6eb55ce3c495 node_type=claim
t=0028 CREATE_NODE id=n_ced61c56c3ff node_type=claim
t=0029 CREATE_NODE id=n_dac88e4173b7 node_type=claim
t=0030 CREATE_NODE id=n_ac80ba7c0bbf node_type=claim
t=0031 CREATE_NODE id=n_4354b58583aa node_type=claim
t=0032 CREATE_NODE id=n_12a47643f534 node_type=claim
t=0033 CREATE_NODE id=n_4ae130dbd265 node_type=claim
t=0034 CREATE_NODE id=n_fd8000feffe8 node_type=claim
t=0035 CREATE_NODE id=n_9f56267bf8e3 node_type=claim
t=0036 CREATE_NODE id=n_816ebef0cc67 node_type=claim
t=0037 CREATE_NODE id=n_aa385cef2d83 node_type=claim
t=0038 CREATE_NODE id=n_4243abcb3634 node_type=claim
t=0039 CREATE_NODE id=n_61e67ec1851b node_type=claim
t=0040 CREATE_NODE id=n_005c717f0219 node_type=claim
t=0041 CREATE_NODE id=n_82f4001e111f node_type=claim
t=0042 CREATE_NODE id=n_c05f6dec5651 node_type=claim
t=0043 CREATE_NODE id=n_7ef425b555c1 node_type=claim
t=0044 CREATE_NODE id=n_3fe11942c7b0 node_type=claim
t=0045 CREATE_NODE id=n_34913fcca372 node_type=claim
t=0046 CREATE_NODE id=n_736fe3dd0c9c node_type=claim
t=0047 CREATE_NODE id=n_4db7cd77dbe0 node_type=claim
t=0048 CREATE_NODE id=n_996133316d6f node_type=claim
t=0049 CREATE_NODE id=n_526f090fcdcb node_type=claim
t=0050 CREATE_NODE id=n_e906c617dc6f node_type=claim
t=0051 CREATE_NODE id=n_7a838f10e965 node_type=claim
t=0052 CREATE_NODE id=n_696f0d1ff9da node_type=claim
t=0053 CREATE_NODE id=n_e06c977da935 node_type=claim
t=0054 CREATE_NODE id=n_4d80fc5f6f3a node_type=claim
t=0055 CREATE_NODE id=n_2b5f378a3999 node_type=claim
t=0056 CREATE_NODE id=n_86ea0a902107 node_type=claim
t=0057 CREATE_NODE id=n_b0ba233028df node_type=claim
t=0058 CREATE_NODE id=n_08d361c930d0 node_type=claim
t=0059 CREATE_NODE id=n_d4873475aa46 node_type=claim
t=0060 CREATE_NODE id=n_a11d55dca555 node_type=claim
t=0061 CREATE_NODE id=n_3890d4d250d0 node_type=claim
t=0062 ASSERT_ROOT node=n_46ce29ea5261 value=FALSE
t=0063 ADD_EDGE edge_id=e_33b8f676ce44 source=n_e06c977da935 edge_type=supports target=n_817327f4d732
t=0064 ADD_EDGE edge_id=e_d1753cc38942 source=n_005c717f0219 edge_type=refutes target=n_a4cf19a7df81
t=0065 ADD_EDGE edge_id=e_4797872718ed source=n_7ef425b555c1 edge_type=refutes target=n_34aaa702dc4d
t=0066 ADD_EDGE edge_id=e_ea01737e9599 source=n_9f56267bf8e3 edge_type=refutes target=n_eaec62c20a1b
t=0067 ADD_EDGE edge_id=e_46af91b17d4e source=n_3fe11942c7b0 edge_type=refutes target=n_7a838f10e965
t=0068 ADD_EDGE edge_id=e_8299056b6b73 source=n_696f0d1ff9da edge_type=refutes target=n_157a1bc66a95
t=0069 ADD_EDGE edge_id=e_5e009b82ca27 source=n_25a1cfd35e84 edge_type=supports target=n_8586777601c7
t=0070 ADD_EDGE edge_id=e_e96ad3cd6739 source=n_526f090fcdcb edge_type=supports target=n_736fe3dd0c9c
t=0071 ADD_EDGE edge_id=e_dde29356dda1 source=n_66787807c6ac edge_type=supports target=n_fd8000feffe8
t=0072 ADD_EDGE edge_id=e_f8babd4f0987 source=n_3fe11942c7b0 edge_type=refutes target=n_25a1cfd35e84
t=0073 ADD_EDGE edge_id=e_a3b9ae014fc4 source=n_ced61c56c3ff edge_type=refutes target=n_dac88e4173b7
t=0074 ADD_EDGE edge_id=e_fd78b74bec52 source=n_157a1bc66a95 edge_type=refutes target=n_86ea0a902107
t=0075 ADD_EDGE edge_id=e_362b15dca1e1 source=n_adb32a947737 edge_type=supports target=n_12a47643f534
t=0076 ADD_EDGE edge_id=e_394eb6703f65 source=n_c05f6dec5651 edge_type=supports target=n_8d5f741d4850
t=0077 ADD_EDGE edge_id=e_6a4e76322f5d source=n_13d9f878402d edge_type=refutes target=n_8aa4a1678f48
t=0078 ADD_EDGE edge_id=e_76c61f1e8acf source=n_bd7359ea5c8a edge_type=supports target=n_0b9874449104
t=0079 ADD_EDGE edge_id=e_8f7b1dce6ebe source=n_2b5f378a3999 edge_type=supports target=n_996133316d6f
t=0080 ADD_EDGE edge_id=e_c22523c034c3 source=n_86ea0a902107 edge_type=refutes target=n_4db7cd77dbe0
t=0081 ADD_EDGE edge_id=e_522ae31ccf09 source=n_b0ba233028df edge_type=supports target=n_82f4001e111f
t=0082 ADD_EDGE edge_id=e_8f6eb1275fc9 source=n_6eb55ce3c495 edge_type=refutes target=n_798dbfcfb69e
t=0083 ADD_EDGE edge_id=e_52da3cac8fc7 source=n_eaec62c20a1b edge_type=refutes target=n_e906c617dc6f
t=0084 ADD_EDGE edge_id=e_e48be1485409 source=n_3fe11942c7b0 edge_type=supports target=n_e013d73e0106
t=0085 ADD_EDGE edge_id=e_9c4bd1249ead source=n_25a1cfd35e84 edge_type=refutes target=n_644837c2da60
t=0086 ADD_EDGE edge_id=e_5ca871a29598 source=n_526f090fcdcb edge_type=refutes target=n_4ae130dbd265
t=0087 ADD_EDGE edge_id=e_19b9d21d9b66 source=n_816ebef0cc67 edge_type=refutes target=n_9f56267bf8e3
t=0088 ADD_EDGE edge_id=e_c7f3ca545041 source=n_34aaa702dc4d edge_type=refutes target=n_c05f6dec5651
t=0089 ADD_EDGE edge_id=e_8b8ee7eb99e3 source=n_a4cf19a7df81 edge_type=supports target=n_bd7359ea5c8a
t=0090 ADD_EDGE edge_id=e_31f91df44d34 source=n_34913fcca372 edge_type=supports target=n_6eb55ce3c495
t=0091 ADD_EDGE edge_id=e_439714543d33 source=n_3fe11942c7b0 edge_type=supports target=n_66787807c6ac
t=0092 ADD_EDGE edge_id=e_42444c891502 source=n_82f4001e111f edge_type=supports target=n_4354b58583aa
t=0093 ADD_EDGE edge_id=e_29e94814d7d2 source=n_2b5f378a3999 edge_type=refutes target=n_aa385cef2d83
t=0094 ADD_EDGE edge_id=e_0b850cd0436c source=n_12a47643f534 edge_type=refutes target=n_816ebef0cc67
t=0095 ADD_EDGE edge_id=e_d8ec666e8588 source=n_46ce29ea5261 edge_type=supports target=n_34913fcca372
t=0096 ADD_EDGE edge_id=e_ec3f7f68b1da source=n_b0ba233028df edge_type=refutes target=n_a11d55dca555
t=0097 ADD_EDGE edge_id=e_a75336bb4542 source=n_9f56267bf8e3 edge_type=supports target=n_ac80ba7c0bbf
t=0098 ADD_EDGE edge_id=e_e2d97221e1bd source=n_4354b58583aa edge_type=supports target=n_4243abcb3634
t=0099 ADD_EDGE edge_id=e_762b1b9ee596 source=n_e06c977da935 edge_type=refutes target=n_8eb2ff4629cd
t=0100 ADD_EDGE edge_id=e_409533823b37 source=n_b0ba233028df edge_type=supports target=n_b5e231b68190
t=0101 ADD_EDGE edge_id=e_e0fe3ec79833 source=n_0b9874449104 edge_type=refutes target=n_1d9f14caf148
t=0102 ADD_EDGE edge_id=e_821292ed4069 source=n_b0ba233028df edge_type=refutes target=n_e06c977da935
t=0103 ADD_EDGE edge_id=e_11056bcf0c51 source=n_1d9f14caf148 edge_type=supports target=n_7ef425b555c1
t=0104 ADD_EDGE edge_id=e_4f078c91bf35 source=n_b0ba233028df edge_type=supports target=n_e7e4d9f0b1c9
t=0105 ADD_EDGE edge_id=e_0bafdf8cd0cf source=n_4354b58583aa edge_type=supports target=n_e0935df5794c
t=0106 ADD_EDGE edge_id=e_54dfdcd80793 source=n_66787807c6ac edge_type=refutes target=n_4d80fc5f6f3a
t=0107 ADD_EDGE edge_id=e_bc9d3a228e7d source=n_dac88e4173b7 edge_type=supports target=n_696f0d1ff9da
t=0108 ADD_EDGE edge_id=e_370f7018cb41 source=n_526f090fcdcb edge_type=supports target=n_a3429d0472cc
t=0109 ADD_EDGE edge_id=e_1aaf36f11ebc source=n_798dbfcfb69e edge_type=supports target=n_005c717f0219
t=0110 ADD_EDGE edge_id=e_8f8076018db7 source=n_8586777601c7 edge_type=refutes target=n_61e67ec1851b
t=0111 ADD_EDGE edge_id=e_b7bc66ac846e source=n_46ce29ea5261 edge_type=supports target=n_d4873475aa46
t=0112 ADD_EDGE edge_id=e_958fd5c4d037 source=n_fd8000feffe8 edge_type=refutes target=n_050d50f54733
t=0113 ADD_EDGE edge_id=e_bc36fecd48f8 source=n_4354b58583aa edge_type=supports target=n_08d361c930d0
t=0114 ADD_EDGE edge_id=e_c842504dc4f9 source=n_13d9f878402d edge_type=supports target=n_3df62c3848ec
t=0115 ADD_EDGE edge_id=e_c03a41b78491 source=n_7a838f10e965 edge_type=refutes target=n_3ce0aee9a420
t=0116 ADD_EDGE edge_id=e_cd46416689f7 source=n_4db7cd77dbe0 edge_type=refutes target=n_526f090fcdcb
t=0117 ADD_EDGE edge_id=e_d3011f083001 source=n_050d50f54733 edge_type=supports target=n_13d9f878402d
t=0118 ADD_EDGE edge_id=e_73bd57862345 source=n_e906c617dc6f edge_type=refutes target=n_ced61c56c3ff
t=0119 ADD_EDGE edge_id=e_d3271666f1b3 source=n_644837c2da60 edge_type=refutes target=n_2b5f378a3999
t=0120 ADD_EDGE edge_id=e_eb1d41d70f3a source=n_8d5f741d4850 edge_type=refutes target=n_adb32a947737
t=0121 ADD_EDGE edge_id=e_0f52ede46b2f source=n_66787807c6ac edge_type=supports target=n_b0ba233028df
t=0122 ADD_EDGE edge_id=e_1748b0121cb5 source=n_e7e4d9f0b1c9 edge_type=supports target=n_3890d4d250d0
t=0123 QUERY source=n_46ce29ea5261 target=n_a3429d0472cc
[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_05f35ad731f9 node_type=claim
t=0001 CREATE_NODE id=n_430631ee446c node_type=claim
t=0002 CREATE_NODE id=n_eff3f4c2d35a node_type=claim
t=0003 CREATE_NODE id=n_ad628c3da55f node_type=claim
t=0004 CREATE_NODE id=n_aab41d7b9489 node_type=claim
t=0005 CREATE_NODE id=n_52230503f346 node_type=claim
t=0006 CREATE_NODE id=n_3bbf3fb74935 node_type=claim
t=0007 CREATE_NODE id=n_542ffe8b8362 node_type=claim
t=0008 CREATE_NODE id=n_f54c728bc9a9 node_type=claim
t=0009 CREATE_NODE id=n_e03abc6ab981 node_type=claim
t=0010 CREATE_NODE id=n_623f48dc375b node_type=claim
t=0011 CREATE_NODE id=n_1cc129670ddf node_type=claim
t=0012 CREATE_NODE id=n_50d2c3f60099 node_type=claim
t=0013 CREATE_NODE id=n_3dd87096bb97 node_type=claim
t=0014 CREATE_NODE id=n_a86c1d8df011 node_type=claim
t=0015 CREATE_NODE id=n_58e551666498 node_type=claim
t=0016 CREATE_NODE id=n_f7c1fc9b562d node_type=claim
t=0017 CREATE_NODE id=n_c4d74323bd91 node_type=claim
t=0018 CREATE_NODE id=n_6a2504bffe1b node_type=claim
t=0019 CREATE_NODE id=n_47fbb5cfed3c node_type=claim
t=0020 CREATE_NODE id=n_4785d2031fc8 node_type=claim
t=0021 CREATE_NODE id=n_dabe3b830f94 node_type=claim
t=0022 CREATE_NODE id=n_64c1cc1b92f9 node_type=claim
t=0023 CREATE_NODE id=n_100bab40155a node_type=claim
t=0024 CREATE_NODE id=n_1511be481523 node_type=claim
t=0025 CREATE_NODE id=n_fa1db9c1011e node_type=claim
t=0026 CREATE_NODE id=n_27b7879c47b6 node_type=claim
t=0027 CREATE_NODE id=n_2bf1073730aa node_type=claim
t=0028 CREATE_NODE id=n_96a90ef9538e node_type=claim
t=0029 CREATE_NODE id=n_094798f02b1d node_type=claim
t=0030 CREATE_NODE id=n_05ea009bc701 node_type=claim
t=0031 CREATE_NODE id=n_6f0ccb8e625b node_type=claim
t=0032 CREATE_NODE id=n_49775c8ceb2b node_type=claim
t=0033 CREATE_NODE id=n_96ea72ed3247 node_type=claim
t=0034 CREATE_NODE id=n_fcb475a4e82b node_type=claim
t=0035 CREATE_NODE id=n_eb5e15a7368c node_type=claim
t=0036 CREATE_NODE id=n_e84542d9b875 node_type=claim
t=0037 CREATE_NODE id=n_2ada396c9ab1 node_type=claim
t=0038 CREATE_NODE id=n_5837d435c206 node_type=claim
t=0039 CREATE_NODE id=n_512a893cf5d4 node_type=claim
t=0040 CREATE_NODE id=n_0b10f4db60b1 node_type=claim
t=0041 CREATE_NODE id=n_c8c57444fe5f node_type=claim
t=0042 CREATE_NODE id=n_93fa751cdabe node_type=claim
t=0043 CREATE_NODE id=n_ef7b2c0f6c6f node_type=claim
t=0044 CREATE_NODE id=n_dc47fa00ae37 node_type=claim
t=0045 CREATE_NODE id=n_42258ef57e8e node_type=claim
t=0046 CREATE_NODE id=n_47afb13107ba node_type=claim
t=0047 CREATE_NODE id=n_d0f02f39e62c node_type=claim
t=0048 CREATE_NODE id=n_d5ade914fb14 node_type=claim
t=0049 CREATE_NODE id=n_31daa3554aff node_type=claim
t=0050 CREATE_NODE id=n_3b646ee10a5d node_type=claim
t=0051 CREATE_NODE id=n_9cd9f168c921 node_type=claim
t=0052 CREATE_NODE id=n_f2f752e37835 node_type=claim
t=0053 CREATE_NODE id=n_835899859728 node_type=claim
t=0054 CREATE_NODE id=n_784adfbf2eab node_type=claim
t=0055 CREATE_NODE id=n_481304a4ff68 node_type=claim
t=0056 CREATE_NODE id=n_abcac1c06e37 node_type=claim
t=0057 CREATE_NODE id=n_9311c6c557b8 node_type=claim
t=0058 CREATE_NODE id=n_e9a39222d78e node_type=claim
t=0059 CREATE_NODE id=n_cc0e3af69091 node_type=claim
t=0060 CREATE_NODE id=n_c69c426094b0 node_type=claim
t=0061 CREATE_NODE id=n_a2ab33ff88a5 node_type=claim
t=0062 ASSERT_ROOT node=n_ad628c3da55f value=TRUE
t=0063 ADD_EDGE edge_id=e_6a47d630b18a source=n_100bab40155a edge_type=refutes target=n_2bf1073730aa
t=0064 ADD_EDGE edge_id=e_cab3d8e4baf6 source=n_9311c6c557b8 edge_type=refutes target=n_3dd87096bb97
t=0065 ADD_EDGE edge_id=e_b585c11c6a1e source=n_1511be481523 edge_type=refutes target=n_47fbb5cfed3c
t=0066 ADD_EDGE edge_id=e_f6db960a1eaa source=n_96a90ef9538e edge_type=refutes target=n_1cc129670ddf
t=0067 ADD_EDGE edge_id=e_d5d0535e40ca source=n_fa1db9c1011e edge_type=supports target=n_512a893cf5d4
t=0068 ADD_EDGE edge_id=e_5d2534e29e88 source=n_0b10f4db60b1 edge_type=supports target=n_c4d74323bd91
t=0069 ADD_EDGE edge_id=e_cdf3e04bfd7b source=n_a2ab33ff88a5 edge_type=supports target=n_d0f02f39e62c
t=0070 ADD_EDGE edge_id=e_0a26d745cf1e source=n_49775c8ceb2b edge_type=refutes target=n_481304a4ff68
t=0071 ADD_EDGE edge_id=e_339413c32994 source=n_96ea72ed3247 edge_type=supports target=n_f54c728bc9a9
t=0072 ADD_EDGE edge_id=e_f3f729462ff8 source=n_dc47fa00ae37 edge_type=supports target=n_542ffe8b8362
t=0073 ADD_EDGE edge_id=e_c0a033d8429c source=n_eff3f4c2d35a edge_type=refutes target=n_9cd9f168c921
t=0074 ADD_EDGE edge_id=e_1efa5f0f044a source=n_481304a4ff68 edge_type=supports target=n_3bbf3fb74935
t=0075 ADD_EDGE edge_id=e_2264e8301d04 source=n_094798f02b1d edge_type=refutes target=n_f7c1fc9b562d
t=0076 ADD_EDGE edge_id=e_0fd3566106c0 source=n_52230503f346 edge_type=supports target=n_fcb475a4e82b
t=0077 ADD_EDGE edge_id=e_47e9829a7679 source=n_f2f752e37835 edge_type=supports target=n_c69c426094b0
t=0078 ADD_EDGE edge_id=e_1048f7394d8d source=n_9311c6c557b8 edge_type=supports target=n_abcac1c06e37
t=0079 ADD_EDGE edge_id=e_2859d32d6c3f source=n_fa1db9c1011e edge_type=refutes target=n_27b7879c47b6
t=0080 ADD_EDGE edge_id=e_0d93c6cd67d5 source=n_1cc129670ddf edge_type=refutes target=n_fa1db9c1011e
t=0081 ADD_EDGE edge_id=e_db5416733919 source=n_3bbf3fb74935 edge_type=refutes target=n_58e551666498
t=0082 ADD_EDGE edge_id=e_ea1381ba7729 source=n_05ea009bc701 edge_type=supports target=n_50d2c3f60099
t=0083 ADD_EDGE edge_id=e_21263ea40306 source=n_64c1cc1b92f9 edge_type=supports target=n_31daa3554aff
t=0084 ADD_EDGE edge_id=e_59220d49eda8 source=n_c8c57444fe5f edge_type=refutes target=n_784adfbf2eab
t=0085 ADD_EDGE edge_id=e_fea45dde3264 source=n_430631ee446c edge_type=refutes target=n_05ea009bc701
t=0086 ADD_EDGE edge_id=e_3be5b9d911aa source=n_623f48dc375b edge_type=supports target=n_430631ee446c
t=0087 ADD_EDGE edge_id=e_0ba829a75cad source=n_e9a39222d78e edge_type=refutes target=n_0b10f4db60b1
t=0088 ADD_EDGE edge_id=e_79b630df5208 source=n_64c1cc1b92f9 edge_type=supports target=n_2ada396c9ab1
t=0089 ADD_EDGE edge_id=e_797cbde14204 source=n_dabe3b830f94 edge_type=supports target=n_f2f752e37835
t=0090 ADD_EDGE edge_id=e_a9ed1f09f2a7 source=n_05f35ad731f9 edge_type=refutes target=n_3b646ee10a5d
t=0091 ADD_EDGE edge_id=e_317e6f80a022 source=n_f2f752e37835 edge_type=supports target=n_e03abc6ab981
t=0092 ADD_EDGE edge_id=e_b629f57ce4bb source=n_100bab40155a edge_type=supports target=n_64c1cc1b92f9
t=0093 ADD_EDGE edge_id=e_07470a7e8c6d source=n_c4d74323bd91 edge_type=refutes target=n_5837d435c206
t=0094 ADD_EDGE edge_id=e_749b0c35e87c source=n_fcb475a4e82b edge_type=supports target=n_a2ab33ff88a5
t=0095 ADD_EDGE edge_id=e_3d9e3f2bbbf9 source=n_9311c6c557b8 edge_type=refutes target=n_96ea72ed3247
t=0096 ADD_EDGE edge_id=e_3d8b67a8054b source=n_dabe3b830f94 edge_type=refutes target=n_47afb13107ba
t=0097 ADD_EDGE edge_id=e_ec63419c0415 source=n_fa1db9c1011e edge_type=refutes target=n_49775c8ceb2b
t=0098 ADD_EDGE edge_id=e_ef77994ca770 source=n_05f35ad731f9 edge_type=supports target=n_93fa751cdabe
t=0099 ADD_EDGE edge_id=e_c08de774d569 source=n_094798f02b1d edge_type=supports target=n_1511be481523
t=0100 ADD_EDGE edge_id=e_975845d639ba source=n_5837d435c206 edge_type=supports target=n_42258ef57e8e
t=0101 ADD_EDGE edge_id=e_1bb8dc41535b source=n_100bab40155a edge_type=supports target=n_cc0e3af69091
t=0102 ADD_EDGE edge_id=e_85922a67eda8 source=n_1511be481523 edge_type=refutes target=n_e84542d9b875
t=0103 ADD_EDGE edge_id=e_f54e7814e0dc source=n_aab41d7b9489 edge_type=supports target=n_05f35ad731f9
t=0104 ADD_EDGE edge_id=e_eebb80be1d3b source=n_d0f02f39e62c edge_type=supports target=n_d5ade914fb14
t=0105 ADD_EDGE edge_id=e_d7e4507bc74b source=n_4785d2031fc8 edge_type=refutes target=n_6f0ccb8e625b
t=0106 ADD_EDGE edge_id=e_ce44c9816f92 source=n_784adfbf2eab edge_type=supports target=n_96a90ef9538e
t=0107 ADD_EDGE edge_id=e_bc0e4c51526c source=n_542ffe8b8362 edge_type=refutes target=n_835899859728
t=0108 ADD_EDGE edge_id=e_37e594e24e0b source=n_100bab40155a edge_type=refutes target=n_dabe3b830f94
t=0109 ADD_EDGE edge_id=e_2f375587c7c6 source=n_ad628c3da55f edge_type=refutes target=n_c8c57444fe5f
t=0110 ADD_EDGE edge_id=e_6f960a131240 source=n_0b10f4db60b1 edge_type=refutes target=n_6a2504bffe1b
t=0111 ADD_EDGE edge_id=e_4449a17f8d28 source=n_9311c6c557b8 edge_type=supports target=n_4785d2031fc8
t=0112 ADD_EDGE edge_id=e_12344250647e source=n_50d2c3f60099 edge_type=refutes target=n_aab41d7b9489
t=0113 ADD_EDGE edge_id=e_9db519fcade9 source=n_100bab40155a edge_type=refutes target=n_094798f02b1d
t=0114 ADD_EDGE edge_id=e_54a7f2dab58d source=n_2ada396c9ab1 edge_type=refutes target=n_ef7b2c0f6c6f
t=0115 ADD_EDGE edge_id=e_3ecd3eac62e3 source=n_dabe3b830f94 edge_type=refutes target=n_eb5e15a7368c
t=0116 ADD_EDGE edge_id=e_80957692b25b source=n_3b646ee10a5d edge_type=supports target=n_52230503f346
t=0117 ADD_EDGE edge_id=e_ef8a48f2310f source=n_3dd87096bb97 edge_type=supports target=n_eff3f4c2d35a
t=0118 ADD_EDGE edge_id=e_76fe05bec4e1 source=n_a86c1d8df011 edge_type=supports target=n_dc47fa00ae37
t=0119 ADD_EDGE edge_id=e_8356b4d24464 source=n_d5ade914fb14 edge_type=refutes target=n_e9a39222d78e
t=0120 ADD_EDGE edge_id=e_13d493381a75 source=n_dabe3b830f94 edge_type=supports target=n_a86c1d8df011
t=0121 ADD_EDGE edge_id=e_50861bc909d8 source=n_58e551666498 edge_type=supports target=n_623f48dc375b
t=0122 ADD_EDGE edge_id=e_2611fef33e32 source=n_100bab40155a edge_type=refutes target=n_9311c6c557b8
t=0123 QUERY source=n_ad628c3da55f target=n_42258ef57e8e
[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_85f19606b26b node_type=claim
t=0001 CREATE_NODE id=n_f97c2f7f7f81 node_type=claim
t=0002 CREATE_NODE id=n_16b5d0da0e8c node_type=claim
t=0003 CREATE_NODE id=n_dca4afd5d6aa node_type=claim
t=0004 CREATE_NODE id=n_4e9d4b747f4b node_type=claim
t=0005 CREATE_NODE id=n_278e7580d29d node_type=claim
t=0006 CREATE_NODE id=n_157034ab2b0b node_type=claim
t=0007 CREATE_NODE id=n_32bbce042d13 node_type=claim
t=0008 CREATE_NODE id=n_62ea20d40776 node_type=claim
t=0009 CREATE_NODE id=n_6ec1029a0ae1 node_type=claim
t=0010 CREATE_NODE id=n_234f5c0c7dc6 node_type=claim
t=0011 CREATE_NODE id=n_0960e73d5eb8 node_type=claim
t=0012 CREATE_NODE id=n_c6f2e7d7e653 node_type=claim
t=0013 CREATE_NODE id=n_9d3dd45acffa node_type=claim
t=0014 CREATE_NODE id=n_8b63d8ef17e9 node_type=claim
t=0015 CREATE_NODE id=n_170bf7be902f node_type=claim
t=0016 CREATE_NODE id=n_d7630807e7df node_type=claim
t=0017 CREATE_NODE id=n_8e06d12b94d0 node_type=claim
t=0018 CREATE_NODE id=n_7f83f1a9e251 node_type=claim
t=0019 CREATE_NODE id=n_0d261a97cec3 node_type=claim
t=0020 CREATE_NODE id=n_ba31c8a9074f node_type=claim
t=0021 CREATE_NODE id=n_ef7bbfacf322 node_type=claim
t=0022 CREATE_NODE id=n_24aeef117662 node_type=claim
t=0023 CREATE_NODE id=n_b0c258ce8120 node_type=claim
t=0024 CREATE_NODE id=n_6494de9173c4 node_type=claim
t=0025 CREATE_NODE id=n_7b73cd8da38f node_type=claim
t=0026 CREATE_NODE id=n_e66b67b76aea node_type=claim
t=0027 CREATE_NODE id=n_732118d0a9d3 node_type=claim
t=0028 CREATE_NODE id=n_d9b493840366 node_type=claim
t=0029 CREATE_NODE id=n_a51e182d52c8 node_type=claim
t=0030 CREATE_NODE id=n_d9ad2bea0ba4 node_type=claim
t=0031 CREATE_NODE id=n_9360e7b402e6 node_type=claim
t=0032 CREATE_NODE id=n_f99cab5e390f node_type=claim
t=0033 CREATE_NODE id=n_1b8b6999aff9 node_type=claim
t=0034 CREATE_NODE id=n_2b48e704cbe9 node_type=claim
t=0035 CREATE_NODE id=n_9b3f9af31430 node_type=claim
t=0036 CREATE_NODE id=n_7e79e59975d2 node_type=claim
t=0037 CREATE_NODE id=n_c93cd8335148 node_type=claim
t=0038 CREATE_NODE id=n_0c044773350f node_type=claim
t=0039 CREATE_NODE id=n_68d2f3505c21 node_type=claim
t=0040 CREATE_NODE id=n_d230269581c5 node_type=claim
t=0041 CREATE_NODE id=n_b2e3313dbeae node_type=claim
t=0042 CREATE_NODE id=n_6a0c4001c2d5 node_type=claim
t=0043 CREATE_NODE id=n_869fc997c499 node_type=claim
t=0044 CREATE_NODE id=n_4e3bfa04ad97 node_type=claim
t=0045 CREATE_NODE id=n_9b06a6c37159 node_type=claim
t=0046 CREATE_NODE id=n_d2ff7b70ff3c node_type=claim
t=0047 CREATE_NODE id=n_b71231b12e7c node_type=claim
t=0048 CREATE_NODE id=n_c8cb89be39e6 node_type=claim
t=0049 CREATE_NODE id=n_d4691aee9284 node_type=claim
t=0050 CREATE_NODE id=n_989c9c2925fe node_type=claim
t=0051 CREATE_NODE id=n_fdae0c176588 node_type=claim
t=0052 CREATE_NODE id=n_37a731dbfb5b node_type=claim
t=0053 CREATE_NODE id=n_2434129acecd node_type=claim
t=0054 CREATE_NODE id=n_5bc999de1ae7 node_type=claim
t=0055 CREATE_NODE id=n_2aa291964cb6 node_type=claim
t=0056 CREATE_NODE id=n_dae1f23c84af node_type=claim
t=0057 CREATE_NODE id=n_6314ad01dbe7 node_type=claim
t=0058 CREATE_NODE id=n_1b0768c686fc node_type=claim
t=0059 CREATE_NODE id=n_5bfc399dde6f node_type=claim
t=0060 CREATE_NODE id=n_7b111b4857f5 node_type=claim
t=0061 CREATE_NODE id=n_18c3be057af7 node_type=claim
t=0062 ASSERT_ROOT node=n_f97c2f7f7f81 value=FALSE
t=0063 ADD_EDGE edge_id=e_06f5154a8e20 source=n_68d2f3505c21 edge_type=refutes target=n_0d261a97cec3
t=0064 ADD_EDGE edge_id=e_0d61bfbf2d22 source=n_a51e182d52c8 edge_type=refutes target=n_32bbce042d13
t=0065 ADD_EDGE edge_id=e_b242f62ffd62 source=n_f99cab5e390f edge_type=refutes target=n_c8cb89be39e6
t=0066 ADD_EDGE edge_id=e_738119bbdef6 source=n_7f83f1a9e251 edge_type=refutes target=n_4e3bfa04ad97
t=0067 ADD_EDGE edge_id=e_966848812285 source=n_1b0768c686fc edge_type=refutes target=n_f99cab5e390f
t=0068 ADD_EDGE edge_id=e_9f6c663e3e06 source=n_7b111b4857f5 edge_type=supports target=n_85f19606b26b
t=0069 ADD_EDGE edge_id=e_9d32b482c0dd source=n_5bc999de1ae7 edge_type=supports target=n_6a0c4001c2d5
t=0070 ADD_EDGE edge_id=e_6ef2f384bd4b source=n_1b8b6999aff9 edge_type=supports target=n_278e7580d29d
t=0071 ADD_EDGE edge_id=e_3d4eb930d474 source=n_c8cb89be39e6 edge_type=supports target=n_0960e73d5eb8
t=0072 ADD_EDGE edge_id=e_dc6322dd029d source=n_4e9d4b747f4b edge_type=supports target=n_2434129acecd
t=0073 ADD_EDGE edge_id=e_8165601f9069 source=n_5bfc399dde6f edge_type=refutes target=n_ba31c8a9074f
t=0074 ADD_EDGE edge_id=e_ac108b233bff source=n_170bf7be902f edge_type=refutes target=n_1b0768c686fc
t=0075 ADD_EDGE edge_id=e_9a14deabf99a source=n_6a0c4001c2d5 edge_type=supports target=n_7b111b4857f5
t=0076 ADD_EDGE edge_id=e_c93c32954e1a source=n_85f19606b26b edge_type=supports target=n_d2ff7b70ff3c
t=0077 ADD_EDGE edge_id=e_f5d7a1ed8d95 source=n_157034ab2b0b edge_type=supports target=n_d9b493840366
t=0078 ADD_EDGE edge_id=e_53f9e805f43b source=n_5bc999de1ae7 edge_type=supports target=n_d7630807e7df
t=0079 ADD_EDGE edge_id=e_d9e10795750e source=n_a51e182d52c8 edge_type=supports target=n_e66b67b76aea
t=0080 ADD_EDGE edge_id=e_55a812fea7fe source=n_234f5c0c7dc6 edge_type=refutes target=n_9360e7b402e6
t=0081 ADD_EDGE edge_id=e_cc2cacec8a78 source=n_2434129acecd edge_type=refutes target=n_8b63d8ef17e9
t=0082 ADD_EDGE edge_id=e_425958996aef source=n_6ec1029a0ae1 edge_type=supports target=n_989c9c2925fe
t=0083 ADD_EDGE edge_id=e_a08e173823ae source=n_fdae0c176588 edge_type=supports target=n_6ec1029a0ae1
t=0084 ADD_EDGE edge_id=e_8b13c7afd584 source=n_6a0c4001c2d5 edge_type=refutes target=n_fdae0c176588
t=0085 ADD_EDGE edge_id=e_7e15e1d428da source=n_c6f2e7d7e653 edge_type=supports target=n_5bfc399dde6f
t=0086 ADD_EDGE edge_id=e_94b95018cffd source=n_d9b493840366 edge_type=supports target=n_dca4afd5d6aa
t=0087 ADD_EDGE edge_id=e_cf0e9982fe55 source=n_278e7580d29d edge_type=supports target=n_170bf7be902f
t=0088 ADD_EDGE edge_id=e_170f06cce6a6 source=n_ba31c8a9074f edge_type=refutes target=n_c93cd8335148
t=0089 ADD_EDGE edge_id=e_c3542b8d8ee7 source=n_8b63d8ef17e9 edge_type=refutes target=n_6494de9173c4
t=0090 ADD_EDGE edge_id=e_96f51b3ed9de source=n_62ea20d40776 edge_type=refutes target=n_9b3f9af31430
t=0091 ADD_EDGE edge_id=e_1712810130ec source=n_0c044773350f edge_type=supports target=n_b71231b12e7c
t=0092 ADD_EDGE edge_id=e_c69e88b54fa9 source=n_4e3bfa04ad97 edge_type=refutes target=n_6314ad01dbe7
t=0093 ADD_EDGE edge_id=e_5fba4018e87f source=n_6494de9173c4 edge_type=refutes target=n_234f5c0c7dc6
t=0094 ADD_EDGE edge_id=e_94b4ec291306 source=n_c6f2e7d7e653 edge_type=refutes target=n_9d3dd45acffa
t=0095 ADD_EDGE edge_id=e_1ec2fae88b9e source=n_f97c2f7f7f81 edge_type=supports target=n_1b8b6999aff9
t=0096 ADD_EDGE edge_id=e_7aa2425cf2c6 source=n_5bc999de1ae7 edge_type=supports target=n_0c044773350f
t=0097 ADD_EDGE edge_id=e_723cd7bf65a6 source=n_1b0768c686fc edge_type=supports target=n_18c3be057af7
t=0098 ADD_EDGE edge_id=e_28f853ad367a source=n_6a0c4001c2d5 edge_type=refutes target=n_62ea20d40776
t=0099 ADD_EDGE edge_id=e_34a733b1db8c source=n_732118d0a9d3 edge_type=supports target=n_9b06a6c37159
t=0100 ADD_EDGE edge_id=e_a0338f125b8a source=n_6a0c4001c2d5 edge_type=refutes target=n_2aa291964cb6
t=0101 ADD_EDGE edge_id=e_b1b78b889850 source=n_5bc999de1ae7 edge_type=supports target=n_d230269581c5
t=0102 ADD_EDGE edge_id=e_b644c13c7fe2 source=n_2aa291964cb6 edge_type=refutes target=n_a51e182d52c8
t=0103 ADD_EDGE edge_id=e_b35a600ffd12 source=n_dae1f23c84af edge_type=supports target=n_37a731dbfb5b
t=0104 ADD_EDGE edge_id=e_0a4a9bb2629b source=n_5bc999de1ae7 edge_type=refutes target=n_869fc997c499
t=0105 ADD_EDGE edge_id=e_5e3208a1d34b source=n_c93cd8335148 edge_type=supports target=n_16b5d0da0e8c
t=0106 ADD_EDGE edge_id=e_b694925acf07 source=n_4e3bfa04ad97 edge_type=refutes target=n_4e9d4b747f4b
t=0107 ADD_EDGE edge_id=e_52fe9233d2df source=n_278e7580d29d edge_type=refutes target=n_b2e3313dbeae
t=0108 ADD_EDGE edge_id=e_fa135ff6e5dc source=n_7e79e59975d2 edge_type=refutes target=n_dae1f23c84af
t=0109 ADD_EDGE edge_id=e_d6533bb6e0f3 source=n_24aeef117662 edge_type=supports target=n_7f83f1a9e251
t=0110 ADD_EDGE edge_id=e_88fdab624f38 source=n_8e06d12b94d0 edge_type=supports target=n_7b73cd8da38f
t=0111 ADD_EDGE edge_id=e_de097f754110 source=n_0d261a97cec3 edge_type=refutes target=n_24aeef117662
t=0112 ADD_EDGE edge_id=e_e2dd3504030a source=n_0c044773350f edge_type=supports target=n_157034ab2b0b
t=0113 ADD_EDGE edge_id=e_07ce102742c3 source=n_6a0c4001c2d5 edge_type=refutes target=n_d9ad2bea0ba4
t=0114 ADD_EDGE edge_id=e_15911ca1143e source=n_0960e73d5eb8 edge_type=supports target=n_c6f2e7d7e653
t=0115 ADD_EDGE edge_id=e_cc4d19d19bec source=n_fdae0c176588 edge_type=refutes target=n_ef7bbfacf322
t=0116 ADD_EDGE edge_id=e_46b8f864a2fb source=n_5bc999de1ae7 edge_type=supports target=n_8e06d12b94d0
t=0117 ADD_EDGE edge_id=e_51f69d3eca93 source=n_37a731dbfb5b edge_type=refutes target=n_68d2f3505c21
t=0118 ADD_EDGE edge_id=e_cb1f4b34d856 source=n_16b5d0da0e8c edge_type=refutes target=n_7e79e59975d2
t=0119 ADD_EDGE edge_id=e_a3ddbfc12b2d source=n_0c044773350f edge_type=refutes target=n_d4691aee9284
t=0120 ADD_EDGE edge_id=e_64f5f2a23a33 source=n_6ec1029a0ae1 edge_type=supports target=n_732118d0a9d3
t=0121 ADD_EDGE edge_id=e_787bd06100f5 source=n_6a0c4001c2d5 edge_type=refutes target=n_2b48e704cbe9
t=0122 ADD_EDGE edge_id=e_d1ba461aa0dd source=n_8e06d12b94d0 edge_type=supports target=n_b0c258ce8120
t=0123 QUERY source=n_f97c2f7f7f81 target=n_9360e7b402e6
[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_d0d8dfdcf7bc node_type=claim
t=0001 CREATE_NODE id=n_4f884b04ccc1 node_type=claim
t=0002 CREATE_NODE id=n_cee32f439979 node_type=claim
t=0003 CREATE_NODE id=n_64b45f701ea9 node_type=claim
t=0004 CREATE_NODE id=n_a23990ded67c node_type=claim
t=0005 CREATE_NODE id=n_3d8a22a7d275 node_type=claim
t=0006 CREATE_NODE id=n_26a534f00a17 node_type=claim
t=0007 CREATE_NODE id=n_c8820404d115 node_type=claim
t=0008 CREATE_NODE id=n_b3d7c72e003e node_type=claim
t=0009 CREATE_NODE id=n_564fb9097c8e node_type=claim
t=0010 CREATE_NODE id=n_cdf42bdfee4e node_type=claim
t=0011 CREATE_NODE id=n_84355a61dc48 node_type=claim
t=0012 CREATE_NODE id=n_342a3a08c15c node_type=claim
t=0013 CREATE_NODE id=n_c9feef0fbef0 node_type=claim
t=0014 CREATE_NODE id=n_c04265373ec8 node_type=claim
t=0015 CREATE_NODE id=n_8a94901f89e5 node_type=claim
t=0016 CREATE_NODE id=n_8aa194e1718c node_type=claim
t=0017 CREATE_NODE id=n_8fff56050d8b node_type=claim
t=0018 CREATE_NODE id=n_324d17aac5e8 node_type=claim
t=0019 CREATE_NODE id=n_82d486057a29 node_type=claim
t=0020 CREATE_NODE id=n_c530f255af07 node_type=claim
t=0021 CREATE_NODE id=n_0f874856c891 node_type=claim
t=0022 CREATE_NODE id=n_1cd1caa6924a node_type=claim
t=0023 CREATE_NODE id=n_57d5bb11ced2 node_type=claim
t=0024 CREATE_NODE id=n_cfdef91d3908 node_type=claim
t=0025 CREATE_NODE id=n_ca9a7cf07c1d node_type=claim
t=0026 CREATE_NODE id=n_3f640213d62f node_type=claim
t=0027 CREATE_NODE id=n_0e83768d817a node_type=claim
t=0028 CREATE_NODE id=n_e91d6d845bd4 node_type=claim
t=0029 CREATE_NODE id=n_0d7bc05fbaea node_type=claim
t=0030 CREATE_NODE id=n_c5deae4d98e2 node_type=claim
t=0031 CREATE_NODE id=n_6634923bc41d node_type=claim
t=0032 CREATE_NODE id=n_15011152d0fb node_type=claim
t=0033 CREATE_NODE id=n_bc16fc45f83c node_type=claim
t=0034 CREATE_NODE id=n_6d042628e89a node_type=claim
t=0035 CREATE_NODE id=n_9c2aa9e0d7c0 node_type=claim
t=0036 CREATE_NODE id=n_10e0a2f190e0 node_type=claim
t=0037 CREATE_NODE id=n_6e9c0f3cacd5 node_type=claim
t=0038 CREATE_NODE id=n_3138d0e569a1 node_type=claim
t=0039 CREATE_NODE id=n_a36caa210b51 node_type=claim
t=0040 CREATE_NODE id=n_5df79096c8bb node_type=claim
t=0041 CREATE_NODE id=n_398253dc224e node_type=claim
t=0042 CREATE_NODE id=n_6a1c1c3c077f node_type=claim
t=0043 CREATE_NODE id=n_f7169c06a4dc node_type=claim
t=0044 CREATE_NODE id=n_14df468afd23 node_type=claim
t=0045 CREATE_NODE id=n_92222b9880af node_type=claim
t=0046 CREATE_NODE id=n_b21ad1bac2c0 node_type=claim
t=0047 CREATE_NODE id=n_07f4c3831c22 node_type=claim
t=0048 CREATE_NODE id=n_5f3512e87430 node_type=claim
t=0049 CREATE_NODE id=n_e364e91fa4d1 node_type=claim
t=0050 CREATE_NODE id=n_02b61eaf534b node_type=claim
t=0051 CREATE_NODE id=n_f9a4d2fbb1dc node_type=claim
t=0052 CREATE_NODE id=n_455b2d32e66d node_type=claim
t=0053 CREATE_NODE id=n_0bb5fd92ca6c node_type=claim
t=0054 CREATE_NODE id=n_2cfecd1c60a2 node_type=claim
t=0055 CREATE_NODE id=n_e079ef92f798 node_type=claim
t=0056 CREATE_NODE id=n_9f92e4d23d39 node_type=claim
t=0057 CREATE_NODE id=n_cc9d4f26c96f node_type=claim
t=0058 CREATE_NODE id=n_c7d4d5cb3c50 node_type=claim
t=0059 CREATE_NODE id=n_87a1d1d32808 node_type=claim
t=0060 CREATE_NODE id=n_dd7b4e9c7dc1 node_type=claim
t=0061 CREATE_NODE id=n_bf62884ba5b8 node_type=claim
t=0062 ASSERT_ROOT node=n_e364e91fa4d1 value=TRUE
t=0063 ADD_EDGE edge_id=e_5cc1dd0b62ba source=n_e364e91fa4d1 edge_type=refutes target=n_10e0a2f190e0
t=0064 ADD_EDGE edge_id=e_1c0249195c5c source=n_0bb5fd92ca6c edge_type=refutes target=n_dd7b4e9c7dc1
t=0065 ADD_EDGE edge_id=e_9493b4e749d5 source=n_398253dc224e edge_type=supports target=n_2cfecd1c60a2
t=0066 ADD_EDGE edge_id=e_a2d9105a33f0 source=n_b21ad1bac2c0 edge_type=supports target=n_6d042628e89a
t=0067 ADD_EDGE edge_id=e_7f674d3d1c19 source=n_6a1c1c3c077f edge_type=refutes target=n_15011152d0fb
t=0068 ADD_EDGE edge_id=e_3c65377800f2 source=n_0bb5fd92ca6c edge_type=refutes target=n_02b61eaf534b
t=0069 ADD_EDGE edge_id=e_bb2100856434 source=n_64b45f701ea9 edge_type=refutes target=n_6634923bc41d
t=0070 ADD_EDGE edge_id=e_7ef354f7fec6 source=n_564fb9097c8e edge_type=supports target=n_324d17aac5e8
t=0071 ADD_EDGE edge_id=e_a143f7e1bdda source=n_342a3a08c15c edge_type=supports target=n_9c2aa9e0d7c0
t=0072 ADD_EDGE edge_id=e_9dde8ce74311 source=n_8aa194e1718c edge_type=supports target=n_b21ad1bac2c0
t=0073 ADD_EDGE edge_id=e_43b9ac73a0b2 source=n_5df79096c8bb edge_type=supports target=n_c04265373ec8
t=0074 ADD_EDGE edge_id=e_684466588238 source=n_84355a61dc48 edge_type=supports target=n_8a94901f89e5
t=0075 ADD_EDGE edge_id=e_d89322094738 source=n_bf62884ba5b8 edge_type=supports target=n_e079ef92f798
t=0076 ADD_EDGE edge_id=e_3070e481ae83 source=n_bf62884ba5b8 edge_type=supports target=n_c5deae4d98e2
t=0077 ADD_EDGE edge_id=e_93719f8e5fc2 source=n_c8820404d115 edge_type=supports target=n_8fff56050d8b
t=0078 ADD_EDGE edge_id=e_6ea0a30f2f58 source=n_92222b9880af edge_type=refutes target=n_07f4c3831c22
t=0079 ADD_EDGE edge_id=e_a081ceb66f55 source=n_0bb5fd92ca6c edge_type=refutes target=n_342a3a08c15c
t=0080 ADD_EDGE edge_id=e_1ed5e2eee6f2 source=n_14df468afd23 edge_type=refutes target=n_5f3512e87430
t=0081 ADD_EDGE edge_id=e_505a344ff596 source=n_9f92e4d23d39 edge_type=refutes target=n_26a534f00a17
t=0082 ADD_EDGE edge_id=e_cdbf5b6a36f1 source=n_c5deae4d98e2 edge_type=refutes target=n_cee32f439979
t=0083 ADD_EDGE edge_id=e_52cdcfdeb7cb source=n_a23990ded67c edge_type=supports target=n_a36caa210b51
t=0084 ADD_EDGE edge_id=e_59f7c9da9e13 source=n_8fff56050d8b edge_type=supports target=n_4f884b04ccc1
t=0085 ADD_EDGE edge_id=e_f7087ca452b7 source=n_4f884b04ccc1 edge_type=refutes target=n_64b45f701ea9
t=0086 ADD_EDGE edge_id=e_d171efd255e6 source=n_c5deae4d98e2 edge_type=refutes target=n_5df79096c8bb
t=0087 ADD_EDGE edge_id=e_90025447e741 source=n_c5deae4d98e2 edge_type=refutes target=n_cdf42bdfee4e
t=0088 ADD_EDGE edge_id=e_e70b4665f882 source=n_a23990ded67c edge_type=supports target=n_14df468afd23
t=0089 ADD_EDGE edge_id=e_d9855a932c14 source=n_02b61eaf534b edge_type=supports target=n_3f640213d62f
t=0090 ADD_EDGE edge_id=e_2fe48f29acf2 source=n_6634923bc41d edge_type=supports target=n_c530f255af07
t=0091 ADD_EDGE edge_id=e_9d420e0f6969 source=n_ca9a7cf07c1d edge_type=refutes target=n_c7d4d5cb3c50
t=0092 ADD_EDGE edge_id=e_72cd0563d2db source=n_15011152d0fb edge_type=supports target=n_564fb9097c8e
t=0093 ADD_EDGE edge_id=e_a95a649659e7 source=n_0d7bc05fbaea edge_type=refutes target=n_9f92e4d23d39
t=0094 ADD_EDGE edge_id=e_e23b13f08560 source=n_6e9c0f3cacd5 edge_type=supports target=n_bc16fc45f83c
t=0095 ADD_EDGE edge_id=e_515f7d641a55 source=n_bf62884ba5b8 edge_type=refutes target=n_92222b9880af
t=0096 ADD_EDGE edge_id=e_07fb3bc7b750 source=n_cfdef91d3908 edge_type=supports target=n_c8820404d115
t=0097 ADD_EDGE edge_id=e_7ad86a02c8aa source=n_92222b9880af edge_type=refutes target=n_f7169c06a4dc
t=0098 ADD_EDGE edge_id=e_d287ae7fd69c source=n_b3d7c72e003e edge_type=refutes target=n_1cd1caa6924a
t=0099 ADD_EDGE edge_id=e_f508998d36c9 source=n_26a534f00a17 edge_type=refutes target=n_0bb5fd92ca6c
t=0100 ADD_EDGE edge_id=e_07649cad7f41 source=n_0e83768d817a edge_type=supports target=n_6a1c1c3c077f
t=0101 ADD_EDGE edge_id=e_81a84e6c7efc source=n_bf62884ba5b8 edge_type=supports target=n_455b2d32e66d
t=0102 ADD_EDGE edge_id=e_f9b2730f251c source=n_1cd1caa6924a edge_type=refutes target=n_cfdef91d3908
t=0103 ADD_EDGE edge_id=e_f0f9614b8b70 source=n_9f92e4d23d39 edge_type=supports target=n_d0d8dfdcf7bc
t=0104 ADD_EDGE edge_id=e_00a427508d93 source=n_c530f255af07 edge_type=supports target=n_398253dc224e
t=0105 ADD_EDGE edge_id=e_0d98d7e70ecf source=n_cc9d4f26c96f edge_type=refutes target=n_8aa194e1718c
t=0106 ADD_EDGE edge_id=e_fa83b7d44935 source=n_5f3512e87430 edge_type=refutes target=n_87a1d1d32808
t=0107 ADD_EDGE edge_id=e_50fa7c14a48d source=n_1cd1caa6924a edge_type=refutes target=n_f9a4d2fbb1dc
t=0108 ADD_EDGE edge_id=e_e9343a59c397 source=n_0bb5fd92ca6c edge_type=refutes target=n_57d5bb11ced2
t=0109 ADD_EDGE edge_id=e_060a21a11515 source=n_0d7bc05fbaea edge_type=refutes target=n_e91d6d845bd4
t=0110 ADD_EDGE edge_id=e_a184c6305a40 source=n_b21ad1bac2c0 edge_type=supports target=n_6e9c0f3cacd5
t=0111 ADD_EDGE edge_id=e_1e020dc176e8 source=n_324d17aac5e8 edge_type=supports target=n_cc9d4f26c96f
t=0112 ADD_EDGE edge_id=e_0c3bc3c6b895 source=n_ca9a7cf07c1d edge_type=supports target=n_84355a61dc48
t=0113 ADD_EDGE edge_id=e_9ef6b9d5bb49 source=n_2cfecd1c60a2 edge_type=refutes target=n_0f874856c891
t=0114 ADD_EDGE edge_id=e_873003a112c3 source=n_dd7b4e9c7dc1 edge_type=supports target=n_ca9a7cf07c1d
t=0115 ADD_EDGE edge_id=e_eaebe2f0c57a source=n_82d486057a29 edge_type=refutes target=n_bf62884ba5b8
t=0116 ADD_EDGE edge_id=e_bc76252d993b source=n_6e9c0f3cacd5 edge_type=refutes target=n_b3d7c72e003e
t=0117 ADD_EDGE edge_id=e_8f3ed4eefb91 source=n_0d7bc05fbaea edge_type=refutes target=n_82d486057a29
t=0118 ADD_EDGE edge_id=e_f122306683d9 source=n_10e0a2f190e0 edge_type=supports target=n_0e83768d817a
t=0119 ADD_EDGE edge_id=e_6fb4943fece0 source=n_c04265373ec8 edge_type=supports target=n_c9feef0fbef0
t=0120 ADD_EDGE edge_id=e_39cccb71d0de source=n_82d486057a29 edge_type=supports target=n_3138d0e569a1
t=0121 ADD_EDGE edge_id=e_12334fcf71f7 source=n_92222b9880af edge_type=refutes target=n_3d8a22a7d275
t=0122 ADD_EDGE edge_id=e_85dc8e0ca97c source=n_0f874856c891 edge_type=supports target=n_a23990ded67c
t=0123 QUERY source=n_e364e91fa4d1 target=n_87a1d1d32808
[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_b90d4fc8d456 node_type=claim
t=0001 CREATE_NODE id=n_a25f5d2957e0 node_type=claim
t=0002 CREATE_NODE id=n_2355cf2bc561 node_type=claim
t=0003 CREATE_NODE id=n_e2a84d08ac6e node_type=claim
t=0004 CREATE_NODE id=n_1be1ab4bc050 node_type=claim
t=0005 CREATE_NODE id=n_1e075d094713 node_type=claim
t=0006 CREATE_NODE id=n_dc6db6128f42 node_type=claim
t=0007 CREATE_NODE id=n_3537bd022580 node_type=claim
t=0008 CREATE_NODE id=n_5475625d7cde node_type=claim
t=0009 CREATE_NODE id=n_abc79e48e0ad node_type=claim
t=0010 CREATE_NODE id=n_5d0e932f3974 node_type=claim
t=0011 CREATE_NODE id=n_11f23dd11cfb node_type=claim
t=0012 CREATE_NODE id=n_65726f7be4f4 node_type=claim
t=0013 CREATE_NODE id=n_43338fa0bbcd node_type=claim
t=0014 CREATE_NODE id=n_cb1f3294b153 node_type=claim
t=0015 CREATE_NODE id=n_2551fb1d14b5 node_type=claim
t=0016 CREATE_NODE id=n_b9bc3ec60d19 node_type=claim
t=0017 CREATE_NODE id=n_0530eaadc89c node_type=claim
t=0018 CREATE_NODE id=n_fe880b423477 node_type=claim
t=0019 CREATE_NODE id=n_f7173dc24491 node_type=claim
t=0020 CREATE_NODE id=n_57c5306d937c node_type=claim
t=0021 CREATE_NODE id=n_ea8aed454f85 node_type=claim
t=0022 CREATE_NODE id=n_24605dafe4ab node_type=claim
t=0023 CREATE_NODE id=n_95687e5b19de node_type=claim
t=0024 CREATE_NODE id=n_416023e2b720 node_type=claim
t=0025 CREATE_NODE id=n_c527cec720aa node_type=claim
t=0026 CREATE_NODE id=n_72ab42ce251a node_type=claim
t=0027 CREATE_NODE id=n_89cc4bcb591e node_type=claim
t=0028 CREATE_NODE id=n_ed4ad0249b58 node_type=claim
t=0029 CREATE_NODE id=n_eaa0d1b76ca6 node_type=claim
t=0030 CREATE_NODE id=n_e2ba85098b69 node_type=claim
t=0031 CREATE_NODE id=n_dcdc7548335b node_type=claim
t=0032 CREATE_NODE id=n_f8bef52e5458 node_type=claim
t=0033 CREATE_NODE id=n_9e01d352a558 node_type=claim
t=0034 CREATE_NODE id=n_a9360a8dd877 node_type=claim
t=0035 CREATE_NODE id=n_37a1535cffa1 node_type=claim
t=0036 CREATE_NODE id=n_3324434a3759 node_type=claim
t=0037 CREATE_NODE id=n_26eedc117417 node_type=claim
t=0038 CREATE_NODE id=n_4a79661b9683 node_type=claim
t=0039 CREATE_NODE id=n_540186d439f3 node_type=claim
t=0040 CREATE_NODE id=n_442bf81eea28 node_type=claim
t=0041 CREATE_NODE id=n_c49f44d16f5d node_type=claim
t=0042 CREATE_NODE id=n_1da9a6b64975 node_type=claim
t=0043 CREATE_NODE id=n_fbe02be8860e node_type=claim
t=0044 CREATE_NODE id=n_261fc422e68e node_type=claim
t=0045 CREATE_NODE id=n_99910fcca451 node_type=claim
t=0046 CREATE_NODE id=n_88f691b6638c node_type=claim
t=0047 CREATE_NODE id=n_597562b3e3c4 node_type=claim
t=0048 CREATE_NODE id=n_dba364e592c4 node_type=claim
t=0049 CREATE_NODE id=n_b9478cfbe38b node_type=claim
t=0050 CREATE_NODE id=n_0a588f6a25c9 node_type=claim
t=0051 CREATE_NODE id=n_119a2ade127e node_type=claim
t=0052 CREATE_NODE id=n_fa5a0af5ad8f node_type=claim
t=0053 CREATE_NODE id=n_418d57c6b954 node_type=claim
t=0054 CREATE_NODE id=n_5b9b7ce209b6 node_type=claim
t=0055 CREATE_NODE id=n_0a82cacf4655 node_type=claim
t=0056 CREATE_NODE id=n_0e2c8faebc41 node_type=claim
t=0057 CREATE_NODE id=n_25e262d1f77d node_type=claim
t=0058 CREATE_NODE id=n_d704e50e586f node_type=claim
t=0059 CREATE_NODE id=n_19a47dc65bee node_type=claim
t=0060 CREATE_NODE id=n_ebac2e02aa16 node_type=claim
t=0061 CREATE_NODE id=n_a1d0cc9bb7a2 node_type=claim
t=0062 CREATE_NODE id=n_b6d0467c109e node_type=claim
t=0063 CREATE_NODE id=n_fdbf310fa283 node_type=claim
t=0064 ASSERT_ROOT node=n_abc79e48e0ad value=TRUE
t=0065 ADD_EDGE edge_id=e_15a640afb65c source=n_597562b3e3c4 edge_type=refutes target=n_540186d439f3
t=0066 ADD_EDGE edge_id=e_3aa9aaca8019 source=n_a1d0cc9bb7a2 edge_type=supports target=n_37a1535cffa1
t=0067 ADD_EDGE edge_id=e_433f53897a6b source=n_e2a84d08ac6e edge_type=refutes target=n_5b9b7ce209b6
t=0068 ADD_EDGE edge_id=e_222817a20b37 source=n_b90d4fc8d456 edge_type=refutes target=n_3324434a3759
t=0069 ADD_EDGE edge_id=e_826486621323 source=n_fbe02be8860e edge_type=supports target=n_4a79661b9683
t=0070 ADD_EDGE edge_id=e_3693bf559ce5 source=n_5475625d7cde edge_type=supports target=n_43338fa0bbcd
t=0071 ADD_EDGE edge_id=e_68e5c9f84221 source=n_0e2c8faebc41 edge_type=refutes target=n_b9478cfbe38b
t=0072 ADD_EDGE edge_id=e_8acd696e2cb1 source=n_ea8aed454f85 edge_type=refutes target=n_fbe02be8860e
t=0073 ADD_EDGE edge_id=e_99a68685be7b source=n_88f691b6638c edge_type=refutes target=n_dcdc7548335b
t=0074 ADD_EDGE edge_id=e_ae2b9e553179 source=n_0530eaadc89c edge_type=refutes target=n_72ab42ce251a
t=0075 ADD_EDGE edge_id=e_9fc1cbbd3606 source=n_1be1ab4bc050 edge_type=supports target=n_24605dafe4ab
t=0076 ADD_EDGE edge_id=e_bf0c98e641c1 source=n_65726f7be4f4 edge_type=supports target=n_418d57c6b954
t=0077 ADD_EDGE edge_id=e_7fc57c9fe1c2 source=n_0a82cacf4655 edge_type=refutes target=n_1be1ab4bc050
t=0078 ADD_EDGE edge_id=e_31c5e7b26d5f source=n_9e01d352a558 edge_type=supports target=n_a25f5d2957e0
t=0079 ADD_EDGE edge_id=e_617410257419 source=n_57c5306d937c edge_type=refutes target=n_0a82cacf4655
t=0080 ADD_EDGE edge_id=e_fa8b8b0b22ba source=n_ebac2e02aa16 edge_type=supports target=n_88f691b6638c
t=0081 ADD_EDGE edge_id=e_c74bfa4383fe source=n_dc6db6128f42 edge_type=refutes target=n_89cc4bcb591e
t=0082 ADD_EDGE edge_id=e_e39de25ee0f1 source=n_fbe02be8860e edge_type=refutes target=n_f7173dc24491
t=0083 ADD_EDGE edge_id=e_d69bc19ef209 source=n_b9478cfbe38b edge_type=refutes target=n_dc6db6128f42
t=0084 ADD_EDGE edge_id=e_4ee6b4bea6c4 source=n_dcdc7548335b edge_type=refutes target=n_261fc422e68e
t=0085 ADD_EDGE edge_id=e_aa058386f4b4 source=n_597562b3e3c4 edge_type=supports target=n_c49f44d16f5d
t=0086 ADD_EDGE edge_id=e_288a5c299f4c source=n_3324434a3759 edge_type=refutes target=n_1e075d094713
t=0087 ADD_EDGE edge_id=e_6c0d675f3466 source=n_5d0e932f3974 edge_type=supports target=n_99910fcca451
t=0088 ADD_EDGE edge_id=e_0cce6ebec3b8 source=n_0530eaadc89c edge_type=supports target=n_d704e50e586f
t=0089 ADD_EDGE edge_id=e_e8c0826c8f52 source=n_5b9b7ce209b6 edge_type=supports target=n_e2ba85098b69
t=0090 ADD_EDGE edge_id=e_23e420788602 source=n_89cc4bcb591e edge_type=refutes target=n_fe880b423477
t=0091 ADD_EDGE edge_id=e_f9997304e600 source=n_dc6db6128f42 edge_type=supports target=n_95687e5b19de
t=0092 ADD_EDGE edge_id=e_012188ba2cdd source=n_19a47dc65bee edge_type=supports target=n_b90d4fc8d456
t=0093 ADD_EDGE edge_id=e_04f7e3e47723 source=n_119a2ade127e edge_type=supports target=n_57c5306d937c
t=0094 ADD_EDGE edge_id=e_30ab9dedd484 source=n_88f691b6638c edge_type=supports target=n_a1d0cc9bb7a2
t=0095 ADD_EDGE edge_id=e_a50d6c14d168 source=n_eaa0d1b76ca6 edge_type=refutes target=n_c527cec720aa
t=0096 ADD_EDGE edge_id=e_c1ce48b97148 source=n_0a588f6a25c9 edge_type=refutes target=n_dba364e592c4
t=0097 ADD_EDGE edge_id=e_5c7c6a6b5b17 source=n_418d57c6b954 edge_type=refutes target=n_9e01d352a558
t=0098 ADD_EDGE edge_id=e_a390f8249a45 source=n_c49f44d16f5d edge_type=supports target=n_11f23dd11cfb
t=0099 ADD_EDGE edge_id=e_12e563300e6a source=n_a9360a8dd877 edge_type=refutes target=n_2355cf2bc561
t=0100 ADD_EDGE edge_id=e_0015e7ece03e source=n_d704e50e586f edge_type=refutes target=n_b6d0467c109e
t=0101 ADD_EDGE edge_id=e_576238a7bd68 source=n_442bf81eea28 edge_type=supports target=n_e2a84d08ac6e
t=0102 ADD_EDGE edge_id=e_3763410edb9d source=n_ebac2e02aa16 edge_type=supports target=n_0530eaadc89c
t=0103 ADD_EDGE edge_id=e_01c6f9e50967 source=n_9e01d352a558 edge_type=refutes target=n_442bf81eea28
t=0104 ADD_EDGE edge_id=e_88fa1cc3482e source=n_2551fb1d14b5 edge_type=supports target=n_26eedc117417
t=0105 ADD_EDGE edge_id=e_2603fe6748d0 source=n_ebac2e02aa16 edge_type=refutes target=n_5475625d7cde
t=0106 ADD_EDGE edge_id=e_3a80e23f0b6b source=n_fe880b423477 edge_type=supports target=n_ed4ad0249b58
t=0107 ADD_EDGE edge_id=e_ed537df38043 source=n_72ab42ce251a edge_type=refutes target=n_fa5a0af5ad8f
t=0108 ADD_EDGE edge_id=e_147884f09b86 source=n_ed4ad0249b58 edge_type=refutes target=n_119a2ade127e
t=0109 ADD_EDGE edge_id=e_1417997ca5a9 source=n_ebac2e02aa16 edge_type=supports target=n_0a588f6a25c9
t=0110 ADD_EDGE edge_id=e_1b7536f9a93c source=n_e2ba85098b69 edge_type=supports target=n_25e262d1f77d
t=0111 ADD_EDGE edge_id=e_41f2d6cd5288 source=n_2355cf2bc561 edge_type=refutes target=n_19a47dc65bee
t=0112 ADD_EDGE edge_id=e_71f74f0a5dfc source=n_ea8aed454f85 edge_type=supports target=n_f8bef52e5458
t=0113 ADD_EDGE edge_id=e_49dc0c1fb293 source=n_d704e50e586f edge_type=supports target=n_2551fb1d14b5
t=0114 ADD_EDGE edge_id=e_448fca0507b6 source=n_72ab42ce251a edge_type=supports target=n_ea8aed454f85
t=0115 ADD_EDGE edge_id=e_a995f48200cc source=n_43338fa0bbcd edge_type=supports target=n_cb1f3294b153
t=0116 ADD_EDGE edge_id=e_5f803c7a56d6 source=n_24605dafe4ab edge_type=supports target=n_65726f7be4f4
t=0117 ADD_EDGE edge_id=e_fba83a69b168 source=n_b9bc3ec60d19 edge_type=supports target=n_5d0e932f3974
t=0118 ADD_EDGE edge_id=e_0a6273000152 source=n_1da9a6b64975 edge_type=supports target=n_3537bd022580
t=0119 ADD_EDGE edge_id=e_e4404a3ee2ff source=n_fdbf310fa283 edge_type=refutes target=n_0e2c8faebc41
t=0120 ADD_EDGE edge_id=e_77ae104b4905 source=n_3324434a3759 edge_type=refutes target=n_b9bc3ec60d19
t=0121 ADD_EDGE edge_id=e_a192b41b4041 source=n_ebac2e02aa16 edge_type=refutes target=n_416023e2b720
t=0122 ADD_EDGE edge_id=e_682a4b090982 source=n_ebac2e02aa16 edge_type=refutes target=n_1da9a6b64975
t=0123 ADD_EDGE edge_id=e_5ae818776582 source=n_5475625d7cde edge_type=supports target=n_597562b3e3c4
t=0124 ADD_EDGE edge_id=e_9ea6942b534f source=n_e2ba85098b69 edge_type=supports target=n_a9360a8dd877
t=0125 ADD_EDGE edge_id=e_96b656c28046 source=n_abc79e48e0ad edge_type=refutes target=n_fdbf310fa283
t=0126 ADD_EDGE edge_id=e_e582210b7296 source=n_43338fa0bbcd edge_type=refutes target=n_eaa0d1b76ca6
t=0127 QUERY source=n_abc79e48e0ad target=n_99910fcca451
[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_88a34371f40b node_type=claim
t=0001 CREATE_NODE id=n_a9f86d5e8cc5 node_type=claim
t=0002 CREATE_NODE id=n_fe653aff62f7 node_type=claim
t=0003 CREATE_NODE id=n_a5ec3aadb1d4 node_type=claim
t=0004 CREATE_NODE id=n_ce4006dd9806 node_type=claim
t=0005 CREATE_NODE id=n_e9aeb81f203c node_type=claim
t=0006 CREATE_NODE id=n_a5a6da3fb3b0 node_type=claim
t=0007 CREATE_NODE id=n_73cb41cc6767 node_type=claim
t=0008 CREATE_NODE id=n_f77ba6440d3c node_type=claim
t=0009 CREATE_NODE id=n_4ebb385e3655 node_type=claim
t=0010 CREATE_NODE id=n_500652cf5602 node_type=claim
t=0011 CREATE_NODE id=n_b2dfbc740e8e node_type=claim
t=0012 CREATE_NODE id=n_9bdce35ecefd node_type=claim
t=0013 CREATE_NODE id=n_8fa426195023 node_type=claim
t=0014 CREATE_NODE id=n_67f99f773a01 node_type=claim
t=0015 CREATE_NODE id=n_e78ccf592385 node_type=claim
t=0016 CREATE_NODE id=n_bf39add57beb node_type=claim
t=0017 CREATE_NODE id=n_17b3bbc0d80c node_type=claim
t=0018 CREATE_NODE id=n_c98edfcd162f node_type=claim
t=0019 CREATE_NODE id=n_2bd546a818c0 node_type=claim
t=0020 CREATE_NODE id=n_6ae22c19cf8a node_type=claim
t=0021 CREATE_NODE id=n_d64cfd42f08d node_type=claim
t=0022 CREATE_NODE id=n_48b4b3cceda5 node_type=claim
t=0023 CREATE_NODE id=n_d8464b3cd50f node_type=claim
t=0024 CREATE_NODE id=n_09e606bc3cba node_type=claim
t=0025 CREATE_NODE id=n_a37d85eabeda node_type=claim
t=0026 CREATE_NODE id=n_f52e5e19eb25 node_type=claim
t=0027 CREATE_NODE id=n_69a85ec8e3e3 node_type=claim
t=0028 CREATE_NODE id=n_e2b8f4f8162c node_type=claim
t=0029 CREATE_NODE id=n_9d144265e490 node_type=claim
t=0030 CREATE_NODE id=n_e2a9e5f20228 node_type=claim
t=0031 CREATE_NODE id=n_a25c5ddc9f23 node_type=claim
t=0032 CREATE_NODE id=n_6e215389947b node_type=claim
t=0033 CREATE_NODE id=n_f0fb6c51503d node_type=claim
t=0034 CREATE_NODE id=n_412642dab16b node_type=claim
t=0035 CREATE_NODE id=n_555e212115d9 node_type=claim
t=0036 CREATE_NODE id=n_09b7c4e23ed4 node_type=claim
t=0037 CREATE_NODE id=n_33d5840f44c2 node_type=claim
t=0038 CREATE_NODE id=n_4809c29f4e5b node_type=claim
t=0039 CREATE_NODE id=n_85ab8fd7ee07 node_type=claim
t=0040 CREATE_NODE id=n_351592b2377c node_type=claim
t=0041 CREATE_NODE id=n_a082f1287240 node_type=claim
t=0042 CREATE_NODE id=n_a6c7fcead0a6 node_type=claim
t=0043 CREATE_NODE id=n_0ee41d1f9ec9 node_type=claim
t=0044 CREATE_NODE id=n_1d3879119dcf node_type=claim
t=0045 CREATE_NODE id=n_fe7316475c24 node_type=claim
t=0046 CREATE_NODE id=n_8e5f8eb87700 node_type=claim
t=0047 CREATE_NODE id=n_f029d2586d0a node_type=claim
t=0048 CREATE_NODE id=n_ce9cdbad27c7 node_type=claim
t=0049 CREATE_NODE id=n_c44ab14c3d02 node_type=claim
t=0050 CREATE_NODE id=n_21fc56059ef3 node_type=claim
t=0051 CREATE_NODE id=n_f240fda2c722 node_type=claim
t=0052 CREATE_NODE id=n_dde62f947d04 node_type=claim
t=0053 CREATE_NODE id=n_2c215567a3c7 node_type=claim
t=0054 CREATE_NODE id=n_666acee9f233 node_type=claim
t=0055 CREATE_NODE id=n_e7292282b36d node_type=claim
t=0056 CREATE_NODE id=n_44743adcda57 node_type=claim
t=0057 CREATE_NODE id=n_eadcd7913693 node_type=claim
t=0058 CREATE_NODE id=n_75ea7244dcdc node_type=claim
t=0059 CREATE_NODE id=n_0afa5144ae0c node_type=claim
t=0060 CREATE_NODE id=n_ef627da1aae7 node_type=claim
t=0061 CREATE_NODE id=n_07fa7abb5c1e node_type=claim
t=0062 CREATE_NODE id=n_c44ee6f13252 node_type=claim
t=0063 CREATE_NODE id=n_678353f7cc28 node_type=claim
t=0064 ASSERT_ROOT node=n_c44ee6f13252 value=FALSE
t=0065 ADD_EDGE edge_id=e_8ed1dc274197 source=n_1d3879119dcf edge_type=supports target=n_b2dfbc740e8e
t=0066 ADD_EDGE edge_id=e_5a7e8c7ae06f source=n_fe653aff62f7 edge_type=refutes target=n_e2b8f4f8162c
t=0067 ADD_EDGE edge_id=e_1c39e332f460 source=n_b2dfbc740e8e edge_type=supports target=n_412642dab16b
t=0068 ADD_EDGE edge_id=e_5b32ab65d616 source=n_ce9cdbad27c7 edge_type=supports target=n_a082f1287240
t=0069 ADD_EDGE edge_id=e_f88dd59905a8 source=n_b2dfbc740e8e edge_type=supports target=n_ef627da1aae7
t=0070 ADD_EDGE edge_id=e_174b2c40b3eb source=n_2c215567a3c7 edge_type=supports target=n_0ee41d1f9ec9
t=0071 ADD_EDGE edge_id=e_565722fcab6a source=n_e2a9e5f20228 edge_type=refutes target=n_9d144265e490
t=0072 ADD_EDGE edge_id=e_c93b78b54bbb source=n_fe653aff62f7 edge_type=supports target=n_75ea7244dcdc
t=0073 ADD_EDGE edge_id=e_b8dded77a290 source=n_07fa7abb5c1e edge_type=supports target=n_f0fb6c51503d
t=0074 ADD_EDGE edge_id=e_dec45213818a source=n_9d144265e490 edge_type=refutes target=n_e7292282b36d
t=0075 ADD_EDGE edge_id=e_72e7192af086 source=n_2bd546a818c0 edge_type=refutes target=n_351592b2377c
t=0076 ADD_EDGE edge_id=e_0cb3f2e5c786 source=n_8e5f8eb87700 edge_type=refutes target=n_555e212115d9
t=0077 ADD_EDGE edge_id=e_8115aab4bf18 source=n_f52e5e19eb25 edge_type=refutes target=n_09b7c4e23ed4
t=0078 ADD_EDGE edge_id=e_7aa355e700ea source=n_d8464b3cd50f edge_type=refutes target=n_c98edfcd162f
t=0079 ADD_EDGE edge_id=e_88a783f1c8c8 source=n_dde62f947d04 edge_type=refutes target=n_4ebb385e3655
t=0080 ADD_EDGE edge_id=e_05f0d7eff100 source=n_f77ba6440d3c edge_type=supports target=n_500652cf5602
t=0081 ADD_EDGE edge_id=e_52fda8b628a8 source=n_6e215389947b edge_type=refutes target=n_8e5f8eb87700
t=0082 ADD_EDGE edge_id=e_7f4d1fe7a0bb source=n_6e215389947b edge_type=supports target=n_dde62f947d04
t=0083 ADD_EDGE edge_id=e_f00d13415829 source=n_17b3bbc0d80c edge_type=refutes target=n_07fa7abb5c1e
t=0084 ADD_EDGE edge_id=e_b9ee771bf364 source=n_e9aeb81f203c edge_type=supports target=n_17b3bbc0d80c
t=0085 ADD_EDGE edge_id=e_9dc2e1016b74 source=n_555e212115d9 edge_type=refutes target=n_eadcd7913693
t=0086 ADD_EDGE edge_id=e_2b4201d9ce6f source=n_85ab8fd7ee07 edge_type=supports target=n_678353f7cc28
t=0087 ADD_EDGE edge_id=e_76fc244c4458 source=n_c44ab14c3d02 edge_type=supports target=n_a5ec3aadb1d4
t=0088 ADD_EDGE edge_id=e_7c4b2897ea94 source=n_412642dab16b edge_type=refutes target=n_d64cfd42f08d
t=0089 ADD_EDGE edge_id=e_6a45642cf3ff source=n_d64cfd42f08d edge_type=refutes target=n_a6c7fcead0a6
t=0090 ADD_EDGE edge_id=e_00c42083b836 source=n_f0fb6c51503d edge_type=refutes target=n_a5a6da3fb3b0
t=0091 ADD_EDGE edge_id=e_8a4da5a8c067 source=n_4809c29f4e5b edge_type=refutes target=n_67f99f773a01
t=0092 ADD_EDGE edge_id=e_0c49806f1da3 source=n_a5a6da3fb3b0 edge_type=supports target=n_09e606bc3cba
t=0093 ADD_EDGE edge_id=e_fabfc251ced9 source=n_8e5f8eb87700 edge_type=refutes target=n_ce9cdbad27c7
t=0094 ADD_EDGE edge_id=e_2238440aad88 source=n_75ea7244dcdc edge_type=supports target=n_88a34371f40b
t=0095 ADD_EDGE edge_id=e_aaee08a4c6bb source=n_bf39add57beb edge_type=supports target=n_666acee9f233
t=0096 ADD_EDGE edge_id=e_412eeb32d585 source=n_67f99f773a01 edge_type=supports target=n_f77ba6440d3c
t=0097 ADD_EDGE edge_id=e_8e7fae39fb20 source=n_8fa426195023 edge_type=refutes target=n_2bd546a818c0
t=0098 ADD_EDGE edge_id=e_1d6f845fc9c3 source=n_a6c7fcead0a6 edge_type=refutes target=n_f240fda2c722
t=0099 ADD_EDGE edge_id=e_f904e25b98dc source=n_09e606bc3cba edge_type=refutes target=n_4809c29f4e5b
t=0100 ADD_EDGE edge_id=e_da96f80d5570 source=n_8e5f8eb87700 edge_type=supports target=n_a25c5ddc9f23
t=0101 ADD_EDGE edge_id=e_1eee68ee1e6f source=n_a37d85eabeda edge_type=supports target=n_a9f86d5e8cc5
t=0102 ADD_EDGE edge_id=e_70188f63db63 source=n_ce9cdbad27c7 edge_type=refutes target=n_85ab8fd7ee07
t=0103 ADD_EDGE edge_id=e_8213e52ef52d source=n_e7292282b36d edge_type=supports target=n_bf39add57beb
t=0104 ADD_EDGE edge_id=e_62f8f00dcb25 source=n_8e5f8eb87700 edge_type=supports target=n_44743adcda57
t=0105 ADD_EDGE edge_id=e_4936faaa8017 source=n_fe7316475c24 edge_type=refutes target=n_1d3879119dcf
t=0106 ADD_EDGE edge_id=e_874af950ed8a source=n_17b3bbc0d80c edge_type=refutes target=n_0afa5144ae0c
t=0107 ADD_EDGE edge_id=e_5e97661f937e source=n_c44ee6f13252 edge_type=supports target=n_f52e5e19eb25
t=0108 ADD_EDGE edge_id=e_4174a62938e5 source=n_fe653aff62f7 edge_type=supports target=n_c44ab14c3d02
t=0109 ADD_EDGE edge_id=e_950bccbb225e source=n_48b4b3cceda5 edge_type=refutes target=n_d8464b3cd50f
t=0110 ADD_EDGE edge_id=e_0fea1bd8610a source=n_44743adcda57 edge_type=supports target=n_73cb41cc6767
t=0111 ADD_EDGE edge_id=e_bc7583ba429f source=n_d64cfd42f08d edge_type=supports target=n_69a85ec8e3e3
t=0112 ADD_EDGE edge_id=e_39bc061a5ef0 source=n_6e215389947b edge_type=supports target=n_ce4006dd9806
t=0113 ADD_EDGE edge_id=e_63bec1ac5c66 source=n_0ee41d1f9ec9 edge_type=refutes target=n_fe7316475c24
t=0114 ADD_EDGE edge_id=e_9fbe02e65fb7 source=n_ce9cdbad27c7 edge_type=supports target=n_8fa426195023
t=0115 ADD_EDGE edge_id=e_ef49046a99fb source=n_666acee9f233 edge_type=supports target=n_e9aeb81f203c
t=0116 ADD_EDGE edge_id=e_2a7b134e6149 source=n_8fa426195023 edge_type=refutes target=n_a37d85eabeda
t=0117 ADD_EDGE edge_id=e_39fb22ecab88 source=n_eadcd7913693 edge_type=refutes target=n_e78ccf592385
t=0118 ADD_EDGE edge_id=e_16f6ba0771d9 source=n_f240fda2c722 edge_type=supports target=n_e2a9e5f20228
t=0119 ADD_EDGE edge_id=e_76e3272f4c28 source=n_48b4b3cceda5 edge_type=refutes target=n_f029d2586d0a
t=0120 ADD_EDGE edge_id=e_01226b7f713d source=n_8e5f8eb87700 edge_type=supports target=n_fe653aff62f7
t=0121 ADD_EDGE edge_id=e_d2d18e8bbc74 source=n_09b7c4e23ed4 edge_type=refutes target=n_33d5840f44c2
t=0122 ADD_EDGE edge_id=e_102236dbbeac source=n_6e215389947b edge_type=refutes target=n_48b4b3cceda5
t=0123 ADD_EDGE edge_id=e_71e44c9949ba source=n_48b4b3cceda5 edge_type=refutes target=n_9bdce35ecefd
t=0124 ADD_EDGE edge_id=e_04ee0458d9ea source=n_4ebb385e3655 edge_type=refutes target=n_6ae22c19cf8a
t=0125 ADD_EDGE edge_id=e_5ade50658b5e source=n_412642dab16b edge_type=supports target=n_21fc56059ef3
t=0126 ADD_EDGE edge_id=e_74abbf761ccd source=n_33d5840f44c2 edge_type=supports target=n_2c215567a3c7
t=0127 QUERY source=n_c44ee6f13252 target=n_500652cf5602
[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_6543c7930340 node_type=claim
t=0001 CREATE_NODE id=n_b8ae975009dd node_type=claim
t=0002 CREATE_NODE id=n_8cc3b0e48efc node_type=claim
t=0003 CREATE_NODE id=n_5b3ec0c08381 node_type=claim
t=0004 CREATE_NODE id=n_417344db54b0 node_type=claim
t=0005 CREATE_NODE id=n_4ffd216cbd43 node_type=claim
t=0006 CREATE_NODE id=n_4514c5acc5fb node_type=claim
t=0007 CREATE_NODE id=n_592f5a3b4e35 node_type=claim
t=0008 CREATE_NODE id=n_c55f7ddef042 node_type=claim
t=0009 CREATE_NODE id=n_a7f410087efd node_type=claim
t=0010 CREATE_NODE id=n_ff20394aaa90 node_type=claim
t=0011 CREATE_NODE id=n_b4ec9bea97c7 node_type=claim
t=0012 CREATE_NODE id=n_89ff87b1f37a node_type=claim
t=0013 CREATE_NODE id=n_c778ffee2cc4 node_type=claim
t=0014 CREATE_NODE id=n_f473fb940c05 node_type=claim
t=0015 CREATE_NODE id=n_d1a2801d476d node_type=claim
t=0016 CREATE_NODE id=n_3df8169d7b32 node_type=claim
t=0017 CREATE_NODE id=n_a5d3dfbbae5b node_type=claim
t=0018 CREATE_NODE id=n_c1c75e5d0057 node_type=claim
t=0019 CREATE_NODE id=n_9eec491f1f2e node_type=claim
t=0020 CREATE_NODE id=n_b64dfd19ce6c node_type=claim
t=0021 CREATE_NODE id=n_53ecd04b83e5 node_type=claim
t=0022 CREATE_NODE id=n_8c0396302595 node_type=claim
t=0023 CREATE_NODE id=n_7704d0c2f3f2 node_type=claim
t=0024 CREATE_NODE id=n_262f575eeee7 node_type=claim
t=0025 CREATE_NODE id=n_170f44ba5991 node_type=claim
t=0026 CREATE_NODE id=n_793a354bc824 node_type=claim
t=0027 CREATE_NODE id=n_34831f9bab10 node_type=claim
t=0028 CREATE_NODE id=n_cb32bea6fc0d node_type=claim
t=0029 CREATE_NODE id=n_3a37db8425f8 node_type=claim
t=0030 CREATE_NODE id=n_2955f26eb637 node_type=claim
t=0031 CREATE_NODE id=n_e5b7842a837b node_type=claim
t=0032 CREATE_NODE id=n_e3f58823ce13 node_type=claim
t=0033 CREATE_NODE id=n_d45396e335f2 node_type=claim
t=0034 CREATE_NODE id=n_3c6291c54a9f node_type=claim
t=0035 CREATE_NODE id=n_889655ab3a23 node_type=claim
t=0036 CREATE_NODE id=n_95bb5b82597f node_type=claim
t=0037 CREATE_NODE id=n_61a2e03ff499 node_type=claim
t=0038 CREATE_NODE id=n_ab4903085534 node_type=claim
t=0039 CREATE_NODE id=n_aa627e04107d node_type=claim
t=0040 CREATE_NODE id=n_566b6eb5b33c node_type=claim
t=0041 CREATE_NODE id=n_7e035e358a5c node_type=claim
t=0042 CREATE_NODE id=n_a3dee75809a1 node_type=claim
t=0043 CREATE_NODE id=n_f9c51b6f7661 node_type=claim
t=0044 CREATE_NODE id=n_45a01174d828 node_type=claim
t=0045 CREATE_NODE id=n_e9589d86e9a6 node_type=claim
t=0046 CREATE_NODE id=n_bb4536e35f23 node_type=claim
t=0047 CREATE_NODE id=n_76dacb2a2ead node_type=claim
t=0048 CREATE_NODE id=n_23f6897188d4 node_type=claim
t=0049 CREATE_NODE id=n_02a17ea8bc1a node_type=claim
t=0050 CREATE_NODE id=n_ce13d3cfd43e node_type=claim
t=0051 CREATE_NODE id=n_4637ae5e1562 node_type=claim
t=0052 CREATE_NODE id=n_2853a3e64a38 node_type=claim
t=0053 CREATE_NODE id=n_efa4d3ea181d node_type=claim
t=0054 CREATE_NODE id=n_3a3bfb72380e node_type=claim
t=0055 CREATE_NODE id=n_028bdb4d27db node_type=claim
t=0056 CREATE_NODE id=n_ca67e593ae67 node_type=claim
t=0057 CREATE_NODE id=n_574db800129d node_type=claim
t=0058 CREATE_NODE id=n_3c79b92f3749 node_type=claim
t=0059 CREATE_NODE id=n_c6fb30f44682 node_type=claim
t=0060 CREATE_NODE id=n_ee5791ee8b0c node_type=claim
t=0061 CREATE_NODE id=n_151f49518603 node_type=claim
t=0062 CREATE_NODE id=n_0270d018d710 node_type=claim
t=0063 CREATE_NODE id=n_d4f39d6b871a node_type=claim
t=0064 ASSERT_ROOT node=n_793a354bc824 value=TRUE
t=0065 ADD_EDGE edge_id=e_0e136283d640 source=n_c55f7ddef042 edge_type=refutes target=n_95bb5b82597f
t=0066 ADD_EDGE edge_id=e_218f3b0c998e source=n_e3f58823ce13 edge_type=refutes target=n_e5b7842a837b
t=0067 ADD_EDGE edge_id=e_1aa6c7111ce0 source=n_0270d018d710 edge_type=refutes target=n_45a01174d828
t=0068 ADD_EDGE edge_id=e_844733076874 source=n_b8ae975009dd edge_type=refutes target=n_5b3ec0c08381
t=0069 ADD_EDGE edge_id=e_9958e466e4d3 source=n_ca67e593ae67 edge_type=supports target=n_a3dee75809a1
t=0070 ADD_EDGE edge_id=e_6ef16aa274b9 source=n_89ff87b1f37a edge_type=supports target=n_c55f7ddef042
t=0071 ADD_EDGE edge_id=e_008043ed3998 source=n_7e035e358a5c edge_type=supports target=n_3c6291c54a9f
t=0072 ADD_EDGE edge_id=e_ec9be66b2492 source=n_b8ae975009dd edge_type=refutes target=n_592f5a3b4e35
t=0073 ADD_EDGE edge_id=e_07d693d95f53 source=n_b8ae975009dd edge_type=supports target=n_76dacb2a2ead
t=0074 ADD_EDGE edge_id=e_bdfba836f483 source=n_e9589d86e9a6 edge_type=refutes target=n_6543c7930340
t=0075 ADD_EDGE edge_id=e_87cb83ed9e2d source=n_45a01174d828 edge_type=supports target=n_8c0396302595
t=0076 ADD_EDGE edge_id=e_89e05d97d4cb source=n_b8ae975009dd edge_type=refutes target=n_61a2e03ff499
t=0077 ADD_EDGE edge_id=e_4c9d1bd8ce07 source=n_e3f58823ce13 edge_type=refutes target=n_d45396e335f2
t=0078 ADD_EDGE edge_id=e_85011150a793 source=n_02a17ea8bc1a edge_type=refutes target=n_ff20394aaa90
t=0079 ADD_EDGE edge_id=e_53ba39f5a966 source=n_aa627e04107d edge_type=refutes target=n_d4f39d6b871a
t=0080 ADD_EDGE edge_id=e_820f730cb0f8 source=n_028bdb4d27db edge_type=refutes target=n_b4ec9bea97c7
t=0081 ADD_EDGE edge_id=e_864d1fda28f7 source=n_34831f9bab10 edge_type=refutes target=n_ca67e593ae67
t=0082 ADD_EDGE edge_id=e_739cb6431ecf source=n_566b6eb5b33c edge_type=refutes target=n_2955f26eb637
t=0083 ADD_EDGE edge_id=e_a2844ec48405 source=n_3c6291c54a9f edge_type=refutes target=n_d1a2801d476d
t=0084 ADD_EDGE edge_id=e_b4a7de5d9120 source=n_e9589d86e9a6 edge_type=refutes target=n_ee5791ee8b0c
t=0085 ADD_EDGE edge_id=e_64447e9db36d source=n_89ff87b1f37a edge_type=supports target=n_c1c75e5d0057
t=0086 ADD_EDGE edge_id=e_8c6834a98594 source=n_8c0396302595 edge_type=supports target=n_3a37db8425f8
t=0087 ADD_EDGE edge_id=e_c654dd533b21 source=n_793a354bc824 edge_type=supports target=n_4637ae5e1562
t=0088 ADD_EDGE edge_id=e_49e2850c2f7f source=n_170f44ba5991 edge_type=refutes target=n_34831f9bab10
t=0089 ADD_EDGE edge_id=e_c27a4fc95717 source=n_4637ae5e1562 edge_type=refutes target=n_151f49518603
t=0090 ADD_EDGE edge_id=e_516910819d6f source=n_4ffd216cbd43 edge_type=supports target=n_2853a3e64a38
t=0091 ADD_EDGE edge_id=e_0e1f46b0f6a3 source=n_c6fb30f44682 edge_type=supports target=n_889655ab3a23
t=0092 ADD_EDGE edge_id=e_72305789c7ee source=n_c1c75e5d0057 edge_type=supports target=n_ab4903085534
t=0093 ADD_EDGE edge_id=e_1192ab0ae052 source=n_23f6897188d4 edge_type=supports target=n_170f44ba5991
t=0094 ADD_EDGE edge_id=e_b236bcb399d2 source=n_7704d0c2f3f2 edge_type=supports target=n_9eec491f1f2e
t=0095 ADD_EDGE edge_id=e_cfee6132e06d source=n_89ff87b1f37a edge_type=supports target=n_02a17ea8bc1a
t=0096 ADD_EDGE edge_id=e_6c267017ee41 source=n_ff20394aaa90 edge_type=refutes target=n_028bdb4d27db
t=0097 ADD_EDGE edge_id=e_e89ec69543bc source=n_76dacb2a2ead edge_type=supports target=n_3df8169d7b32
t=0098 ADD_EDGE edge_id=e_4b2302b9ce8a source=n_ab4903085534 edge_type=refutes target=n_4ffd216cbd43
t=0099 ADD_EDGE edge_id=e_f9fbaba6539b source=n_95bb5b82597f edge_type=refutes target=n_b8ae975009dd
t=0100 ADD_EDGE edge_id=e_21fb0a1996db source=n_89ff87b1f37a edge_type=refutes target=n_566b6eb5b33c
t=0101 ADD_EDGE edge_id=e_ce2962c59e54 source=n_ff20394aaa90 edge_type=supports target=n_a7f410087efd
t=0102 ADD_EDGE edge_id=e_418d8e05833e source=n_566b6eb5b33c edge_type=supports target=n_e9589d86e9a6
t=0103 ADD_EDGE edge_id=e_faa4797e7c33 source=n_151f49518603 edge_type=supports target=n_7704d0c2f3f2
t=0104 ADD_EDGE edge_id=e_ade283c2e9b6 source=n_ee5791ee8b0c edge_type=supports target=n_3c79b92f3749
t=0105 ADD_EDGE edge_id=e_693dfbb54409 source=n_d1a2801d476d edge_type=supports target=n_ce13d3cfd43e
t=0106 ADD_EDGE edge_id=e_b03362ef78d9 source=n_ff20394aaa90 edge_type=refutes target=n_3a3bfb72380e
t=0107 ADD_EDGE edge_id=e_d4a6820e3d72 source=n_a7f410087efd edge_type=supports target=n_8cc3b0e48efc
t=0108 ADD_EDGE edge_id=e_741e65dbec58 source=n_b64dfd19ce6c edge_type=supports target=n_23f6897188d4
t=0109 ADD_EDGE edge_id=e_57cc6a51fb09 source=n_efa4d3ea181d edge_type=supports target=n_b64dfd19ce6c
t=0110 ADD_EDGE edge_id=e_95ae6186b88d source=n_f9c51b6f7661 edge_type=refutes target=n_c6fb30f44682
t=0111 ADD_EDGE edge_id=e_0bdae8b86791 source=n_c55f7ddef042 edge_type=refutes target=n_c778ffee2cc4
t=0112 ADD_EDGE edge_id=e_0886300a9d99 source=n_cb32bea6fc0d edge_type=supports target=n_e3f58823ce13
t=0113 ADD_EDGE edge_id=e_87f0d8767383 source=n_9eec491f1f2e edge_type=refutes target=n_cb32bea6fc0d
t=0114 ADD_EDGE edge_id=e_2a2db3856b8a source=n_b8ae975009dd edge_type=refutes target=n_262f575eeee7
t=0115 ADD_EDGE edge_id=e_bf4484799fd3 source=n_c6fb30f44682 edge_type=refutes target=n_bb4536e35f23
t=0116 ADD_EDGE edge_id=e_be590850ce5c source=n_cb32bea6fc0d edge_type=supports target=n_53ecd04b83e5
t=0117 ADD_EDGE edge_id=e_6df303ed3cc1 source=n_e3f58823ce13 edge_type=refutes target=n_a5d3dfbbae5b
t=0118 ADD_EDGE edge_id=e_3c606433401b source=n_ff20394aaa90 edge_type=refutes target=n_4514c5acc5fb
t=0119 ADD_EDGE edge_id=e_556d97abda5c source=n_c1c75e5d0057 edge_type=supports target=n_417344db54b0
t=0120 ADD_EDGE edge_id=e_0218f4b7097a source=n_e5b7842a837b edge_type=supports target=n_aa627e04107d
t=0121 ADD_EDGE edge_id=e_84b1958943d8 source=n_ab4903085534 edge_type=supports target=n_f473fb940c05
t=0122 ADD_EDGE edge_id=e_0167911beae0 source=n_95bb5b82597f edge_type=refutes target=n_574db800129d
t=0123 ADD_EDGE edge_id=e_569ef47ff81b source=n_a3dee75809a1 edge_type=supports target=n_7e035e358a5c
t=0124 ADD_EDGE edge_id=e_b8f68225b4c9 source=n_3a37db8425f8 edge_type=refutes target=n_efa4d3ea181d
t=0125 ADD_EDGE edge_id=e_862bdf7e7438 source=n_ce13d3cfd43e edge_type=supports target=n_f9c51b6f7661
t=0126 ADD_EDGE edge_id=e_41e0755d7f11 source=n_d4f39d6b871a edge_type=supports target=n_0270d018d710
t=0127 QUERY source=n_793a354bc824 target=n_889655ab3a23
[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_4158d5daa593 node_type=claim
t=0001 CREATE_NODE id=n_ce7c9da14c34 node_type=claim
t=0002 CREATE_NODE id=n_5ad543f22247 node_type=claim
t=0003 CREATE_NODE id=n_fd65eaaa7376 node_type=claim
t=0004 CREATE_NODE id=n_cffae5f1ed2e node_type=claim
t=0005 CREATE_NODE id=n_43f416ae727d node_type=claim
t=0006 CREATE_NODE id=n_8a982fb35d62 node_type=claim
t=0007 CREATE_NODE id=n_b5ff3fe12d38 node_type=claim
t=0008 CREATE_NODE id=n_d48e378dea88 node_type=claim
t=0009 CREATE_NODE id=n_f9e2146f426a node_type=claim
t=0010 CREATE_NODE id=n_c3e3b99c117e node_type=claim
t=0011 CREATE_NODE id=n_911da451776e node_type=claim
t=0012 CREATE_NODE id=n_563c7f5f96d8 node_type=claim
t=0013 CREATE_NODE id=n_eef88de9531b node_type=claim
t=0014 CREATE_NODE id=n_5269e77d6fac node_type=claim
t=0015 CREATE_NODE id=n_e3303d3c322c node_type=claim
t=0016 CREATE_NODE id=n_89d7cd68d0f2 node_type=claim
t=0017 CREATE_NODE id=n_f7505636339a node_type=claim
t=0018 CREATE_NODE id=n_2767245310b2 node_type=claim
t=0019 CREATE_NODE id=n_ce655614a85f node_type=claim
t=0020 CREATE_NODE id=n_1b0c1d27e6b7 node_type=claim
t=0021 CREATE_NODE id=n_7b7cfc295b6c node_type=claim
t=0022 CREATE_NODE id=n_80ee06615dba node_type=claim
t=0023 CREATE_NODE id=n_fe6b22543775 node_type=claim
t=0024 CREATE_NODE id=n_5299eb475b9e node_type=claim
t=0025 CREATE_NODE id=n_0318e0b5cd6f node_type=claim
t=0026 CREATE_NODE id=n_2920850731d5 node_type=claim
t=0027 CREATE_NODE id=n_28c3bf0e5ddd node_type=claim
t=0028 CREATE_NODE id=n_34ff01480959 node_type=claim
t=0029 CREATE_NODE id=n_69ae938751aa node_type=claim
t=0030 CREATE_NODE id=n_c6fa0807034d node_type=claim
t=0031 CREATE_NODE id=n_f6b5b2635b5a node_type=claim
t=0032 CREATE_NODE id=n_c16b7807560d node_type=claim
t=0033 CREATE_NODE id=n_e273ab73e98f node_type=claim
t=0034 CREATE_NODE id=n_762db6bac545 node_type=claim
t=0035 CREATE_NODE id=n_6162088e6fff node_type=claim
t=0036 CREATE_NODE id=n_3a12a36e68db node_type=claim
t=0037 CREATE_NODE id=n_461089cc3dd7 node_type=claim
t=0038 CREATE_NODE id=n_bffdaefab578 node_type=claim
t=0039 CREATE_NODE id=n_b2b50c1a953b node_type=claim
t=0040 CREATE_NODE id=n_ff4beca5c2cd node_type=claim
t=0041 CREATE_NODE id=n_f5a5fdc001bb node_type=claim
t=0042 CREATE_NODE id=n_59f1de54fb76 node_type=claim
t=0043 CREATE_NODE id=n_01dd98c71421 node_type=claim
t=0044 CREATE_NODE id=n_37d140514fc2 node_type=claim
t=0045 CREATE_NODE id=n_07c0a62bfc68 node_type=claim
t=0046 CREATE_NODE id=n_e4418891358c node_type=claim
t=0047 CREATE_NODE id=n_70547997530a node_type=claim
t=0048 CREATE_NODE id=n_742cfcf5b6ee node_type=claim
t=0049 CREATE_NODE id=n_5f3ab6e7598c node_type=claim
t=0050 CREATE_NODE id=n_3bdbd1fa8187 node_type=claim
t=0051 CREATE_NODE id=n_853e62338466 node_type=claim
t=0052 CREATE_NODE id=n_979758262a7a node_type=claim
t=0053 CREATE_NODE id=n_dca680ca6201 node_type=claim
t=0054 CREATE_NODE id=n_aa9fae54f073 node_type=claim
t=0055 CREATE_NODE id=n_4e04726f777c node_type=claim
t=0056 CREATE_NODE id=n_5ced6dfafdeb node_type=claim
t=0057 CREATE_NODE id=n_eb36c09ee154 node_type=claim
t=0058 CREATE_NODE id=n_a44763ef06d6 node_type=claim
t=0059 CREATE_NODE id=n_a11320f39079 node_type=claim
t=0060 CREATE_NODE id=n_bb6684dc6845 node_type=claim
t=0061 CREATE_NODE id=n_5d7e65704742 node_type=claim
t=0062 CREATE_NODE id=n_c05b26b548d8 node_type=claim
t=0063 CREATE_NODE id=n_2cb6b80ccad3 node_type=claim
t=0064 ASSERT_ROOT node=n_eb36c09ee154 value=FALSE
t=0065 ADD_EDGE edge_id=e_483560718a24 source=n_eb36c09ee154 edge_type=refutes target=n_3bdbd1fa8187
t=0066 ADD_EDGE edge_id=e_96a473ce4306 source=n_7b7cfc295b6c edge_type=supports target=n_563c7f5f96d8
t=0067 ADD_EDGE edge_id=e_56b8ae20ecf8 source=n_80ee06615dba edge_type=supports target=n_2cb6b80ccad3
t=0068 ADD_EDGE edge_id=e_8ba35072e04f source=n_e4418891358c edge_type=supports target=n_c6fa0807034d
t=0069 ADD_EDGE edge_id=e_ce3ab8dc0640 source=n_34ff01480959 edge_type=supports target=n_cffae5f1ed2e
t=0070 ADD_EDGE edge_id=e_5621708d3290 source=n_3bdbd1fa8187 edge_type=refutes target=n_b5ff3fe12d38
t=0071 ADD_EDGE edge_id=e_ed8674f7b070 source=n_979758262a7a edge_type=supports target=n_ce7c9da14c34
t=0072 ADD_EDGE edge_id=e_017f96338c3d source=n_ce7c9da14c34 edge_type=supports target=n_5f3ab6e7598c
t=0073 ADD_EDGE edge_id=e_3d9ffa5d4dfe source=n_f6b5b2635b5a edge_type=supports target=n_e4418891358c
t=0074 ADD_EDGE edge_id=e_d8125af80257 source=n_5ad543f22247 edge_type=supports target=n_b2b50c1a953b
t=0075 ADD_EDGE edge_id=e_6b2e3a702488 source=n_f6b5b2635b5a edge_type=supports target=n_4e04726f777c
t=0076 ADD_EDGE edge_id=e_fc6806489200 source=n_28c3bf0e5ddd edge_type=refutes target=n_911da451776e
t=0077 ADD_EDGE edge_id=e_7c0960c88073 source=n_563c7f5f96d8 edge_type=refutes target=n_43f416ae727d
t=0078 ADD_EDGE edge_id=e_62130e6723d7 source=n_f6b5b2635b5a edge_type=supports target=n_d48e378dea88
t=0079 ADD_EDGE edge_id=e_8bd5ed2aa2ed source=n_dca680ca6201 edge_type=refutes target=n_80ee06615dba
t=0080 ADD_EDGE edge_id=e_ecdd427b4855 source=n_d48e378dea88 edge_type=supports target=n_5ad543f22247
t=0081 ADD_EDGE edge_id=e_b767e2e6271d source=n_e273ab73e98f edge_type=supports target=n_bffdaefab578
t=0082 ADD_EDGE edge_id=e_bedea0ff55b5 source=n_bb6684dc6845 edge_type=supports target=n_c05b26b548d8
t=0083 ADD_EDGE edge_id=e_1c268562923e source=n_563c7f5f96d8 edge_type=refutes target=n_70547997530a
t=0084 ADD_EDGE edge_id=e_2c686523dbda source=n_37d140514fc2 edge_type=supports target=n_f9e2146f426a
t=0085 ADD_EDGE edge_id=e_9ee7b7f76994 source=n_01dd98c71421 edge_type=supports target=n_8a982fb35d62
t=0086 ADD_EDGE edge_id=e_f8f58fcfb58f source=n_979758262a7a edge_type=refutes target=n_34ff01480959
t=0087 ADD_EDGE edge_id=e_71defb2fbeeb source=n_ff4beca5c2cd edge_type=refutes target=n_a11320f39079
t=0088 ADD_EDGE edge_id=e_5add814e533e source=n_59f1de54fb76 edge_type=refutes target=n_fd65eaaa7376
t=0089 ADD_EDGE edge_id=e_c3a3bbd05441 source=n_f5a5fdc001bb edge_type=refutes target=n_4158d5daa593
t=0090 ADD_EDGE edge_id=e_c966adc929ed source=n_d48e378dea88 edge_type=refutes target=n_461089cc3dd7
t=0091 ADD_EDGE edge_id=e_59c21afccbba source=n_aa9fae54f073 edge_type=refutes target=n_2920850731d5
t=0092 ADD_EDGE edge_id=e_fe094fcc4871 source=n_f6b5b2635b5a edge_type=supports target=n_89d7cd68d0f2
t=0093 ADD_EDGE edge_id=e_8e8dad18cda5 source=n_4e04726f777c edge_type=refutes target=n_f7505636339a
t=0094 ADD_EDGE edge_id=e_12e47bafc756 source=n_a11320f39079 edge_type=refutes target=n_5269e77d6fac
t=0095 ADD_EDGE edge_id=e_ff6f80f2c785 source=n_eef88de9531b edge_type=refutes target=n_3a12a36e68db
t=0096 ADD_EDGE edge_id=e_9dc7ffe50d74 source=n_aa9fae54f073 edge_type=refutes target=n_1b0c1d27e6b7
t=0097 ADD_EDGE edge_id=e_47b89f4ba086 source=n_fe6b22543775 edge_type=supports target=n_e273ab73e98f
t=0098 ADD_EDGE edge_id=e_bfd7278dd263 source=n_461089cc3dd7 edge_type=supports target=n_7b7cfc295b6c
t=0099 ADD_EDGE edge_id=e_1341776fa20e source=n_461089cc3dd7 edge_type=refutes target=n_762db6bac545
t=0100 ADD_EDGE edge_id=e_5ea6d152f669 source=n_3a12a36e68db edge_type=supports target=n_a44763ef06d6
t=0101 ADD_EDGE edge_id=e_0918fa5272df source=n_0318e0b5cd6f edge_type=refutes target=n_fe6b22543775
t=0102 ADD_EDGE edge_id=e_37055c1eeb3e source=n_bffdaefab578 edge_type=supports target=n_37d140514fc2
t=0103 ADD_EDGE edge_id=e_bf2c6cbf2981 source=n_c16b7807560d edge_type=supports target=n_853e62338466
t=0104 ADD_EDGE edge_id=e_32c6368769f4 source=n_3bdbd1fa8187 edge_type=refutes target=n_742cfcf5b6ee
t=0105 ADD_EDGE edge_id=e_0a5785777310 source=n_d48e378dea88 edge_type=supports target=n_6162088e6fff
t=0106 ADD_EDGE edge_id=e_5bdc79059878 source=n_b2b50c1a953b edge_type=refutes target=n_5d7e65704742
t=0107 ADD_EDGE edge_id=e_d86b988b1700 source=n_4158d5daa593 edge_type=refutes target=n_0318e0b5cd6f
t=0108 ADD_EDGE edge_id=e_722a201b0d62 source=n_461089cc3dd7 edge_type=refutes target=n_07c0a62bfc68
t=0109 ADD_EDGE edge_id=e_ac096ec5fb9d source=n_e273ab73e98f edge_type=refutes target=n_69ae938751aa
t=0110 ADD_EDGE edge_id=e_642997900e1d source=n_b5ff3fe12d38 edge_type=supports target=n_dca680ca6201
t=0111 ADD_EDGE edge_id=e_5451bf51b530 source=n_37d140514fc2 edge_type=supports target=n_c3e3b99c117e
t=0112 ADD_EDGE edge_id=e_cf539556ad3b source=n_2767245310b2 edge_type=refutes target=n_59f1de54fb76
t=0113 ADD_EDGE edge_id=e_53bcf56a8887 source=n_f6b5b2635b5a edge_type=refutes target=n_979758262a7a
t=0114 ADD_EDGE edge_id=e_1f483a249ea7 source=n_5ad543f22247 edge_type=refutes target=n_5299eb475b9e
t=0115 ADD_EDGE edge_id=e_d00eaeceef63 source=n_2cb6b80ccad3 edge_type=refutes target=n_01dd98c71421
t=0116 ADD_EDGE edge_id=e_2db337ff5a70 source=n_911da451776e edge_type=supports target=n_2767245310b2
t=0117 ADD_EDGE edge_id=e_a27a47f204ff source=n_fd65eaaa7376 edge_type=refutes target=n_bb6684dc6845
t=0118 ADD_EDGE edge_id=e_9d7077666988 source=n_b2b50c1a953b edge_type=supports target=n_eef88de9531b
t=0119 ADD_EDGE edge_id=e_8c1f86aa8246 source=n_461089cc3dd7 edge_type=supports target=n_ce655614a85f
t=0120 ADD_EDGE edge_id=e_1986085d37d8 source=n_2920850731d5 edge_type=refutes target=n_f5a5fdc001bb
t=0121 ADD_EDGE edge_id=e_dd4499596a1a source=n_89d7cd68d0f2 edge_type=supports target=n_e3303d3c322c
t=0122 ADD_EDGE edge_id=e_3d23be439674 source=n_07c0a62bfc68 edge_type=supports target=n_c16b7807560d
t=0123 ADD_EDGE edge_id=e_b069b73721f9 source=n_ce655614a85f edge_type=supports target=n_5ced6dfafdeb
t=0124 ADD_EDGE edge_id=e_37a4e623c5f9 source=n_c05b26b548d8 edge_type=refutes target=n_ff4beca5c2cd
t=0125 ADD_EDGE edge_id=e_8ebcacd67d2a source=n_f9e2146f426a edge_type=refutes target=n_28c3bf0e5ddd
t=0126 ADD_EDGE edge_id=e_61b4f8348753 source=n_8a982fb35d62 edge_type=supports target=n_aa9fae54f073
t=0127 QUERY source=n_eb36c09ee154 target=n_5269e77d6fac
[QUESTION] Propagate the root fact along the directed query path.
Answer exactly TRUE, FALSE, or UNKNOWN.