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 Mary does not know whether Mary's forehead is muddy. It is publicly announced that Michelle knows whether someone's forehead is muddy.

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

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

Hypothesis: Michelle can now know that Mary can know whether Michelle'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 John's forehead is muddy. It is publicly announced that Juan's forehead is not muddy.

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


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

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

Hypothesis: Margaret can now know that nobody is thirsty.


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

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

Hypothesis: Camille can now know whether Constance can know that Constance is thirsty.


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

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

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

Hypothesis: Clarence can now know whether Christina can 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 Kathy knows whether someone's forehead is muddy.

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

Hypothesis: Kathy 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 Steven 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)) ] Agentc knows that (Agenta knows whether (1|2|3))

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

Hypothesis: Steven can now know that Miguel can know whether someone is thirsty.


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

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

Hypothesis: Melvin can now know whether Salvador can know that everyone's forehead is muddy.


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

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

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


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

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

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

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


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

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

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

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


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

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

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


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

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

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

Hypothesis: Clyde can now know that Kenneth 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: Leeann can now know that Leeann'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 Hubert does not know whether Hubert's forehead is muddy. It is publicly announced that Mary's forehead is muddy. It is publicly announced that Brandon 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 4) ] [ ! 1 ] [ ! (Agentb knows whether (1&2&3&4)) ] (Agenta knows whether 1)

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

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


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

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

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

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


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

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

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

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


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

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 (Agenta knows whether 3)

Hypothesis: William can now know that Carl can know whether Glenda'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 Eugene knows whether or not nobody'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: Eugene can now know that nobody's forehead is muddy.


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

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


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

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

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

Hypothesis: Stacey can now know that Adrianne 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). Kay's card is shown to Susan. Susan's card is shown to Kay. It is publicly announced that someone picked a red card. It is publicly announced that Kay does not know whether or not everyone picked a red card. It is publicly announced that Kay knows whether 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 VALID? [ ! (1|2) ] [ ! ~(Agentb knows whether (1&2)) ] [ ! (Agentb knows whether (1|2)) ] [ ! (1|2) ] (Agentb knows that (1&2))

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

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


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

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


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

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

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

Hypothesis: Leanna can now know whether Anne can know that Leanna picked a red card.


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

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

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

Hypothesis: Elmer can now know that Elmer 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 Dia does not know whether Randolph is thirsty. It is publicly announced that Randolph does not know whether Dia is thirsty.

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

Hypothesis: Dia can now know that Randolph can know whether Christine 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 Alice does not know whether Gloria is thirsty. It is publicly announced that Sara does not know whether Alice is thirsty. It is publicly announced that Sara knows whether or not nobody is thirsty. It is publicly announced that Gloria does not know whether Melvin 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 4) ] [ ! (Agentb knows whether (~(1|2|3|4))) ] [ ! ~(Agenta knows whether 3) ] (Agenta knows that 1)

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

Hypothesis: Gloria can now know that Gloria 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 Sean 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 that (Agenta knows whether 2)

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


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

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

Hypothesis: Jose can now know that nobody is thirsty.


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

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

Hypothesis: Manuel can now know that Roy can know whether Manuel'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 Jacob's forehead is muddy. It is publicly announced that Jacob's forehead is muddy. It is publicly announced that Brian's forehead is not muddy.

Hypothesis: Paul can now know that Jenette'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 Nicole does not know whether Nicole's forehead is muddy. It is publicly announced that Gerald's forehead is muddy.

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

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

Hypothesis: Gerald can now know that Nicole can know whether Gerald'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 Wendy knows whether Wendy'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) ] Agentb knows that (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) ] [ ! (Agentc knows whether 3) ] 0

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


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

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

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


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

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

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

Hypothesis: Eric can now know that Crystal can know that Eric'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 Clarice is thirsty.

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

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

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

Hypothesis: Wade can now know whether Deanna can know that Deanna'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 Elaine's forehead is not muddy.

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

Hypothesis: Richard can now know that Brian 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 William does not know whether or not everyone is thirsty.

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

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

Hypothesis: Shirley can now know whether Doris is thirsty.


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

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

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

Hypothesis: Debra 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 not everyone is thirsty.

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

Hypothesis: James can now know whether Shirley can know whether someone is thirsty.


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

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

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

Hypothesis: Alice can now know that Scott can know that Jack picked a red card.


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

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

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

Hypothesis: Jean 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 is thirsty. It is publicly announced that Jose is thirsty.

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

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

Hypothesis: Jose can now know that Socorro is thirsty.


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

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

Hypothesis: Rita can now know whether Jose 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 Brian knows whether or not nobody is thirsty.

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

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

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

Hypothesis: Elizabeth can now know that Marie'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 Nicholas's forehead is not muddy.

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Philip does not know whether Leah is thirsty. It is publicly announced that David does not know whether Philip is thirsty. It is publicly announced that David knows whether or not nobody is thirsty. It is publicly announced that Leah does not know whether Annette 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 4) ] [ ! (Agentb knows whether (~(1|2|3|4))) ] [ ! ~(Agenta knows whether 3) ] (Agentd knows whether 2)

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

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

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

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


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

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

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

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

Hypothesis: Robert can now know whether Arnulfo can know whether Jeff'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 Dawn does not know whether Robert is thirsty. It is publicly announced that Robert is not thirsty. It is publicly announced that Dawn is not thirsty.

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

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

Hypothesis: Marcia can now know that Dawn can know that Morgan is thirsty.


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

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

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

Hypothesis: John can now know that Margarette picked a red card.


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

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

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

Hypothesis: Lindsy can now know whether Alice can know whether Donald 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 Timothy's forehead is muddy. It is publicly announced that Robert does not know whether Robert's forehead is muddy. It is publicly announced that Paul knows whether or not nobody's forehead is muddy.

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

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

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


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

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

Hypothesis: Wilma can now know that Brian can know that Milton's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Neil can now know that Donnell'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 Amber knows whether Jessica's forehead is muddy.

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

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

Hypothesis: George can now know that Jessica'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 Anna does not know whether David is thirsty.

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

Hypothesis: Anna can now know that Catherine can know that Anna is thirsty.


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

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

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

Hypothesis: Thomas can now know that Gina can know that Thomas 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 Joseph's forehead is not muddy.

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


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

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

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

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


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

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

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

Hypothesis: Richard 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 Carl knows whether Sharon's forehead is muddy.

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

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

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

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

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


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

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

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

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


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

Hypothesis: Virginia can now know whether someone is thirsty.


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

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

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

Hypothesis: David can now know that Todd can know that Todd is thirsty.


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 Clarence. Clarence's card is shown to Joanne. It is publicly announced that someone picked a red card. It is publicly announced that Joanne picked a red card.

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

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

Hypothesis: Clarence can now know whether Joanne can know whether Clarence 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 Jannie does not know whether Brandon is thirsty. It is publicly announced that Carrie is not thirsty.

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

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

Hypothesis: Carrie 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 Doyle does not know whether Maria is thirsty. It is publicly announced that Rosemary 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 ] (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) ] [ ! ~(Agentd knows whether 1) ] [ ! 2 ] 0

Hypothesis: Chase can now know whether someone is thirsty.


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

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

Hypothesis: Bryan can now know whether Bryan'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 Frances does not know whether Cyril is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that Sarah does not know whether Frances is thirsty. It is publicly announced that Frances 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 2) ] [ ! (1|2|3|4) ] [ ! ~(Agentd knows whether 3) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] Agenta knows whether (Agentb knows that 4)

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

Hypothesis: Daniel can now know whether Cyril can know that Sarah 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 Joy knows whether Earl's forehead is muddy. It is publicly announced that Mitchell knows whether or not nobody's forehead is muddy.

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

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

Hypothesis: Mitchell can now know that Joy can know whether Mitchell'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 Thomas does not know whether or not everyone is thirsty.

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

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

Hypothesis: Dennis can now know that everyone is thirsty.


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

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

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

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


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

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

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


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

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

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

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

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

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

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


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

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

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

Hypothesis: Marshall can now know whether Glenn can know that Glenn 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 Michael. Mary's card is shown to Mary. David's card is shown to Mary. Mary's card is shown to David. Mary's card is shown to Nina. It is publicly announced that someone picked a red card. It is publicly announced that Michael does not know whether Mary picked a red card. It is publicly announced that Mary picked a black card.

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

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

Hypothesis: Michael can now 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 Tanya knows whether Tanya's forehead is muddy.

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

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

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


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

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

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


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

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

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

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

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

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


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

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

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

Hypothesis: Paul can now know whether Paul'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 Cynthia knows whether or not nobody is thirsty.

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

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

Hypothesis: Patrick can now know whether Louis 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 Jeffry does not know whether Richard is thirsty. It is publicly announced that Francie knows whether someone is thirsty.

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

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

Hypothesis: Jeffry can now know whether Francie 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 Chris's forehead is not muddy. It is publicly announced that Donna's forehead is muddy.

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

Hypothesis: Chris 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 Damon does not know whether Damon's forehead is muddy.

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

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

Hypothesis: Damon can now know whether Alan can know that Terry's forehead is muddy.


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

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

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


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

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

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

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


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

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

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

Hypothesis: Esther can now know that Nina can know whether Jennifer 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 Thomas knows whether Ramon's forehead is muddy. It is publicly announced that Thomas's forehead is muddy.

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

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

Hypothesis: Seth can now know that Ramon can know that Ramon'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 Elsie knows whether or not everyone'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 (1&2&3)) ] [ ! (1&2&3) ] (Agentc knows that (~(1|2|3)))

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


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

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

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

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


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

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 (Agentd knows whether 3)

Hypothesis: Tracey can now know whether Regina can know whether Louis'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 Carol knows whether Lucas's forehead is muddy.

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

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

Hypothesis: Lucas can now know whether Genaro can know that Carol'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 Amy does not know whether or not everyone is thirsty. It is publicly announced that Richard knows whether Amy is thirsty. It is publicly announced that Stephanie does not know whether Richard is thirsty.

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

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

Hypothesis: Richard can now know whether Stephanie can know whether Amy is thirsty.


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: Mary can now know that Therese can know that Mary'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 Deborah is thirsty. It is publicly announced that Shawn does not know whether or not everyone is thirsty. It is publicly announced that Shawn does not know whether Joel is thirsty.

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

Hypothesis: Deborah can now know that someone is thirsty.


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

Hypothesis: Jamison can now know whether Henry can know whether Kenneth'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 Ruth knows whether Mary's forehead is muddy.

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

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


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

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

Hypothesis: Luvenia can now know whether Sam can know whether Joe's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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

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

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

Hypothesis: Kathleen can now know whether Jose 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 Michael. Brett's card is shown to Michael. Pete's card is shown to Michael. Brett's card is shown to Brett. Pete's card is shown to Pete. It is publicly announced that someone picked a red card.

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

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

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


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

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

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


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

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

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

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


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

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

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

Hypothesis: Alma can now know whether John 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 Anne does not know whether Scott is thirsty.

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

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

Hypothesis: Catherine can now know whether Anne can know whether Anne 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 Debra knows whether Kevin'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 2) ] Agentb knows that (Agenta knows whether 4)

Hypothesis: Kevin can now know that Debra can know whether Mark'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 Lanie'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) ] Agentb knows that (Agentc knows that (1|2|3|4))

Hypothesis: Lanie can now know that Randy 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 Thomas does not know whether or not everyone is thirsty. It is publicly announced that Laura 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 whether (1&2&3&4)) ] Agentd knows whether (Agenta knows whether 3)

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

Hypothesis: Laura can now know whether Thomas can know whether Jason 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 Howard knows whether or not everyone is thirsty. It is publicly announced that Howard knows whether or not everyone is thirsty.

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

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

Hypothesis: Howard can now know that everyone is thirsty.


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

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

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


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

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

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

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


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

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

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

Hypothesis: Marie can now know that Daniel can know that Donald'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 Edison knows whether someone's forehead is muddy.

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

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

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


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

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

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

Hypothesis: Corliss can now know that Judith 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 Cindy knows whether or not everyone'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 that 2)

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

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

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

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


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

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

Hypothesis: Ernest can now know that Bessie can know that Rose'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 Wade does not know whether Richard is thirsty. It is publicly announced that Wade knows whether or not everyone is thirsty.

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

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

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

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

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

Hypothesis: Sheila can now know whether David is thirsty.


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

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

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

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


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

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

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


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

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

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

Hypothesis: Carolyn can now know whether Susan 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 Ryan knows whether Andre's forehead is muddy.

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

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

Hypothesis: Winston can now know that Ryan 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's forehead is muddy. It is publicly announced that Laura knows whether someone's forehead is muddy. It is publicly announced that Paul's forehead is not muddy.

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


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

Hypothesis: Melva can now know that Fred'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 Lupe'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 ] Agenta knows that (Agentd knows whether (1&2&3&4))

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


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

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

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

Hypothesis: Julia can now know whether someone is thirsty.


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

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

Hypothesis: Christopher can now know whether Tom 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 Marianne knows whether or not everyone's forehead is muddy. It is publicly announced that Michael knows whether Marianne'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 that (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: Marianne can now know that Michael can know that Marianne'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 Lara knows whether Lara's forehead is muddy.

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

Hypothesis: Lara can now know that Wanda'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 Lakisha knows whether or not everyone's forehead is muddy.

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

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

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

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


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

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

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

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


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

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

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


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

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

Hypothesis: Marlyn can now know that Nick'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 Ronnie does not know whether Ronnie's forehead is muddy. It is publicly announced that Lindsay does not know whether Lindsay'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) ] (Agenta knows that (1&2&3))

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

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


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

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

Hypothesis: Neil can now know that Stacy can know that Stacy is thirsty.


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

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

Hypothesis: Linda can now know whether Linda'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 Stacey is thirsty. It is publicly announced that Robert 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) ] [ ! 1 ] [ ! ~(Agentb knows whether (1&2&3&4)) ] (Agentb knows whether 4)

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

Hypothesis: Robert can now know whether John 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 Benjamin knows whether Benjamin's forehead is muddy.

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

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

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


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

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

Hypothesis: Anthony can now know that Joseph can know whether Christopher's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Mike can now know whether Floy can know that everyone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Inez does not know whether or not everyone's forehead is muddy. It is publicly announced that Perry'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 ] (Agentb knows whether 1)

Hypothesis: Billie can now know whether Perry'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 Irene is not thirsty. It is publicly announced that Irene is not thirsty. It is publicly announced that Robert 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) ] [ ! ~(4) ] [ ! ~(4) ] [ ! ~(Agentb knows whether 1) ] Agentb knows that (Agenta knows that 4)

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

Hypothesis: Robert can now know that John can know that Irene is thirsty.


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

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

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

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


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

Hypothesis: Deborah can now know that Courtney can know that Steve'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 Jack does not know whether or not everyone is thirsty. It is publicly announced that Jack knows whether Jack is thirsty.

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

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

Hypothesis: Louise can now know whether Arthur can know that Jack 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 Albert's forehead is not muddy. It is publicly announced that someone's forehead is muddy.

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

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


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

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

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

Hypothesis: Vance can now know whether Jodie can know that someone's forehead is muddy.


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

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

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

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


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

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

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