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

Hypothesis: Rosalyn can now know whether Patricia 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 Ralph does not know whether Timothy is thirsty. It is publicly announced that Timothy does not know whether Eric is thirsty.

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

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

Hypothesis: Kenneth can now know that Eric can know whether Ralph 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 Florence does not know whether Florence'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 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 3) ] 0

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


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

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

Hypothesis: Chris can now know whether Donovan can know that someone picked a red card.


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

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

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

Hypothesis: Douglas can now know whether John picked a red card.


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

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

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

Hypothesis: Terrie can now know whether Wayne 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 Janna 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) ] [ ! ~(Agenta knows whether (1&2&3&4)) ] Agentd knows that (Agentb knows that 4)

Hypothesis: Sandra can now know that Joan can know that Sandra'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 that 1)

Hypothesis: Ingrid can now know that Ingrid 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 Lucille's forehead is muddy. It is publicly announced that Cedric knows whether Lucille's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Victor's forehead is muddy. It is publicly announced that Thomas knows whether Victor'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) ] Agentc knows that (Agentb knows that 2)

Hypothesis: Victor can now know that Joseph can know that Joseph'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 Frank does not know whether Sha is thirsty. It is publicly announced that Mary 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) ] [ ! ~(Agentc knows whether 1) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] Agenta knows that (Agentd knows that 2)

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

Hypothesis: Sha can now know that Mary can know that Dorothy is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Samuel does not know whether Mary is thirsty. It is publicly announced that Guillermo 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 3) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] (Agentc knows that (1|2|3|4))

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

Hypothesis: Mary can now know that someone is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Lashonda'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) ] [ ! ~(3) ] Agenta knows that (Agentb knows whether 4)

Hypothesis: Margaret can now know that Denise can know whether Lillie's forehead is muddy.


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

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

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

Hypothesis: Maria can now know whether Normand can know that nobody 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 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) ] [ ! 1 ] Agentb knows that (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) ] [ ! 1 ] 0

Hypothesis: Dorothy can now know that Kenneth 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). Carl's card is shown to Helen. Christopher's card is shown to Helen. Christopher's card is shown to Carl. Carl's card is shown to Christopher. Carol's card is shown to Christopher. It is publicly announced that someone picked a red card. It is publicly announced that Carl does not know whether Carol picked a red card.

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

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

Hypothesis: Helen can now know whether Carol 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 Alfredo knows whether or not nobody'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 (~(1|2|3|4))) ] (Agenta knows that 2)

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


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

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

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

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

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


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

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

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

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

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

Hypothesis: Kristopher can now know that Edward can know whether Kristopher's forehead is muddy.


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

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

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

Hypothesis: Mark can now know whether Van 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 Alma's forehead is not muddy. It is publicly announced that Carlotta knows whether someone's forehead is muddy.

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

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


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

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

Hypothesis: Brian 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. It is publicly announced that Tommie knows whether or not nobody'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 (~(1|2|3|4))) ] (Agentb knows that 1)

Hypothesis: Tommie can now know that Henry'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 Matthew does not know whether Sharon is thirsty. It is publicly announced that Jean knows whether someone is thirsty. It is publicly announced that Jean does not know whether Matthew is thirsty.

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

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

Hypothesis: Jean can now know that Martin can know whether or not 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 Lynn knows whether someone's forehead is muddy. It is publicly announced that Joel knows whether Joel'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) ] (Agentb 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) ] [ ! (Agentc knows whether (1|2|3|4)) ] [ ! (Agenta knows whether 1) ] 0

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


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

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

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

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

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

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

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

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

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


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

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

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

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

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

Hypothesis: Vera can now know that Thomas can know whether Vera'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 Andrea knows whether Andrea is thirsty.

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

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

Hypothesis: Gene can now know whether Andrea is thirsty.


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

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

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

Hypothesis: Simon can now know that Simon 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 Gwendolyn is not thirsty. It is publicly announced that Gwendolyn is not thirsty. It is publicly announced that Patrick does not know whether David is thirsty.

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

Hypothesis: Patrick can now know that Gwendolyn can know whether or not nobody is thirsty.


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

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

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

Hypothesis: Tyron can now know that Dale can know that David'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 Ronda knows whether Ronda's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Minnie knows whether Francis'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) ] (Agentb knows whether 3)

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

Hypothesis: Cindy can now know whether Minnie'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 Jewell 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 (Agentb knows whether 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)) ] 0

Hypothesis: Gertrude can now know that Krista can know whether Jewell is thirsty.


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

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

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

Hypothesis: Gilbert can now know that Jenny 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 Annemarie is not thirsty. It is publicly announced that Rodney knows whether Annemarie is thirsty. It is publicly announced that Annemarie does not know whether Justin is thirsty.

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

Hypothesis: Rodney can now know that Rodney is thirsty.


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

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

Hypothesis: Alice can now know that Alice 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 Mary 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 (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) ] [ ! (Agenta knows whether (1&2&3)) ] 0

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


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that someone's forehead is muddy. It is publicly announced that John 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) ] [ ! (1|2|3) ] [ ! (Agentb knows whether (1&2&3)) ] (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) ] [ ! (1|2|3) ] [ ! (Agentb knows whether (1&2&3)) ] 0

Hypothesis: John 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). Geoffrey's card is shown to Karen. Karen's card is shown to Christina. Christina's card is shown to Christina. Geoffrey's card is shown to Christina. Christina's card is shown to Geoffrey. Geoffrey's card is shown to Geoffrey. It is publicly announced that someone picked a red card. It is publicly announced that Karen does not know whether or not everyone picked a red card.

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

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

Hypothesis: Geoffrey can now know whether Christina 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 Edward 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) ] [ ! (Agentc knows whether (1&2&3)) ] Agenta 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) ] [ ! (Agentc knows whether (1&2&3)) ] 0

Hypothesis: Willie can now know that Edward 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 Vinita knows whether Vinita's forehead is muddy. It is publicly announced that Susan knows whether Susan's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Victoria knows whether Emma'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) ] [ ! (~(1&2&3&4)) ] [ ! (Agentc knows whether 1) ] Agentb knows whether (Agenta knows whether 1)

Hypothesis: Jared can now know whether Emma can know whether Emma'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 Timothy knows whether someone is thirsty. It is publicly announced that Anthony does not know whether Michael is thirsty. It is publicly announced that Donna 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 4) ] [ ! 1 ] (Agentb 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) ] [ ! (Agentb knows whether (1|2|3|4)) ] [ ! ~(Agentc knows whether 4) ] [ ! 1 ] 0

Hypothesis: Timothy can now know whether Michael 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 someone's forehead is muddy. It is publicly announced that Katrina knows whether Herman's forehead is muddy. It is publicly announced that Herman does not know whether Herman's forehead is muddy.

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

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

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


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

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

Hypothesis: Annemarie can now know that Steve can know that Melissa'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 Cory 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 (Agentb knows that (~(1|2|3)))

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

Hypothesis: Jonnie can now know that Cory 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). Emma's card is shown to Kristin. 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:1 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] (Agenta knows whether 4)

Hypothesis: Emma can now know whether Mary 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 Phil is thirsty. It is publicly announced that Gabriela does not know whether or not everyone is thirsty. It is publicly announced that Phil does not know whether Irving is thirsty.

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

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

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

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

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

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


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Robert's card is shown to Chase. Adam's card is shown to Virginia. Robert's card is shown to Virginia. Chase's card is shown to Adam. 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 not everyone picked a red card. It is publicly announced that Adam picked a black card.

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

Hypothesis: Adam can now know that Chase can know that Robert 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 Franklin does not know whether Maria 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) ] [ ! ~(Agentd knows whether 3) ] [ ! (1&2&3&4) ] (Agentb 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) ] [ ! ~(Agentd knows whether 3) ] [ ! (1&2&3&4) ] 0

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

Hypothesis: Yvonne can now know that Yvonne'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 Hugh knows whether someone is thirsty. It is publicly announced that Pam does not know whether Hugh 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 2) ] Agentd knows that (Agenta knows that (~(1|2|3|4)))

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

Hypothesis: Jessica can now know that Julian can know that 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 Thomas knows whether or not nobody's forehead is muddy.

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

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

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


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

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

Hypothesis: Summer can now know whether someone 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 Angela 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) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] Agentc knows that (Agentb knows whether 2)

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

Hypothesis: Angela can now know that Lisa can know whether Lisa is thirsty.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). William's card is shown to Brian. James's card is shown to Brian. William's card is shown to James. 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) ] (Agentb knows that (~(1|2|3)))

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

Hypothesis: William can now know that 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). Mattie's card is shown to Stephanie. Harold's card is shown to Harold. Harold's card is shown to Virginia. It is publicly announced that someone picked a red card.

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

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

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


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

Hypothesis: Theodore 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). Anthony's card is shown to Mark. Joseph's card is shown to Mark. Cynthia's card is shown to Joseph. It is publicly announced that someone picked a red card.

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

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

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


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

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

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

Hypothesis: Ray can now know that Barbara 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 Richard is thirsty. It is publicly announced that Gregory does not know whether Kathleen is thirsty.

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

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

Hypothesis: Richard can now know whether Kathleen can know that Richard 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 Michael does not know whether Michael's forehead is muddy. It is publicly announced that Robert'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 2) ] [ ! ~(4) ] Agentb knows whether (Agenta knows that 2)

Hypothesis: Michael can now know whether Patricia 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. It is publicly announced that Gayle's forehead is muddy. It is publicly announced that Monica'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) ] [ ! 2 ] [ ! ~(3) ] Agentd knows whether (Agentb knows that 2)

Hypothesis: Paulette can now know whether Gayle can know that Gayle'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 Bonnie knows whether Bonnie 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 2) ] (Agentb 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 2) ] 0

Hypothesis: Bonnie can now know that Eva is thirsty.


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

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

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

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

Hypothesis: Eva can now know that Andrea can know that Eva'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 Connie knows whether or not nobody's forehead is muddy.

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

Hypothesis: Bradley can now know whether Connie 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 Tamara does not know whether Kathryn is thirsty.

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

Hypothesis: Anna can now know that Kathryn 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 Nancy does not know whether or not everyone is thirsty. It is publicly announced that Nancy 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) ] [ ! ~(Agenta knows whether (1&2&3)) ] [ ! ~(Agenta knows whether (1&2&3)) ] Agentb knows that (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)) ] [ ! ~(Agenta knows whether (1&2&3)) ] 0

Hypothesis: Alan can now know that Nancy can know that everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Margaret does not know whether James is thirsty. It is publicly announced that Harvey knows whether someone is thirsty.

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

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

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

Hypothesis: Tom can now know that Tom'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 everyone's forehead is muddy. It is publicly announced that Scott's forehead is muddy.

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

Hypothesis: Marie can now know that Scott can know that 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 Bernice does not know whether or not everyone is thirsty. It is publicly announced that Bernice knows whether Bernice 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 (Agentb knows that (1|2|3))

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

Hypothesis: Laura can now know that Bernice can know that someone is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Beverly does not know whether Beverly'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) ] Agenta knows that (Agentc knows that (1|2|3|4))

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

Hypothesis: Carl can now know that Beverly can know that 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 Brenda does not know whether John is thirsty.

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

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

Hypothesis: Brenda can now know that Jason can know whether Michael is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Anthony does not know whether Vincent is thirsty. It is publicly announced that Glenn 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) ] [ ! ~(Agentd knows whether 1) ] [ ! ~(Agentb knows whether (1&2&3&4)) ] Agentd knows whether (Agentc knows whether 2)

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

Hypothesis: Anthony can now know whether Cynthia can know whether Glenn 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 David knows whether Hazel'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) ] Agentd knows whether (Agentc knows that 3)

Hypothesis: David can now know whether Joshua can know that Joshua's forehead is muddy.


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

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

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

Hypothesis: Kathleen can now know that Jarod 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)) ] Agentd knows that (Agentb knows that 2)

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


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

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

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

Hypothesis: Nellie can now know whether John 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). Deborah's card is shown to Deborah. Claudia's card is shown to Beth. Deborah's card is shown to Claudia. It is publicly announced that someone picked a red card. It is publicly announced that Deborah does not know whether or not everyone picked a red card.

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

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

Hypothesis: Deborah can now know whether Beth picked a red card.


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

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

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

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


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

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

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

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

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

Hypothesis: Adam can now know whether David can know whether William'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.

Hypothesis: Larry can now 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). Harold's card is shown to Paul. Harold's card is shown to Harold. It is publicly announced that someone picked a red card. It is publicly announced that Harold knows whether Paul picked a red card.

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

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

Hypothesis: Paul can now know whether Harold 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). Adam's card is shown to Adam. Morris's card is shown to Adam. Morris's card is shown to Morris. 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 someone picked a red card. It is publicly announced that Morris does not know whether or not everyone picked a red card. It is publicly announced that Morris does not know whether Adam picked a red card.

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

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

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

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

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

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Margaret 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) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] Agenta knows whether (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) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] 0

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


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

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

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

Hypothesis: Arthur can now know whether Arthur 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 Angie 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)) ] Agenta knows that (Agentb knows whether 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: Angie can now know that Sue can know whether Dudley'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 Donald 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 (Agentb knows whether (1|2|3))

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

Hypothesis: Stephanie can now know whether Adam can know whether someone is thirsty.


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

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

Hypothesis: Karen can now know whether Anthony can know that Doug is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Sara does not know whether Harold is thirsty. It is publicly announced that Sara 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 4) ] [ ! ~(Agentb knows whether (1&2&3&4)) ] Agenta knows that (Agentc knows whether 2)

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

Hypothesis: Janet can now know that Darlene can know whether Sara 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 Stephan 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) ] [ ! (Agentb knows whether (1|2|3|4)) ] (Agenta knows whether 1)

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

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

Hypothesis: Brian can now know whether or not nobody's forehead is muddy.


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

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

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

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


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

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

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

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

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

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

Hypothesis: Wendi can now know whether Wendi'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 whether 4)

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


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

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

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


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

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

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

Hypothesis: Tonya can now know that David can know whether or not nobody picked a red card.


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

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

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

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

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

Hypothesis: Calvin can now know that 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 Lillian does not know whether Gayle is thirsty. It is publicly announced that Lillian does not know whether or not everyone is thirsty. It is publicly announced that Lillian does not know whether or not everyone is thirsty. It is publicly announced that Gayle is thirsty.

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

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

Hypothesis: Lillian can now know that Gayle can 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). Verna's card is shown to Verna. Antoinette's card is shown to Antoinette. Ann's card is shown to Antoinette. Ann's card is shown to Ann. It is publicly announced that someone picked a red card.

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

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

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


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

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

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

Hypothesis: Linda can now know whether Jeff can know whether Elizabeth 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 Melissa's forehead is not muddy.

Hypothesis: Melissa 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's forehead is muddy. It is publicly announced that Kendrick does not know whether or not everyone's forehead is muddy. It is publicly announced that Genevieve's forehead is muddy.

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

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

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

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

Hypothesis: Paul can now know that James can know that Paul 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 Stacey does not know whether or not everyone's forehead is muddy. It is publicly announced that Susan knows whether or not everyone'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 (Agentb 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: Stacey can now know whether Susan can know whether or not nobody's forehead is muddy.


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

Hypothesis: Helen can now know whether Michael can know whether 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. It is publicly announced that Roger 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)) ] (Agenta knows that 3)

Hypothesis: Leigh can now know that Roger'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 Rita does not know whether Frank is thirsty. It is publicly announced that Scott does not know whether Rita is thirsty. It is publicly announced that Scott does not know whether Frank is thirsty.

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

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

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

Hypothesis: Nicholas can now know that David can know that 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 Audrey knows whether Mary's forehead is muddy.

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

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


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

Hypothesis: Rosa can now know whether Jon can know whether someone is thirsty.


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

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

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


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

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

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

Hypothesis: Angela can now know whether Ricardo can 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 Leonard knows whether Leonard's forehead is muddy.

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

Hypothesis: Paula can now know whether Leonard can know whether Paula'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 Theresa's forehead is not muddy.

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Evelyn knows whether Rodney'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 2) ] Agentd knows that (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) ] [ ! (Agenta knows whether 2) ] 0

Hypothesis: Lois can now know that Forrest can know whether someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Robert knows whether 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)) ] (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)) ] 0

Hypothesis: Irma 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 Edith knows whether Edith 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 2) ] Agenta knows that (Agentd knows that (1|2|3|4))

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

Hypothesis: Assunta can now know that Jordon can know that someone 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 is not thirsty.

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

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

Hypothesis: David can now know whether Jason can know that everyone is thirsty.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Suzette knows whether or not everyone is thirsty. It is publicly announced that Suzette knows whether Nancy 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)) ] [ ! (Agentb knows whether 1) ] [ ! (1|2) ] (Agentb knows whether 1)

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

Hypothesis: Suzette can now know whether Nancy 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 Robert does not know whether Edward is thirsty.

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

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

Hypothesis: Edward can now know whether Robert can know that Gloria 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 Alan knows whether Terry'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 2) ] (Agentc 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) ] [ ! (Agentc knows whether 2) ] 0

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


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

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

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

Hypothesis: James can now know that Kevin can know whether someone 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 David knows whether someone is thirsty. It is publicly announced that Jerilyn does not know whether David is thirsty. It is publicly announced that Jerilyn is thirsty. It is publicly announced that Todd does not know whether David is thirsty.

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

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

Hypothesis: Todd 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). Ira's card is shown to James. Shirley's card is shown to James. Ira's card is shown to Ira. James's card is shown to Shirley. Shirley's card is shown to Shirley. It is publicly announced that someone picked a red card.

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

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

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


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

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

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

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


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

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

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

Hypothesis: Jason can now know whether Kimberly can know that someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Shelley does not know whether Shelley's forehead is muddy. It is publicly announced that Titus does not know whether Titus'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 3) ] Agenta knows whether (Agentc knows whether 3)

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

Hypothesis: Gary can now know whether Titus can know whether Titus'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 Fabian knows whether Brooke's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Derrick does not know whether Marjorie is thirsty. It is publicly announced that Kathy does not know whether Barbie is thirsty.

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

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

Hypothesis: Barbie can now know that Derrick can know that nobody 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 Jane's forehead is not muddy. It is publicly announced that Christopher's forehead is not muddy.

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

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

Hypothesis: Joseph can now know whether Anthony can know that Dorothy'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 Jeffrey does not know whether Jeffrey's forehead is muddy. It is publicly announced that Jeffrey does not know whether Jeffrey'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 whether 2) ] (Agentc knows that 4)

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

Hypothesis: Misty can now know that Nan'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 Ramona does not know whether or not everyone is thirsty. It is publicly announced that Patricia knows whether Ramona is thirsty. It is publicly announced that John does not know whether Patricia 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) ] Agenta knows that (Agentb knows that 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) ] 0

Hypothesis: Patricia can now know that Ramona can know that John is thirsty.


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

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

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

Hypothesis: Michael can now know that Ronald can know whether or not nobody picked a red card.


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

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

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

Hypothesis: Brandy can now know that Ellen can know whether Miguel 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 Christopher knows whether John's forehead is muddy. It is publicly announced that Elizabeth'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) ] [ ! 1 ] (Agenta knows that 4)

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

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


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

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

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

Hypothesis: Nellie 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). Thomas's card is shown to Daniel. Harry's card is shown to Thomas. Daniel's card is shown to Shellie. Harry's card is shown to Shellie. Thomas's card is shown to Harry. Harry's card is shown to Harry. It is publicly announced that someone picked a red card. It is publicly announced that Harry picked a red card. It is publicly announced that Daniel does not know whether or not everyone picked a red card.

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

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

Hypothesis: Daniel can now know that Thomas can know whether Shellie 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 Michael knows whether or not everyone's forehead is muddy.

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

Hypothesis: David 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). Anthony's card is shown to Anthony. Robert's card is shown to Anthony. Robert's card is shown to Stephanie. It is publicly announced that someone picked a red card.

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

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

Hypothesis: Robert can now know whether Stephanie picked a red card.


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

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

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

Hypothesis: Anthony can now know whether someone is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Robyn does not know whether Jean is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Amos does not know whether Jean 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)) ] [ ! ~(Agentd knows whether 1) ] (Agenta 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) ] [ ! ~(Agentb knows whether 1) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agentd knows whether 1) ] 0

Hypothesis: Jean can now know that Ryan 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 Michelle knows whether Michelle's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Steve's card is shown to Lynne. Lynne's card is shown to Caitlyn. Caitlyn's card is shown to Caitlyn. Steve's card is shown to Caitlyn. Caitlyn's card is shown to Steve. 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 someone picked a red card.

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

Hypothesis: Lynne can now know that Steve 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 Teresa does not know whether John is thirsty. It is publicly announced that Teresa is not 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) ] [ ! ~(Agentc knows whether 4) ] [ ! ~(3) ] [ ! (~(1&2&3&4)) ] Agenta knows whether (Agentb 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) ] [ ! ~(Agentc knows whether 4) ] [ ! ~(3) ] [ ! (~(1&2&3&4)) ] 0

Hypothesis: Kellie can now know whether Gladys can know that Kellie 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 Mark does not know whether Mark'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) ] [ ! ~(Agentb knows whether 2) ] [ ! (~(1&2)) ] Agentb knows that (Agenta knows that (1&2))

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

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