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 Linda 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) ] (Agenta 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 1) ] 0

Hypothesis: Linda can now know whether Linda 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 Ada does not know whether Ada'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))

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

Hypothesis: Theodore 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). Marina's card is shown to Gaylene. Marina's card is shown to David. Marina's card is shown to Marina. Herbert's card is shown to Herbert. It is publicly announced that someone picked a red card.

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

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

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

Hypothesis: Sylvia can now know whether Constance 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). Hazel's card is shown to Robert. Loretta's card is shown to Hattie. Robert's card is shown to Loretta. Hattie's card is shown to Loretta. Loretta's card is shown to Loretta. Hazel's card is shown to Loretta. It is publicly announced that someone picked a red card.

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

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

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


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

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

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

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


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

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

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


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

Hypothesis: Allison 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 Marie knows whether Elsie's forehead is muddy. It is publicly announced that Elsie knows whether Rodney's forehead is muddy. It is publicly announced that Marie'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 2) ] [ ! (Agentb knows whether 1) ] [ ! ~(3) ] Agenta knows that (Agentb knows that 2)

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

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

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

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

Hypothesis: Edward can now know whether Donald 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 not everyone's forehead is muddy.

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

Hypothesis: Lena 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). Timothy's card is shown to Mary. Terry's card is shown to Terry. Terry's card is shown to Timothy. It is publicly announced that someone picked a red card. It is publicly announced that Terry picked a red card.

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

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

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


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

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

Hypothesis: Rafael can now know that Rafael'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 Leatha does not know whether Debra is thirsty.

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

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

Hypothesis: Leatha can now know whether Debra can know that someone is thirsty.


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

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

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

Hypothesis: Karen can now know whether Alvaro can know that Richard picked a red card.


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 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: Douglas can now know that Alicia is thirsty.


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

Hypothesis: Richard can now know whether Ola can know that Jennifer'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 Matthew's forehead is muddy. It is publicly announced that Matthew's forehead is muddy. It is publicly announced that Edmond's forehead is muddy.

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

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


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

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


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

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

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

Hypothesis: Nicole 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). Eduardo's card is shown to Eduardo. Russell's card is shown to Lois. Lois's card is shown to Russell. It is publicly announced that someone picked a red card.

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

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

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

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

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

Hypothesis: Mark can now know whether Vivian 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's forehead is muddy. It is publicly announced that Thomas knows whether James'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) ] Agentc knows that (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) ] [ ! (Agenta knows whether 2) ] 0

Hypothesis: Danielle can now know that James 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 Rochelle does not know whether Summer is thirsty. It is publicly announced that Leonardo does not know whether Thomas is thirsty. It is publicly announced that Leonardo does not know whether Summer 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 2) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agenta knows whether 2) ] (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) ] [ ! ~(Agentd knows whether 2) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agenta knows whether 2) ] 0

Hypothesis: Summer can now know that Thomas 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 Margaret knows whether Barb'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) ] (Agenta knows that 4)

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

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


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

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

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

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


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

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

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


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

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

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

Hypothesis: John 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 Mckinley does not know whether Mckinley's forehead is muddy. It is publicly announced that Miriam knows whether or not nobody's forehead is muddy. It is publicly announced that Miriam knows whether Miriam's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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

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


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

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

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

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


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

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

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

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


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

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

Hypothesis: Amelia can now know whether Jack can know whether Amy'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 Elizabeth knows whether Elizabeth's forehead is muddy.

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

Hypothesis: Elizabeth can now know whether Sarah can know that Elizabeth'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 Michael. Cindy's card is shown to Michael. Alfred's card is shown to Michael. Ralph's card is shown to Michael. Cindy's card is shown to Cindy. Michael's card is shown to Alfred. Michael's card is shown to Ralph. Alfred's card is shown to Ralph. It is publicly announced that someone picked a red card. It is publicly announced that Alfred does not know whether Alfred picked a red card. It is publicly announced that Michael knows whether Alfred picked a red card.

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

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

Hypothesis: Alfred can now know that Alfred 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 Kathleen knows whether Kathleen'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))

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


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

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

Hypothesis: Sarah can now know that Brett can know whether Brett'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 Michael knows whether Michael'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 that 4)

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

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


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

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

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

Hypothesis: Joanne can now know whether Scott can know that Scott 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 Justin's forehead is muddy. It is publicly announced that Walter knows whether someone's forehead is muddy.

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

Hypothesis: Justin can now know whether Harry can know that Walter'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 Rachel knows whether Marilyn'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) ] (Agenta knows that 3)

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


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

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

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


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

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

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

Hypothesis: Carole can now know whether Carole 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 Thomas knows whether someone is thirsty. It is publicly announced that Leah does not know whether or not everyone is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that everyone is thirsty.

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

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

Hypothesis: Thomas can now know whether Leah can know whether Thomas 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 someone is thirsty.

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

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

Hypothesis: Jason can now know that someone is thirsty.


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

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

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

Hypothesis: Floyd can now know whether Floyd'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 Shiela'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 (Agenta knows whether (1|2|3|4))

Hypothesis: Katheryn can now know whether Larry can know whether 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 Justin does not know whether Dennis is thirsty. It is publicly announced that Justin does not know whether Avril is thirsty. It is publicly announced that Justin 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 3) ] [ ! 1 ] Agenta knows that (Agentb knows whether (1&2&3))

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

Hypothesis: Justin can now know that Dennis can know whether or not everyone is thirsty.


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

Hypothesis: Angel 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 Gayle's forehead is not muddy. It is publicly announced that Gayle knows whether or not nobody's forehead is muddy.

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


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

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

Hypothesis: Elaine can now know whether Brady can know that nobody's forehead is muddy.


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

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

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

Hypothesis: Bobbi can now know whether Mica 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.

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Anthony does not know whether Kristy is thirsty. It is publicly announced that George knows whether George 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) ] [ ! (Agentd knows whether 4) ] Agentb knows whether (Agenta 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 2) ] [ ! (Agentd knows whether 4) ] 0

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

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

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

Hypothesis: Francisco can now know whether Donald can know that everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Lane 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)) ] (Agentd 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 (1&2&3&4)) ] 0

Hypothesis: Elvira can now know that Elvira is thirsty.


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

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

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


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

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

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

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


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

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

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

Hypothesis: Florence can now know whether Donna can know that Donna 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 Charles does not know whether or not everyone is thirsty. It is publicly announced that Eulalia knows whether Eulalia is thirsty. It is publicly announced that not everyone is thirsty.

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

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

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

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

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

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

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

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

Hypothesis: Lino can now know whether Rachael can know that Lino'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 Stanley's forehead is not muddy.

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

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


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

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


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

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

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

Hypothesis: Bert can now know that Pedro can know whether Kenneth picked a red card.


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

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

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

Hypothesis: Ray 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 Opal 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) ] [ ! (Agentd knows whether (1&2&3&4)) ] Agentd knows whether (Agenta knows whether 1)

Hypothesis: Opal can now know whether Geri can know whether Geri'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 Kelly does not know whether Linda 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 whether (Agentc knows whether 1)

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

Hypothesis: Kelly can now know whether Linda can know whether Kelly is thirsty.


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

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

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

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


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

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

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

Hypothesis: Edwin can now know whether Charles can know that everyone 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) ] (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) ] 0

Hypothesis: Sarah can now know that Riley 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 Joseph knows whether Joseph's forehead is muddy. It is publicly announced that Joyce's forehead is muddy. It is publicly announced that everyone's forehead is muddy.

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

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


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

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

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


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

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

Hypothesis: Toby can now know that Patricia can know that Patricia 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 Clyde's forehead is not muddy. It is publicly announced that Jeff's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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


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

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

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

Hypothesis: Walter can now know whether Rick can know that someone's forehead is muddy.


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

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

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

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


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

Hypothesis: Earl can now know that Angela can know whether Jackson'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 Alex does not know whether Neil is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Carol is thirsty. It is publicly announced that Alex knows whether Carol is thirsty.

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

Hypothesis: Alex can now know that Carol is thirsty.


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

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

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

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


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

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

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

Hypothesis: Claudine can now know whether Rita can know that someone picked a red card.


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

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

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

Hypothesis: Faye can now know whether Williams'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 Silvia knows whether or not everyone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (Agenta knows whether (1&2&3)) ] Agentb knows whether (Agenta knows whether 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: Aaron can now know whether Silvia can know whether Penny 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 Patricia does not know whether Patricia's forehead is muddy. It is publicly announced that Ninfa does not know whether Ninfa'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 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 3) ] [ ! ~(Agenta knows whether 1) ] 0

Hypothesis: Rudolph can now know that Rudolph'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 Ruth does not know whether Del is thirsty. It is publicly announced that Brain does not know whether Del is thirsty.

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

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

Hypothesis: Kathryn can now know whether Del can know whether Ruth 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 Joann knows whether or not everyone's forehead is muddy.

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

Hypothesis: Joann can now know whether Warren can know that Joann's forehead is muddy.


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

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


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

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

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

Hypothesis: Katherine 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 Edith does not know whether or not everyone is thirsty. It is publicly announced that Edith does not know whether or not everyone is thirsty. It is publicly announced that Andrea knows whether or not nobody 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)) ] [ ! (Agenta knows whether (~(1|2))) ] (Agentb knows whether (~(1|2)))

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

Hypothesis: Edith 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 everyone's forehead is muddy.

Hypothesis: Margaret can now know that Pauline can 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 Edward knows whether someone is thirsty.

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

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

Hypothesis: Ernestine can now know whether Edward 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 Leroy does not know whether or not everyone is thirsty. It is publicly announced that Leroy does not know whether Kristine is thirsty. It is publicly announced that Marvin knows whether Marvin is thirsty.

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

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

Hypothesis: Kristine can now know that nobody is thirsty.


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

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

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

Hypothesis: Michael 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 not everyone's forehead is muddy.

Hypothesis: Noelle can now know whether Sharon'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 Karyn is thirsty. It is publicly announced that Sophie does not know whether or not everyone is thirsty.

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

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

Hypothesis: Robert can now know that Sophie 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 Nicole is not thirsty.

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

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

Hypothesis: Joseph can now know whether Nicole can know that everyone is thirsty.


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

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

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

Hypothesis: Doris can now know that Travis picked a red card.


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

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

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

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


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


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

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

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

Hypothesis: Perla can now know whether Richard can know whether 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 Sandra does not know whether or not everyone is thirsty. It is publicly announced that Gary knows whether Sandra is thirsty. It is publicly announced that Kathleen does not know whether Gary 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) ] Agentb knows whether (Agenta knows whether 3)

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

Hypothesis: Sandra can now know whether Gary can know whether Kathleen 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 Robert knows whether Waldo's forehead is muddy.

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

Hypothesis: Robert can now know that Neva can know that Neva'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 Gilbert is thirsty.

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

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

Hypothesis: Aida can now know that Gilbert is thirsty.


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

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

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

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


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

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

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

Hypothesis: Fernando can now know whether Maria can know that Maria 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 Robert does not know whether Robert's forehead is muddy.

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

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

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


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

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

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

Hypothesis: Rickey can now know that Genia can know whether someone picked a red card.


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

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

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

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

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

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

Hypothesis: Leonard can now know that Darrel can know whether someone's forehead is muddy.


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

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

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


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

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

Hypothesis: Melissa can now know whether Keith 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 Eugene does not know whether Bonnie is thirsty. It is publicly announced that Willie knows whether Willie 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) ] [ ! (Agentd knows whether 4) ] Agentb knows that (Agenta knows that (~(1|2|3|4)))

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

Hypothesis: Bonnie can now know that Eugene can know that nobody 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 Connie does not know whether Connie'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 that (Agentc knows whether (1&2&3))

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

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


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

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

Hypothesis: Phyllis 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 Kirk does not know whether Dewayne is thirsty.

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

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

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


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

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

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

Hypothesis: Janelle can now know that Anne can know that nobody is thirsty.


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

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

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

Hypothesis: Lois can now know whether Marcella can know whether Lois is thirsty.


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

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

Hypothesis: Mary can now know whether Joyce can know whether Mary 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 Clifton knows whether or not everyone is thirsty.

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

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

Hypothesis: Clifton can now know whether someone is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Robert does not know whether Gary is thirsty. It is publicly announced that Robert does not know whether Anthony 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) ] (Agenta knows that 3)

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

Hypothesis: Anthony can now know that Robert 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 Lonnie 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)) ] (Agentd knows whether (1&2&3&4))

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


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

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

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

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


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

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

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

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

Hypothesis: Ora can now know whether Edwin can know whether Dawna'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 Jason knows whether someone's forehead is muddy. It is publicly announced that Jason knows whether Jean's forehead is muddy.

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

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

Hypothesis: Jean can now know whether Mary can know that Jean'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 Amanda does not know whether or not everyone is thirsty. It is publicly announced that Amanda 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)) ] [ ! 2 ] Agentb knows whether (Agentc knows whether (~(1|2|3)))

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

Hypothesis: Amanda can now know whether Monica can know whether or not 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 Evelyn does not know whether John is thirsty. It is publicly announced that James does not know whether John is thirsty.

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

Hypothesis: Julie can now know that Evelyn can know whether James 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 Elena knows 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) ] [ ! (Agentc knows whether 2) ] (Agentd 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) ] [ ! (Agentc knows whether 2) ] 0

Hypothesis: Kurt can now know that Charles'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 Patricia. James's card is shown to Robert. It is publicly announced that someone picked a red card. It is publicly announced that not everyone picked a red card.

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

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


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

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

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

Hypothesis: Deana 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's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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

Hypothesis: Judith can now know that Patricia can know that Judith'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 Kevin does not know whether Kevin'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) ] [ ! ~(Agenta knows whether 1) ] [ ! (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) ] [ ! (1|2) ] 0

Hypothesis: Frank 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 Ron knows whether or not nobody is thirsty. It is publicly announced that Ron does not know whether Melissa is thirsty. It is publicly announced that Sandra does not know whether or not everyone is thirsty. It is publicly announced that Ron 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))) ] [ ! ~(Agentb knows whether 1) ] [ ! ~(Agentc knows whether (1&2&3)) ] [ ! ~(Agentb knows whether (1&2&3)) ] Agenta knows whether (Agentc knows whether (1|2|3))

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

Hypothesis: Melissa can now know whether Sandra can know whether someone is thirsty.


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

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

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

Hypothesis: Wendy can now know that Justin 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). Loretta's card is shown to Loretta. Michelle's card is shown to Loretta. Michelle's card is shown to Michelle. Letha's card is shown to Michelle. Shirley's card is shown to Letha. Letha's card is shown to Letha. It is publicly announced that someone picked a red card.

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

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

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


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

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

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: Sharon can now know whether Ashley 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 Michael knows whether 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) ] [ ! (Agentb knows whether (1|2)) ] [ ! (1|2) ] (Agenta knows whether (~(1|2)))

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

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

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

Hypothesis: Patrick can now know whether someone is thirsty.


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

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

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

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


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

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

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

Hypothesis: Marilyn can now know that Betty can know whether someone picked a red card.


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

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

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

Hypothesis: Fred can now know that Sam can know whether Fred picked a red card.


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

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

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

Hypothesis: Violet can now know that Brenda can know that Brenda picked a red card.


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

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

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

Hypothesis: Robert can now know whether Joe 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 Jeffrey's forehead is not muddy.

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

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

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

Hypothesis: Brian can now know that Kimberly can know whether Kimberly 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 Tamie knows whether Tamie'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 whether (1|2))

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

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


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

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

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

Hypothesis: Maureen can now know that Sara can know that Sara 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 Sharmaine's forehead is not muddy. It is publicly announced that Sharmaine's forehead is not muddy. It is publicly announced that Sharmaine's forehead is not muddy.

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

Hypothesis: Darlene can now know whether Pamela can know whether Darlene'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 Jeffrey 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)) ] Agentd knows that (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 (1&2&3&4)) ] 0

Hypothesis: Anna can now know that Christopher can know that Augusta 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 Frances does not know whether David is thirsty. It is publicly announced that Frances does not know whether or not everyone is thirsty. It is publicly announced that Frances does not know whether David is thirsty. It is publicly announced that not everyone is thirsty.

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

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

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

Hypothesis: Phyllis 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 Irene does not know whether Irene's forehead is muddy. It is publicly announced that Irene does not know whether Irene's forehead is muddy. It is publicly announced that Irene's forehead is not muddy. It is publicly announced that Kenneth does not know whether Kenneth's forehead is muddy.

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

Hypothesis: Irene can now know that Larry can know that Kenneth'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 Orlando knows whether Lynn's forehead is muddy.

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

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

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


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

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

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

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


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

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

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

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


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

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

Hypothesis: James can now know whether someone is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Stefanie knows whether or not nobody is thirsty. It is publicly announced that Lynette does not know whether Stefanie 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 that (Agentb knows that 1)

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

Hypothesis: Lita can now know that Stefanie can know that Lynette is thirsty.


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

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

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

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

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

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

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


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

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

Hypothesis: Kim can now know that Bobby can know whether someone's forehead is muddy.


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

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

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

Hypothesis: Benjamin can now know whether Marjorie 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). Charles's card is shown to Charles. It is publicly announced that someone picked a red card. It is publicly announced that someone picked a red card.

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

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

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

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