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 not everyone's forehead is muddy. It is publicly announced that Elva 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)) ] [ ! (Agentb knows whether (~(1|2))) ] Agentb knows whether (Agenta knows whether (1|2))

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

Hypothesis: Elva can now know whether Mamie can 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 Leah is thirsty. It is publicly announced that Stewart is not thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! 2 ] [ ! ~(1) ] Agenta 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) ] [ ! 2 ] [ ! ~(1) ] 0

Hypothesis: Stewart can now know that Joanne can know that Joanne 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 Jose. Reginia's card is shown to Reginia. Christopher's card is shown to Reginia. Tomasa's card is shown to Tomasa. Jose's card is shown to Christopher. Reginia's card is shown to Christopher. It is publicly announced that someone picked a red card. It is publicly announced that Christopher does not know whether Tomasa picked a red card. It is publicly announced that Reginia picked a black card. It is publicly announced that Reginia knows whether Christopher picked a red card.

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

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

Hypothesis: Jose can now know that Christopher can know whether Christopher picked a red card.


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

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

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

Hypothesis: Linda can now know whether Kenneth can know that someone picked a red card.


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

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

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

Hypothesis: Barbara can now 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 Michael does not know whether Michael's forehead is muddy.

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

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

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


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 Christopher. Megan's card is shown to Christopher. Shirley's card is shown to Shirley. Megan's card is shown to Shirley. Edna's card is shown to Shirley. Edna's card is shown to Edna. It is publicly announced that someone picked a red card. It is publicly announced that Shirley knows whether Megan picked a red card. It is publicly announced that Megan does not know whether Shirley picked a red card. It is publicly announced that Megan does not know whether Shirley picked a red card.

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

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

Hypothesis: Megan can now know whether Christopher 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 May knows whether Juanita'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) ] Agenta knows that (Agentb 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) ] [ ! (Agentc knows whether 2) ] 0

Hypothesis: Kyle can now know that Juanita 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). Nicole's card is shown to Lawrence. Lawrence's card is shown to Nicole. Rebecca's card is shown to Nicole. Nicole's card is shown to Nicole. It is publicly announced that someone picked a red card.

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

Hypothesis: Rebecca can now know that Maria picked a red card.


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

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

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

Hypothesis: Michele can now know that Kathryn picked a red card.


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

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

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

Hypothesis: Samuel can now know whether Ralph 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 Pinkie does not know whether Pinkie'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 2) ] Agentb knows that (Agenta knows whether 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) ] [ ! ~(Agentb knows whether 2) ] 0

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


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

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

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

Hypothesis: Jonathan can now know that Helen can know whether or not 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. It is publicly announced that Steven's forehead is not muddy.

Hypothesis: Max can now know that Steven'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 Raven knows whether or not nobody's forehead is muddy. It is publicly announced that Pearl does not know whether or not everyone's forehead is muddy. It is publicly announced that Pearl's forehead is muddy.

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

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

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


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

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

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

Hypothesis: Arthur can now know that Curtis can know whether Curtis 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 Robert does not know whether George is thirsty. It is publicly announced that George does not know whether Karen 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 4) ] [ ! ~(Agentd knows whether 3) ] (Agentd knows whether 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 4) ] [ ! ~(Agentd knows whether 3) ] 0

Hypothesis: George can now know whether George 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 Esther'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) ] [ ! ~(4) ] Agentc knows that (Agentd knows whether 4)

Hypothesis: Stephanie can now know that Esther can know whether Esther'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 Kristy knows whether or not nobody'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))) ] (Agentb knows that 2)

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: Carissa can now know that Carissa'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 Patrick knows whether or not nobody's forehead is muddy. It is publicly announced that Doris knows whether or not everyone'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)) ] Agentb knows whether (Agenta 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: Patrick can now know whether Doris can know whether Doris'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 Blanche knows whether Cory'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 4) ] Agentd knows whether (Agentb knows that 2)

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 4) ] 0

Hypothesis: Cory can now know whether Robert can know that Robert'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 Rufus does not know whether Rufus'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) ] Agentd knows whether (Agentb knows whether (~(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) ] [ ! ~(Agentd knows whether 4) ] 0

Hypothesis: Rufus can now know whether Ray can know whether or not nobody'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 Juan is thirsty. It is publicly announced that Cheryl knows whether or not nobody is thirsty.

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

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

Hypothesis: Cheryl can now know whether Kenneth 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 Linda does not know whether or not everyone is thirsty. It is publicly announced that Andre knows whether someone is thirsty. It is publicly announced that Amy does not know whether Andre is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether (1&2&3)) ] [ ! (Agenta knows whether (1|2|3)) ] [ ! ~(Agentb knows whether 1) ] (Agenta knows that (~(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&2&3)) ] [ ! (Agenta knows whether (1|2|3)) ] [ ! ~(Agentb knows whether 1) ] 0

Hypothesis: Andre can now know that nobody 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 Wm knows whether or not nobody is thirsty.

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

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

Hypothesis: Wm can now know that Leslie 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 Lilia knows whether or not nobody's forehead is muddy. It is publicly announced that Victoria'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 whether 1)

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

Hypothesis: Victoria can now know whether Victoria'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 Gloria knows whether someone is thirsty. It is publicly announced that everyone is thirsty.

VARS 1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! (Agentb knows whether (1|2)) ] [ ! (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)) ] [ ! (1&2) ] 0

Hypothesis: Rubin can now know whether or not nobody 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 Sharron knows whether Roger's forehead is muddy.

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

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

Hypothesis: Roger can now know that Sharron can know that Roger'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 Marilyn knows whether someone is thirsty.

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

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

Hypothesis: Eddie can now know that Marilyn can know whether 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 everyone's forehead is muddy. It is publicly announced that Michael knows whether Mathew's forehead is muddy. It is publicly announced that John'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 whether 3) ] [ ! 2 ] (Agentc knows that 3)

Hypothesis: Mathew can now know that Mathew'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 Theresa knows whether Conrad'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) ] [ ! (Agentb knows whether 1) ] [ ! (1|2|3) ] (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) ] [ ! (Agentb knows whether 1) ] [ ! (1|2|3) ] 0

Hypothesis: Conrad can now 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). Amanda's card is shown to Amanda. Jessica's card is shown to Amanda. Amanda's card is shown to Jessica. Jessica's card is shown to Jessica. Johnny's card is shown to Jessica. Jessica's card is shown to Johnny. 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:2 VALID? [ ! (1|2|3) ] (Agenta knows that (1|2|3))

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

Hypothesis: Amanda can now know that someone 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 John does not know 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) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] (Agentd knows whether (1&2&3&4))

Hypothesis: Harvey can now know whether or not everyone'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)) ] Agentc knows that (Agentb knows that (1&2&3&4))

Hypothesis: Tara can now know that Ben can know that 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 Jamie knows whether Ralph's forehead is muddy. It is publicly announced that Ralph knows whether Jamie's forehead is muddy. It is publicly announced that Jamie'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) ] [ ! (Agentb knows whether 1) ] [ ! (Agenta knows whether 2) ] [ ! ~(2) ] Agentc knows whether (Agentb 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) ] [ ! (Agentb knows whether 1) ] [ ! (Agenta knows whether 2) ] [ ! ~(2) ] 0

Hypothesis: Richard can now know whether Jamie 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 Dora does not know whether Grace 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 (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) ] 0

Hypothesis: Grace can now know whether Charlie can know whether someone 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 Jane knows whether someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Doris knows whether Leon'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 (1|2|3|4)) ] [ ! (~(1&2&3&4)) ] [ ! (Agenta knows whether 4) ] Agenta knows that (Agentc knows that (~(1|2|3|4)))

Hypothesis: Doris can now know that Jane 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). Lois's card is shown to Justine. Justine's card is shown to Lois. Lois's card is shown to Lois. Leslie's card is shown to Victor. Victor's card is shown to Victor. 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:2 Agentb:1,2 Agentc:3,4 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] (Agenta knows that 4)

Hypothesis: Justine can now know that Victor 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 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) ] Agentd knows that (Agentb knows that 3)

Hypothesis: Meg can now know that Carmen 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 not everyone's forehead is muddy.

Hypothesis: Neal can now 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 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|2|3) ] Agentc knows that (Agenta knows that (~(1|2|3)))

Hypothesis: Robert can now know that Abraham can know that 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 someone's forehead is muddy. It is publicly announced that Clara's forehead is muddy.

Hypothesis: Jeannine can now know that Willie 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). Brenna's card is shown to Guy. Hector's card is shown to Guy. Fatima's card is shown to Guy. Fatima's card is shown to Fatima. It is publicly announced that someone picked a red card. It is publicly announced that Brenna does not know whether or not everyone picked a red card.

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

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

Hypothesis: Brenna can now know that Brenna 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 Joy knows whether or not everyone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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

Hypothesis: Joy can now know that William can know whether William'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 Cliff knows whether Merle's forehead is muddy. It is publicly announced that Cliff does not know whether or not everyone's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! (Agenta knows whether 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) ] [ ! (Agenta knows whether 2) ] [ ! ~(Agenta knows whether (1&2)) ] 0

Hypothesis: Cliff can now know that Merle can know that Cliff'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 Marie does not know whether Marie's forehead is muddy. It is publicly announced that Harriet knows whether Harriet's forehead is muddy.

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

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

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


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

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

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

Hypothesis: Megan can now know that Sophia can know whether Annette 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 knows whether or not everyone's forehead is muddy. It is publicly announced that Robert knows whether 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) ] [ ! (Agentb knows whether (1&2&3)) ] [ ! (Agentb knows whether (1|2|3)) ] [ ! (1|2|3) ] Agentb knows whether (Agentc 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) ] [ ! (Agentb knows whether (1&2&3)) ] [ ! (Agentb knows whether (1|2|3)) ] [ ! (1|2|3) ] 0

Hypothesis: Robert can now know whether Michelle can 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 James does not know whether Betty 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) ] [ ! ~(Agentb knows whether 1) ] [ ! (~(1&2&3&4)) ] Agentc knows that (Agentb 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) ] [ ! ~(Agentb knows whether 1) ] [ ! (~(1&2&3&4)) ] 0

Hypothesis: Nancy can now know that James can know whether Betty 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 Derek 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) ] [ ! (Agentd knows whether (1|2|3|4)) ] Agentb knows whether (Agentc knows that 4)

Hypothesis: Christina can now know whether Don can know that Derek's forehead is muddy.


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

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

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

Hypothesis: Eunice can now know whether Eunice 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 Melanie knows whether or not nobody's forehead is muddy. It is publicly announced that Cora knows whether or not nobody's forehead is muddy.

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

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

Hypothesis: Melanie can now know whether or not 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 Winnifred knows whether or not nobody's forehead is muddy. It is publicly announced that Michelle 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) ] [ ! (Agentc knows whether (~(1|2|3))) ] [ ! (Agentb knows whether (1|2|3)) ] (Agentc knows that 1)

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 (~(1|2|3))) ] [ ! (Agentb knows whether (1|2|3)) ] 0

Hypothesis: Winnifred can now know that Ruben'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 Shirley knows whether or not everyone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether (1&2&3)) ] (Agenta 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&3)) ] 0

Hypothesis: Christina can now know that Christina is thirsty.


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

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

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

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


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Dolores's card is shown to Deborah. Deborah's card is shown to Dolores. Felipe's card is shown to Dolores. Deborah's card is shown to Felipe. Felipe's card is shown to Felipe. 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:2 Agentb:1,3 Agentc:1,3 VALID? [ ! (1|2|3) ] [ ! (~(1&2&3)) ] Agenta knows that (Agentc knows that (1|2|3))

Hypothesis: Deborah can now know that Felipe can 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 Patricia knows whether someone's forehead is muddy. It is publicly announced that Mary knows whether or not nobody's forehead is muddy. It is publicly announced that Mary knows whether Patricia's forehead is muddy. It is publicly announced that Rita knows whether Rita'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)) ] [ ! (Agentc knows whether (~(1|2|3))) ] [ ! (Agentc knows whether 1) ] [ ! (Agentb knows whether 2) ] Agenta knows that (Agentb 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) ] [ ! (Agenta knows whether (1|2|3)) ] [ ! (Agentc knows whether (~(1|2|3))) ] [ ! (Agentc knows whether 1) ] [ ! (Agentb knows whether 2) ] 0

Hypothesis: Patricia can now know that Rita can know whether someone'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 Cody knows whether or not everyone's forehead is muddy. It is publicly announced that Lisa's forehead is muddy.

VARS 1,2 LAW Top OBS Agenta:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (1&2)) ] [ ! 2 ] (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)) ] [ ! 2 ] 0

Hypothesis: Lisa can now know that 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 Leland knows whether Helen'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 1) ] Agentd knows that (Agentb knows whether (1&2&3&4))

Hypothesis: Gina can now know that Roy can know whether or not everyone'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 someone is thirsty. It is publicly announced that everyone is thirsty.

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

Hypothesis: Sally can now know that everyone is thirsty.


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

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

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

Hypothesis: Barbara can now know whether Annie 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 Terry does not know whether Terry's forehead is muddy. It is publicly announced that Robert knows whether someone's forehead is muddy. It is publicly announced that Terry 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 2) ] [ ! (Agenta knows whether (1|2)) ] [ ! ~(Agentb knows whether (1&2)) ] (Agentb knows whether 2)

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

Hypothesis: Terry can now know whether Terry'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 Lester knows whether Richard's forehead is muddy. It is publicly announced that Lester 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) ] [ ! (Agentc knows whether 2) ] [ ! (Agentc knows whether (1&2&3)) ] (Agentb 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 2) ] [ ! (Agentc knows whether (1&2&3)) ] 0

Hypothesis: Richard 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). Edna's card is shown to Edna. Patricia's card is shown to Edna. Seth's card is shown to Edna. Edna's card is shown to Patricia. Seth's card is shown to Patricia. Edna's card is shown to Seth. It is publicly announced that someone picked a red card.

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

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

Hypothesis: June 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 Steven 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 (~(1|2|3))) ] (Agenta 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: Steven can now know that someone 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 not everyone's forehead is muddy. It is publicly announced that Michael knows whether or not 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 (1&2&3&4)) ] Agenta knows that (Agentd knows that 4)

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that 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) ] (Agenta knows that 4)

Hypothesis: John can now know that Iris'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.

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 (Agentc knows whether 2)

Hypothesis: Rhonda can now know whether Andrew can know whether Rhonda'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 Nancy's forehead is muddy. It is publicly announced that Mary knows whether Kelly's forehead is muddy. It is publicly announced that Kelly does not know whether or not everyone'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 ] [ ! (Agentd knows whether 2) ] [ ! ~(Agentb knows whether (1&2&3&4)) ] [ ! (~(1&2&3&4)) ] (Agentd knows that 2)

Hypothesis: Mary can now know that Kelly'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 Dennis's forehead is muddy. It is publicly announced that Audrey knows whether Darryl's forehead is muddy.

VARS 1,2,3 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! 2 ] [ ! (Agentc knows whether 1) ] Agenta 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) ] [ ! 2 ] [ ! (Agentc knows whether 1) ] 0

Hypothesis: Darryl can now know that Audrey can know that Darryl'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 Cornell. Myron's card is shown to Anthony. John's card is shown to Anthony. Cornell's card is shown to Myron. Cornell's card is shown to John. It is publicly announced that someone picked a red card. It is publicly announced that Myron knows whether or not everyone picked a red card. It is publicly announced that Anthony knows whether or not nobody picked a red card.

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

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

Hypothesis: Cornell can now know whether John can know whether or not nobody 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 Richard knows whether or 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) ] [ ! (Agentb knows whether (1&2&3)) ] (Agentc knows that 2)

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: David can now know that Richard's forehead is muddy.


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

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

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

Hypothesis: Emily can now 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). Susan's card is shown to Susan. Patsy's card is shown to Joe. Joe's card is shown to Patsy. Patsy's card is shown to Patsy. It is publicly announced that someone picked a red card.

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

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

Hypothesis: Patsy can now know that Joe can know whether Joe 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 Clifton's forehead is not muddy. It is publicly announced that Andrea'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) ] [ ! ~(3) ] [ ! ~(2) ] Agenta knows that (Agentb knows whether 1)

Hypothesis: Christopher can now know that Andrea can know whether Christopher'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 not everyone's forehead is muddy. It is publicly announced that Angela's forehead is muddy.

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

Hypothesis: Angela can now know that Darren'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 Brianne does not know whether William 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 2) ] Agenta knows whether (Agentb knows whether (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 2) ] 0

Hypothesis: James can now know whether William can know whether someone 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 Louis does not know whether or not everyone's forehead is muddy. It is publicly announced that someone's forehead is muddy. It is publicly announced that Louis knows whether Albert's forehead is muddy. It is publicly announced that everyone's forehead is muddy.

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

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

Hypothesis: Albert can now know whether Louis can know whether someone'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 Williams knows whether 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 (1|2|3|4)) ] [ ! (Agenta knows whether 1) ] (Agenta knows that 1)

VARS 0,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 (1|2|3|4)) ] [ ! (Agenta knows whether 1) ] 0

Hypothesis: Robert can now know that Robert'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 Leann does not know whether or not everyone is thirsty. It is publicly announced that someone is thirsty.

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

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

Hypothesis: Leann can now know whether Larry 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 James knows whether James's forehead is muddy. It is publicly announced that Ruth knows whether or not 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) ] [ ! (Agenta knows whether 1) ] [ ! (Agentc knows whether (1&2&3&4)) ] (Agentc knows that 2)

VARS 0,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) ] [ ! (Agentc knows whether (1&2&3&4)) ] 0

Hypothesis: Ruth can now know that Timmy'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 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) ] Agenta knows whether (Agentc knows whether 1)

Hypothesis: Charlotte can now know whether Joseph can know whether Charlotte 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 Daniel does not know whether Janet is thirsty. It is publicly announced that Janet does not know whether Stephanie 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 2) ] (Agenta knows that 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 2) ] 0

Hypothesis: Janet can now know that Daniel 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 Thomas does not know whether Thomas's forehead is muddy. It is publicly announced that Kayla knows whether Thomas's forehead is muddy. It is publicly announced that John knows 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) ] [ ! (Agentc knows whether 2) ] [ ! (Agenta knows whether 1) ] (Agenta 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) ] [ ! (Agentc knows whether 2) ] [ ! (Agenta knows whether 1) ] 0

Hypothesis: John 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's forehead is muddy. It is publicly announced that Kenneth does not know whether Kenneth'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) ] (Agentc knows whether (~(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: Kenneth can now 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 Velma knows whether Jackson'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 (Agentd knows that (~(1|2|3|4)))

Hypothesis: Marcos can now know that James can know that nobody'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 Clarence does not know whether Clarence'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) ] (Agentd knows that 1)

Hypothesis: Karl can now know that Sarah'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 Eleanor knows whether Eleanor is thirsty. It is publicly announced that Adam is thirsty. It is publicly announced that Adam knows whether someone 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)) ] Agentb knows that (Agenta knows whether 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)) ] 0

Hypothesis: Adam can now know that Eleanor can know whether Eleanor 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 Jason does not know whether Walter is thirsty. It is publicly announced that Walter knows whether or not everyone is thirsty. It is publicly announced that Charles knows whether or not everyone is thirsty. It is publicly announced that Charles does not know whether Jason is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentb knows whether 3) ] [ ! (Agentc knows whether (1&2&3)) ] [ ! (Agenta knows whether (1&2&3)) ] [ ! ~(Agenta knows whether 2) ] (Agentc 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 3) ] [ ! (Agentc knows whether (1&2&3)) ] [ ! (Agenta knows whether (1&2&3)) ] [ ! ~(Agenta knows whether 2) ] 0

Hypothesis: Walter can now know that nobody 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 Vicki's forehead is muddy. It is publicly announced that Loretta knows whether Vicki'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 ] [ ! (Agentd knows whether 3) ] Agentd knows that (Agenta knows that (~(1|2|3|4)))

Hypothesis: Loretta can now know that Kelly can know that 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 Gloria knows whether Gloria'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) ] Agentc knows whether (Agenta knows that (1&2&3&4))

Hypothesis: Jessie can now know whether Gloria can know that everyone'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 everyone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (1&2&3) ] Agentb knows whether (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&2&3) ] 0

Hypothesis: Gregory can now know whether Frances can know whether someone 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 Norma knows whether someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Cassandra knows whether Pamela'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 (1|2|3|4)) ] [ ! (~(1&2&3&4)) ] [ ! (Agenta knows whether 4) ] Agentc knows that (Agentb knows that 4)

Hypothesis: Norma can now know that Susie can know that Pamela's forehead is muddy.


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

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

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

Hypothesis: Joanne can now know that Terrance 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 Verna does not know whether Verna's forehead is muddy. It is publicly announced that Donald'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)

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: Dinah can now know whether Verna can know whether Verna'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 Marylin knows whether or not everyone's forehead is muddy. It is publicly announced that Thomas's forehead is not muddy.

Hypothesis: Thomas can now 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). Steven's card is shown to Patricia. Janice's card is shown to Patricia. Patricia's card is shown to Pamela. Steven's card is shown to Janice. Patricia's card is shown to Janice. Janice's card is shown to Janice. It is publicly announced that someone picked a red card.

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

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

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


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

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

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

Hypothesis: Bonnie can now know whether Robert can know whether or not 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 Charles 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 (Agenta knows that 1)

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)) ] 0

Hypothesis: Sara can now know whether David can know that David 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 Dorothy is thirsty. It is publicly announced that Chris does not know whether Lisandra is thirsty. It is publicly announced that Dorothy knows whether Dorothy is thirsty. It is publicly announced that Chris 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) ] [ ! 3 ] [ ! ~(Agenta knows whether 2) ] [ ! (Agentc knows whether 3) ] [ ! ~(Agenta knows whether (1&2&3)) ] (Agenta knows that (1|2|3))

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

Hypothesis: Chris can now know that 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 Tania knows whether Paul's forehead is muddy. It is publicly announced that Tania knows whether Tania'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 3) ] [ ! (Agentb knows whether 2) ] Agentc knows that (Agenta knows that 1)

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 3) ] [ ! (Agentb knows whether 2) ] 0

Hypothesis: Paul 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's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Hattie knows whether or not nobody'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 (~(1|2|3))) ] Agentc knows that (Agenta knows that (~(1|2|3)))

Hypothesis: James can now know that Lizzie can 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). Carolyn's card is shown to Richard. Eugene's card is shown to Richard. Richard's card is shown to Carolyn. Richard's card is shown to Eugene. It is publicly announced that someone picked a red card. It is publicly announced that Richard knows whether Richard picked a red card.

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

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

Hypothesis: Richard can now know whether or not nobody 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.

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 that 1)

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


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

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

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

Hypothesis: Sam can now know that Jay can know that everyone 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 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)) ] (Agentb knows that 2)

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


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

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

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

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


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

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

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

Hypothesis: Allison can now know whether Julia can know that Allison picked a red card.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Kyle's card is shown to Reginald. Bonita's card is shown to Kyle. Mary's card is shown to Mary. Reginald's card is shown to Bonita. 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:2 Agentb:4 Agentc:3 Agentd:1 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] Agentb knows that (Agenta knows whether 2)

Hypothesis: Kyle can now know that Reginald can know whether Kyle picked a red card.


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

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

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

Hypothesis: John can now know whether Helene can know whether Gregory 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 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 whether (Agentb knows whether (1|2|3|4))

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


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

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

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

Hypothesis: Cecila can now know whether Candice can know whether Bonnie 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 Marcus is thirsty. It is publicly announced that Janet 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) ] [ ! 4 ] [ ! (Agentc knows whether (1|2|3|4)) ] (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) ] [ ! 4 ] [ ! (Agentc knows whether (1|2|3|4)) ] 0

Hypothesis: Marcus can now know whether or not everyone 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 William does not know whether William's forehead is muddy. It is publicly announced that William does not know whether William's forehead is muddy.

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

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

Hypothesis: William can now know that Robert can know whether or not 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 not everyone's forehead is muddy. It is publicly announced that Darron does not know whether Darron's forehead is muddy. It is publicly announced that Maurice knows whether Darron'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 whether 1) ] [ ! (Agentb knows whether 1) ] (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) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agenta knows whether 1) ] [ ! (Agentb knows whether 1) ] 0

Hypothesis: Mary can now 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.

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 that (Agenta knows whether (1&2&3&4))

Hypothesis: Ralph can now know that Joseph can know whether or not 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 knows whether Richard'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 3) ] Agentb knows that (Agentd knows whether (~(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 3) ] 0

Hypothesis: Robert can now know that Brenda can know whether or not nobody'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 Justin does not know whether or not everyone is thirsty. It is publicly announced that everyone is thirsty.

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

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

Hypothesis: Johnnie can now know that Justin can know whether Justin is thirsty.


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

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

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

Hypothesis: Lina can now know whether Lina 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 Betty knows whether Jason'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 2) ] Agentb knows that (Agentc 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 2) ] 0

Hypothesis: Jason can now know that Virgina can 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). Marie's card is shown to Eric. Natalie's card is shown to Eric. Natalie's card is shown to Marie. Eric's card is shown to Natalie. Natalie's card is shown to Natalie. It is publicly announced that someone picked a red card. It is publicly announced that Eric does not know whether Eric picked a red card. It is publicly announced that Marie does not know whether or not everyone picked a red card. It is publicly announced that Natalie picked a red card. It is publicly announced that Marie does not know whether or not everyone picked a red card.

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

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

Hypothesis: Natalie can now know that Marie can 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's forehead is muddy. It is publicly announced that Nicole does not know whether Nicole'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) ] Agentd knows that (Agentb knows whether 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) ] [ ! ~(Agentd knows whether 4) ] 0

Hypothesis: Nicole can now know that Sandra can know whether Kathleen's forehead is muddy.


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

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

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

Hypothesis: Kenneth can now know that Harriet 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 Gerald knows whether Larry'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 (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) ] [ ! (Agentc knows whether 2) ] 0

Hypothesis: Domingo can now 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 Ruben does not know whether or not everyone is thirsty. It is publicly announced that Ruben knows whether Ruben 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)) ] [ ! (Agentb knows whether 2) ] Agenta knows that (Agentc knows whether (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)) ] [ ! (Agentb knows whether 2) ] 0

Hypothesis: Rose can now know that Richard can 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). Christine's card is shown to Kay. Christine's card is shown to Christine. Bertha's card is shown to Christine. Christine's card is shown to Bertha. It is publicly announced that someone picked a red card. It is publicly announced that Kay picked a red card.

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

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

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


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

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

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

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


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

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

Hypothesis: Leah can now know whether Dale can know that everyone 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 someone's forehead is muddy. It is publicly announced that Charlie knows whether Shirley's forehead is muddy.

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

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

Hypothesis: Shirley can now know whether Charlie can know whether or not 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). Sylvia's card is shown to Jason. Kevin's card is shown to Jason. Sylvia's card is shown to Sylvia. Jason's card is shown to Kevin. It is publicly announced that someone picked a red card.

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

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

Hypothesis: Sylvia can now know whether Kevin picked a red card.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Rodney's card is shown to Matthew. Matthew's card is shown to Terry. Terry's card is shown to Terry. Rodney's card is shown to Terry. Matthew's card is shown to Rodney. Terry's card is shown to Rodney. Rodney's card is shown to Rodney. 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) ] Agentc knows whether (Agenta knows that (1|2|3))

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

Hypothesis: Rodney can now know whether Matthew can 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 Michael knows whether or 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) ] [ ! (Agenta knows whether (1&2&3)) ] (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) ] [ ! (Agenta knows whether (1&2&3)) ] 0

Hypothesis: Florentino can now know that Candida'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 Russell does not know whether Michelle 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) ] Agentd knows that (Agenta knows that 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) ] 0

Hypothesis: Keith can now know that Michelle can know that Keith 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 Josephine 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)) ] (Agentb knows that 2)

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: Chris can now know that Chris's forehead is muddy.


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

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

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

Hypothesis: Marion can now know whether Albert can know that everyone picked a red card.


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Brittney's card is shown to Brittney. John's card is shown to Brittney. Brittney's card is shown to John. It is publicly announced that someone 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 VALID? [ ! (1|2) ] [ ! (~(1&2)) ] (Agentb knows whether 1)

Hypothesis: John can now know whether Brittney 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 Justin knows whether or not nobody 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))) ] (Agentb 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 (~(1|2|3|4))) ] 0

Hypothesis: Ronald 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). Pamela's card is shown to Pamela. Crystal's card is shown to Barbara. Crystal's card is shown to Crystal. Mark's card is shown to Crystal. Barbara's card is shown to Mark. It is publicly announced that someone picked a red card. It is publicly announced that Barbara knows whether someone picked a red card.

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

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

Hypothesis: Mark can now know that Barbara can know whether Barbara picked a red card.


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

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

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

Hypothesis: Linda can now know whether Bryan can know that Linda 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 Flossie'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 whether (Agentd knows that 3)

Hypothesis: Anthony can now know whether Flossie can know that Anthony'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'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 whether (Agenta knows that (~(1|2|3|4)))

Hypothesis: William can now know whether Veronica can know that nobody'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 Nicole knows whether or not nobody's forehead is muddy. It is publicly announced that Nicole's forehead is muddy. It is publicly announced that Lillie'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) ] [ ! (Agentb knows whether (~(1|2|3|4))) ] [ ! 2 ] [ ! ~(3) ] (Agenta knows whether 1)

Hypothesis: Barbara can now know whether Barbara'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 Doris knows whether Robert's forehead is muddy. It is publicly announced that Phillip does not know whether Phillip's forehead is muddy. 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 LAW Top OBS Agenta:2,3 Agentb:1,3 Agentc:1,2 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether 1) ] [ ! ~(Agentb knows whether 2) ] [ ! (1|2|3) ] [ ! (Agenta knows whether 1) ] (Agenta knows whether 2)

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) ] [ ! ~(Agentb knows whether 2) ] [ ! (1|2|3) ] [ ! (Agenta knows whether 1) ] 0

Hypothesis: Robert can now know whether Phillip'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 Victor knows whether someone 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)) ] (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: Shannon can now know that someone 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 Mary knows whether Mary's forehead is muddy.

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

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

Hypothesis: Hazel can now know that Mary can know that Hazel'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 Billy does not know whether Dorothy is thirsty. It is publicly announced that Mary does not know whether Dorothy is thirsty. It is publicly announced that Dorothy does not know whether Billy is thirsty. It is publicly announced that Billy 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&2&3))

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: Billy can now know whether or not everyone 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 Erin knows whether Ann'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) ] (Agentb 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 1) ] 0

Hypothesis: Erin can now 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). Mary's card is shown to Mary. Edwin's card is shown to Mary. Edwin's card is shown to Pamela. It is publicly announced that someone picked a red card. It is publicly announced that someone picked a red card.

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

Hypothesis: Mary can now know whether Mary 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 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)) ] Agentc knows that (Agenta knows whether 1)

Hypothesis: Nancy can now know that Richard can know whether Richard's forehead is muddy.


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

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

Hypothesis: Brenda can now know whether Gregory can know that Brenda 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 Jordan'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 ] Agentc knows that (Agentb knows that 3)

Hypothesis: Jordan can now know that Tony can know that Jordan'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 Albert knows whether or not nobody'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 (Agentb 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) ] [ ! (Agenta knows whether (~(1|2|3))) ] 0

Hypothesis: Albert can now know whether Jonathan 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). Leanna's card is shown to Leanna. David's card is shown to Leanna. Leanna's card is shown to Vicki. Vicki's card is shown to Vicki. David's card is shown to Vicki. Leanna's card is shown to David. It is publicly announced that someone picked a red card. It is publicly announced that Vicki knows whether or not nobody picked a red card. It is publicly announced that Leanna does not know whether Vicki picked a red card.

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

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

Hypothesis: Vicki can now know whether David 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 Bess 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) ] [ ! (Agentc knows whether (1|2|3|4)) ] Agentc knows whether (Agentd knows that 1)

Hypothesis: Bess can now know whether Steve can know that Charles'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 Anthony knows whether or not nobody is thirsty. It is publicly announced that Georgia does not know whether Anthony is thirsty. It is publicly announced that Hong 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)) ] Agentc knows whether (Agenta knows whether (~(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 2) ] [ ! ~(Agentc knows whether (1&2&3)) ] 0

Hypothesis: Hong can now know whether Georgia can know whether or not nobody 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 Martin is thirsty. It is publicly announced that Martin does not know whether or not everyone is thirsty. It is publicly announced that Martin does not know whether or not everyone is thirsty. It is publicly announced that Rosemary 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) ] [ ! 2 ] [ ! ~(Agentb knows whether (1&2&3)) ] [ ! ~(Agentb knows whether (1&2&3)) ] [ ! ~(Agentc knows whether (1&2&3)) ] (Agenta knows that (~(1|2|3)))

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

Hypothesis: Elizabeth can now 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.

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 that (Agentd knows that (~(1|2|3|4)))

Hypothesis: Guadalupe can now know that Robert 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 Henry knows whether or 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) ] [ ! (Agentb knows whether (1&2&3)) ] (Agentb 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 (1&2&3)) ] 0

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