die 0 is known

die 0 is unknown
die 1 is known
die 2 is inconsistent
die 3 is unknown
die 4 is inconsistent
die 5 is unknown
die 6 is unknown
die 7 is known
die 8 is known
die 9 is known

die 0 is known
die 1 is known
die 2 is known
die 3 is known
die 4 is known

die 0 is unknown
die 1 is unknown

die 0 is inconsistent

die 0 is inconsistent

die 0 is unknown