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

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

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

Hypothesis: Michael can now know whether Edith 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 Erica does not know whether Vincent is thirsty. It is publicly announced that Selene does not know whether Erica is thirsty. It is publicly announced that Selene does not know whether Vincent is thirsty.

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

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

Hypothesis: Erica can now know whether Selene can know whether Erica 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 Elizabeth does not know whether or not everyone is thirsty. It is publicly announced that Lisa does not know whether or not everyone is thirsty. It is publicly announced that John knows whether John is thirsty.

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

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

Hypothesis: John can now know whether Salvador 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 David knows whether or not everyone is thirsty.

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

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

Hypothesis: Georgia can now know that David can know that Georgia 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 Robert knows whether Charles's forehead is muddy.

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

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

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


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

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

Hypothesis: Clare can now know that George can know whether Flossie'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 someone is thirsty. It is publicly announced that Tina 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|2|3|4) ] [ ! ~(2) ] Agentb knows that (Agentd knows that 3)

Hypothesis: Tina can now know that Gerald can know that John 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 Sherry's forehead is muddy.

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Patricia knows whether or not nobody's forehead is muddy. It is publicly announced that David 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))) ] [ ! (Agenta knows whether (1&2)) ] Agenta knows whether (Agentb knows that 2)

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

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


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

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

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

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

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

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


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

Hypothesis: Dale can now know that Larry can know whether Charlotte'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 Matthew's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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


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

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

Hypothesis: Priscilla can now know that Steven'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 Donald does not know whether Donald's forehead is muddy.

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

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

Hypothesis: Terri can now know whether Donald can know that Terri'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 Lydia knows whether Kathleen's forehead is muddy.

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

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

Hypothesis: Kathleen can now know that Donald can know whether someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Susan's card is shown to Mary. Alejandra's card is shown to Alejandra. Susan's card is shown to Susan. 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 Susan picked a red card. It is publicly announced that Mary does not know whether Mary picked a red card.

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

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

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

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

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

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


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

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] Agenta knows whether (Agentc 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: Curtis can now know whether Keith 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 Cynthia knows whether or not nobody's forehead is muddy. It is publicly announced that Susan does not know whether or not everyone's forehead is muddy.

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

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

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


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

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

Hypothesis: Dawn can now know that Nina can know that Dawn'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 Jerome knows whether someone is thirsty.

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

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

Hypothesis: Spencer can now know that Fred can know that everyone is thirsty.


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

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

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

Hypothesis: Maurice can now know whether Sherry can know that someone picked a red card.


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

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

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

Hypothesis: Elizabeth can now know that Sue can know that Sue 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.

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 (Agentc knows that 3)

Hypothesis: Maryann can now know whether Lawrence can know that Lawrence's forehead is muddy.


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

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

Hypothesis: Roger can now know that Joseph can know that nobody is thirsty.


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

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

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

Hypothesis: Jerry can now know whether Jesus picked a red card.


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

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

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


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

Hypothesis: Emily can now know whether Kevin can know that Kevin's forehead is muddy.


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

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

Hypothesis: Joe can now know that John can know whether Crystal 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 Chris's forehead is not muddy.

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

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


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

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

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

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

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

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

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

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

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

Hypothesis: Susan can now know that Cynthia can know whether Cynthia'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 Isabelle does not know whether Paul is thirsty. It is publicly announced that Ralph is thirsty.

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

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

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

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

Hypothesis: Sheryl can now know that Lauri'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 Travis does not know whether or not everyone is thirsty. It is publicly announced that Travis does not know whether Maurice is thirsty.

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

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

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

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

Hypothesis: Jay can now know whether Michelle can know whether Andrea 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 Karl does not know whether Jessica is thirsty. It is publicly announced that Carman 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) ] [ ! 3 ] Agentd knows that (Agentc knows that 2)

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

Hypothesis: Joshua can now know that Carman can know that Karl 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 Frank does not know whether Frank's forehead is muddy. It is publicly announced that Frank does not know whether Frank's forehead is muddy.

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

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

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


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

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

Hypothesis: Freda can now know whether Noelle can know whether someone is thirsty.


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

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


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

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

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

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


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

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

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

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

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

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

Hypothesis: Scott can now know whether Tracie can know whether Scott 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 Julius'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 that (~(1|2|3)))

Hypothesis: Michael 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 Kasie knows whether Kasie'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) ] Agentd knows whether (Agenta knows that (~(1|2|3|4)))

Hypothesis: Carmen can now know whether Kasie can know that nobody's forehead is muddy.


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

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

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

Hypothesis: Chad can now know that Ella can know that Florence's forehead is muddy.


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

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

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

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


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

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

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


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Ronald's card is shown to Ronald. Ronald's card is shown to Brooke. Raymond's card is shown to Brooke. Cleo's card is shown to Cleo. Raymond's card is shown to Cleo. 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) ] Agenta knows whether (Agentb knows that 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: Ronald can now know whether Brooke can know that Raymond picked a red card.


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

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

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

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

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

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


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

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

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

Hypothesis: Allen can now know that Elda picked a red card.


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

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

Hypothesis: Amy can now know whether Darryl can know whether Darryl 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 Corinne does not know whether Floyd is thirsty. It is publicly announced that Corinne knows whether someone is thirsty. It is publicly announced that Sandy does not know whether Floyd is thirsty. It is publicly announced that Floyd does not know whether Corinne is thirsty.

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

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

Hypothesis: Sandy can now know that Sandy is thirsty.


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

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

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

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

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

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

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


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

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

Hypothesis: Johnny can now know whether Charles can know whether Charles'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 Desmond does not know whether Tammy is thirsty. It is publicly announced that Russell is not thirsty. It is publicly announced that someone is thirsty.

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

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

Hypothesis: Desmond can now know whether Tammy can know whether someone is thirsty.


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

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

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

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

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

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

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

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

Hypothesis: Eric can now know whether Kathy can know that Kathy'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 Lavonda does not know whether Albert is thirsty.

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

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

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


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

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

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

Hypothesis: Rogelio can now know whether Brandon can know that Allen picked a red card.


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

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

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

Hypothesis: Susannah 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). Jeremy's card is shown to Jeremy. James's card is shown to John. It is publicly announced that someone picked a red card. It is publicly announced that James does not know whether John picked a red card. It is publicly announced that someone picked a red card.

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

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

Hypothesis: Jeremy 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). Gary's card is shown to Sharon. Sharon's card is shown to Gary. It is publicly announced that someone picked a red card. It is publicly announced that Sharon does not know whether Rosa picked a red card.

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

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

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


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

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

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

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


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

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

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

Hypothesis: Ruben can now know whether Don can know whether Don 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 Wayne is thirsty.

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

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

Hypothesis: Wayne can now know whether Walter 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 Mary does not know whether Sharon 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) ] Agentd knows whether (Agenta knows that 2)

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

Hypothesis: Angela can now know whether Sharon can know that Mary is thirsty.


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

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

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


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

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

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

Hypothesis: Kelly can now know that someone is thirsty.


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

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

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

Hypothesis: Douglas can now know whether Alissa'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 Darnell knows whether someone's forehead is muddy. It is publicly announced that Darnell knows whether Trudy's forehead is muddy. It is publicly announced that someone's forehead is muddy.

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

Hypothesis: Trudy can now know whether Darnell can know that everyone's forehead is muddy.


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

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

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

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


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

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

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

Hypothesis: Marie can now know that Paul picked a red card.


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

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

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

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


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

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

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


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

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

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

Hypothesis: Louise can now know whether Mark can know that Lester 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 John knows whether or not everyone is thirsty.

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

Hypothesis: Frank can now know whether Eva is thirsty.


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

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

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

Hypothesis: Curtis can now know whether Miguel can know that everyone picked a red card.


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

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

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

Hypothesis: Garry can now know that Julio 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 Derrick does not know whether or not everyone is thirsty. It is publicly announced that Joann is not thirsty. It is publicly announced that Joann knows whether someone is thirsty.

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

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

Hypothesis: Derrick can now know that Joann can know whether Joann 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 Sherman knows whether or not nobody is thirsty. It is publicly announced that Joan does not know whether Charles is thirsty.

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

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

Hypothesis: Charles can now know whether Cecilia can know whether Charles is thirsty.


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

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

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

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


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

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


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

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


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

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

Hypothesis: Carma can now know whether Cynthia can know that nobody's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Ralph can now know that Milton 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 Naomi does not know whether or not everyone is thirsty. It is publicly announced that George is thirsty. It is publicly announced that George 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)) ] [ ! 3 ] [ ! 3 ] Agenta knows whether (Agentc knows whether 3)

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

Hypothesis: Matthew can now know whether George can know whether George 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 Steve does not know whether Helen is thirsty.

VARS 1,2,3,4 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 Agentd:4 VALID? [ ! (1|2|3|4) ] [ ! ~(Agentc knows whether 4) ] (Agenta knows whether (~(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: Robert 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's forehead is muddy. It is publicly announced that Laura 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) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] (Agentb knows that 1)

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


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

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


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

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

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

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

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

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

Hypothesis: Elizabeth can now know whether Denise can know that nobody's forehead is muddy.


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

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

Hypothesis: Paul can now know that Steven 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 Loriann knows whether Sharon's forehead is muddy. It is publicly announced that Greg 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 3) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] Agenta knows whether (Agentd knows whether (1|2|3|4))

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

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


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

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

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

Hypothesis: Gregory can now know that Gregory 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 Sharon 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) ] [ ! (Agentb knows whether (1|2|3|4)) ] Agentd knows that (Agentb knows that 2)

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

Hypothesis: Carlos can now know that 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). Teresa's card is shown to Scott. Teresa's card is shown to Betty. James's card is shown to Teresa. Teresa's card is shown to James. It is publicly announced that someone picked a red card.

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

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

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


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

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

Hypothesis: Christian can now know that Jaime 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 Pedro knows whether someone is thirsty. It is publicly announced that Henry does not know whether Pedro 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) ] (Agentc knows that (~(1|2|3|4)))

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

Hypothesis: Pedro can now know that nobody is thirsty.


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

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

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

Hypothesis: Theresa can now know that Amanda can know that Amanda is thirsty.


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

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

Hypothesis: Christine can now know whether Richard can know that Edgar 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 Jane knows whether Kristen's forehead is muddy.

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

Hypothesis: Kristen can now know whether Jane 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 Diane does not know whether Robert is thirsty.

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

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

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

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

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

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


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

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

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

Hypothesis: Kenny can now know whether George can know that Jaime's forehead is muddy.


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

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

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

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


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

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

Hypothesis: William can now know that James'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 Ann knows whether Marvin'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 4) ] (Agenta knows that (1&2&3&4))

Hypothesis: Jean 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). Joseph's card is shown to Joseph. Brian's card is shown to Mary. Joseph's card is shown to Mary. Mary's card is shown to Tracy. It is publicly announced that someone picked a red card.

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

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

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

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

Hypothesis: James can now know that Sylvia'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 Joyce does not know whether or not everyone is thirsty.

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

Hypothesis: Joyce can now know whether Amanda is thirsty.


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

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

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

Hypothesis: Sadie can now know that Kathy can know whether Esther picked a red card.


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 Micheal. Jesse's card is shown to Robert. Jesse's card is shown to Jesse. It is publicly announced that someone picked a red card. It is publicly announced that Jesse does not know whether or not everyone 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&2&3)) ] Agenta knows that (Agentb knows that (~(1|2|3)))

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

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

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

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

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


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

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

Hypothesis: Terri can now know that David 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 Pauline does not know whether Jerry is thirsty.

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

Hypothesis: Pauline can now know that nobody is thirsty.


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) ] Agentd knows whether (Agentb knows that (1|2|3|4))

Hypothesis: Almeda can now know whether Brendan can know that someone's forehead is muddy.


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

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

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


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

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


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

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

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

Hypothesis: Inga can now know that Mable picked a red card.


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

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

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

Hypothesis: Alfred can now know whether Denise can know whether Joshua's forehead is muddy.


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

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

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

Hypothesis: William can now know whether Jody can know that everyone picked a red card.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Dora knows whether someone's forehead is muddy. It is publicly announced that Clarence knows whether or not nobody's forehead is muddy. It is publicly announced that Clarence knows whether Dora's forehead is muddy. It is publicly announced that Joseph knows whether Joseph'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 whether (~(1|2|3))) ] [ ! (Agentc knows whether 1) ] [ ! (Agentb knows whether 2) ] Agentc knows that (Agentb 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) ] [ ! (Agenta knows whether (1|2|3)) ] [ ! (Agentc knows whether (~(1|2|3))) ] [ ! (Agentc knows whether 1) ] [ ! (Agentb knows whether 2) ] 0

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


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

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

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

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


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

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

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

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


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

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

Hypothesis: Victor can now know that Victor is thirsty.


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

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

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

Hypothesis: Elsy can now know that Janet can know whether Elsy 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 Elizabeth is not thirsty. It is publicly announced that Virginia knows whether Elizabeth is thirsty. It is publicly announced that Elizabeth does not know whether Armando is thirsty.

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

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

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

Hypothesis: Joe can now know whether Shirley can know whether Joe'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) ] Agentd knows whether (Agentc knows that 3)

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


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

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

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

Hypothesis: Paul can now know that Ruth can know whether someone picked a red card.


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

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

Hypothesis: William can now know that Wayne can know whether or not everyone is thirsty.


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

Hypothesis: John can now know that Audra can know that someone is thirsty.


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

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

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

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


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

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

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

Hypothesis: Robin can now know whether Regina can know whether Homer picked a red card.


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

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

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


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

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

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


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

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

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

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

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

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

Hypothesis: Beatrice can now know whether Beatrice'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 Tracy does not know whether Tracy'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) ] Agentd knows that (Agentb knows whether 2)

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

Hypothesis: Tracy can now know that Elsie can know whether Elsie's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: Donald 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 John does not know whether or not everyone's forehead is muddy. It is publicly announced that John'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 2)

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

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

Hypothesis: Isabel 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's forehead is muddy. It is publicly announced that Terry knows whether someone's forehead is muddy.

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

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


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

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

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


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

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

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


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

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

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

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


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

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

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

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


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

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


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

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


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

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

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


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

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

Hypothesis: Kent can now know whether Kent'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 Maria is thirsty. It is publicly announced that Maria knows whether Maria is thirsty.

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

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

Hypothesis: Orlando can now know that Maria is thirsty.


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

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

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

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


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

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