Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Tammy's card is shown to Tammy. Nicholas's card is shown to Tammy. Tammy's card is shown to Ricky. Erica's card is shown to Ricky. Nicholas's card is shown to Ricky. Erica's card is shown to Erica. Nicholas's card is shown to Erica. Tammy's card is shown to Nicholas. Nicholas's card is shown to Nicholas. It is publicly announced that someone picked a red card. It is publicly announced that Ricky 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))) ] (Agenta knows that 3)

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: Tammy can now know that Erica 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 Angelina'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) ] [ ! 2 ] Agentd knows that (Agenta knows that 3)

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


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

Hypothesis: James can now know that Mary can know whether Dominique 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 Lisa is not thirsty.

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

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

Hypothesis: Lisa can now know that Lisa 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 Suzanne's forehead is not muddy. It is publicly announced that William'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 (Agenta knows that (1&2&3))

Hypothesis: Shane can now know that William 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. It is publicly announced that Ron is thirsty. It is publicly announced that Cassandra does not know whether or not everyone is thirsty. It is publicly announced that Ron does not know whether Marjorie 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) ] (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) ] [ ! 3 ] [ ! ~(Agentd knows whether (1&2&3&4)) ] [ ! ~(Agentc knows whether 1) ] 0

Hypothesis: Frank can now know whether Cassandra 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 Thomas is thirsty. It is publicly announced that Christine is thirsty.

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

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

Hypothesis: Don can now know that Don is thirsty.


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

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

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

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

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

Hypothesis: Florence can now know that William can know that William'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 David does not know whether Ronald is thirsty. It is publicly announced that Jayson does not know whether Ronald is thirsty. It is publicly announced that Ronald does not know whether David is thirsty. It is publicly announced that David is thirsty.

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

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

Hypothesis: David can now 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 Deborah does not know whether Frank is thirsty. It is publicly announced that Larry does not know whether Lorena 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 2) ] (Agentc knows that 2)

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

Hypothesis: Frank can now know that Lorena is thirsty.


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

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

Hypothesis: Mark can now know whether James can know that nobody 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 Ashley knows whether Ashley is thirsty. It is publicly announced that William does not know whether or not everyone is thirsty.

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

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

Hypothesis: Ashley can now know that William can know whether William 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 Loise does not know whether Michael is thirsty. It is publicly announced that Nathaniel is thirsty. It is publicly announced that Michael is thirsty. It is publicly announced that Nathaniel is thirsty.

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

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

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

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

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


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

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

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

Hypothesis: William can now know that Charles can know that Charles 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 Fay knows whether Fay's forehead is muddy. It is publicly announced that Michelle knows whether David'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 2) ] [ ! (Agentc knows whether 1) ] (Agentc knows that (~(1|2|3|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) ] [ ! (Agentb knows whether 2) ] [ ! (Agentc knows whether 1) ] 0

Hypothesis: Michelle 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). Dan's card is shown to Bertha. Ivonne's card is shown to Dan. Ivonne's card is shown to Ronald. Dan's card is shown to Ronald. It is publicly announced that someone picked a red card.

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

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

Hypothesis: Ivonne can now know whether Dan can know that Dan 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 Steven does not know whether Steven's forehead is muddy. It is publicly announced that Michael does not know whether Michael's forehead is muddy. It is publicly announced that Frances knows whether Frances's forehead is muddy.

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

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

Hypothesis: Michael can now know whether Frances can know whether Michael'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 Myrl does not know whether Wayne is thirsty.

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

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

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

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

Hypothesis: Corina can now 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 Juan 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 (Agentb knows that 3)

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

Hypothesis: Juan can now know whether Renita can know that Mary 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 Bruce knows whether Bruce's forehead is muddy.

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

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

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


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

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

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


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

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

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

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


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

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

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

Hypothesis: Shawn can now know whether Gwendolyn can know whether Tammy 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 William 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 (Agentc knows that 4)

Hypothesis: Jeffrey can now know that William can know that Victoria's forehead is muddy.


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

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

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

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

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

Hypothesis: Mary can now know whether Frank can know whether Joanne'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 Tim does not know whether Traci is thirsty. 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) ] [ ! ~(Agentc knows whether 1) ] [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] Agenta knows whether (Agentb knows whether 1)

Hypothesis: Traci can now know whether Annie can know whether Traci 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 Rose 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) ] [ ! ~(Agenta knows whether (1&2&3)) ] Agentb knows whether (Agentc knows whether (1|2|3))

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

Hypothesis: Gina can now know whether Ariel 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.

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

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

Hypothesis: Janet can now know whether Carl can know whether Carl'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 Linda knows whether or not everyone is thirsty.

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

Hypothesis: Jean can now know whether Anissa can know that nobody 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 William does not know whether Paula 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) ] (Agentc knows that 2)

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

Hypothesis: Paula can now know that Marna is thirsty.


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

Hypothesis: Jeffrey can now know that Ramon can know that nobody is thirsty.


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

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

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

Hypothesis: Frances can now know whether Joshua can know that Paul 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 Mary does not know whether or not everyone's forehead is muddy. It is publicly announced that Julius knows whether someone's forehead is muddy.

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

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

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


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

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

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

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

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

Hypothesis: Sherman can now know that Lucille can know whether someone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Willie knows whether Dan's forehead is muddy. It is publicly announced that Betty 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) ] [ ! (~(1&2&3&4)) ] [ ! (Agenta knows whether 3) ] [ ! (Agentd knows whether (1|2|3|4)) ] (Agenta knows that (1&2&3&4))

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Greg knows whether or not nobody's forehead is muddy. It is publicly announced that Denise'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 1)

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

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

Hypothesis: Angela can now know whether Kimberly can know that Angela 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 Michael knows whether 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)) ] (Agenta knows that 2)

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

Hypothesis: Michael can now know that Clara'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 Rebecca knows whether Paul'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 (Agenta knows that (1&2&3&4))

Hypothesis: Rebecca can now know whether Jasmine 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. It is publicly announced that Charles 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) ] [ ! (Agentb knows whether (1|2|3|4)) ] (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 (1|2|3|4)) ] 0

Hypothesis: Janice can now know whether Charles 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 Donna knows whether someone's forehead is muddy.

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

Hypothesis: Jay can now know that Harold can know whether Roy'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 Warren does not know whether Warren'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) ] Agentd knows whether (Agentb 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) ] [ ! ~(Agenta knows whether 1) ] 0

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

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

Hypothesis: Jessica 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). Dean's card is shown to Dean. Angel's card is shown to Dean. Jane's card is shown to Jane. Dean's card is shown to Angel. Jane's card is shown to Angel. It is publicly announced that someone picked a red card. It is publicly announced that Angel does not know whether Angel picked a red card.

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

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

Hypothesis: Dean can now know that Jane can know whether Angel picked a red card.


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

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

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

Hypothesis: Robert can now know whether Raymond 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 Erin knows whether someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Eleanor knows whether Camilla's forehead is muddy.

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

Hypothesis: Esther can now know that Eleanor 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. It is publicly announced that John is not thirsty. It is publicly announced that Nick does not know whether Richard is thirsty. It is publicly announced that Richard does not know whether Nick is thirsty.

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

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

Hypothesis: Richard can now know that Nick can know that Nick 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 Doyle knows whether Shane's forehead is muddy.

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

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

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


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

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

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


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

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

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

Hypothesis: Bret can now know whether Mark can know that Mark'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 Gladys does not know whether Richard is thirsty. It is publicly announced that Gladys does not know whether Howard is thirsty.

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

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

Hypothesis: Gladys can now know whether or not nobody is thirsty.


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

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

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

Hypothesis: Vernell can now know that Don can know that Alice picked a red card.


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

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

Hypothesis: Curtis 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 Muriel'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 that (Agenta knows that 1)

Hypothesis: Jesus can now know that Laura can know that Laura'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 Arthur does not know whether Arthur's forehead is muddy. It is publicly announced that Ethel 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 2) ] [ ! ~(Agenta knows whether (1&2&3)) ] (Agentc knows that 1)

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

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


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 Donna. Donna's card is shown to Maryann. Michael's card is shown to Maryann. Donna's card is shown to Dorothy. It is publicly announced that someone picked a red card. It is publicly announced that Dorothy picked a red card.

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

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

Hypothesis: Maryann 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's forehead is muddy. It is publicly announced that Lisa does not know whether Lisa's forehead is muddy. It is publicly announced that Danielle knows whether or not nobody's forehead is muddy.

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

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

Hypothesis: Saundra can now know that Saundra'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 Sarah knows whether someone's forehead is muddy. It is publicly announced that everyone's forehead is muddy. It is publicly announced that Nell knows whether Sarah'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)) ] [ ! (1&2&3&4) ] [ ! (Agentd knows whether 2) ] (Agentb knows whether 2)

Hypothesis: Sarah can now know whether Sarah'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 Lori's forehead is muddy.

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

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

Hypothesis: Jeffrey can now know that Norman can know that Jeffrey'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 William. William's card is shown to Anthony. William's card is shown to Mary. Anthony's card is shown to Mary. It is publicly announced that someone picked a red card.

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

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

Hypothesis: William can now know whether Mary can know that Anthony 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 Stephen's forehead is not muddy. It is publicly announced that Evelyn knows whether Stephen'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 whether 1) ] Agentb knows whether (Agenta knows that 2)

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

Hypothesis: Evelyn can now know whether Stephen can know that Evelyn'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 Michael does not know whether Hazel is thirsty.

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

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

Hypothesis: Sharon can now know that Brenda can know whether Michael 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 Sam does not know whether Patricia is thirsty.

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

Hypothesis: Sam can now know that Patricia 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 Bobby knows whether Erica'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 2) ] (Agentd knows whether (~(1|2|3|4)))

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


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

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

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

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

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

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

Hypothesis: Barry can now know whether Linda can know that Barry's forehead is muddy.


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

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

Hypothesis: Karlene can now know that Wilfred'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) ] Agentc knows whether (Agenta knows whether 4)

Hypothesis: Marion can now know whether Paul can know whether Bryan'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 William knows whether William is thirsty. It is publicly announced that Claudette 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) ] [ ! ~(Agentb knows whether (1&2&3)) ] Agentc 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) ] [ ! (Agenta knows whether 1) ] [ ! ~(Agentb knows whether (1&2&3)) ] 0

Hypothesis: Robert can now know whether Claudette can know whether or not nobody is thirsty.


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 Robert. Virginia's card is shown to Robert. Nicole's card is shown to Virginia. Robert's card is shown to Nicole. Nicole's card is shown to Nicole. Mary's card is shown to Nicole. Nicole's card is shown to Mary. It is publicly announced that someone picked a red card.

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

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

Hypothesis: Mary can now know whether Virginia can know that Mary picked a red card.


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

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

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

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


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

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

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

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


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

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

Hypothesis: Darin can now know that Luis 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). Renita's card is shown to Renita. Mary's card is shown to Renita. Mary's card is shown to Mary. Michael's card is shown to Mary. Jane's card is shown to Michael. Mary's card is shown to Jane. It is publicly announced that someone picked a red card.

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

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

Hypothesis: Michael can now know whether Renita can know whether Jane picked a red card.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Leslie's card is shown to Leslie. Lawrence's card is shown to Leslie. Lawrence's card is shown to Lawrence. Leslie's card is shown to Bonnie. Bonnie's card is shown to Bonnie. Lawrence's card is shown to Kathy. Kathy's card is shown to Kathy. 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 Lawrence picked a red card. It is publicly announced that Lawrence knows whether or not nobody picked a red card.

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

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


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

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

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

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

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

Hypothesis: Manuel can now know that Charles can know that everyone 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 someone's forehead is muddy. It is publicly announced that Richard knows whether Natalie's forehead is muddy. It is publicly announced that Natalie 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) ] [ ! (Agenta knows whether (1|2|3|4)) ] [ ! (Agentb knows whether 4) ] [ ! (Agentd knows whether (1|2|3|4)) ] Agenta knows that (Agentb 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|2|3|4)) ] [ ! (Agentb knows whether 4) ] [ ! (Agentd knows whether (1|2|3|4)) ] 0

Hypothesis: Christopher can now know that Richard can know that John'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 Roy's forehead is muddy. It is publicly announced that Amy's forehead is not muddy. It is publicly announced that Roy 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 ] [ ! ~(3) ] [ ! (Agenta knows whether (1&2&3)) ] (Agentc knows that 3)

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

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


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

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

Hypothesis: Caroline can now know that Heather 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 Lea's forehead is not muddy.

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

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

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


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: Roger can now know that someone is thirsty.


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

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

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

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


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

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

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

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


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

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

Hypothesis: Tiffany can now know that Peter can know that Alberto'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 Ray does not know whether Ray's forehead is muddy. It is publicly announced that Ray does not know whether Ray'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 whether 1)

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

Hypothesis: Mamie can now know whether Natalie'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 Connie'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 that (1&2&3))

Hypothesis: Debra can now know whether Gary can know that everyone's forehead is muddy.


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

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

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

Hypothesis: Victoria can now know that Ryan can know whether or not everyone is thirsty.


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

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

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

Hypothesis: Isaias can now know whether Lisa can know that Lisa 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 Jessica knows whether or not nobody is thirsty. It is publicly announced that Richard does not know whether Jessica is thirsty. It is publicly announced that David does not know whether or not everyone is thirsty.

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

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

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

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

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


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

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

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

Hypothesis: Juanita can now know that Billy can know that everyone is thirsty.


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

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

Hypothesis: Beatrice can now know whether Edwin can know that Tina's forehead is muddy.


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

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

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


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

Hypothesis: Carolyn can now know that Frances can know whether Frances'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 Robert knows whether someone's forehead is muddy.

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

Hypothesis: Brandon can now know that Jenna'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 Angelina knows whether Angelina is thirsty.

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

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

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


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

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

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

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

Hypothesis: Lavern can now know that Geraldine can know that Lavern'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 John does not know whether Tamika is thirsty. It is publicly announced that Tamika does not know whether John is thirsty.

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

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

Hypothesis: Derick can now know whether someone is thirsty.


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

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

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

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


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

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


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

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

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

Hypothesis: Nadine can now know whether Joseph can know whether someone 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 Nancy 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) ] [ ! (Agentc knows whether (1|2|3)) ] Agentc knows that (Agenta knows that 2)

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

Hypothesis: Nancy can now know that Alexander can know that Brian'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. Rosie's card is shown to James. James's card is shown to Heather. It is publicly announced that someone picked a red card. It is publicly announced that James knows whether someone picked a red card. It is publicly announced that James does not know whether or not everyone picked a red card.

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

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

Hypothesis: Rosie can now know whether James can know whether Rosie 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 Jane 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) ] [ ! ~(Agenta knows whether (1&2&3)) ] Agenta knows whether (Agentb knows whether 2)

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

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

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

Hypothesis: Paul 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 Lawanda does not know whether Chris is thirsty. It is publicly announced that Chris knows whether or not everyone is thirsty.

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

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

Hypothesis: Lawanda can now know that Chris can know that someone is thirsty.


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

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

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


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

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


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

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

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

Hypothesis: Tamika can now know whether Tamika 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 Arthur does not know whether Arthur's forehead is muddy. It is publicly announced that Roseanne 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 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 (1&2&3)) ] 0

Hypothesis: Dennis can now know whether Roseanne'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 Lee's forehead is not muddy.

Hypothesis: Lee 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). Helen's card is shown to Helen. Stacie's card is shown to Stacie. It is publicly announced that someone picked a red card. It is publicly announced that Stacie picked a red card. It is publicly announced that everyone picked a red card.

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

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


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

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

Hypothesis: James can now know that Leah can know whether Leah'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 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) ] [ ! (1|2|3|4) ] Agenta knows that (Agentd knows that 2)

Hypothesis: Natalie can now know that Mary can know that Richard'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 Charles knows whether Rose'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) ] Agentc knows that (Agenta knows that 3)

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


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

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

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


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

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

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


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

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

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

Hypothesis: Emily can now know that someone is thirsty.


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

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


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

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

Hypothesis: Dawn can now know that David can know whether or not everyone's forehead is muddy.


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

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

Hypothesis: Marilee can now know whether Kristine 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 Lydia does not know whether Patricia is thirsty.

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

Hypothesis: Patricia can now know that Marni is thirsty.


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

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

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

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


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

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

Hypothesis: Rebecca can now 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). Laura's card is shown to Jesus. Laura's card is shown to Laura. Glen's card is shown to Glen. It is publicly announced that someone picked a red card.

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

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

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


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

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

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

Hypothesis: Pauline can now know that Delores 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) ] Agentd knows whether (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) ] 0

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


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

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

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

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


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Martha does not know whether James 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 (Agentc knows that (~(1|2|3)))

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

Hypothesis: Gregory can now know that Martha can know that nobody is thirsty.


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

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

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

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


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

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

Hypothesis: Paul can now know whether Paul 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 Jay knows whether Jay'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) ] (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) ] [ ! (Agentb knows whether 2) ] 0

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


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Carolyn does not know whether Carolyn's forehead is muddy. It is publicly announced that Carolyn knows whether Willie's forehead is muddy. It is publicly announced that Carolyn knows whether or not everyone's forehead is muddy. It is publicly announced that Willie'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) ] [ ! ~(Agenta knows whether 1) ] [ ! (Agenta knows whether 3) ] [ ! (Agenta knows whether (1&2&3)) ] [ ! ~(3) ] (Agentc knows that (1&2&3))

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

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

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

Hypothesis: Luke 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 Norman knows whether someone's forehead is muddy. It is publicly announced that Norman knows whether Ann's forehead is muddy. 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) ] [ ! (Agentd knows whether (1|2|3|4)) ] [ ! (Agentd knows whether 3) ] [ ! (1|2|3|4) ] Agentd knows that (Agenta knows that (~(1|2|3|4)))

Hypothesis: Norman can now know that Jennifer 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.

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

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

Hypothesis: Trevor can now know whether Nicholas can know that Nicholas is thirsty.


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

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

Hypothesis: Victoria can now know whether Stephen can know whether Anastacia'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 Shawn 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 (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) ] [ ! 3 ] 0

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Cynthia knows whether Kenneth's forehead is muddy. It is publicly announced that Phyllis 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) ] [ ! (~(1&2&3&4)) ] [ ! (Agenta knows whether 3) ] [ ! (Agentd knows whether (1|2|3|4)) ] (Agentc knows that (1&2&3&4))

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


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

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

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

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

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

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

Hypothesis: Elizabeth can now know that Elizabeth'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 Jessica does not know whether Beatrice 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) ] (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) ] [ ! ~(Agentc knows whether 1) ] 0

Hypothesis: Carmen can now know that Jessica 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 Opal'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) ] Agentc knows that (Agentb knows whether 2)

Hypothesis: Opal can now know that Mary can know whether Mary'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 Anne does not know whether Anthony is thirsty. It is publicly announced that Anthony is not thirsty. It is publicly announced that Adele does not know whether Anne is thirsty.

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

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

Hypothesis: Anthony can now 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 Daniel's forehead is muddy.

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


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

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

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

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


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

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

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

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


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

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

Hypothesis: Richard can now know whether Brandie 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 Randal does not know whether or not everyone is thirsty. It is publicly announced that Marquis does not know whether Lynda is thirsty. It is publicly announced that Marquis does not know whether Lynda is thirsty. It is publicly announced that Lynda knows whether someone 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 3) ] [ ! ~(Agenta knows whether 3) ] [ ! (Agentc knows whether (1|2|3)) ] (Agentc knows whether (1|2|3))

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

Hypothesis: Lynda can now 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 John's forehead is muddy.

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

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

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


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

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

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

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


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

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

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


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

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

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

Hypothesis: Aaron can now know that Hyacinth can know whether or not 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 Celina does not know whether Celina's forehead is muddy. It is publicly announced that Elaine's forehead is muddy.

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

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

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