Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Timothy knows whether David's forehead is muddy. It is publicly announced that David knows whether someone's forehead is muddy. It is publicly announced that David's forehead is muddy. It is publicly announced that Timothy does not know whether or not everyone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 1) ] [ ! (Agenta knows whether (1|2|3)) ] [ ! 1 ] [ ! ~(Agentc knows whether (1&2&3)) ] Agentc knows that (Agentb knows whether 3)

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 1) ] [ ! (Agenta knows whether (1|2|3)) ] [ ! 1 ] [ ! ~(Agentc knows whether (1&2&3)) ] 0

Hypothesis: Timothy can now know that Alice can know whether Timothy's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ellen's forehead is not muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! ~(2) ] Agentc knows that (Agentd knows that (1&2&3&4))

Hypothesis: Israel can now know that Martha can know that everyone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jermaine knows whether or not everyone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Melvin's forehead is muddy.

Hypothesis: Mario can now know that nobody's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Katherine's card is shown to Nicole. Michael's card is shown to Michael. Katherine's card is shown to Michael. Michael's card is shown to Katherine. Katherine's card is shown to Katherine. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:3 Agentb:2,3 Agentc:2,3 VALID? [ ! (1|2|3) ] Agentb knows whether (Agenta knows that 2)

VARS 0,1,2,3 LAW Top OBS Agenta:3 Agentb:2,3 Agentc:2,3 VALID? [ ! (1|2|3) ] 0

Hypothesis: Michael can now know whether Nicole can know that Michael picked a red card.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Susan's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! 1 ] Agenta knows whether (Agentc knows that 3)

Hypothesis: Susan can now know whether James can know that James's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that John does not know whether John's forehead is muddy. It is publicly announced that Anthony's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 1) ] [ ! 3 ] Agentb knows whether (Agenta knows whether (1&2&3))

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 1) ] [ ! 3 ] 0

Hypothesis: Sergio can now know whether John can know whether or not everyone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Emerson's card is shown to Emerson. Glenn's card is shown to Emerson. Emerson's card is shown to Shirley. It is publicly announced that someone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:1,3 Agentb:1 VALID? [ ! (1|2|3|4) ] (Agenta knows whether (~(1|2|3|4)))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1,3 Agentb:1 VALID? [ ! (1|2|3|4) ] 0

Hypothesis: Emerson can now know whether or not nobody picked a red card.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Jeremy's card is shown to Michael. Mary's card is shown to Michael. Mary's card is shown to Jeremy. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:3 VALID? [ ! (1|2|3) ] (Agenta knows that (1|2|3))

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:3 VALID? [ ! (1|2|3) ] 0

Hypothesis: Michael can now know that someone picked a red card.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that everyone's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] Agentc knows whether (Agentd knows that (1&2&3&4))

Hypothesis: Dominique can now know whether Adam can know that everyone's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Jeffrey's card is shown to Letha. Letha's card is shown to Jeffrey. Jeffrey's card is shown to Jeffrey. It is publicly announced that someone picked a red card. It is publicly announced that Jeffrey picked a black card.

VARS 1,2 LAW Top OBS Agenta:2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! ~(2) ] (Agentb knows that 1)

VARS 0,1,2 LAW Top OBS Agenta:2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! ~(2) ] 0

Hypothesis: Jeffrey can now know that Letha picked a red card.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that someone is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! (1|2|3|4) ] Agentc knows that (Agentb knows whether 3)

Hypothesis: James can now know that Matthew can know whether James is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Della knows whether someone is thirsty. It is publicly announced that Kurt does not know whether or not everyone is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! (Agentb knows whether (1|2|3|4)) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] (Agentc knows whether (1|2|3|4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! (Agentb knows whether (1|2|3|4)) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] 0

Hypothesis: Kurt can now know whether someone is thirsty.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Eugene's card is shown to Eugene. Gena's card is shown to Joanne. Eugene's card is shown to Harold. Gena's card is shown to Harold. It is publicly announced that someone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:1,2 VALID? [ ! (1|2|3|4) ] (Agentc knows whether (~(1|2|3|4)))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:1,2 VALID? [ ! (1|2|3|4) ] 0

Hypothesis: Joanne can now know whether or not nobody picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Melissa does not know whether or not everyone is thirsty. It is publicly announced that Melissa knows whether or not nobody is thirsty. It is publicly announced that Sandra does not know whether Raul is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether (1&2&3)) ] [ ! (Agenta knows whether (~(1|2|3))) ] [ ! ~(Agentc knows whether 2) ] Agentc knows that (Agenta knows that 1)

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether (1&2&3)) ] [ ! (Agenta knows whether (~(1|2|3))) ] [ ! ~(Agentc knows whether 2) ] 0

Hypothesis: Sandra can now know that Melissa can know that Melissa is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Carol does not know whether Chantal is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that John knows whether or not nobody is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 2) ] [ ! (1|2|3) ] [ ! (Agentc knows whether (~(1|2|3))) ] Agenta knows that (Agentb knows whether (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 2) ] [ ! (1|2|3) ] [ ! (Agentc knows whether (~(1|2|3))) ] 0

Hypothesis: Carol can now know that Chantal can know whether or not nobody is thirsty.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Giselle knows whether Giselle's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! (~(1&2)) ] [ ! (Agenta knows whether 1) ] (Agenta knows that 2)

VARS 0,1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! (~(1&2)) ] [ ! (Agenta knows whether 1) ] 0

Hypothesis: Giselle can now know that Rosemarie's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Elia knows whether someone's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (Agenta knows whether (1|2|3|4)) ] Agentd knows that (Agentc knows whether (1|2|3|4))

Hypothesis: John can now know that Donald can know whether someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Diane's card is shown to Diane. Diane's card is shown to Linda. Diane's card is shown to Angela. It is publicly announced that someone picked a red card. It is publicly announced that everyone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:1 Agentc:1 VALID? [ ! (1|2|3) ] [ ! (1&2&3) ] (Agenta knows that 1)

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:1 Agentc:1 VALID? [ ! (1|2|3) ] [ ! (1&2&3) ] 0

Hypothesis: Diane can now know that Diane picked a red card.


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Jeremy's card is shown to Jeremy. Jeremy's card is shown to Wesley. Wesley's card is shown to Wesley. It is publicly announced that someone picked a red card. It is publicly announced that Wesley knows whether Wesley picked a red card.

VARS 1,2 LAW Top OBS Agenta:1 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether 2) ] (Agentb knows whether (~(1|2)))

VARS 0,1,2 LAW Top OBS Agenta:1 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether 2) ] 0

Hypothesis: Wesley can now know whether or not nobody picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Tony knows whether or not nobody is thirsty. It is publicly announced that Glenna does not know whether Tony is thirsty. It is publicly announced that Zelda does not know whether or not everyone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether (~(1|2|3))) ] [ ! ~(Agenta knows whether 2) ] [ ! ~(Agentc knows whether (1&2&3)) ] Agentb knows whether (Agenta knows whether 1)

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether (~(1|2|3))) ] [ ! ~(Agenta knows whether 2) ] [ ! ~(Agentc knows whether (1&2&3)) ] 0

Hypothesis: Tony can now know whether Glenna can know whether Glenna is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Kent does not know whether Jeannette is thirsty. It is publicly announced that Vera does not know whether Kent is thirsty. It is publicly announced that Jeannette does not know whether Cassandra is thirsty. It is publicly announced that Cassandra does not know whether Vera is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentb knows whether 4) ] [ ! ~(Agenta knows whether 2) ] [ ! ~(Agentd knows whether 3) ] [ ! ~(Agentc knows whether 1) ] (Agenta knows whether 3)

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentb knows whether 4) ] [ ! ~(Agenta knows whether 2) ] [ ! ~(Agentd knows whether 3) ] [ ! ~(Agentc knows whether 1) ] 0

Hypothesis: Vera can now know whether Cassandra is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (~(1&2&3&4)) ] Agentc knows that (Agentb knows that 1)

Hypothesis: Walter can now know that Velma can know that Charles's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that John knows whether or not nobody's forehead is muddy. It is publicly announced that Ina knows whether or not nobody's forehead is muddy. It is publicly announced that Ina does not know whether or not everyone's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! (Agentb knows whether (~(1|2))) ] [ ! (Agenta knows whether (~(1|2))) ] [ ! ~(Agenta knows whether (1&2)) ] Agenta knows that (Agentb knows that 1)

VARS 0,1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! (Agentb knows whether (~(1|2))) ] [ ! (Agenta knows whether (~(1|2))) ] [ ! ~(Agenta knows whether (1&2)) ] 0

Hypothesis: Ina can now know that John can know that Ina's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Maria's card is shown to Lauren. Antonio's card is shown to Timothy. Antonio's card is shown to Antonio. Lauren's card is shown to Maria. Timothy's card is shown to Maria. It is publicly announced that someone picked a red card. It is publicly announced that Antonio does not know whether or not everyone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:4 Agentb:3 Agentc:3 Agentd:1,2 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] Agentc knows whether (Agentd knows that 2)

VARS 0,1,2,3,4 LAW Top OBS Agenta:4 Agentb:3 Agentc:3 Agentd:1,2 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] 0

Hypothesis: Antonio can now know whether Maria can know that Timothy picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Nellie's forehead is not muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! ~(1) ] Agentc knows that (Agentb knows that (1&2&3))

Hypothesis: Thomas can now know that Virginia can know that everyone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Marion knows whether Irma's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (Agentd knows whether 1) ] Agentc knows that (Agentd knows that 1)

Hypothesis: Willie can now know that Marion can know that Irma's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Gina's card is shown to Gina. Heather's card is shown to Gina. Gina's card is shown to Heather. Heather's card is shown to Heather. It is publicly announced that someone picked a red card. It is publicly announced that Gina knows whether or not nobody picked a red card. It is publicly announced that not everyone picked a red card.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (~(1|2))) ] [ ! (~(1&2)) ] Agenta knows whether (Agentb knows whether 1)

VARS 0,1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (~(1|2))) ] [ ! (~(1&2)) ] 0

Hypothesis: Gina can now know whether Heather can know whether Gina picked a red card.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Joseph knows whether Evette's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 2) ] Agenta knows that (Agentc knows that 3)

VARS 0,1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 2) ] 0

Hypothesis: Dan can now know that Joseph can know that Joseph's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Hellen does not know whether Loretta is thirsty. It is publicly announced that someone is thirsty.

VARS 1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! ~(Agenta knows whether 2) ] [ ! (1|2) ] Agenta knows that (Agentb knows whether (1&2))

VARS 0,1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! ~(Agenta knows whether 2) ] [ ! (1|2) ] 0

Hypothesis: Hellen can now know that Loretta can know whether or not everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Gary's forehead is not muddy.

Hypothesis: John can now know that everyone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Timothy knows whether Timothy's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (~(1&2&3)) ] [ ! (Agentb knows whether 2) ] [ ! (~(1&2&3)) ] Agentb knows that (Agenta knows that 2)

Hypothesis: Timothy can now know that Jenny can know that Timothy's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that William knows whether someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

Hypothesis: William can now know whether someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Sheila knows whether Jose's forehead is muddy. It is publicly announced that Sheila does not know whether or not everyone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 2) ] [ ! ~(Agentc knows whether (1&2&3)) ] (Agentc knows whether 3)

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 2) ] [ ! ~(Agentc knows whether (1&2&3)) ] 0

Hypothesis: Sheila can now know whether Sheila's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Teresa's card is shown to Wanda. Teresa's card is shown to Teresa. Wanda's card is shown to Jose. Teresa's card is shown to Melissa. It is publicly announced that someone picked a red card. It is publicly announced that Jose picked a black card.

VARS 1,2,3,4 LAW Top OBS Agenta:2 Agentb:2 Agentc:1 Agentd:2 VALID? [ ! (1|2|3|4) ] [ ! ~(3) ] Agentd knows that (Agenta knows that 3)

VARS 0,1,2,3,4 LAW Top OBS Agenta:2 Agentb:2 Agentc:1 Agentd:2 VALID? [ ! (1|2|3|4) ] [ ! ~(3) ] 0

Hypothesis: Melissa can now know that Wanda can know that Jose picked a red card.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Paul knows whether Paul's forehead is muddy. It is publicly announced that Greg knows whether Donovan's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (Agentd knows whether 4) ] [ ! (Agentb knows whether 1) ] Agentd knows that (Agentc knows whether 4)

VARS 0,1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (Agentd knows whether 4) ] [ ! (Agentb knows whether 1) ] 0

Hypothesis: Paul can now know that Gladys can know whether Paul's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Derek does not know whether Shelby is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (~(1&2&3)) ] [ ! ~(Agenta knows whether 2) ] (Agentc knows whether 1)

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (~(1&2&3)) ] [ ! ~(Agenta knows whether 2) ] 0

Hypothesis: Rolando can now know whether Derek is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Patricia does not know whether Patricia's forehead is muddy. It is publicly announced that Patricia's forehead is not muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether 3) ] [ ! ~(3) ] Agentb knows that (Agentd knows that 3)

Hypothesis: William can now know that Mildred can know that Patricia's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Donald knows whether someone's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (Agentd knows whether (1|2|3|4)) ] (Agentb knows that (~(1|2|3|4)))

Hypothesis: Ernest can now know that nobody's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that George knows whether Kelly's forehead is muddy. It is publicly announced that someone's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether 1) ] [ ! (1|2) ] Agenta knows that (Agentb knows that (~(1|2)))

VARS 0,1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether 1) ] [ ! (1|2) ] 0

Hypothesis: Kelly can now know that George can know that nobody's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Elizabeth knows whether Elizabeth's forehead is muddy. It is publicly announced that Damaris knows whether Craig's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether 2) ] [ ! (Agentc knows whether 1) ] Agentb knows that (Agenta knows whether (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether 2) ] [ ! (Agentc knows whether 1) ] 0

Hypothesis: Elizabeth can now know that Craig can know whether or not nobody's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that David knows whether someone is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! (Agenta knows whether (1|2|3|4)) ] Agentd knows whether (Agentb knows that 2)

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! (Agenta knows whether (1|2|3|4)) ] 0

Hypothesis: Etta can now know whether Jody can know that Jody is thirsty.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Lisa knows whether Anthony's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (Agentb knows whether 4) ] Agentb knows whether (Agentd knows that 3)

Hypothesis: Lisa can now know whether Anthony can know that Thomas's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Lorri knows whether Mary's forehead is muddy. It is publicly announced that Mary does not know whether or not everyone's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! (Agentb knows whether 1) ] [ ! ~(Agenta knows whether (1&2)) ] (Agentb knows that (1&2))

VARS 0,1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! (Agentb knows whether 1) ] [ ! ~(Agenta knows whether (1&2)) ] 0

Hypothesis: Lorri can now know that everyone's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Bill knows whether or not nobody's forehead is muddy. It is publicly announced that Douglas knows whether someone's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether (~(1|2))) ] [ ! (Agenta knows whether (1|2)) ] Agenta knows whether (Agentb knows whether 1)

VARS 0,1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether (~(1|2))) ] [ ! (Agenta knows whether (1|2)) ] 0

Hypothesis: Douglas can now know whether Bill can know whether Douglas's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jack's forehead is muddy. It is publicly announced that Joel knows whether Jack's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! 2 ] [ ! (Agentd knows whether 2) ] (Agenta knows that 1)

VARS 0,1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! 2 ] [ ! (Agentd knows whether 2) ] 0

Hypothesis: Hazel can now know that Hazel's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Donna knows whether or not nobody's forehead is muddy. It is publicly announced that Jaqueline's forehead is not muddy.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether (~(1|2))) ] [ ! ~(1) ] Agenta knows that (Agentb knows whether (~(1|2)))

VARS 0,1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether (~(1|2))) ] [ ! ~(1) ] 0

Hypothesis: Jaqueline can now know that Donna can know whether or not nobody's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Chelsea's card is shown to Chelsea. Thomas's card is shown to Chelsea. Chelsea's card is shown to Dorothy. Dorothy's card is shown to Dorothy. Chelsea's card is shown to Thomas. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:1,3 Agentb:1,2 Agentc:1 VALID? [ ! (1|2|3) ] (Agentb knows that (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:1,3 Agentb:1,2 Agentc:1 VALID? [ ! (1|2|3) ] 0

Hypothesis: Dorothy can now know that nobody picked a red card.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Michael does not know whether Troy is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether 3) ] (Agentd knows that (~(1|2|3|4)))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether 3) ] 0

Hypothesis: Alan can now know that nobody is thirsty.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Joy's card is shown to Lillian. Sergio's card is shown to Lillian. Lillian's card is shown to Joy. Lillian's card is shown to Sergio. It is publicly announced that someone picked a red card. It is publicly announced that Lillian picked a red card. It is publicly announced that Joy knows whether or not nobody picked a red card. It is publicly announced that someone picked a red card. It is publicly announced that Lillian knows whether Sergio picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1 Agentc:1 VALID? [ ! (1|2|3) ] [ ! 1 ] [ ! (Agentb knows whether (~(1|2|3))) ] [ ! (1|2|3) ] [ ! (Agenta knows whether 3) ] Agenta knows that (Agentc knows that (1&2&3))

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1 Agentc:1 VALID? [ ! (1|2|3) ] [ ! 1 ] [ ! (Agentb knows whether (~(1|2|3))) ] [ ! (1|2|3) ] [ ! (Agenta knows whether 3) ] 0

Hypothesis: Lillian can now know that Sergio can know that everyone picked a red card.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Carlos knows whether or not nobody's forehead is muddy. It is publicly announced that Carlos knows whether Carlos's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (~(1|2))) ] [ ! (Agenta knows whether 1) ] Agenta knows that (Agentb knows that (~(1|2)))

VARS 0,1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (~(1|2))) ] [ ! (Agenta knows whether 1) ] 0

Hypothesis: Carlos can now know that Frank can know that nobody's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Leona knows whether someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Linda's forehead is not muddy.

Hypothesis: Linda can now know that Argelia can know that everyone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that someone's forehead is muddy.

Hypothesis: Kaye can now know that everyone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Neil's forehead is muddy. It is publicly announced that Jeanene does not know whether Jeanene's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! 1 ] [ ! ~(Agentd knows whether 4) ] (Agentc knows that 4)

VARS 0,1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! 1 ] [ ! ~(Agentd knows whether 4) ] 0

Hypothesis: Steven can now know that Jeanene's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jessie knows whether Jason's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (Agentb knows whether 3) ] Agenta knows that (Agentb knows that 1)

Hypothesis: Vaughn can now know that Jessie can know that Vaughn's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Robert's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! 3 ] Agentb knows that (Agentd knows that (1&2&3&4))

Hypothesis: Paul can now know that Elizabeth can know that everyone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jennifer's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! 3 ] Agentc knows that (Agentb knows whether 1)

Hypothesis: Jennifer can now know that Marie can know whether James's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Charles's card is shown to Morgan. Vicki's card is shown to Morgan. Morgan's card is shown to Vicki. Vicki's card is shown to Vicki. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 VALID? [ ! (1|2|3) ] (Agentb knows that (1|2|3))

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 VALID? [ ! (1|2|3) ] 0

Hypothesis: Charles can now know that someone picked a red card.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Carol knows whether someone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether (1|2|3)) ] Agenta knows that (Agentb knows that (1&2&3))

VARS 0,1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether (1|2|3)) ] 0

Hypothesis: Troy can now know that Carol can know that everyone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Stephanie knows whether Stephanie's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (Agenta knows whether 1) ] Agentd knows whether (Agentc knows whether 4)

Hypothesis: James can now know whether Courtney can know whether James's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (~(1&2&3)) ] [ ! (~(1&2&3)) ] Agentb knows that (Agentc knows that 2)

Hypothesis: Steven can now know that Mickey can know that Steven's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Peter knows whether someone's forehead is muddy. It is publicly announced that Carolyn's forehead is not muddy. It is publicly announced that someone's forehead is muddy.

Hypothesis: Kyle can now know that Peter's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Chris does not know whether Miles is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agentb knows whether 3) ] Agenta knows that (Agentb knows whether 2)

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agentb knows whether 3) ] 0

Hypothesis: Joseph can now know that Chris can know whether Chris is thirsty.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Gladys's forehead is not muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! ~(2) ] (Agentc knows whether 3)

Hypothesis: Jennifer can now know whether Jennifer's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Grant does not know whether Lena is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentd knows whether 3) ] (Agentb knows that 2)

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentd knows whether 3) ] 0

Hypothesis: Maria can now know that Maria is thirsty.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Cheryl's card is shown to Dawn. Ruth's card is shown to Ruth. Cheryl's card is shown to Ruth. Charles's card is shown to Ruth. Charles's card is shown to Cheryl. Cheryl's card is shown to Charles. It is publicly announced that someone picked a red card. It is publicly announced that Cheryl does not know whether Cheryl picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:3 Agentb:2,3,4 Agentc:4 Agentd:3 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether 3) ] Agenta knows that (Agentc knows that (1|2|3|4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:3 Agentb:2,3,4 Agentc:4 Agentd:3 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether 3) ] 0

Hypothesis: Dawn can now know that Cheryl can know that someone picked a red card.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jonathan knows whether Deborah's forehead is muddy. It is publicly announced that Jonathan's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether 1) ] [ ! 2 ] Agentb knows whether (Agenta knows that (~(1|2)))

VARS 0,1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether 1) ] [ ! 2 ] 0

Hypothesis: Jonathan can now know whether Deborah can know that nobody's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Robert knows whether or not everyone's forehead is muddy. It is publicly announced that Robert knows whether Suzette's forehead is muddy. It is publicly announced that Robert's forehead is not muddy.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (1&2)) ] [ ! (Agenta knows whether 2) ] [ ! ~(1) ] Agenta knows that (Agentb knows that (1&2))

VARS 0,1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (1&2)) ] [ ! (Agenta knows whether 2) ] [ ! ~(1) ] 0

Hypothesis: Robert can now know that Suzette can know that everyone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Alonzo's card is shown to Alonzo. Hattie's card is shown to Alonzo. Alonzo's card is shown to Hazel. Hazel's card is shown to Hazel. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:1,2 Agentb:1,3 VALID? [ ! (1|2|3) ] (Agenta knows whether (1&2&3))

VARS 0,1,2,3 LAW Top OBS Agenta:1,2 Agentb:1,3 VALID? [ ! (1|2|3) ] 0

Hypothesis: Alonzo can now know whether or not everyone picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ralph's forehead is not muddy. It is publicly announced that Marie's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

Hypothesis: Deborah can now know that Deborah's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that not everyone is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! (~(1&2&3&4)) ] (Agentb knows whether 1)

Hypothesis: Henry can now know whether Carol is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Minnie does not know whether Angel is thirsty. It is publicly announced that Alan does not know whether Angel is thirsty. It is publicly announced that Alan knows whether or not everyone is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agentd knows whether 3) ] [ ! (Agentd knows whether (1&2&3&4)) ] (Agenta knows whether (1|2|3|4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agentd knows whether 3) ] [ ! (Agentd knows whether (1&2&3&4)) ] 0

Hypothesis: Minnie can now know whether someone is thirsty.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Paula's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! 1 ] Agentb knows whether (Agentc knows that (1|2|3))

Hypothesis: Harley can now know whether Peggy can know that someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). James's card is shown to Kelly. Kelly's card is shown to James. Meta's card is shown to James. James's card is shown to Meta. It is publicly announced that someone picked a red card. It is publicly announced that James does not know whether James picked a red card. It is publicly announced that Meta does not know whether Kelly picked a red card. It is publicly announced that Kelly does not know whether or not everyone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:2 Agentb:1,3 Agentc:2 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 2) ] [ ! ~(Agentc knows whether 1) ] [ ! ~(Agenta knows whether (1&2&3)) ] (Agenta knows whether (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:2 Agentb:1,3 Agentc:2 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 2) ] [ ! ~(Agentc knows whether 1) ] [ ! ~(Agenta knows whether (1&2&3)) ] 0

Hypothesis: Kelly can now know whether or not nobody picked a red card.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Roland's card is shown to Tiffany. Tiffany's card is shown to Jackie. Jackie's card is shown to Jackie. Roland's card is shown to Roland. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:3 Agentb:1,2 Agentc:3 VALID? [ ! (1|2|3) ] (Agenta knows whether 1)

VARS 0,1,2,3 LAW Top OBS Agenta:3 Agentb:1,2 Agentc:3 VALID? [ ! (1|2|3) ] 0

Hypothesis: Tiffany can now know whether Tiffany picked a red card.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Stephanie does not know whether William is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether 2) ] Agentc knows whether (Agentd knows that (1&2&3&4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether 2) ] 0

Hypothesis: Stephanie can now know whether Annie can know that everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Frances's card is shown to Patricia. Marc's card is shown to Patricia. Debra's card is shown to Debra. Debra's card is shown to Marc. It is publicly announced that someone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:2,4 Agentb:3 Agentc:3 VALID? [ ! (1|2|3|4) ] Agenta knows that (Agentc knows whether (1|2|3|4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:2,4 Agentb:3 Agentc:3 VALID? [ ! (1|2|3|4) ] 0

Hypothesis: Patricia can now know that Debra can know whether someone picked a red card.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Dan does not know whether Dan's forehead is muddy. It is publicly announced that Norman knows whether someone's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! ~(Agenta knows whether 1) ] [ ! (Agentb knows whether (1|2)) ] (Agentb knows that (1&2))

VARS 0,1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! ~(Agenta knows whether 1) ] [ ! (Agentb knows whether (1|2)) ] 0

Hypothesis: Norman can now know that everyone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that someone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (1|2|3) ] (Agentc knows that 3)

Hypothesis: Amy can now know that Amy's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Jayna knows whether someone is thirsty. It is publicly announced that Tamela does not know whether or not everyone is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that everyone is thirsty.

VARS 1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (1|2)) ] [ ! ~(Agentb knows whether (1&2)) ] [ ! (1|2) ] [ ! (1&2) ] Agentb knows that (Agenta knows that 1)

VARS 0,1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (1|2)) ] [ ! ~(Agentb knows whether (1&2)) ] [ ! (1|2) ] [ ! (1&2) ] 0

Hypothesis: Tamela can now know that Jayna can know that Jayna is thirsty.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Rebecca's card is shown to Miriam. David's card is shown to Rebecca. Miriam's card is shown to David. Rebecca's card is shown to David. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:2 Agentb:3 Agentc:1,2 VALID? [ ! (1|2|3) ] (Agentc knows whether 3)

VARS 0,1,2,3 LAW Top OBS Agenta:2 Agentb:3 Agentc:1,2 VALID? [ ! (1|2|3) ] 0

Hypothesis: David can now know whether David picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that everyone is thirsty. It is publicly announced that Brandy knows whether Brandy is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (1&2&3) ] [ ! (Agentc knows whether 3) ] Agenta knows that (Agentc knows that (1|2|3))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (1&2&3) ] [ ! (Agentc knows whether 3) ] 0

Hypothesis: Hannah can now know that Brandy can know that someone is thirsty.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Kevin's card is shown to Martin. Martin's card is shown to Richard. Richard's card is shown to Richard. Kevin's card is shown to Richard. Martin's card is shown to Kevin. Richard's card is shown to Kevin. Kevin's card is shown to Kevin. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] Agenta knows that (Agentc knows that 1)

VARS 0,1,2,3 LAW Top OBS Agenta:3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] 0

Hypothesis: Martin can now know that Kevin can know that Martin picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Brenda does not know whether Tanya is thirsty. It is publicly announced that Brenda knows whether or not everyone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 1) ] [ ! (Agentb knows whether (1&2&3)) ] Agentc knows that (Agentb knows whether 3)

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 1) ] [ ! (Agentb knows whether (1&2&3)) ] 0

Hypothesis: Maria can now know that Brenda can know whether Maria is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that William does not know whether Terry is thirsty. It is publicly announced that Kathy is not thirsty. It is publicly announced that someone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(2) ] [ ! (1|2|3) ] Agentb knows whether (Agentc knows that (1|2|3))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(2) ] [ ! (1|2|3) ] 0

Hypothesis: Kathy can now know whether Terry can know that someone is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (~(1&2&3&4)) ] Agenta knows that (Agentb knows whether (~(1|2|3|4)))

Hypothesis: James can now know that Robert can know whether or not nobody's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Elaine's card is shown to David. Evelyn's card is shown to Evelyn. Evelyn's card is shown to Elaine. It is publicly announced that someone picked a red card. It is publicly announced that Elaine picked a red card. It is publicly announced that Bobby knows whether or not everyone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:4 Agentb:2 Agentc:2 VALID? [ ! (1|2|3|4) ] [ ! 4 ] [ ! (Agentc knows whether (1&2&3&4)) ] Agentc knows that (Agenta knows that (1&2&3&4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:4 Agentb:2 Agentc:2 VALID? [ ! (1|2|3|4) ] [ ! 4 ] [ ! (Agentc knows whether (1&2&3&4)) ] 0

Hypothesis: Bobby can now know that David can know that everyone picked a red card.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Judith's card is shown to Judith. Laura's card is shown to Laura. Laura's card is shown to Geri. It is publicly announced that someone picked a red card. It is publicly announced that Laura does not know whether or not everyone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:2 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether (1&2&3)) ] (Agentb knows whether 1)

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:2 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether (1&2&3)) ] 0

Hypothesis: Laura can now know whether Judith picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] Agentb knows whether (Agentc knows that 3)

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] 0

Hypothesis: Dorothea can now know whether Bobbi can know that Bobbi's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Desiree's forehead is not muddy.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! ~(2) ] Agenta knows whether (Agentb knows that 2)

VARS 0,1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! ~(2) ] 0

Hypothesis: Michael can now know whether Desiree can know that Desiree's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that someone's forehead is muddy. It is publicly announced that Stacie does not know whether Stacie's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (1|2|3) ] [ ! ~(Agenta knows whether 1) ] Agenta knows whether (Agentc knows whether 3)

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (1|2|3) ] [ ! ~(Agenta knows whether 1) ] 0

Hypothesis: Stacie can now know whether Veronica can know whether Veronica's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Kim's card is shown to Victor. Victor's card is shown to Kim. Kim's card is shown to Kim. Victor's card is shown to Evelyn. It is publicly announced that someone picked a red card. It is publicly announced that Kim knows whether Kim picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:2 Agentb:1,2 Agentc:1 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether 2) ] Agentc knows whether (Agenta knows that (1&2&3))

VARS 0,1,2,3 LAW Top OBS Agenta:2 Agentb:1,2 Agentc:1 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether 2) ] 0

Hypothesis: Evelyn can now know whether Victor can know that everyone picked a red card.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] Agentb knows that (Agentc knows whether (~(1|2|3|4)))

Hypothesis: Nicholas can now know that June can know whether or not nobody's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Cherlyn's card is shown to Nick. Nick's card is shown to Cherlyn. Shirley's card is shown to Cherlyn. Nick's card is shown to Shirley. Cherlyn's card is shown to Shirley. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:2 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] (Agentb knows whether (1|2|3))

VARS 0,1,2,3 LAW Top OBS Agenta:2 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] 0

Hypothesis: Cherlyn can now know whether someone picked a red card.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). William's card is shown to Edwin. William's card is shown to William. Annette's card is shown to Annette. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:2 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] (Agentb knows whether 1)

VARS 0,1,2,3 LAW Top OBS Agenta:2 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] 0

Hypothesis: William can now know whether Edwin picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Shirley does not know whether Paul is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether 1) ] (Agentc knows whether (1&2&3))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether 1) ] 0

Hypothesis: Shirley can now know whether or not everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Christopher's card is shown to Graham. Christopher's card is shown to Richard. Graham's card is shown to Christopher. Christopher's card is shown to Christopher. Christopher's card is shown to Rhonda. It is publicly announced that someone picked a red card. It is publicly announced that everyone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:3 Agentb:3 Agentc:1,3 Agentd:3 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] (Agenta knows that (1|2|3|4))

Hypothesis: Graham can now know that someone picked a red card.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Josephine does not know whether or not everyone is thirsty. It is publicly announced that Josephine does not know whether Brady is thirsty. It is publicly announced that Brady knows whether Brady is thirsty. It is publicly announced that Brady knows whether someone is thirsty.

VARS 1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! ~(Agentb knows whether (1&2)) ] [ ! ~(Agentb knows whether 1) ] [ ! (Agenta knows whether 1) ] [ ! (Agenta knows whether (1|2)) ] (Agenta knows whether (1&2))

VARS 0,1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! ~(Agentb knows whether (1&2)) ] [ ! ~(Agentb knows whether 1) ] [ ! (Agenta knows whether 1) ] [ ! (Agenta knows whether (1|2)) ] 0

Hypothesis: Brady can now know whether or not everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Joshua does not know whether Sergio is thirsty. It is publicly announced that Morton does not know whether Sergio is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agentb knows whether 3) ] (Agentd knows whether (1&2&3&4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agentb knows whether 3) ] 0

Hypothesis: Johnnie can now know whether or not everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that everyone's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] Agentd knows whether (Agenta knows whether (1|2|3|4))

Hypothesis: Willie can now know whether Fred can know whether someone's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Kelvin's card is shown to Thomas. Kelvin's card is shown to Kelvin. It is publicly announced that someone picked a red card. It is publicly announced that Kelvin knows whether or not nobody picked a red card. It is publicly announced that Kelvin does not know whether or not everyone picked a red card.

VARS 1,2 LAW Top OBS Agenta:2 Agentb:2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether (~(1|2))) ] [ ! ~(Agentb knows whether (1&2)) ] (Agentb knows that 2)

VARS 0,1,2 LAW Top OBS Agenta:2 Agentb:2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether (~(1|2))) ] [ ! ~(Agentb knows whether (1&2)) ] 0

Hypothesis: Kelvin can now know that Kelvin picked a red card.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Wanda knows whether someone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agenta knows whether (1|2|3)) ] Agenta knows whether (Agentc knows that 3)

VARS 0,1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agenta knows whether (1|2|3)) ] 0

Hypothesis: Wanda can now know whether Daphne can know that Daphne's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

Hypothesis: Frank can now know that Frank's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Lana's card is shown to Elizabeth. Elizabeth's card is shown to Lana. It is publicly announced that someone picked a red card. It is publicly announced that Elizabeth does not know whether Elizabeth picked a red card.

VARS 1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! ~(Agenta knows whether 1) ] (Agenta knows whether (1|2))

VARS 0,1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! ~(Agenta knows whether 1) ] 0

Hypothesis: Elizabeth can now know whether someone picked a red card.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jocelyn knows whether Shannon's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (Agentc knows whether 2) ] Agentb knows that (Agentd knows that (1|2|3|4))

Hypothesis: Shannon can now know that Anita can know that someone's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Catherine does not know whether Catherine's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! ~(Agentb knows whether 2) ] Agentb knows that (Agenta knows that (1&2))

VARS 0,1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! ~(Agentb knows whether 2) ] 0

Hypothesis: Catherine can now know that Kenneth can know that everyone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Juan's card is shown to Glenn. Ruby's card is shown to Glenn. Glenn's card is shown to Juan. Juan's card is shown to Juan. Gordon's card is shown to Ruby. It is publicly announced that someone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3 Agentb:1,2 Agentc:4 VALID? [ ! (1|2|3|4) ] (Agentc knows that 1)

VARS 0,1,2,3,4 LAW Top OBS Agenta:2,3 Agentb:1,2 Agentc:4 VALID? [ ! (1|2|3|4) ] 0

Hypothesis: Ruby can now know that Glenn picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Robert does not know whether or not everyone's forehead is muddy. It is publicly announced that Phuong knows whether Phuong's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether (1&2&3)) ] [ ! (Agenta knows whether 1) ] Agentb knows whether (Agentc knows that (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether (1&2&3)) ] [ ! (Agenta knows whether 1) ] 0

Hypothesis: Annie can now know whether Robert can know that nobody's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ramona's forehead is not muddy. It is publicly announced that Diana's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

Hypothesis: Ramona can now know that someone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jerrold knows whether Jerrold's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (Agentc knows whether 3) ] Agentb knows whether (Agenta knows that (1|2|3|4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (Agentc knows whether 3) ] 0

Hypothesis: Angel can now know whether Jesse can know that someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jennifer knows whether Victor's forehead is muddy. It is publicly announced that Victor does not know whether Victor's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (1|2|3) ] [ ! (Agentb knows whether 3) ] [ ! ~(Agentc knows whether 3) ] Agenta knows that (Agentc knows that 3)

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (1|2|3) ] [ ! (Agentb knows whether 3) ] [ ! ~(Agentc knows whether 3) ] 0

Hypothesis: Olga can now know that Victor can know that Victor's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Robert does not know whether Bobby is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether 2) ] Agentd knows whether (Agentb knows whether 2)

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether 2) ] 0

Hypothesis: Tami can now know whether Bobby can know whether Bobby is thirsty.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that William is thirsty. It is publicly announced that William does not know whether Ronda is thirsty.

VARS 1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! 2 ] [ ! ~(Agentb knows whether 1) ] Agenta knows whether (Agentb knows that 2)

VARS 0,1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! 2 ] [ ! ~(Agentb knows whether 1) ] 0

Hypothesis: Ronda can now know whether William can know that William is thirsty.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Robert knows whether Robert's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (Agentc knows whether 3) ] Agentd knows that (Agentc knows that 2)

Hypothesis: Michael can now know that Robert can know that Samuel's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Blanche's forehead is not muddy. It is publicly announced that Beatriz knows whether someone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! ~(1) ] [ ! (Agentb knows whether (1|2|3)) ] (Agenta knows that 3)

Hypothesis: Blanche can now know that Ima's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Brenda's card is shown to Brenda. Verna's card is shown to Verna. Douglas's card is shown to Verna. Brenda's card is shown to Douglas. Douglas's card is shown to Douglas. It is publicly announced that someone picked a red card. It is publicly announced that Douglas knows whether Brenda picked a red card. It is publicly announced that Douglas knows whether Verna picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2,3 Agentc:1,3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 1) ] [ ! (Agentc knows whether 2) ] Agentc knows that (Agenta knows whether (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2,3 Agentc:1,3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 1) ] [ ! (Agentc knows whether 2) ] 0

Hypothesis: Douglas can now know that Brenda can know whether or not nobody picked a red card.


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Kevin's card is shown to Kevin. Kevin's card is shown to Joyce. Joyce's card is shown to Joyce. It is publicly announced that someone picked a red card. It is publicly announced that everyone picked a red card. It is publicly announced that Joyce knows whether Joyce picked a red card. It is publicly announced that Kevin knows whether Kevin picked a red card.

VARS 1,2 LAW Top OBS Agenta:1 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (1&2) ] [ ! (Agentb knows whether 2) ] [ ! (Agenta knows whether 1) ] (Agenta knows that (1&2))

VARS 0,1,2 LAW Top OBS Agenta:1 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (1&2) ] [ ! (Agentb knows whether 2) ] [ ! (Agenta knows whether 1) ] 0

Hypothesis: Kevin can now know that everyone picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Thomas does not know whether Tracey is thirsty. It is publicly announced that Tracey does not know whether Thomas is thirsty. It is publicly announced that Paige does not know whether or not everyone is thirsty. It is publicly announced that Paige is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether 1) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agentb knows whether (1&2&3)) ] [ ! 2 ] (Agentb knows whether (1&2&3))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether 1) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agentb knows whether (1&2&3)) ] [ ! 2 ] 0

Hypothesis: Paige can now know whether or not everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Carl does not know whether Doris is thirsty. It is publicly announced that Elizabeth does not know whether Carl is thirsty. It is publicly announced that Doris is not thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentb knows whether 3) ] [ ! ~(Agentd knows whether 2) ] [ ! ~(3) ] (Agentd knows whether (1&2&3&4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentb knows whether 3) ] [ ! ~(Agentd knows whether 2) ] [ ! ~(3) ] 0

Hypothesis: Elizabeth can now know whether or not everyone is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that everyone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (1&2&3) ] Agentb knows whether (Agenta knows that (1&2&3))

Hypothesis: Eduardo can now know whether Alice can know that everyone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Meaghan does not know whether Meaghan's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 2) ] [ ! (~(1&2&3)) ] Agentb knows that (Agentc knows that 1)

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 2) ] [ ! (~(1&2&3)) ] 0

Hypothesis: Meaghan can now know that Scott can know that Christopher's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Cody does not know whether Andre is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that not everyone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 1) ] [ ! (~(1&2&3)) ] [ ! (~(1&2&3)) ] Agentc knows whether (Agenta knows that 1)

Hypothesis: Chad can now know whether Andre can know that Andre is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Francisco does not know whether or not everyone is thirsty. It is publicly announced that Clifford knows whether Clifford is thirsty. It is publicly announced that Francisco does not know whether or not everyone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether (1&2&3)) ] [ ! (Agenta knows whether 1) ] [ ! ~(Agentb knows whether (1&2&3)) ] Agentc knows that (Agentb knows that (1&2&3))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether (1&2&3)) ] [ ! (Agenta knows whether 1) ] [ ! ~(Agentb knows whether (1&2&3)) ] 0

Hypothesis: Mary can now know that Francisco can know that everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Brian's card is shown to Brian. Ralph's card is shown to Brian. Miguel's card is shown to Miguel. Miguel's card is shown to Lori. Ralph's card is shown to Lori. Ralph's card is shown to Ralph. It is publicly announced that someone picked a red card. It is publicly announced that Brian does not know whether or not everyone picked a red card. It is publicly announced that someone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:1,4 Agentb:2 Agentc:2,4 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether (1&2&3&4)) ] [ ! (1|2|3|4) ] Agentc knows that (Agentd knows that 3)

Hypothesis: Lori can now know that Ralph can know that Lori picked a red card.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Monica's forehead is not muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! ~(2) ] Agentc knows that (Agentb knows whether (~(1|2|3)))

Hypothesis: Eileen can now know that Monica can know whether or not nobody's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that everyone's forehead is muddy. It is publicly announced that Shea knows whether Alice's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] [ ! (Agentc knows whether 2) ] (Agentd knows that 2)

Hypothesis: Timothy can now know that Alice's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). David's card is shown to David. Serena's card is shown to David. David's card is shown to Serena. Serena's card is shown to Serena. Adam's card is shown to Serena. David's card is shown to Adam. Serena's card is shown to Adam. Adam's card is shown to Adam. It is publicly announced that someone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:1,2 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] (Agentc knows whether 3)

VARS 0,1,2,3 LAW Top OBS Agenta:1,2 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] 0

Hypothesis: Adam can now know whether Adam picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Cecil does not know whether Elizabeth is thirsty. It is publicly announced that Brenda is not thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether 1) ] [ ! ~(2) ] (Agentc knows that 1)

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether 1) ] [ ! ~(2) ] 0

Hypothesis: Cecil can now know that Elizabeth is thirsty.


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Chester's card is shown to Chester. It is publicly announced that someone picked a red card. It is publicly announced that someone picked a red card.

VARS 1,2 LAW Top OBS Agenta:2 VALID? [ ! (1|2) ] [ ! (1|2) ] (Agenta knows that (1&2))

Hypothesis: Tommy can now know that everyone picked a red card.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Anna's card is shown to Robert. David's card is shown to Robert. Anna's card is shown to Octavia. David's card is shown to Octavia. David's card is shown to Anna. Robert's card is shown to David. It is publicly announced that someone picked a red card. It is publicly announced that Octavia knows whether Anna picked a red card. It is publicly announced that Octavia knows whether someone picked a red card. It is publicly announced that Octavia picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:3,4 Agentb:3,4 Agentc:4 Agentd:1 VALID? [ ! (1|2|3|4) ] [ ! (Agentb knows whether 3) ] [ ! (Agentb knows whether (1|2|3|4)) ] [ ! 2 ] Agentc knows that (Agentd knows whether 3)

VARS 0,1,2,3,4 LAW Top OBS Agenta:3,4 Agentb:3,4 Agentc:4 Agentd:1 VALID? [ ! (1|2|3|4) ] [ ! (Agentb knows whether 3) ] [ ! (Agentb knows whether (1|2|3|4)) ] [ ! 2 ] 0

Hypothesis: Anna can now know that David can know whether Anna picked a red card.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Fred's forehead is muddy. It is publicly announced that Fred's forehead is muddy. It is publicly announced that Mark's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! 3 ] [ ! 3 ] [ ! 2 ] (Agentb knows whether 3)

Hypothesis: Mark can now know whether Fred's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Nellie's card is shown to Virgil. Louis's card is shown to Virgil. Nellie's card is shown to Nellie. Nellie's card is shown to Louis. Louis's card is shown to Louis. It is publicly announced that someone picked a red card. It is publicly announced that Virgil does not know whether Virgil picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:2 Agentc:2,3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 1) ] Agentb knows whether (Agenta knows that 3)

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:2 Agentc:2,3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 1) ] 0

Hypothesis: Nellie can now know whether Virgil can know that Louis picked a red card.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that James knows whether James's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 3) ] Agenta knows that (Agentc knows that 3)

VARS 0,1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 3) ] 0

Hypothesis: Michael can now know that James can know that James's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Helena is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! 1 ] (Agentc knows whether (1&2&3))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! 1 ] 0

Hypothesis: Enrique can now know whether or not everyone is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that John does not know whether John's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 2) ] Agentb knows that (Agentc knows that (1|2|3))

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 2) ] 0

Hypothesis: John can now know that Patricia can know that someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Loria does not know whether Lera is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 2) ] Agentb knows whether (Agentc knows that (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agenta knows whether 2) ] 0

Hypothesis: Lera can now know whether Evelyn can know that nobody is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Faye does not know whether Faye's forehead is muddy. It is publicly announced that Faye knows whether or not nobody's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether 1) ] [ ! (Agenta knows whether (~(1|2|3|4))) ] Agenta knows that (Agentc knows that (~(1|2|3|4)))

VARS 0,1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether 1) ] [ ! (Agenta knows whether (~(1|2|3|4))) ] 0

Hypothesis: Faye can now know that Charles can know that nobody's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Jessica's card is shown to Chris. Thomas's card is shown to Chris. Jerry's card is shown to Jessica. Thomas's card is shown to Thomas. It is publicly announced that someone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3 Agentb:4 Agentc:3 VALID? [ ! (1|2|3|4) ] Agentc knows whether (Agentb knows that (1&2&3&4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:2,3 Agentb:4 Agentc:3 VALID? [ ! (1|2|3|4) ] 0

Hypothesis: Thomas can now know whether Jessica can know that everyone picked a red card.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Shirley knows whether Michele's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (Agentb knows whether 3) ] (Agentd knows whether 3)

VARS 0,1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (Agentb knows whether 3) ] 0

Hypothesis: Alberto can now know whether Michele's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Miguel knows whether or not everyone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (Agenta knows whether (1&2&3)) ] Agentc knows that (Agentb knows that (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (Agenta knows whether (1&2&3)) ] 0

Hypothesis: Stephen can now know that Justin can know that nobody is thirsty.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Clara's card is shown to Lashanda. Linda's card is shown to Lashanda. Clara's card is shown to Linda. Michael's card is shown to Linda. Michael's card is shown to Michael. It is publicly announced that someone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:1,3 Agentb:1,4 Agentc:4 VALID? [ ! (1|2|3|4) ] (Agenta knows whether (1&2&3&4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1,3 Agentb:1,4 Agentc:4 VALID? [ ! (1|2|3|4) ] 0

Hypothesis: Clara can now know whether or not everyone picked a red card.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Patricia does not know whether Sheila is thirsty. It is publicly announced that Sheila does not know whether Brian is thirsty. It is publicly announced that Brian does not know whether Patricia is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentb knows whether 4) ] [ ! ~(Agentd knows whether 3) ] [ ! ~(Agentc knows whether 2) ] Agenta knows whether (Agentc knows whether (1|2|3|4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentb knows whether 4) ] [ ! ~(Agentd knows whether 3) ] [ ! ~(Agentc knows whether 2) ] 0

Hypothesis: Marie can now know whether Brian can know whether someone is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Michael knows whether someone's forehead is muddy. It is publicly announced that Michael knows whether Jessie's forehead is muddy. It is publicly announced that Jessie's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether (1|2|3)) ] [ ! (Agentc knows whether 1) ] [ ! 1 ] Agentc knows that (Agentb knows that 3)

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether (1|2|3)) ] [ ! (Agentc knows whether 1) ] [ ! 1 ] 0

Hypothesis: Michael can now know that Harvey can know that Michael's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] Agenta knows whether (Agentd knows whether 1)

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] 0

Hypothesis: Dennis can now know whether Connie can know whether Dennis is thirsty.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Oscar's forehead is not muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! ~(2) ] Agentd knows whether (Agentb knows whether (1&2&3&4))

Hypothesis: Holly can now know whether Oscar can know whether or not everyone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that someone's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1|2|3|4) ] Agentb knows whether (Agenta knows that 2)

Hypothesis: John can now know whether Chadwick can know that John's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Johnny does not know whether Margaret is thirsty. It is publicly announced that Cornelius does not know whether Margaret is thirsty. It is publicly announced that Margaret does not know whether Johnny is thirsty. It is publicly announced that Johnny is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether 2) ] [ ! ~(Agenta knows whether 2) ] [ ! ~(Agentb knows whether 3) ] [ ! 3 ] (Agentc knows whether 1)

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether 2) ] [ ! ~(Agenta knows whether 2) ] [ ! ~(Agentb knows whether 3) ] [ ! 3 ] 0

Hypothesis: Johnny can now know whether Cornelius is thirsty.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Julio's card is shown to Michael. Michael's card is shown to Michael. Michael's card is shown to Beverly. Beverly's card is shown to Denis. Denis's card is shown to Denis. It is publicly announced that someone picked a red card. It is publicly announced that not everyone picked a red card.

Hypothesis: Julio can now know whether or not everyone picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Richard knows whether or not everyone's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether (1&2&3)) ] (Agentc knows that (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether (1&2&3)) ] 0

Hypothesis: Ryan can now know that nobody's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). John's card is shown to Deanna. Brandon's card is shown to Brandon. Tanya's card is shown to John. Deanna's card is shown to John. It is publicly announced that someone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:4 Agentb:3 Agentc:1,2 VALID? [ ! (1|2|3|4) ] Agentc knows whether (Agentb knows that (1|2|3|4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:4 Agentb:3 Agentc:1,2 VALID? [ ! (1|2|3|4) ] 0

Hypothesis: Brandon can now know whether Deanna can know that someone picked a red card.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Anna's card is shown to Lawrence. Anna's card is shown to Phillip. Phillip's card is shown to Anna. It is publicly announced that someone picked a red card. It is publicly announced that not everyone picked a red card.

VARS 1,2,3 LAW Top OBS Agenta:3 Agentb:3 Agentc:2 VALID? [ ! (1|2|3) ] [ ! (~(1&2&3)) ] Agentc knows that (Agentb knows whether 2)

Hypothesis: Anna can now know that Phillip can know whether Phillip picked a red card.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Thomas's forehead is muddy. It is publicly announced that Steven knows whether or not everyone's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! 3 ] [ ! (Agenta knows whether (1&2&3&4)) ] (Agentd knows whether (1|2|3|4))

Hypothesis: Marilyn can now know whether someone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Patricia is thirsty. It is publicly announced that Marshall does not know whether Eric is thirsty. It is publicly announced that Marshall does not know whether Marty is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! 4 ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agenta knows whether 2) ] Agentb knows that (Agentc knows that 3)

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! 4 ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agenta knows whether 2) ] 0

Hypothesis: Marty can now know that Eric can know that Eric is thirsty.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Wendy's card is shown to Wendy. Wendy's card is shown to Martin. Amanda's card is shown to Martin. Amanda's card is shown to Amanda. Dale's card is shown to Amanda. Martin's card is shown to Dale. It is publicly announced that someone picked a red card. It is publicly announced that Dale does not know whether or not everyone picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:1,3 Agentc:3,4 Agentd:2 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] Agentd knows that (Agentc knows whether (1&2&3&4))

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:1,3 Agentc:3,4 Agentd:2 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] 0

Hypothesis: Dale can now know that Amanda can know whether or not everyone picked a red card.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Scott is not thirsty. It is publicly announced that Scott knows whether Scott is thirsty. It is publicly announced that Scott does not know whether Harold is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(1) ] [ ! (Agenta knows whether 1) ] [ ! ~(Agenta knows whether 2) ] Agentb knows that (Agentc knows whether 1)

VARS 0,1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(1) ] [ ! (Agenta knows whether 1) ] [ ! ~(Agenta knows whether 2) ] 0

Hypothesis: Harold can now know that James can know whether Scott is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that not everyone is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! (~(1&2&3&4)) ] (Agentb knows that 4)

Hypothesis: Daniel can now know that Fidela is thirsty.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that everyone's forehead is muddy. It is publicly announced that Charles knows whether Charles's forehead is muddy. It is publicly announced that Dorothy knows whether or not nobody's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (1&2) ] [ ! (Agenta knows whether 1) ] [ ! (Agentb knows whether (~(1|2))) ] (Agentb knows whether 1)

VARS 0,1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (1&2) ] [ ! (Agenta knows whether 1) ] [ ! (Agentb knows whether (~(1|2))) ] 0

Hypothesis: Dorothy can now know whether Charles's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Andrea's card is shown to Jennifer. Sandra's card is shown to Sandra. Andrea's card is shown to Andrea. Andrea's card is shown to Therese. Therese's card is shown to Therese. It is publicly announced that someone picked a red card. It is publicly announced that Therese does not know whether Jennifer picked a red card. It is publicly announced that Jennifer does not know whether Jennifer picked a red card.

VARS 1,2,3,4 LAW Top OBS Agenta:3 Agentb:2 Agentc:3 Agentd:3,4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentd knows whether 1) ] [ ! ~(Agenta knows whether 1) ] Agentd knows whether (Agenta knows whether 2)

VARS 0,1,2,3,4 LAW Top OBS Agenta:3 Agentb:2 Agentc:3 Agentd:3,4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentd knows whether 1) ] [ ! ~(Agenta knows whether 1) ] 0

Hypothesis: Therese can now know whether Jennifer can know whether Sandra picked a red card.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that Kenneth knows whether Kenneth is thirsty. It is publicly announced that not everyone is thirsty.

VARS 1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! (1|2) ] [ ! (Agentb knows whether 2) ] [ ! (~(1&2)) ] Agentb knows whether (Agenta knows that 1)

VARS 0,1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! (1|2) ] [ ! (Agentb knows whether 2) ] [ ! (~(1&2)) ] 0

Hypothesis: Kenneth can now know whether Raleigh can know that Raleigh is thirsty.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jessica's forehead is muddy.

VARS 1,2,3,4 LAW Top OBS Agenta:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! 4 ] Agentc knows that (Agentb knows that 4)

Hypothesis: David can now know that Linda can know that Jessica's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Laurie knows whether Laurie's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 3) ] Agenta knows whether (Agentb knows that 3)

VARS 0,1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 3) ] 0

Hypothesis: Patricia can now know whether Charles can know that Laurie's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ethel knows whether Richard's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agenta knows whether 3) ] (Agenta knows that (~(1|2|3)))

VARS 0,1,2,3 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agenta knows whether 3) ] 0

Hypothesis: Ethel can now know that nobody's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Kimberly does not know whether or not everyone is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether (1&2&3&4)) ] Agentd knows that (Agenta knows that 2)

VARS 0,1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agenta knows whether (1&2&3&4)) ] 0

Hypothesis: Taisha can now know that Kimberly can know that Hilda is thirsty.