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]
- v11 --refutes--> v08
- v0b --supports--> v0e
- v08 --supports--> v15
- v16 --refutes--> v0f
- v04 --refutes--> v13
- v03 --supports--> v00
- v00 --supports--> v11
- v14 --refutes--> v10
- v0c --refutes--> v06
- v14 --supports--> v02
- v0b --supports--> v0c
- v0a --refutes--> v05
- v18 --supports--> v0d
- v0a --refutes--> v18
- v04 --refutes--> v01
- v15 --supports--> v0b
- v0f --refutes--> v14
- v0d --refutes--> v03
- v12 --refutes--> v07
- v02 --supports--> v04
- v0c --supports--> v09
- v0c --refutes--> v16
- v12 --supports--> v0a
- v03 --supports--> v17

[VERIFIED ROOT]
v12 = TRUE

[TARGET]
v13

[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]
- v0b --refutes--> v0c
- v07 --supports--> v03
- v0d --supports--> v14
- v04 --supports--> v00
- v16 --supports--> v05
- v18 --supports--> v10
- v17 --refutes--> v18
- v03 --supports--> v0a
- v17 --supports--> v08
- v11 --supports--> v0e
- v0f --supports--> v17
- v05 --refutes--> v07
- v00 --refutes--> v02
- v0f --supports--> v09
- v02 --supports--> v11
- v11 --supports--> v16
- v02 --supports--> v01
- v0c --supports--> v0f
- v18 --supports--> v12
- v13 --supports--> v0d
- v17 --refutes--> v06
- v0d --supports--> v04
- v0a --supports--> v0b
- v13 --refutes--> v15

[VERIFIED ROOT]
v13 = TRUE

[TARGET]
v10

[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]
- v0d --refutes--> v02
- v04 --refutes--> v0e
- v08 --supports--> v04
- v09 --refutes--> v17
- v13 --supports--> v09
- v16 --supports--> v06
- v0d --supports--> v00
- v0e --supports--> v0b
- v12 --supports--> v07
- v0b --supports--> v16
- v03 --refutes--> v13
- v06 --supports--> v14
- v14 --supports--> v15
- v0d --refutes--> v03
- v06 --refutes--> v0f
- v01 --refutes--> v12
- v07 --refutes--> v0d
- v05 --supports--> v11
- v14 --supports--> v0a
- v08 --refutes--> v0c
- v0a --refutes--> v10
- v0a --supports--> v01
- v0b --supports--> v18
- v09 --supports--> v05

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v11

[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]
- v10 --supports--> v00
- v18 --refutes--> v0a
- v08 --supports--> v17
- v01 --refutes--> v15
- v04 --supports--> v08
- v14 --supports--> v0f
- v16 --refutes--> v0e
- v00 --supports--> v0b
- v07 --supports--> v09
- v15 --refutes--> v04
- v06 --refutes--> v05
- v05 --supports--> v16
- v00 --supports--> v13
- v18 --refutes--> v12
- v17 --supports--> v18
- v0f --refutes--> v11
- v0e --refutes--> v01
- v0e --supports--> v02
- v00 --supports--> v0c
- v08 --supports--> v03
- v00 --refutes--> v14
- v09 --supports--> v10
- v0f --supports--> v06
- v15 --refutes--> v0d

[VERIFIED ROOT]
v07 = FALSE

[TARGET]
v12

[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]
- v0b --refutes--> v05
- v16 --supports--> v17
- v01 --refutes--> v11
- v13 --refutes--> v00
- v0a --supports--> v0c
- v17 --supports--> v0d
- v01 --supports--> v12
- v0a --refutes--> v18
- v14 --supports--> v08
- v10 --supports--> v15
- v11 --supports--> v16
- v0d --supports--> v02
- v16 --supports--> v04
- v0a --refutes--> v07
- v09 --supports--> v0e
- v02 --supports--> v0f
- v10 --supports--> v13
- v13 --supports--> v0a
- v05 --supports--> v01
- v06 --refutes--> v09
- v14 --supports--> v10
- v0e --refutes--> v14
- v0c --refutes--> v0b
- v0a --supports--> v03

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v0f

[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]
- v0d --refutes--> v0c
- v06 --supports--> v0d
- v11 --supports--> v06
- v0c --refutes--> v09
- v02 --supports--> v07
- v17 --supports--> v0a
- v05 --supports--> v13
- v16 --supports--> v11
- v0a --refutes--> v01
- v0a --supports--> v16
- v08 --supports--> v03
- v0d --supports--> v18
- v02 --refutes--> v0b
- v05 --supports--> v12
- v0f --supports--> v15
- v0c --refutes--> v02
- v0e --refutes--> v05
- v13 --refutes--> v04
- v0b --supports--> v14
- v04 --refutes--> v0f
- v0f --supports--> v00
- v00 --refutes--> v08
- v08 --supports--> v17
- v0b --supports--> v10

[VERIFIED ROOT]
v0e = FALSE

[TARGET]
v14

[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]
- v0f --refutes--> v0c
- v01 --refutes--> v08
- v0d --supports--> v18
- v0c --refutes--> v14
- v0c --refutes--> v0e
- v16 --supports--> v0d
- v0a --supports--> v03
- v0b --refutes--> v00
- v06 --supports--> v13
- v07 --supports--> v01
- v02 --refutes--> v0a
- v0c --supports--> v15
- v05 --supports--> v16
- v0e --supports--> v11
- v08 --refutes--> v05
- v03 --refutes--> v06
- v0b --supports--> v09
- v0d --supports--> v12
- v02 --refutes--> v04
- v17 --supports--> v02
- v06 --supports--> v0b
- v11 --refutes--> v17
- v01 --refutes--> v10
- v0d --supports--> v0f

[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]
- v08 --refutes--> v03
- v02 --refutes--> v00
- v09 --supports--> v0b
- v09 --refutes--> v16
- v0c --refutes--> v04
- v13 --refutes--> v0d
- v12 --refutes--> v0a
- v12 --refutes--> v02
- v14 --supports--> v01
- v17 --supports--> v07
- v04 --supports--> v09
- v14 --refutes--> v0e
- v08 --supports--> v18
- v18 --supports--> v14
- v11 --refutes--> v17
- v04 --refutes--> v0f
- v00 --refutes--> v08
- v16 --supports--> v15
- v0e --refutes--> v0c
- v0e --supports--> v05
- v11 --supports--> v06
- v07 --refutes--> v10
- v10 --refutes--> v12
- v16 --supports--> v13

[VERIFIED ROOT]
v11 = FALSE

[TARGET]
v0d

[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]
- v0d --supports--> v01
- v18 --refutes--> v14
- v13 --refutes--> v11
- v11 --refutes--> v0c
- v0a --supports--> v0d
- v17 --supports--> v0b
- v0e --supports--> v00
- v0b --supports--> v02
- v0c --supports--> v0f
- v0b --refutes--> v10
- v07 --refutes--> v03
- v01 --refutes--> v06
- v16 --refutes--> v0e
- v04 --refutes--> v05
- v07 --supports--> v13
- v0b --supports--> v08
- v05 --refutes--> v0a
- v14 --refutes--> v15
- v0f --refutes--> v16
- v0e --refutes--> v17
- v14 --refutes--> v04
- v07 --refutes--> v09
- v05 --refutes--> v12
- v01 --refutes--> v07

[VERIFIED ROOT]
v18 = 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--> v17
- v02 --supports--> v11
- v10 --supports--> v12
- v07 --supports--> v13
- v06 --supports--> v07
- v0b --supports--> v06
- v0a --supports--> v01
- v04 --supports--> v0a
- v05 --refutes--> v14
- v09 --refutes--> v15
- v09 --refutes--> v18
- v0e --refutes--> v09
- v0e --supports--> v0d
- v14 --supports--> v0f
- v07 --supports--> v0e
- v15 --refutes--> v16
- v16 --refutes--> v00
- v05 --supports--> v08
- v10 --refutes--> v0b
- v02 --refutes--> v04
- v0a --refutes--> v0c
- v03 --refutes--> v10
- v17 --supports--> v05
- v14 --refutes--> v02

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v0c

[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--> v17
- v08 --supports--> v0f
- v14 --refutes--> v0b
- v0d --supports--> v12
- v09 --supports--> v0d
- v03 --supports--> v0e
- v18 --supports--> v14
- v14 --refutes--> v05
- v0d --supports--> v0a
- v04 --supports--> v00
- v02 --supports--> v18
- v14 --refutes--> v07
- v0a --refutes--> v0c
- v04 --refutes--> v15
- v0d --refutes--> v06
- v10 --refutes--> v11
- v16 --refutes--> v02
- v0c --refutes--> v10
- v0e --supports--> v16
- v13 --supports--> v09
- v08 --supports--> v01
- v07 --refutes--> v04
- v04 --refutes--> v08
- v0f --supports--> v13

[VERIFIED ROOT]
v03 = TRUE

[TARGET]
v11

[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]
- v0c --refutes--> v07
- v0f --supports--> v04
- v11 --supports--> v0d
- v07 --refutes--> v12
- v13 --supports--> v0a
- v09 --supports--> v14
- v02 --refutes--> v18
- v0f --refutes--> v09
- v14 --supports--> v0b
- v06 --refutes--> v15
- v17 --refutes--> v08
- v03 --supports--> v06
- v06 --supports--> v16
- v0b --refutes--> v02
- v12 --refutes--> v13
- v18 --supports--> v11
- v17 --refutes--> v00
- v11 --refutes--> v10
- v07 --refutes--> v05
- v06 --refutes--> v17
- v08 --supports--> v0f
- v0a --supports--> v03
- v07 --supports--> v0e
- v0f --supports--> v01

[VERIFIED ROOT]
v0c = FALSE

[TARGET]
v10

[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--> v0c
- v08 --refutes--> v0e
- v0d --supports--> v10
- v13 --refutes--> v14
- v11 --supports--> v0b
- v12 --supports--> v0d
- v13 --supports--> v16
- v08 --supports--> v0f
- v0c --supports--> v07
- v0a --refutes--> v05
- v0d --supports--> v18
- v0b --refutes--> v01
- v0b --supports--> v04
- v10 --supports--> v02
- v0a --refutes--> v15
- v06 --refutes--> v09
- v09 --supports--> v13
- v17 --supports--> v06
- v07 --refutes--> v0a
- v04 --refutes--> v03
- v15 --supports--> v00
- v02 --supports--> v17
- v15 --refutes--> v08
- v13 --supports--> v11

[VERIFIED ROOT]
v12 = FALSE

[TARGET]
v0f

[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]
- v17 --refutes--> v08
- v06 --refutes--> v0d
- v14 --refutes--> v0c
- v18 --refutes--> v03
- v0b --refutes--> v00
- v0f --refutes--> v04
- v14 --refutes--> v01
- v0c --refutes--> v07
- v08 --supports--> v18
- v07 --refutes--> v05
- v09 --refutes--> v0f
- v11 --supports--> v02
- v15 --supports--> v0a
- v00 --refutes--> v16
- v11 --supports--> v17
- v03 --refutes--> v06
- v0a --supports--> v14
- v03 --supports--> v0e
- v14 --refutes--> v10
- v00 --supports--> v09
- v0b --refutes--> v13
- v05 --supports--> v0b
- v07 --supports--> v12
- v06 --supports--> v15

[VERIFIED ROOT]
v11 = 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]
- v13 --supports--> v17
- v07 --refutes--> v0e
- v0d --supports--> v18
- v15 --supports--> v09
- v06 --supports--> v03
- v12 --refutes--> v0a
- v13 --refutes--> v01
- v16 --refutes--> v02
- v14 --supports--> v07
- v12 --refutes--> v04
- v18 --supports--> v13
- v0f --supports--> v12
- v12 --refutes--> v11
- v03 --supports--> v0b
- v04 --refutes--> v00
- v09 --supports--> v05
- v07 --supports--> v16
- v01 --supports--> v0f
- v08 --refutes--> v0d
- v16 --supports--> v06
- v03 --refutes--> v10
- v14 --supports--> v0c
- v03 --supports--> v15
- v00 --refutes--> v14

[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]
- v11 --supports--> v05
- v01 --supports--> v17
- v00 --supports--> v16
- v0f --refutes--> v0c
- v0c --supports--> v06
- v0e --refutes--> v18
- v00 --refutes--> v13
- v07 --refutes--> v0d
- v15 --refutes--> v01
- v13 --supports--> v07
- v12 --supports--> v11
- v06 --supports--> v00
- v07 --supports--> v10
- v05 --refutes--> v0a
- v01 --refutes--> v08
- v17 --refutes--> v0b
- v05 --refutes--> v0e
- v0b --supports--> v0f
- v12 --supports--> v03
- v01 --supports--> v04
- v10 --supports--> v09
- v18 --supports--> v15
- v06 --refutes--> v14
- v17 --refutes--> v02

[VERIFIED ROOT]
v12 = 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--> v0e
- v12 --refutes--> v13
- v0d --supports--> v00
- v18 --refutes--> v06
- v15 --refutes--> v0d
- v10 --supports--> v01
- v13 --refutes--> v18
- v10 --supports--> v15
- v06 --supports--> v0f
- v0e --refutes--> v02
- v05 --supports--> v04
- v08 --supports--> v07
- v02 --refutes--> v14
- v03 --refutes--> v05
- v07 --supports--> v03
- v02 --supports--> v12
- v05 --supports--> v0c
- v11 --supports--> v10
- v02 --refutes--> v17
- v04 --supports--> v09
- v08 --refutes--> v0b
- v00 --supports--> v08
- v10 --supports--> v0a
- v15 --refutes--> v16

[VERIFIED ROOT]
v11 = TRUE

[TARGET]
v0f

[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
- v10 --supports--> v11
- v17 --refutes--> v16
- v0d --refutes--> v02
- v08 --refutes--> v0a
- v00 --supports--> v18
- v03 --supports--> v0e
- v06 --supports--> v10
- v01 --refutes--> v05
- v16 --supports--> v03
- v12 --refutes--> v17
- v04 --refutes--> v13
- v13 --supports--> v0c
- v0c --supports--> v0b
- v08 --refutes--> v01
- v05 --refutes--> v04
- v0e --supports--> v06
- v02 --supports--> v14
- v08 --refutes--> v0f
- v02 --supports--> v09
- v10 --supports--> v00
- v13 --supports--> v15
- v00 --supports--> v08
- v0c --refutes--> v0d

[VERIFIED ROOT]
v12 = 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]
- v0c --refutes--> v09
- v00 --supports--> v08
- v0e --supports--> v0a
- v09 --supports--> v07
- v15 --refutes--> v00
- v09 --supports--> v13
- v03 --supports--> v0e
- v12 --refutes--> v0c
- v04 --supports--> v0d
- v18 --refutes--> v03
- v15 --supports--> v0f
- v02 --supports--> v11
- v11 --refutes--> v0b
- v0a --supports--> v04
- v08 --refutes--> v05
- v04 --supports--> v06
- v04 --supports--> v14
- v09 --supports--> v16
- v0d --supports--> v12
- v08 --refutes--> v17
- v02 --refutes--> v01
- v07 --supports--> v02
- v11 --supports--> v10
- v17 --supports--> v18

[VERIFIED ROOT]
v15 = FALSE

[TARGET]
v0b

[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]
- v14 --supports--> v0d
- v0d --supports--> v15
- v11 --supports--> v16
- v12 --supports--> v17
- v11 --supports--> v00
- v14 --supports--> v06
- v08 --supports--> v0f
- v07 --supports--> v12
- v0e --supports--> v10
- v18 --supports--> v03
- v12 --supports--> v13
- v03 --refutes--> v0b
- v07 --supports--> v05
- v08 --supports--> v0a
- v04 --refutes--> v18
- v09 --refutes--> v0e
- v10 --refutes--> v02
- v03 --supports--> v09
- v17 --supports--> v11
- v10 --supports--> v14
- v15 --refutes--> v07
- v0f --supports--> v04
- v09 --refutes--> v01
- v00 --refutes--> v0c

[VERIFIED ROOT]
v08 = TRUE

[TARGET]
v0c

[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]
- v13 --supports--> v00
- v0c --supports--> v11
- v17 --refutes--> v0c
- v0e --refutes--> v09
- v18 --refutes--> v03
- v07 --supports--> v18
- v03 --supports--> v12
- v02 --refutes--> v05
- v0b --supports--> v02
- v05 --refutes--> v0a
- v06 --refutes--> v01
- v08 --refutes--> v0e
- v16 --supports--> v07
- v09 --supports--> v16
- v13 --refutes--> v17
- v09 --refutes--> v0f
- v15 --supports--> v13
- v17 --supports--> v14
- v04 --supports--> v08
- v06 --refutes--> v04
- v0c --supports--> v06
- v03 --refutes--> v0b
- v05 --refutes--> v0d
- v0b --refutes--> v10

[VERIFIED ROOT]
v15 = TRUE

[TARGET]
v0d

[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]
- v0e --refutes--> v0f
- v09 --refutes--> v18
- v10 --refutes--> v17
- v07 --refutes--> v05
- v18 --refutes--> v14
- v11 --refutes--> v10
- v08 --refutes--> v15
- v13 --refutes--> v08
- v15 --refutes--> v0e
- v17 --supports--> v01
- v01 --refutes--> v0a
- v0e --supports--> v0b
- v0f --refutes--> v02
- v01 --refutes--> v03
- v0f --supports--> v06
- v18 --supports--> v16
- v10 --supports--> v0c
- v07 --supports--> v0d
- v0d --supports--> v13
- v00 --supports--> v12
- v16 --refutes--> v00
- v0f --refutes--> v09
- v0a --supports--> v07
- v17 --refutes--> v04

[VERIFIED ROOT]
v11 = TRUE

[TARGET]
v12

[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]
- v0a --supports--> v12
- v03 --supports--> v02
- v0c --refutes--> v16
- v16 --refutes--> v00
- v09 --refutes--> v01
- v0c --refutes--> v08
- v04 --supports--> v03
- v0f --refutes--> v17
- v02 --supports--> v15
- v16 --supports--> v0f
- v05 --supports--> v14
- v11 --supports--> v18
- v05 --supports--> v0a
- v01 --refutes--> v0b
- v01 --refutes--> v06
- v18 --supports--> v0c
- v0a --refutes--> v11
- v13 --refutes--> v05
- v04 --supports--> v07
- v10 --refutes--> v04
- v15 --refutes--> v13
- v0a --supports--> v0d
- v06 --refutes--> v10
- v05 --supports--> v0e

[VERIFIED ROOT]
v09 = TRUE

[TARGET]
v17

[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--> v15
- v07 --refutes--> v0c
- v00 --refutes--> v11
- v18 --supports--> v12
- v0b --supports--> v08
- v11 --refutes--> v09
- v10 --refutes--> v0f
- v09 --supports--> v03
- v0b --refutes--> v02
- v0a --supports--> v06
- v16 --refutes--> v10
- v0d --supports--> v04
- v04 --refutes--> v07
- v0d --supports--> v17
- v15 --supports--> v05
- v0d --refutes--> v14
- v03 --refutes--> v13
- v0a --refutes--> v01
- v07 --refutes--> v18
- v03 --supports--> v0a
- v05 --supports--> v0b
- v10 --refutes--> v0d
- v12 --supports--> v00
- v15 --refutes--> v0e

[VERIFIED ROOT]
v16 = 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]
- v01 --supports--> v13
- v0b --supports--> v10
- v03 --refutes--> v01
- v05 --refutes--> v03
- v15 --supports--> v0b
- v00 --refutes--> v17
- v11 --refutes--> v0a
- v01 --refutes--> v12
- v08 --supports--> v11
- v0a --refutes--> v16
- v02 --supports--> v00
- v0a --refutes--> v09
- v06 --refutes--> v07
- v10 --refutes--> v06
- v05 --refutes--> v0f
- v09 --supports--> v15
- v14 --supports--> v0e
- v07 --refutes--> v04
- v02 --supports--> v18
- v00 --refutes--> v05
- v0b --supports--> v0d
- v07 --refutes--> v0c
- v0e --refutes--> v08
- v07 --refutes--> v02

[VERIFIED ROOT]
v14 = TRUE

[TARGET]
v13

[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]
- v0f --refutes--> v0a
- v02 --supports--> v11
- v0a --supports--> v15
- v11 --supports--> v03
- v10 --supports--> v09
- v03 --refutes--> v10
- v0d --supports--> v17
- v13 --refutes--> v0d
- v08 --refutes--> v02
- v0d --refutes--> v14
- v0a --supports--> v0e
- v05 --supports--> v12
- v0c --refutes--> v06
- v07 --supports--> v04
- v10 --refutes--> v05
- v04 --refutes--> v00
- v0c --supports--> v0f
- v0a --supports--> v16
- v0b --refutes--> v07
- v0b --supports--> v01
- v04 --refutes--> v08
- v12 --supports--> v13
- v11 --refutes--> v18
- v15 --supports--> v0b

[VERIFIED ROOT]
v0c = TRUE

[TARGET]
v14

[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]
- v10 --refutes--> v02
- v14 --supports--> v12
- v07 --supports--> v10
- v08 --refutes--> v18
- v04 --supports--> v0d
- v09 --refutes--> v0a
- v06 --supports--> v15
- v17 --refutes--> v13
- v11 --refutes--> v01
- v17 --refutes--> v06
- v0d --supports--> v0f
- v0a --refutes--> v03
- v09 --supports--> v0b
- v12 --supports--> v17
- v02 --refutes--> v0c
- v06 --supports--> v09
- v17 --refutes--> v16
- v0f --refutes--> v11
- v08 --refutes--> v05
- v05 --refutes--> v00
- v02 --supports--> v04
- v07 --refutes--> v0e
- v05 --supports--> v07
- v03 --refutes--> v08

[VERIFIED ROOT]
v14 = 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 --supports--> v0d
- v00 --refutes--> v0a
- v0f --refutes--> v08
- v14 --supports--> v11
- v14 --supports--> v01
- v17 --refutes--> v14
- v0e --refutes--> v02
- v12 --refutes--> v0e
- v18 --supports--> v13
- v0f --supports--> v07
- v10 --supports--> v12
- v0c --supports--> v15
- v00 --refutes--> v0c
- v09 --supports--> v10
- v14 --refutes--> v06
- v08 --refutes--> v05
- v0d --refutes--> v03
- v02 --refutes--> v0b
- v09 --refutes--> v16
- v0b --supports--> v00
- v0d --supports--> v09
- v12 --supports--> v04
- v05 --refutes--> v18
- v0c --refutes--> v0f

[VERIFIED ROOT]
v17 = TRUE

[TARGET]
v13

[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]
- v17 --refutes--> v12
- v06 --supports--> v13
- v07 --refutes--> v11
- v07 --supports--> v0e
- v14 --supports--> v05
- v13 --supports--> v07
- v0b --supports--> v00
- v10 --supports--> v0c
- v0b --supports--> v02
- v18 --refutes--> v17
- v12 --supports--> v0d
- v0c --supports--> v0f
- v09 --refutes--> v04
- v03 --supports--> v14
- v14 --supports--> v15
- v0b --refutes--> v08
- v0b --refutes--> v16
- v0d --refutes--> v01
- v01 --refutes--> v10
- v14 --refutes--> v0a
- v11 --refutes--> v0b
- v09 --refutes--> v03
- v02 --supports--> v18
- v0c --supports--> v09

[VERIFIED ROOT]
v06 = TRUE

[TARGET]
v15

[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
- v0a --refutes--> v16
- v13 --refutes--> v0c
- v13 --refutes--> v00
- v07 --refutes--> v0b
- v11 --refutes--> v0f
- v06 --supports--> v11
- v0f --supports--> v10
- v0b --refutes--> v01
- v10 --supports--> v08
- v0a --supports--> v17
- v15 --refutes--> v18
- v0e --refutes--> v07
- v05 --supports--> v13
- v0a --supports--> v0d
- v0b --supports--> v0a
- v06 --refutes--> v14
- v0d --supports--> v15
- v02 --supports--> v09
- v0e --refutes--> v12
- v02 --refutes--> v05
- v05 --supports--> v03
- v18 --refutes--> v06
- v04 --supports--> v0e

[VERIFIED ROOT]
v04 = FALSE

[TARGET]
v0c

[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]
- v0e --refutes--> v18
- v06 --supports--> v11
- v0f --refutes--> v01
- v0d --supports--> v17
- v0c --refutes--> v03
- v03 --refutes--> v0d
- v06 --supports--> v13
- v17 --supports--> v07
- v09 --supports--> v0a
- v15 --supports--> v00
- v04 --supports--> v0f
- v0d --refutes--> v10
- v07 --refutes--> v06
- v01 --refutes--> v12
- v01 --refutes--> v0b
- v0e --supports--> v02
- v14 --supports--> v09
- v11 --supports--> v15
- v01 --refutes--> v0c
- v0a --supports--> v04
- v00 --refutes--> v0e
- v0e --refutes--> v05
- v0a --refutes--> v08
- v14 --refutes--> v16

[VERIFIED ROOT]
v14 = 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]
- v15 --refutes--> v10
- v0d --refutes--> v02
- v13 --refutes--> v0c
- v11 --refutes--> v0e
- v03 --supports--> v00
- v17 --refutes--> v13
- v08 --refutes--> v09
- v12 --supports--> v14
- v03 --refutes--> v05
- v0e --refutes--> v04
- v0c --refutes--> v16
- v02 --supports--> v0f
- v08 --refutes--> v12
- v18 --supports--> v17
- v0a --refutes--> v01
- v0a --refutes--> v03
- v15 --refutes--> v0d
- v0c --supports--> v08
- v0f --refutes--> v11
- v02 --supports--> v07
- v05 --refutes--> v0b
- v12 --supports--> v06
- v0e --refutes--> v0a
- v06 --supports--> v15

[VERIFIED ROOT]
v18 = FALSE

[TARGET]
v0b

[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]
- v14 --refutes--> v0c
- v0f --refutes--> v16
- v0f --refutes--> v07
- v0a --refutes--> v0f
- v0d --supports--> v15
- v06 --refutes--> v12
- v0b --refutes--> v04
- v14 --refutes--> v0b
- v18 --supports--> v17
- v10 --supports--> v0a
- v0a --refutes--> v11
- v06 --refutes--> v10
- v02 --supports--> v14
- v17 --supports--> v02
- v0b --refutes--> v00
- v09 --supports--> v18
- v02 --supports--> v08
- v13 --supports--> v06
- v16 --refutes--> v03
- v03 --refutes--> v05
- v02 --refutes--> v01
- v15 --supports--> v09
- v05 --supports--> v0d
- v05 --supports--> v0e

[VERIFIED ROOT]
v13 = 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]
- v0d --supports--> v16
- v18 --supports--> v0a
- v0e --supports--> v14
- v11 --refutes--> v0b
- v18 --refutes--> v04
- v11 --refutes--> v15
- v14 --refutes--> v03
- v0f --refutes--> v01
- v15 --refutes--> v0c
- v16 --supports--> v12
- v09 --refutes--> v13
- v0c --supports--> v05
- v14 --supports--> v0f
- v15 --refutes--> v00
- v17 --supports--> v11
- v06 --supports--> v18
- v16 --supports--> v06
- v01 --refutes--> v17
- v02 --refutes--> v08
- v18 --supports--> v10
- v04 --supports--> v0e
- v02 --supports--> v07
- v02 --supports--> v09
- v13 --supports--> v0d

[VERIFIED ROOT]
v02 = TRUE

[TARGET]
v05

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