You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v04
- v06 --supports--> v01
- v09 --supports--> v00
- v06 --supports--> v03
- v05 --supports--> v02
- v01 --refutes--> v08
- v01 --supports--> v07
- v02 --refutes--> v09
- v00 --supports--> v06

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v02
- v02 --refutes--> v03
- v01 --refutes--> v06
- v07 --supports--> v04
- v07 --supports--> v09
- v03 --supports--> v00
- v03 --supports--> v07
- v06 --supports--> v08
- v04 --refutes--> v05

[VERIFIED ROOT]
v01 = FALSE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --supports--> v02
- v05 --supports--> v06
- v07 --supports--> v00
- v08 --supports--> v01
- v00 --refutes--> v08
- v04 --refutes--> v07
- v01 --refutes--> v09
- v01 --supports--> v05
- v04 --supports--> v03

[VERIFIED ROOT]
v04 = FALSE

[TARGET]
v06

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --refutes--> v04
- v07 --supports--> v06
- v09 --refutes--> v05
- v05 --refutes--> v03
- v00 --supports--> v07
- v06 --refutes--> v09
- v02 --refutes--> v01
- v00 --refutes--> v08
- v05 --refutes--> v02

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v06
- v01 --refutes--> v04
- v00 --refutes--> v08
- v06 --supports--> v07
- v06 --refutes--> v05
- v00 --refutes--> v09
- v04 --supports--> v03
- v07 --supports--> v02
- v02 --refutes--> v00

[VERIFIED ROOT]
v01 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --refutes--> v01
- v07 --supports--> v06
- v05 --refutes--> v03
- v00 --supports--> v09
- v00 --supports--> v04
- v00 --refutes--> v07
- v01 --refutes--> v00
- v05 --supports--> v08
- v06 --supports--> v05

[VERIFIED ROOT]
v02 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --supports--> v05
- v06 --supports--> v02
- v04 --supports--> v08
- v03 --refutes--> v07
- v09 --refutes--> v00
- v03 --refutes--> v04
- v06 --refutes--> v01
- v04 --refutes--> v06
- v00 --refutes--> v03

[VERIFIED ROOT]
v09 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --supports--> v06
- v02 --supports--> v00
- v02 --refutes--> v05
- v07 --refutes--> v09
- v08 --supports--> v02
- v06 --supports--> v04
- v07 --refutes--> v03
- v09 --refutes--> v08
- v05 --supports--> v01

[VERIFIED ROOT]
v07 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --supports--> v07
- v03 --supports--> v05
- v06 --refutes--> v02
- v00 --supports--> v03
- v05 --supports--> v01
- v07 --supports--> v09
- v07 --refutes--> v08
- v07 --supports--> v06
- v04 --supports--> v00

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --refutes--> v05
- v01 --refutes--> v07
- v00 --refutes--> v04
- v09 --supports--> v01
- v07 --supports--> v02
- v04 --supports--> v09
- v03 --supports--> v00
- v01 --refutes--> v06
- v07 --refutes--> v08

[VERIFIED ROOT]
v03 = FALSE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v01
- v04 --refutes--> v06
- v09 --supports--> v07
- v04 --refutes--> v05
- v09 --supports--> v03
- v00 --supports--> v04
- v03 --refutes--> v08
- v05 --refutes--> v09
- v08 --refutes--> v02

[VERIFIED ROOT]
v00 = FALSE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --refutes--> v01
- v02 --supports--> v03
- v03 --supports--> v07
- v05 --refutes--> v00
- v01 --supports--> v08
- v07 --refutes--> v05
- v01 --refutes--> v02
- v05 --supports--> v04
- v09 --supports--> v06

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --supports--> v09
- v09 --refutes--> v08
- v01 --refutes--> v02
- v06 --refutes--> v04
- v00 --refutes--> v06
- v09 --supports--> v01
- v05 --refutes--> v00
- v01 --refutes--> v05
- v06 --supports--> v07

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v06
- v05 --supports--> v03
- v08 --supports--> v05
- v06 --refutes--> v08
- v01 --supports--> v00
- v08 --supports--> v04
- v03 --supports--> v07
- v05 --refutes--> v09
- v06 --supports--> v02

[VERIFIED ROOT]
v01 = TRUE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --refutes--> v04
- v05 --supports--> v07
- v01 --supports--> v03
- v03 --refutes--> v08
- v02 --refutes--> v05
- v03 --supports--> v06
- v03 --supports--> v00
- v09 --supports--> v02
- v07 --supports--> v01

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v01
- v05 --supports--> v06
- v08 --supports--> v00
- v02 --supports--> v08
- v07 --refutes--> v04
- v07 --supports--> v02
- v03 --refutes--> v05
- v06 --refutes--> v07
- v05 --supports--> v09

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --supports--> v04
- v06 --supports--> v09
- v04 --supports--> v05
- v01 --supports--> v08
- v01 --refutes--> v02
- v03 --refutes--> v01
- v08 --supports--> v00
- v09 --refutes--> v03
- v03 --refutes--> v07

[VERIFIED ROOT]
v06 = FALSE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v01
- v05 --refutes--> v04
- v07 --refutes--> v06
- v09 --supports--> v08
- v06 --refutes--> v09
- v04 --refutes--> v00
- v07 --supports--> v03
- v09 --refutes--> v02
- v01 --refutes--> v05

[VERIFIED ROOT]
v07 = FALSE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v05
- v09 --refutes--> v06
- v02 --supports--> v04
- v00 --supports--> v03
- v05 --supports--> v07
- v00 --refutes--> v09
- v09 --refutes--> v08
- v04 --refutes--> v00
- v09 --supports--> v01

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v04
- v00 --supports--> v03
- v04 --supports--> v02
- v04 --supports--> v09
- v04 --refutes--> v08
- v05 --refutes--> v01
- v00 --supports--> v07
- v03 --supports--> v05
- v01 --supports--> v06

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --refutes--> v07
- v05 --refutes--> v03
- v08 --refutes--> v02
- v02 --refutes--> v00
- v04 --supports--> v05
- v01 --supports--> v09
- v02 --refutes--> v06
- v09 --supports--> v08
- v05 --refutes--> v01

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --supports--> v04
- v08 --refutes--> v06
- v05 --refutes--> v01
- v01 --refutes--> v09
- v02 --refutes--> v00
- v08 --refutes--> v07
- v00 --supports--> v05
- v00 --supports--> v03
- v09 --refutes--> v08

[VERIFIED ROOT]
v02 = TRUE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --supports--> v04
- v07 --supports--> v00
- v09 --supports--> v03
- v00 --refutes--> v06
- v09 --supports--> v08
- v06 --refutes--> v01
- v09 --refutes--> v07
- v04 --refutes--> v09
- v09 --refutes--> v05

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v03
- v03 --refutes--> v06
- v06 --refutes--> v04
- v09 --supports--> v02
- v06 --supports--> v09
- v00 --refutes--> v07
- v02 --supports--> v00
- v01 --supports--> v05
- v00 --supports--> v08

[VERIFIED ROOT]
v01 = FALSE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v04
- v07 --refutes--> v06
- v09 --supports--> v08
- v05 --supports--> v03
- v04 --refutes--> v07
- v03 --supports--> v00
- v03 --supports--> v02
- v07 --refutes--> v01
- v03 --supports--> v09

[VERIFIED ROOT]
v05 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --refutes--> v06
- v04 --refutes--> v08
- v05 --supports--> v09
- v02 --refutes--> v04
- v09 --supports--> v01
- v04 --supports--> v03
- v01 --refutes--> v02
- v08 --refutes--> v00
- v02 --supports--> v07

[VERIFIED ROOT]
v05 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v03
- v07 --refutes--> v06
- v09 --supports--> v05
- v04 --supports--> v01
- v04 --refutes--> v07
- v08 --refutes--> v09
- v02 --refutes--> v00
- v06 --refutes--> v02
- v02 --supports--> v08

[VERIFIED ROOT]
v04 = FALSE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v04
- v06 --supports--> v01
- v05 --supports--> v08
- v06 --supports--> v09
- v05 --refutes--> v06
- v00 --supports--> v03
- v09 --supports--> v00
- v03 --refutes--> v07
- v02 --refutes--> v05

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --refutes--> v00
- v07 --supports--> v08
- v09 --supports--> v02
- v07 --refutes--> v04
- v09 --supports--> v03
- v06 --refutes--> v09
- v04 --supports--> v05
- v05 --refutes--> v01
- v01 --supports--> v06

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v00
- v09 --refutes--> v06
- v04 --refutes--> v09
- v08 --refutes--> v05
- v03 --supports--> v01
- v07 --supports--> v08
- v04 --refutes--> v02
- v08 --supports--> v03
- v01 --refutes--> v04

[VERIFIED ROOT]
v07 = FALSE

[TARGET]
v06

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v00
- v05 --refutes--> v07
- v07 --refutes--> v08
- v02 --supports--> v03
- v01 --refutes--> v04
- v07 --supports--> v09
- v03 --refutes--> v06
- v07 --supports--> v02
- v00 --supports--> v01

[VERIFIED ROOT]
v05 = TRUE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --refutes--> v00
- v07 --supports--> v02
- v09 --refutes--> v01
- v09 --refutes--> v08
- v03 --supports--> v06
- v05 --supports--> v07
- v01 --supports--> v03
- v02 --refutes--> v09
- v03 --refutes--> v04

[VERIFIED ROOT]
v05 = TRUE

[TARGET]
v06

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --refutes--> v07
- v01 --supports--> v03
- v01 --supports--> v06
- v04 --refutes--> v09
- v02 --refutes--> v05
- v00 --refutes--> v04
- v08 --supports--> v02
- v09 --supports--> v08
- v02 --refutes--> v01

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v05
- v07 --refutes--> v01
- v04 --supports--> v07
- v06 --refutes--> v04
- v05 --refutes--> v00
- v06 --supports--> v09
- v01 --supports--> v03
- v06 --refutes--> v02
- v01 --supports--> v08

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v03
- v06 --refutes--> v09
- v02 --supports--> v05
- v08 --refutes--> v06
- v01 --refutes--> v02
- v00 --refutes--> v01
- v09 --refutes--> v00
- v01 --refutes--> v04
- v00 --supports--> v07

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v03
- v00 --supports--> v04
- v09 --refutes--> v07
- v09 --refutes--> v06
- v02 --supports--> v00
- v03 --refutes--> v05
- v03 --supports--> v01
- v02 --refutes--> v08
- v05 --refutes--> v02

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --supports--> v05
- v00 --refutes--> v02
- v06 --refutes--> v08
- v07 --supports--> v06
- v02 --refutes--> v03
- v03 --supports--> v07
- v08 --supports--> v04
- v08 --refutes--> v09
- v02 --supports--> v01

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --supports--> v07
- v00 --supports--> v05
- v08 --refutes--> v04
- v04 --refutes--> v00
- v08 --refutes--> v02
- v03 --supports--> v06
- v06 --supports--> v09
- v00 --supports--> v01
- v06 --refutes--> v08

[VERIFIED ROOT]
v03 = FALSE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v06
- v06 --supports--> v00
- v01 --refutes--> v07
- v01 --refutes--> v02
- v05 --supports--> v03
- v07 --refutes--> v05
- v06 --supports--> v04
- v09 --refutes--> v08
- v09 --refutes--> v01

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --supports--> v08
- v01 --refutes--> v00
- v01 --supports--> v07
- v04 --supports--> v05
- v09 --refutes--> v06
- v05 --refutes--> v09
- v00 --supports--> v03
- v00 --refutes--> v04
- v09 --supports--> v02

[VERIFIED ROOT]
v01 = FALSE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v03
- v05 --supports--> v02
- v08 --refutes--> v01
- v00 --supports--> v06
- v08 --refutes--> v07
- v03 --refutes--> v00
- v01 --refutes--> v05
- v00 --refutes--> v08
- v08 --supports--> v04

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v00
- v02 --refutes--> v01
- v00 --refutes--> v09
- v01 --supports--> v08
- v01 --refutes--> v05
- v00 --supports--> v04
- v09 --refutes--> v06
- v01 --refutes--> v03
- v06 --refutes--> v07

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --supports--> v08
- v03 --supports--> v04
- v04 --refutes--> v00
- v02 --supports--> v05
- v00 --refutes--> v09
- v02 --supports--> v07
- v08 --refutes--> v01
- v01 --refutes--> v02
- v02 --supports--> v06

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v07
- v00 --refutes--> v02
- v05 --supports--> v03
- v03 --supports--> v06
- v01 --supports--> v09
- v09 --supports--> v08
- v03 --supports--> v01
- v08 --supports--> v00
- v05 --supports--> v04

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --refutes--> v06
- v08 --refutes--> v09
- v06 --supports--> v03
- v05 --refutes--> v04
- v03 --refutes--> v08
- v07 --supports--> v02
- v08 --refutes--> v00
- v02 --refutes--> v01
- v02 --supports--> v05

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --refutes--> v00
- v02 --refutes--> v08
- v07 --refutes--> v09
- v01 --refutes--> v04
- v00 --refutes--> v07
- v06 --refutes--> v02
- v07 --refutes--> v03
- v04 --refutes--> v05
- v07 --refutes--> v01

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v03
- v04 --refutes--> v08
- v05 --refutes--> v07
- v00 --supports--> v05
- v03 --refutes--> v09
- v03 --supports--> v02
- v06 --supports--> v00
- v05 --refutes--> v01
- v03 --refutes--> v04

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --supports--> v06
- v07 --supports--> v08
- v06 --supports--> v03
- v05 --supports--> v00
- v01 --supports--> v07
- v06 --supports--> v09
- v05 --supports--> v01
- v04 --supports--> v05
- v06 --supports--> v02

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v01
- v09 --supports--> v06
- v05 --supports--> v08
- v04 --supports--> v00
- v09 --refutes--> v02
- v05 --refutes--> v07
- v07 --supports--> v09
- v04 --refutes--> v03
- v06 --refutes--> v04

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --supports--> v02
- v02 --supports--> v08
- v06 --supports--> v01
- v09 --refutes--> v03
- v08 --refutes--> v06
- v06 --refutes--> v05
- v09 --supports--> v04
- v05 --supports--> v07
- v03 --supports--> v00

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --supports--> v00
- v06 --supports--> v05
- v06 --supports--> v08
- v01 --supports--> v06
- v09 --supports--> v02
- v02 --refutes--> v01
- v04 --supports--> v03
- v02 --supports--> v07
- v00 --supports--> v09

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --supports--> v06
- v07 --refutes--> v09
- v02 --refutes--> v05
- v09 --refutes--> v08
- v03 --supports--> v01
- v05 --refutes--> v00
- v09 --refutes--> v02
- v05 --supports--> v04
- v03 --refutes--> v07

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v06

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --supports--> v02
- v07 --refutes--> v09
- v00 --supports--> v03
- v07 --refutes--> v06
- v01 --refutes--> v00
- v09 --supports--> v08
- v08 --refutes--> v01
- v00 --refutes--> v04
- v07 --supports--> v05

[VERIFIED ROOT]
v07 = FALSE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v03
- v01 --refutes--> v02
- v04 --supports--> v00
- v02 --supports--> v06
- v09 --supports--> v04
- v03 --supports--> v05
- v02 --supports--> v08
- v02 --supports--> v09
- v03 --supports--> v07

[VERIFIED ROOT]
v01 = TRUE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v02
- v05 --supports--> v06
- v08 --supports--> v03
- v03 --refutes--> v01
- v00 --supports--> v05
- v02 --supports--> v00
- v06 --supports--> v07
- v08 --refutes--> v09
- v06 --refutes--> v04

[VERIFIED ROOT]
v08 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --refutes--> v05
- v08 --refutes--> v03
- v08 --refutes--> v07
- v06 --refutes--> v08
- v03 --refutes--> v00
- v09 --supports--> v06
- v01 --supports--> v02
- v02 --supports--> v04
- v03 --supports--> v01

[VERIFIED ROOT]
v09 = TRUE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v05
- v06 --refutes--> v03
- v00 --supports--> v04
- v05 --supports--> v09
- v01 --refutes--> v02
- v09 --supports--> v06
- v04 --refutes--> v08
- v00 --supports--> v07
- v06 --refutes--> v00

[VERIFIED ROOT]
v01 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v08
- v06 --supports--> v00
- v05 --supports--> v03
- v03 --refutes--> v02
- v03 --supports--> v07
- v08 --refutes--> v04
- v07 --refutes--> v01
- v03 --supports--> v09
- v04 --supports--> v06

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v05
- v07 --refutes--> v08
- v08 --supports--> v04
- v06 --refutes--> v02
- v06 --refutes--> v09
- v00 --supports--> v07
- v03 --refutes--> v01
- v03 --refutes--> v00
- v04 --supports--> v06

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v02
- v02 --refutes--> v03
- v04 --supports--> v06
- v09 --refutes--> v00
- v00 --supports--> v05
- v08 --supports--> v07
- v03 --refutes--> v09
- v04 --supports--> v01
- v00 --refutes--> v04

[VERIFIED ROOT]
v08 = FALSE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --supports--> v04
- v00 --supports--> v09
- v03 --supports--> v02
- v05 --supports--> v03
- v08 --refutes--> v05
- v04 --supports--> v01
- v01 --refutes--> v00
- v00 --supports--> v07
- v08 --refutes--> v06

[VERIFIED ROOT]
v08 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v01
- v02 --refutes--> v08
- v02 --refutes--> v04
- v01 --supports--> v09
- v02 --refutes--> v07
- v04 --refutes--> v05
- v09 --supports--> v00
- v00 --refutes--> v06
- v06 --refutes--> v03

[VERIFIED ROOT]
v02 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v05
- v08 --refutes--> v06
- v03 --supports--> v01
- v00 --refutes--> v03
- v08 --refutes--> v07
- v08 --refutes--> v09
- v02 --refutes--> v08
- v01 --supports--> v02
- v09 --refutes--> v04

[VERIFIED ROOT]
v00 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v00
- v05 --refutes--> v08
- v01 --supports--> v03
- v04 --refutes--> v02
- v03 --supports--> v04
- v06 --supports--> v05
- v07 --supports--> v06
- v05 --supports--> v01
- v04 --supports--> v09

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --refutes--> v08
- v08 --supports--> v02
- v07 --refutes--> v03
- v05 --refutes--> v01
- v01 --refutes--> v07
- v02 --refutes--> v00
- v00 --supports--> v09
- v00 --supports--> v04
- v07 --refutes--> v06

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v09
- v01 --supports--> v00
- v03 --supports--> v04
- v00 --refutes--> v03
- v03 --supports--> v05
- v02 --supports--> v01
- v07 --supports--> v08
- v03 --refutes--> v07
- v06 --supports--> v02

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --supports--> v08
- v06 --supports--> v03
- v09 --supports--> v01
- v00 --supports--> v04
- v00 --refutes--> v05
- v07 --refutes--> v00
- v02 --refutes--> v07
- v06 --supports--> v09
- v01 --refutes--> v02

[VERIFIED ROOT]
v06 = FALSE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v04
- v05 --supports--> v09
- v00 --supports--> v07
- v08 --refutes--> v03
- v06 --refutes--> v08
- v09 --supports--> v02
- v09 --supports--> v06
- v05 --refutes--> v01
- v07 --supports--> v05

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v01
- v01 --supports--> v03
- v05 --supports--> v02
- v02 --supports--> v08
- v04 --supports--> v00
- v04 --refutes--> v06
- v03 --refutes--> v05
- v07 --refutes--> v04
- v04 --supports--> v09

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --refutes--> v07
- v06 --refutes--> v02
- v03 --refutes--> v08
- v07 --refutes--> v04
- v05 --refutes--> v01
- v08 --refutes--> v05
- v07 --supports--> v03
- v03 --refutes--> v09
- v08 --supports--> v00

[VERIFIED ROOT]
v06 = FALSE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --supports--> v02
- v02 --refutes--> v09
- v04 --refutes--> v06
- v04 --supports--> v07
- v03 --supports--> v01
- v03 --refutes--> v00
- v05 --refutes--> v03
- v00 --refutes--> v08
- v04 --refutes--> v05

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v03
- v00 --supports--> v01
- v05 --supports--> v02
- v06 --refutes--> v08
- v06 --refutes--> v05
- v07 --supports--> v04
- v07 --supports--> v06
- v09 --refutes--> v00
- v02 --supports--> v09

[VERIFIED ROOT]
v07 = FALSE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v07
- v07 --refutes--> v01
- v01 --refutes--> v00
- v06 --refutes--> v03
- v08 --refutes--> v09
- v06 --supports--> v05
- v04 --refutes--> v06
- v06 --supports--> v08
- v07 --supports--> v02

[VERIFIED ROOT]
v04 = FALSE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v05
- v07 --supports--> v09
- v03 --refutes--> v08
- v08 --refutes--> v07
- v02 --refutes--> v01
- v00 --refutes--> v02
- v06 --refutes--> v00
- v02 --refutes--> v04
- v02 --refutes--> v03

[VERIFIED ROOT]
v06 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --supports--> v07
- v06 --supports--> v00
- v07 --refutes--> v01
- v00 --supports--> v03
- v06 --refutes--> v05
- v06 --refutes--> v09
- v01 --supports--> v06
- v00 --refutes--> v08
- v04 --supports--> v02

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v05
- v09 --refutes--> v04
- v06 --refutes--> v01
- v04 --supports--> v08
- v03 --supports--> v00
- v00 --refutes--> v07
- v00 --supports--> v06
- v02 --refutes--> v03
- v04 --refutes--> v02

[VERIFIED ROOT]
v09 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v04
- v01 --supports--> v07
- v08 --supports--> v09
- v04 --refutes--> v01
- v06 --supports--> v05
- v00 --supports--> v06
- v09 --supports--> v00
- v04 --supports--> v02
- v09 --supports--> v03

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v01
- v07 --supports--> v00
- v03 --refutes--> v07
- v02 --refutes--> v09
- v07 --refutes--> v05
- v09 --supports--> v08
- v08 --supports--> v03
- v02 --refutes--> v04
- v02 --supports--> v06

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v06
- v01 --refutes--> v07
- v03 --supports--> v01
- v02 --supports--> v03
- v06 --refutes--> v09
- v02 --refutes--> v05
- v01 --supports--> v08
- v04 --refutes--> v00
- v04 --supports--> v02

[VERIFIED ROOT]
v04 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --refutes--> v08
- v04 --refutes--> v05
- v08 --supports--> v04
- v02 --refutes--> v09
- v03 --refutes--> v07
- v07 --supports--> v01
- v04 --supports--> v03
- v04 --refutes--> v00
- v09 --supports--> v06

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v02
- v06 --supports--> v08
- v08 --refutes--> v00
- v03 --refutes--> v01
- v04 --supports--> v05
- v06 --supports--> v09
- v01 --supports--> v04
- v08 --supports--> v07
- v05 --supports--> v06

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --supports--> v00
- v08 --supports--> v09
- v01 --supports--> v04
- v05 --refutes--> v06
- v01 --refutes--> v07
- v05 --supports--> v08
- v09 --refutes--> v01
- v00 --refutes--> v03
- v02 --refutes--> v05

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v00
- v09 --supports--> v06
- v08 --supports--> v09
- v06 --supports--> v01
- v04 --refutes--> v05
- v08 --supports--> v02
- v03 --refutes--> v04
- v08 --refutes--> v07
- v05 --refutes--> v08

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v05
- v09 --supports--> v07
- v04 --refutes--> v09
- v02 --supports--> v00
- v00 --supports--> v08
- v05 --supports--> v02
- v02 --supports--> v03
- v09 --refutes--> v01
- v09 --supports--> v06

[VERIFIED ROOT]
v04 = FALSE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v08
- v00 --refutes--> v01
- v09 --refutes--> v05
- v04 --supports--> v06
- v09 --supports--> v03
- v07 --refutes--> v04
- v00 --supports--> v07
- v08 --refutes--> v00
- v03 --supports--> v02

[VERIFIED ROOT]
v09 = TRUE

[TARGET]
v06

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v08
- v06 --refutes--> v07
- v06 --refutes--> v09
- v02 --refutes--> v05
- v04 --supports--> v00
- v03 --supports--> v04
- v02 --refutes--> v06
- v07 --supports--> v01
- v01 --refutes--> v03

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --supports--> v06
- v09 --refutes--> v01
- v04 --supports--> v02
- v02 --refutes--> v00
- v01 --refutes--> v03
- v01 --supports--> v05
- v07 --refutes--> v09
- v08 --supports--> v04
- v02 --supports--> v07

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v00
- v02 --supports--> v01
- v02 --supports--> v08
- v00 --supports--> v04
- v00 --supports--> v03
- v01 --refutes--> v05
- v09 --refutes--> v06
- v05 --supports--> v09
- v06 --refutes--> v07

[VERIFIED ROOT]
v02 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v03
- v01 --refutes--> v04
- v07 --supports--> v00
- v09 --supports--> v02
- v06 --supports--> v01
- v09 --refutes--> v05
- v07 --refutes--> v09
- v08 --refutes--> v07
- v04 --supports--> v08

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v06
- v00 --supports--> v04
- v07 --supports--> v09
- v06 --supports--> v03
- v09 --refutes--> v02
- v08 --supports--> v07
- v01 --supports--> v00
- v06 --supports--> v05
- v09 --refutes--> v01

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --supports--> v08
- v01 --supports--> v04
- v00 --refutes--> v07
- v02 --refutes--> v03
- v08 --refutes--> v02
- v03 --refutes--> v05
- v00 --refutes--> v06
- v03 --refutes--> v00
- v03 --supports--> v09

[VERIFIED ROOT]
v01 = FALSE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --refutes--> v01
- v07 --supports--> v02
- v00 --refutes--> v09
- v09 --supports--> v06
- v02 --supports--> v00
- v03 --supports--> v08
- v09 --supports--> v05
- v09 --refutes--> v04
- v08 --refutes--> v07

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v06

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v09
- v05 --supports--> v06
- v08 --supports--> v02
- v03 --refutes--> v08
- v05 --supports--> v07
- v03 --refutes--> v01
- v08 --supports--> v00
- v00 --refutes--> v04
- v09 --supports--> v03

[VERIFIED ROOT]
v05 = TRUE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --supports--> v06
- v09 --supports--> v05
- v03 --supports--> v00
- v03 --supports--> v09
- v04 --supports--> v03
- v01 --supports--> v04
- v05 --supports--> v02
- v05 --refutes--> v07
- v02 --refutes--> v08

[VERIFIED ROOT]
v01 = FALSE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v02
- v02 --supports--> v00
- v06 --supports--> v01
- v00 --supports--> v04
- v05 --supports--> v07
- v06 --supports--> v08
- v00 --supports--> v09
- v08 --supports--> v03
- v04 --supports--> v05

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --refutes--> v05
- v09 --supports--> v07
- v05 --supports--> v01
- v08 --refutes--> v00
- v08 --supports--> v04
- v09 --refutes--> v03
- v01 --refutes--> v06
- v06 --supports--> v08
- v00 --refutes--> v02

[VERIFIED ROOT]
v09 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v08
- v01 --supports--> v00
- v08 --supports--> v09
- v05 --refutes--> v03
- v09 --refutes--> v02
- v08 --supports--> v04
- v06 --supports--> v05
- v07 --supports--> v06
- v05 --refutes--> v01

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v03
- v05 --refutes--> v08
- v02 --supports--> v01
- v06 --supports--> v07
- v01 --refutes--> v05
- v08 --refutes--> v09
- v07 --supports--> v00
- v05 --refutes--> v04
- v07 --supports--> v02

[VERIFIED ROOT]
v06 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v01
- v09 --refutes--> v07
- v06 --refutes--> v00
- v01 --supports--> v05
- v06 --refutes--> v08
- v04 --supports--> v06
- v01 --supports--> v02
- v03 --refutes--> v04
- v01 --refutes--> v03

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v03
- v04 --refutes--> v07
- v04 --supports--> v06
- v05 --refutes--> v09
- v01 --supports--> v08
- v09 --supports--> v01
- v08 --refutes--> v02
- v07 --refutes--> v05
- v08 --refutes--> v00

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --supports--> v09
- v09 --supports--> v07
- v03 --supports--> v04
- v05 --refutes--> v02
- v03 --refutes--> v08
- v02 --refutes--> v01
- v07 --supports--> v03
- v05 --supports--> v06
- v00 --refutes--> v05

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --supports--> v07
- v02 --refutes--> v08
- v09 --supports--> v00
- v08 --refutes--> v01
- v00 --refutes--> v02
- v08 --refutes--> v05
- v01 --refutes--> v04
- v07 --supports--> v06
- v08 --supports--> v03

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v06

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v00
- v04 --supports--> v07
- v09 --supports--> v05
- v03 --supports--> v09
- v03 --refutes--> v02
- v07 --supports--> v01
- v05 --supports--> v08
- v05 --refutes--> v04
- v06 --refutes--> v03

[VERIFIED ROOT]
v06 = FALSE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v08
- v08 --refutes--> v02
- v07 --refutes--> v06
- v01 --supports--> v07
- v00 --refutes--> v05
- v09 --supports--> v01
- v04 --refutes--> v03
- v04 --refutes--> v09
- v00 --refutes--> v04

[VERIFIED ROOT]
v00 = FALSE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --refutes--> v08
- v03 --supports--> v01
- v09 --supports--> v02
- v05 --supports--> v09
- v00 --supports--> v03
- v00 --refutes--> v06
- v00 --supports--> v07
- v04 --supports--> v00
- v08 --refutes--> v04

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v00
- v04 --supports--> v01
- v00 --supports--> v09
- v09 --supports--> v07
- v03 --refutes--> v08
- v03 --supports--> v04
- v04 --supports--> v02
- v09 --refutes--> v06
- v07 --refutes--> v05

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v04
- v06 --refutes--> v01
- v00 --supports--> v03
- v07 --supports--> v09
- v03 --refutes--> v05
- v08 --supports--> v07
- v06 --refutes--> v08
- v07 --supports--> v02
- v09 --refutes--> v00

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v09
- v09 --refutes--> v03
- v06 --supports--> v00
- v00 --refutes--> v08
- v09 --refutes--> v02
- v09 --supports--> v07
- v04 --refutes--> v05
- v07 --refutes--> v01
- v05 --refutes--> v06

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v05
- v03 --supports--> v04
- v06 --supports--> v02
- v06 --supports--> v09
- v05 --refutes--> v07
- v02 --supports--> v08
- v05 --refutes--> v00
- v08 --refutes--> v03
- v01 --supports--> v06

[VERIFIED ROOT]
v01 = TRUE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --supports--> v02
- v01 --supports--> v08
- v05 --supports--> v06
- v08 --supports--> v09
- v09 --supports--> v00
- v03 --refutes--> v01
- v01 --supports--> v04
- v01 --supports--> v07
- v05 --supports--> v03

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v02
- v09 --supports--> v00
- v07 --refutes--> v01
- v06 --supports--> v07
- v01 --refutes--> v03
- v00 --refutes--> v04
- v01 --refutes--> v08
- v04 --refutes--> v06
- v07 --refutes--> v05

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --supports--> v09
- v02 --refutes--> v01
- v06 --refutes--> v03
- v01 --supports--> v00
- v08 --supports--> v05
- v01 --refutes--> v04
- v03 --supports--> v02
- v05 --refutes--> v06
- v08 --supports--> v07

[VERIFIED ROOT]
v08 = FALSE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --supports--> v09
- v07 --supports--> v03
- v04 --refutes--> v01
- v05 --supports--> v02
- v07 --refutes--> v08
- v09 --refutes--> v00
- v00 --supports--> v07
- v05 --refutes--> v06
- v02 --refutes--> v04

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v03
- v07 --supports--> v01
- v00 --supports--> v04
- v01 --refutes--> v02
- v06 --supports--> v00
- v07 --supports--> v09
- v01 --supports--> v08
- v02 --refutes--> v06
- v05 --supports--> v07

[VERIFIED ROOT]
v05 = TRUE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --supports--> v04
- v01 --supports--> v00
- v00 --refutes--> v07
- v09 --refutes--> v01
- v09 --refutes--> v02
- v07 --supports--> v03
- v06 --refutes--> v09
- v03 --supports--> v08
- v07 --refutes--> v05

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v08
- v02 --supports--> v09
- v06 --supports--> v00
- v09 --supports--> v07
- v01 --supports--> v04
- v05 --supports--> v01
- v04 --supports--> v02
- v09 --supports--> v06
- v02 --refutes--> v03

[VERIFIED ROOT]
v05 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v03
- v04 --refutes--> v08
- v03 --refutes--> v00
- v00 --refutes--> v01
- v04 --supports--> v02
- v05 --refutes--> v07
- v07 --supports--> v04
- v04 --supports--> v09
- v00 --supports--> v05

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v05
- v09 --supports--> v06
- v00 --refutes--> v07
- v04 --supports--> v08
- v07 --refutes--> v02
- v09 --supports--> v03
- v07 --supports--> v04
- v05 --refutes--> v00
- v03 --refutes--> v01

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --supports--> v07
- v09 --refutes--> v03
- v01 --supports--> v00
- v07 --supports--> v06
- v09 --supports--> v04
- v02 --supports--> v09
- v02 --refutes--> v05
- v06 --refutes--> v02
- v03 --refutes--> v08

[VERIFIED ROOT]
v01 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --supports--> v08
- v06 --refutes--> v09
- v06 --refutes--> v03
- v07 --supports--> v06
- v09 --refutes--> v05
- v01 --supports--> v04
- v08 --supports--> v00
- v08 --refutes--> v02
- v09 --supports--> v01

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v01
- v01 --supports--> v03
- v02 --refutes--> v07
- v01 --supports--> v00
- v08 --supports--> v02
- v00 --refutes--> v09
- v09 --refutes--> v05
- v09 --refutes--> v08
- v06 --refutes--> v04

[VERIFIED ROOT]
v06 = FALSE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --refutes--> v01
- v01 --refutes--> v03
- v06 --refutes--> v05
- v07 --supports--> v08
- v06 --refutes--> v00
- v05 --refutes--> v09
- v06 --refutes--> v04
- v07 --refutes--> v02
- v02 --refutes--> v06

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --refutes--> v03
- v03 --refutes--> v02
- v04 --refutes--> v07
- v04 --supports--> v06
- v09 --supports--> v00
- v05 --refutes--> v09
- v08 --refutes--> v05
- v06 --supports--> v01
- v03 --supports--> v04

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v00
- v01 --supports--> v08
- v04 --supports--> v06
- v04 --refutes--> v02
- v09 --supports--> v01
- v07 --refutes--> v03
- v03 --refutes--> v04
- v04 --refutes--> v09
- v08 --refutes--> v05

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v02
- v02 --supports--> v08
- v01 --refutes--> v07
- v06 --refutes--> v05
- v09 --supports--> v00
- v08 --supports--> v04
- v06 --supports--> v03
- v01 --supports--> v09
- v04 --refutes--> v06

[VERIFIED ROOT]
v01 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v03
- v08 --refutes--> v09
- v06 --refutes--> v00
- v02 --supports--> v05
- v01 --supports--> v02
- v02 --supports--> v04
- v09 --refutes--> v01
- v04 --refutes--> v06
- v09 --refutes--> v07

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v08
- v06 --refutes--> v00
- v05 --refutes--> v02
- v04 --supports--> v07
- v09 --refutes--> v03
- v06 --refutes--> v01
- v05 --refutes--> v06
- v07 --refutes--> v05
- v00 --supports--> v09

[VERIFIED ROOT]
v04 = FALSE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --refutes--> v02
- v07 --supports--> v05
- v03 --supports--> v08
- v00 --supports--> v03
- v08 --refutes--> v01
- v04 --refutes--> v09
- v09 --refutes--> v07
- v04 --refutes--> v06
- v08 --refutes--> v04

[VERIFIED ROOT]
v00 = FALSE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --supports--> v06
- v07 --supports--> v04
- v06 --supports--> v02
- v06 --refutes--> v01
- v01 --refutes--> v03
- v03 --refutes--> v08
- v04 --refutes--> v00
- v07 --refutes--> v09
- v04 --supports--> v05

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --refutes--> v05
- v05 --supports--> v00
- v08 --supports--> v02
- v07 --supports--> v04
- v01 --refutes--> v09
- v09 --supports--> v08
- v05 --supports--> v06
- v01 --supports--> v03
- v00 --refutes--> v01

[VERIFIED ROOT]
v07 = FALSE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --supports--> v01
- v00 --supports--> v04
- v07 --supports--> v08
- v05 --refutes--> v06
- v02 --supports--> v09
- v08 --refutes--> v02
- v06 --supports--> v00
- v07 --supports--> v03
- v02 --refutes--> v05

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --supports--> v08
- v07 --refutes--> v04
- v05 --refutes--> v09
- v04 --supports--> v01
- v04 --supports--> v00
- v06 --refutes--> v05
- v08 --refutes--> v02
- v04 --refutes--> v03
- v01 --supports--> v06

[VERIFIED ROOT]
v07 = FALSE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v06
- v03 --supports--> v02
- v06 --refutes--> v07
- v06 --supports--> v05
- v00 --refutes--> v08
- v02 --supports--> v00
- v06 --refutes--> v09
- v04 --refutes--> v03
- v06 --refutes--> v01

[VERIFIED ROOT]
v04 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v08
- v05 --supports--> v07
- v01 --supports--> v05
- v07 --supports--> v02
- v08 --refutes--> v01
- v05 --refutes--> v03
- v08 --supports--> v09
- v00 --refutes--> v06
- v02 --supports--> v04

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v01
- v08 --supports--> v04
- v01 --supports--> v07
- v04 --supports--> v06
- v02 --supports--> v03
- v03 --refutes--> v00
- v03 --supports--> v09
- v07 --supports--> v02
- v08 --supports--> v05

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v03
- v03 --refutes--> v00
- v03 --refutes--> v04
- v06 --refutes--> v01
- v07 --supports--> v06
- v00 --refutes--> v07
- v07 --refutes--> v09
- v05 --refutes--> v08
- v05 --refutes--> v02

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v04
- v04 --refutes--> v00
- v08 --supports--> v06
- v01 --refutes--> v08
- v02 --refutes--> v07
- v08 --supports--> v03
- v08 --supports--> v05
- v08 --supports--> v09
- v00 --supports--> v02

[VERIFIED ROOT]
v01 = FALSE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --refutes--> v08
- v02 --supports--> v06
- v06 --supports--> v05
- v05 --refutes--> v04
- v07 --supports--> v09
- v09 --supports--> v02
- v01 --refutes--> v00
- v01 --supports--> v07
- v01 --supports--> v03

[VERIFIED ROOT]
v01 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v02
- v00 --supports--> v07
- v09 --supports--> v03
- v08 --refutes--> v04
- v05 --supports--> v06
- v06 --supports--> v00
- v00 --supports--> v09
- v00 --supports--> v01
- v02 --refutes--> v05

[VERIFIED ROOT]
v08 = FALSE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v05
- v06 --supports--> v02
- v07 --supports--> v09
- v05 --supports--> v04
- v06 --supports--> v00
- v01 --supports--> v07
- v08 --supports--> v03
- v05 --refutes--> v01
- v07 --supports--> v06

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --supports--> v09
- v07 --refutes--> v08
- v02 --refutes--> v07
- v03 --refutes--> v05
- v03 --refutes--> v04
- v07 --supports--> v00
- v09 --refutes--> v03
- v05 --supports--> v06
- v08 --supports--> v01

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v06

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v03
- v03 --refutes--> v00
- v05 --supports--> v09
- v03 --supports--> v01
- v04 --refutes--> v02
- v06 --supports--> v05
- v06 --supports--> v07
- v08 --supports--> v04
- v01 --refutes--> v06

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v00
- v00 --refutes--> v05
- v08 --supports--> v02
- v08 --supports--> v04
- v07 --supports--> v09
- v07 --refutes--> v03
- v03 --supports--> v08
- v05 --supports--> v07
- v05 --supports--> v06

[VERIFIED ROOT]
v01 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v04
- v01 --supports--> v03
- v07 --supports--> v08
- v05 --refutes--> v06
- v01 --supports--> v02
- v06 --supports--> v07
- v00 --refutes--> v01
- v08 --supports--> v09
- v01 --refutes--> v05

[VERIFIED ROOT]
v00 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v08
- v04 --refutes--> v07
- v05 --refutes--> v06
- v01 --refutes--> v03
- v06 --refutes--> v01
- v06 --supports--> v02
- v00 --refutes--> v04
- v00 --supports--> v09
- v07 --refutes--> v05

[VERIFIED ROOT]
v00 = FALSE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --supports--> v02
- v02 --refutes--> v03
- v08 --supports--> v09
- v05 --supports--> v06
- v03 --refutes--> v05
- v02 --supports--> v07
- v04 --supports--> v01
- v09 --supports--> v04
- v05 --supports--> v00

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v02 --refutes--> v04
- v07 --supports--> v00
- v07 --refutes--> v09
- v08 --refutes--> v03
- v04 --supports--> v01
- v01 --supports--> v07
- v07 --refutes--> v06
- v00 --supports--> v05
- v08 --refutes--> v02

[VERIFIED ROOT]
v08 = FALSE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --refutes--> v09
- v00 --supports--> v06
- v09 --refutes--> v05
- v06 --refutes--> v03
- v06 --supports--> v02
- v09 --refutes--> v04
- v02 --refutes--> v08
- v05 --refutes--> v00
- v06 --supports--> v01

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v08

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v03
- v09 --supports--> v08
- v00 --supports--> v09
- v04 --refutes--> v07
- v08 --refutes--> v06
- v00 --supports--> v05
- v07 --supports--> v00
- v06 --refutes--> v01
- v04 --supports--> v02

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --supports--> v06
- v06 --supports--> v04
- v05 --refutes--> v01
- v05 --refutes--> v02
- v08 --refutes--> v07
- v01 --refutes--> v08
- v00 --refutes--> v09
- v04 --supports--> v03
- v04 --supports--> v00

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v02
- v06 --refutes--> v00
- v02 --refutes--> v08
- v03 --refutes--> v01
- v06 --refutes--> v05
- v00 --supports--> v03
- v07 --supports--> v06
- v03 --refutes--> v09
- v02 --refutes--> v07

[VERIFIED ROOT]
v04 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v02
- v08 --refutes--> v07
- v02 --supports--> v00
- v02 --refutes--> v04
- v04 --supports--> v09
- v08 --refutes--> v03
- v09 --refutes--> v08
- v05 --refutes--> v06
- v02 --refutes--> v01

[VERIFIED ROOT]
v05 = TRUE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --refutes--> v08
- v02 --supports--> v07
- v08 --refutes--> v00
- v09 --refutes--> v05
- v05 --supports--> v01
- v08 --refutes--> v06
- v05 --refutes--> v03
- v06 --refutes--> v09
- v05 --supports--> v04

[VERIFIED ROOT]
v02 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v06 --supports--> v05
- v07 --refutes--> v09
- v04 --supports--> v08
- v08 --supports--> v07
- v05 --supports--> v02
- v05 --refutes--> v01
- v07 --supports--> v00
- v09 --supports--> v06
- v09 --refutes--> v03

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --refutes--> v09
- v09 --refutes--> v01
- v05 --refutes--> v08
- v09 --supports--> v04
- v04 --supports--> v07
- v06 --refutes--> v05
- v07 --refutes--> v03
- v00 --supports--> v06
- v07 --refutes--> v02

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v08 --refutes--> v09
- v08 --refutes--> v02
- v00 --supports--> v01
- v00 --supports--> v05
- v05 --supports--> v07
- v04 --supports--> v00
- v06 --refutes--> v03
- v03 --refutes--> v08
- v08 --supports--> v04

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v07

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v00 --refutes--> v08
- v00 --refutes--> v07
- v01 --supports--> v06
- v03 --refutes--> v02
- v04 --refutes--> v03
- v05 --refutes--> v04
- v07 --refutes--> v01
- v04 --supports--> v09
- v01 --supports--> v05

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --supports--> v04
- v00 --supports--> v06
- v06 --supports--> v03
- v01 --supports--> v02
- v06 --refutes--> v09
- v07 --supports--> v08
- v05 --refutes--> v00
- v03 --supports--> v07
- v07 --supports--> v01

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --refutes--> v04
- v07 --refutes--> v00
- v07 --supports--> v02
- v08 --supports--> v03
- v05 --supports--> v01
- v03 --refutes--> v06
- v00 --supports--> v08
- v05 --refutes--> v09
- v06 --refutes--> v05

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v05
- v03 --refutes--> v06
- v08 --refutes--> v01
- v06 --supports--> v00
- v00 --supports--> v07
- v02 --supports--> v04
- v00 --refutes--> v09
- v08 --supports--> v02
- v07 --supports--> v08

[VERIFIED ROOT]
v03 = FALSE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --supports--> v02
- v00 --supports--> v01
- v00 --refutes--> v04
- v02 --refutes--> v08
- v06 --refutes--> v07
- v08 --refutes--> v00
- v04 --supports--> v03
- v04 --supports--> v06
- v06 --refutes--> v09

[VERIFIED ROOT]
v05 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --supports--> v00
- v00 --supports--> v05
- v05 --refutes--> v02
- v00 --refutes--> v09
- v03 --supports--> v04
- v06 --supports--> v08
- v05 --refutes--> v07
- v08 --supports--> v03
- v03 --refutes--> v01

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v09 --supports--> v03
- v06 --refutes--> v05
- v08 --supports--> v09
- v07 --refutes--> v06
- v09 --supports--> v00
- v06 --refutes--> v04
- v00 --supports--> v07
- v02 --supports--> v01
- v06 --supports--> v02

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --supports--> v09
- v01 --refutes--> v05
- v04 --refutes--> v07
- v03 --supports--> v02
- v04 --refutes--> v06
- v09 --supports--> v04
- v06 --supports--> v00
- v03 --refutes--> v08
- v05 --supports--> v03

[VERIFIED ROOT]
v01 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --supports--> v07
- v00 --supports--> v02
- v09 --supports--> v00
- v02 --supports--> v03
- v07 --refutes--> v01
- v07 --supports--> v04
- v06 --supports--> v08
- v02 --refutes--> v06
- v06 --supports--> v05

[VERIFIED ROOT]
v09 = TRUE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --refutes--> v09
- v04 --supports--> v02
- v09 --supports--> v08
- v04 --supports--> v01
- v09 --refutes--> v07
- v06 --refutes--> v04
- v00 --supports--> v06
- v07 --refutes--> v00
- v09 --supports--> v03

[VERIFIED ROOT]
v05 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v06
- v02 --supports--> v03
- v09 --refutes--> v02
- v08 --refutes--> v00
- v03 --refutes--> v01
- v02 --refutes--> v04
- v02 --supports--> v07
- v01 --refutes--> v05
- v05 --refutes--> v08

[VERIFIED ROOT]
v09 = TRUE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --refutes--> v02
- v08 --refutes--> v01
- v08 --supports--> v05
- v02 --refutes--> v03
- v09 --supports--> v08
- v05 --refutes--> v07
- v02 --refutes--> v00
- v05 --refutes--> v04
- v00 --supports--> v06

[VERIFIED ROOT]
v09 = FALSE

[TARGET]
v06

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v06
- v06 --supports--> v02
- v03 --supports--> v08
- v00 --supports--> v07
- v05 --refutes--> v03
- v06 --refutes--> v05
- v05 --supports--> v09
- v08 --refutes--> v01
- v07 --refutes--> v04

[VERIFIED ROOT]
v00 = TRUE

[TARGET]
v01

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v05
- v00 --supports--> v09
- v02 --refutes--> v06
- v01 --supports--> v07
- v03 --refutes--> v02
- v07 --supports--> v04
- v04 --refutes--> v08
- v02 --supports--> v01
- v04 --supports--> v00

[VERIFIED ROOT]
v03 = FALSE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v03 --refutes--> v02
- v05 --refutes--> v01
- v08 --refutes--> v09
- v04 --supports--> v05
- v05 --supports--> v00
- v05 --supports--> v07
- v03 --refutes--> v06
- v06 --refutes--> v08
- v01 --refutes--> v03

[VERIFIED ROOT]
v04 = TRUE

[TARGET]
v09

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --refutes--> v06
- v05 --supports--> v03
- v07 --refutes--> v01
- v01 --refutes--> v05
- v05 --supports--> v09
- v08 --refutes--> v07
- v08 --supports--> v00
- v03 --refutes--> v04
- v04 --supports--> v02

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v02

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v04 --supports--> v00
- v04 --supports--> v05
- v08 --refutes--> v03
- v07 --supports--> v06
- v04 --refutes--> v01
- v09 --refutes--> v04
- v03 --refutes--> v07
- v03 --supports--> v02
- v06 --supports--> v09

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v05 --refutes--> v07
- v08 --refutes--> v04
- v09 --refutes--> v05
- v05 --refutes--> v02
- v04 --supports--> v01
- v06 --supports--> v09
- v09 --supports--> v00
- v04 --supports--> v03
- v02 --refutes--> v08

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v03

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v01 --refutes--> v08
- v06 --refutes--> v00
- v03 --refutes--> v06
- v09 --refutes--> v02
- v00 --refutes--> v09
- v09 --refutes--> v05
- v01 --supports--> v03
- v09 --refutes--> v04
- v07 --refutes--> v01

[VERIFIED ROOT]
v07 = TRUE

[TARGET]
v04

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v08
- v06 --refutes--> v04
- v04 --refutes--> v05
- v08 --supports--> v09
- v09 --refutes--> v06
- v04 --refutes--> v01
- v06 --supports--> v02
- v03 --refutes--> v07
- v03 --supports--> v00

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v05

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.


You are LiveGraph. Follow directed graph edges. The relation 'supports' preserves a Boolean truth value and 'refutes' negates it. Output exactly one token: TRUE or FALSE.

[DIRECTED GRAPH; EDGE ORDER IS ARBITRARY]
- v07 --supports--> v09
- v03 --supports--> v07
- v09 --supports--> v08
- v02 --supports--> v01
- v07 --refutes--> v05
- v09 --refutes--> v04
- v08 --refutes--> v02
- v01 --refutes--> v00
- v01 --refutes--> v06

[VERIFIED ROOT]
v03 = FALSE

[TARGET]
v00

[QUERY]
Propagate truth from the verified root to the target. Output exactly TRUE or FALSE.