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

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

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

Hypothesis: Edna can now know that Katherine can know whether or not nobody picked a red card.


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

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

Hypothesis: Carl can now know that Alvin 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 George does not know whether Mae is thirsty. It is publicly announced that Mae does not know whether Janel 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) ] [ ! ~(Agenta knows whether 4) ] Agentd knows whether (Agenta knows that 4)

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

Hypothesis: Janel can now know whether Mae can know that Janel 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 Yvonne does not know whether Darin is thirsty. It is publicly announced that Li does not know whether Yvonne is thirsty. It is publicly announced that Yvonne does not know whether or not everyone is thirsty. It is publicly announced that someone is thirsty.

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

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

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


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

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

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

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


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

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

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

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


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

Hypothesis: Donna can now know that David'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 Keisha knows whether Keisha is thirsty.

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that everyone is thirsty. It is publicly announced that John knows whether or not everyone is thirsty. It is publicly announced that Angela knows whether Christopher is thirsty.

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

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

Hypothesis: Christopher can now know that Angela can know whether John 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 Helga knows whether Helga is thirsty. It is publicly announced that Helga does not know whether or not everyone is thirsty.

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

Hypothesis: Helga can now know that everyone is thirsty.


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

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

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

Hypothesis: William can now know whether Lucas can know that William 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 Iris does not know whether Madonna is thirsty. It is publicly announced that Iris knows whether Iris 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 3) ] (Agentb knows whether 1)

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

Hypothesis: David can now know whether Madonna 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 Larry 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) ] [ ! (Agentc knows whether (~(1|2|3|4))) ] Agentc knows that (Agenta knows that 1)

Hypothesis: Larry can now know that Roy can know that Roy'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 George's forehead is not muddy. It is publicly announced that Scott does not know whether Scott's forehead is muddy.

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

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

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


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

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

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


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

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

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


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

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

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

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


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

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

Hypothesis: Michael 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 George does not know whether Nicole is thirsty.

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

Hypothesis: Nicole can now know that George can know that everyone is thirsty.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Aaron 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)

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


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

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

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

Hypothesis: Blanche can now know that Laura 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 Jose's forehead is not muddy. It is publicly announced that Carlos knows whether Latasha's forehead is muddy.

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

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

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

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

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

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

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

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


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

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

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

Hypothesis: Brian can now know that Brian 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 Vivian 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) ] [ ! (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) ] [ ! (Agentc knows whether (~(1|2|3|4))) ] 0

Hypothesis: Ethel can now know whether Vivian 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) ] Agentd knows whether (Agentc knows whether (~(1|2|3|4)))

Hypothesis: Myrtle can now know whether Erwin 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). Billy's card is shown to Billy. Michael's card is shown to Billy. Billy's card is shown to Michael. Billy's card is shown to Kirk. It is publicly announced that someone picked a red card. It is publicly announced that Kirk knows whether Billy picked a red card.

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

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

Hypothesis: Billy can now know whether Michael 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 Ivana 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)) ] (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 (1|2|3)) ] 0

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


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

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

Hypothesis: Eva can now know whether Michael is thirsty.


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

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

Hypothesis: Deborah can now know whether Celeste can know that someone is thirsty.


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

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

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


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

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

Hypothesis: Kimberly can now know that someone is thirsty.


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

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

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jack knows whether Ashley's forehead is muddy. It is publicly announced that Debra does not know whether Debra's forehead is muddy. It is publicly announced that Donald knows whether Ashley'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) ] [ ! ~(Agentd knows whether 4) ] [ ! (Agentb knows whether 1) ] Agentc knows that (Agentd 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 1) ] [ ! ~(Agentd knows whether 4) ] [ ! (Agentb knows whether 1) ] 0

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


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

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

Hypothesis: Luis can now know that Wayne'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 Anita 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) ] [ ! (Agentc knows whether (1&2&3&4)) ] Agentd knows that (Agentb knows that 3)

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


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

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

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


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

VARS 1,2 LAW Top OBS Agenta:2 Agentb:1 VALID? [ ! (1|2) ] [ ! (Agenta knows whether (1|2)) ] (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: Brian can now know whether Cliff 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 Josephine does not know whether Audrey is thirsty. It is publicly announced that John does not know whether Audrey is thirsty.

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

Hypothesis: John can now know that nobody is thirsty.


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

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

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

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


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

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

Hypothesis: Lester can now know that Tammie can know that Tammie'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 Robin does not know whether Kelvin is thirsty. It is publicly announced that Bryon does not know whether Robin is thirsty. It is publicly announced that Kelvin does not know whether or not everyone is thirsty. It is publicly announced that Jared does not know whether Robin is thirsty.

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

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

Hypothesis: Jared can now know whether Robin can know that someone 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 Nicholas is thirsty. It is publicly announced that Nicholas knows whether someone is thirsty.

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

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

Hypothesis: Nicholas can now know that nobody is thirsty.


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

Hypothesis: Barbara 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 Teresa'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) ] [ ! ~(1) ] Agentc knows that (Agenta knows whether (~(1|2|3)))

Hypothesis: Curtis can now know that Teresa 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 Patricia does not know whether or not everyone's forehead is muddy.

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

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


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

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

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

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

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

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

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

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


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

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

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


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

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

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

Hypothesis: Paul can now know whether Grace can 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 Dorthy does not know whether or not everyone is thirsty.

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

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

Hypothesis: Juan can now know that Dorthy can know that June is thirsty.


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

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

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

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


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

Hypothesis: Norma can now know that Jutta can know that Kelly's forehead is muddy.


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

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

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

Hypothesis: Joy 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). Holly's card is shown to Kristal. Carlota's card is shown to Carlota. Carlota's card is shown to Holly. It is publicly announced that someone picked a red card. It is publicly announced that Kristal does not know whether Kristal picked a red card.

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

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Barbara is thirsty. It is publicly announced that Steven does not know whether Sasha is thirsty. It is publicly announced that Steven does not know whether Janie is thirsty.

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

Hypothesis: Janie can now know that Sasha can know whether Steven is thirsty.


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

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

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

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

Hypothesis: Jose can now know that Barbara can know that Harold's forehead is muddy.


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

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

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

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


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

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

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

Hypothesis: Judith 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 Martha knows whether someone's forehead is muddy.

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

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


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

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

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

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


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Charlotte's card is shown to Charlotte. Dennis's card is shown to Dennis. Yajaira's card is shown to Dennis. Dennis's card is shown to Yajaira. Dennis's card is shown to Debora. It is publicly announced that someone picked a red card. It is publicly announced that Charlotte does not know whether Dennis picked a red card. It is publicly announced that Dennis 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 that 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: Charlotte can now know that Debora picked a red card.


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

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

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

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

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

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

Hypothesis: Kevin can now know whether Rafael can know whether Kevin'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 Martin's forehead is muddy. It is publicly announced that John does not know whether John's forehead is muddy.

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

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

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


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

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

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

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


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

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

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

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


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

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

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


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

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

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

Hypothesis: Dorathy can now know whether Bobby 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 Thomas does not know whether Thomas'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&2))

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

Hypothesis: Frances can now know that Thomas 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 Mike is not thirsty.

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

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

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

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

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

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


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

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


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

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

Hypothesis: Alfonso can now know whether Theresa can know that Alfonso'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 Samuel does not know whether Nicholas is thirsty.

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

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

Hypothesis: Nicholas can now know that John 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 Mary knows whether Stephen'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 4) ] (Agentb knows that (1&2&3&4))

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

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


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

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

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

Hypothesis: Tammy can now know that Michael can know that Tammy'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 Manuel is thirsty. It is publicly announced that Manuel does not know whether Lila is thirsty.

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

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

Hypothesis: Kathryn can now know whether Frances can know that nobody is thirsty.


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

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

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

Hypothesis: James can now know whether Louis picked a red card.


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

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

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

Hypothesis: Timothy can now know that Carlos 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 Ethel's forehead is not muddy.

Hypothesis: Lucille can now know that Anne'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 Paul does not know whether or not everyone's forehead is muddy.

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

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


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

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

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

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


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

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

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

Hypothesis: Bertha can now know that Michael can know that Bertha is thirsty.


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

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

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

Hypothesis: Sharon can now know that Sharon 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 Viola's forehead is muddy. It is publicly announced that Rhonda's forehead is not muddy. It is publicly announced that Viola knows whether Rhonda'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 ] [ ! ~(1) ] [ ! (Agentb 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) ] [ ! 2 ] [ ! ~(1) ] [ ! (Agentb knows whether 1) ] 0

Hypothesis: Rhonda 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 Michele does not know whether or not everyone's forehead is muddy.

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

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

Hypothesis: Thomas can now know that Michele can know whether Michele'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 Joe knows whether or not everyone's forehead is muddy. It is publicly announced that Joe does not know whether Joe'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 that (Agenta knows that 3)

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

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


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

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

Hypothesis: Sammie can now know that Daniel can know that Ernest'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 Margaret does not know whether Margaret'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) ] (Agenta knows that (1&2&3&4))

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

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


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

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

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


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

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

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

Hypothesis: Robert can now know that Louis 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 2)

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

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

Hypothesis: Frank can now know that Thomas can know whether Thomas's forehead is muddy.


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

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

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

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

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

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

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

Hypothesis: Wendy can now know whether Todd can know that Todd'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 Charles's forehead is not muddy.

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

Hypothesis: Charles can now know that John can know that Charles'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 Donna does not know whether Karen is thirsty. It is publicly announced that Karen does not know whether Carrie is thirsty. It is publicly announced that Donna does not know whether Karen is thirsty. It is publicly announced that Donna does not know whether Katrina is thirsty.

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

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

Hypothesis: Carrie can now know that Katrina can know whether Donna is thirsty.


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

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

Hypothesis: Alex can now know that everyone is thirsty.


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

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

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


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

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

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


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

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

Hypothesis: Tracy can now know that Pablo'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 Derrick knows whether Larry's forehead is muddy. It is publicly announced that Larry knows whether Larry's forehead is muddy. It is publicly announced that Derrick knows whether Derrick'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 whether 2) ] [ ! (Agenta knows whether 1) ] (Agenta knows that (~(1|2)))

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

Hypothesis: Derrick 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 Tabitha knows whether Tabitha is thirsty.

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

Hypothesis: Jamie can now know whether Tabitha can know whether Francisco 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 Christopher does not know whether or not everyone is thirsty. It is publicly announced that Christopher does not know whether Norma 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) ] Agentc knows that (Agentb knows whether (1&2&3))

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

Hypothesis: Christopher can now know that Kenneth can know whether or not everyone is thirsty.


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

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

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

Hypothesis: Juan can now know that Chong 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 Shelia knows whether Scott'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 2) ] Agentc knows that (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) ] [ ! (Agentd knows whether 2) ] 0

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

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

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


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: Cynthia can now know whether Richard is thirsty.


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

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

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

Hypothesis: Jose can now know that Vanessa'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 William knows whether Sara's forehead is muddy.

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

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


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

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

Hypothesis: Theresa can now know whether Caroline can know whether someone is thirsty.


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

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

Hypothesis: Manuel can now know whether Herman can know that someone picked a red card.


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

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

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


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

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

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

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

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

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


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

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

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

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

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

Hypothesis: Brian can now know that Scott can know that nobody is thirsty.


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

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

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

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


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

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

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

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


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

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

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

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


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

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

Hypothesis: Tina can now know whether Harold can know that James is thirsty.


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

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

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

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


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

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

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


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

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

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

Hypothesis: Richard 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 Linda knows whether Linda's forehead is muddy. It is publicly announced that Diane knows whether or not everyone's forehead is muddy.

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

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

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


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

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

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

Hypothesis: Minda can now know whether Morgan can know that someone picked a red card.


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

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

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

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


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

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

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

Hypothesis: Vivian can now know that David can know whether Vivian'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 Bobby knows whether or not nobody is thirsty.

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

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

Hypothesis: Dollie can now know that 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 Carlos does not know whether Carlos's forehead is muddy. It is publicly announced that Richard does not know whether Richard'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 whether 3) ] Agentc knows that (Agentb knows whether 1)

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

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


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

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

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

Hypothesis: Genaro can now know whether Elizabeth 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 Alicia knows whether Guadalupe's forehead is muddy.

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

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

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


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

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

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

Hypothesis: Tricia can now know whether Charmaine can know whether Zachary 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 Julian does not know whether or not everyone is thirsty. It is publicly announced that Glen does not know whether Charles is thirsty.

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

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

Hypothesis: Julian can now know that Charles can know that nobody is thirsty.


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

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

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


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

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

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

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


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

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

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

Hypothesis: Joseph can now know that George 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 Anton'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 ] Agenta knows whether (Agentc knows whether (~(1|2|3)))

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

Hypothesis: Anton can now know whether Gail 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 Betty 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)) ] (Agentb knows whether 2)

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

Hypothesis: Tamika can now know whether Tamika is thirsty.


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

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

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

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

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


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

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

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

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


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

Hypothesis: Earl 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 Shannon's forehead is muddy. It is publicly announced that Shannon knows whether James's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Ernest's card is shown to William. William's card is shown to Ernest. It is publicly announced that someone picked a red card. It is publicly announced that Ernest does not know whether or not everyone picked a red card. It is publicly announced that Ernest does not know whether Ernest 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 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 2) ] 0

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


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

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

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

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

Hypothesis: Amy can now know that Letha can know that Deloris'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 Berniece does not know whether or not everyone's forehead is muddy.

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

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

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

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

Hypothesis: Latonya can now know whether someone is thirsty.


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

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

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

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


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

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

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

Hypothesis: Amanda can now know whether Anthony can know that 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 Dulce knows whether Ruby's forehead is muddy. It is publicly announced that Dulce's forehead is muddy.

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

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


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

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

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

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

Hypothesis: Raymond can now know that Jose can know whether John'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 Aida is not thirsty.

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

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

Hypothesis: Belinda can now know that Belinda 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 not everyone is thirsty. It is publicly announced that Grace does not know whether Scott is thirsty.

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

Hypothesis: Erica can now know that Grace can know that everyone is thirsty.


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

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

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