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

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

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

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

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

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

Hypothesis: Ashley can now know whether Alexa 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 Brian'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) ] [ ! ~(3) ] (Agentb knows that (~(1|2|3)))

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


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

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

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

Hypothesis: Robby can now know whether Ted 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 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 that 2)

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

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

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

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


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

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

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

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


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

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

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

Hypothesis: Clifford can now know whether Hazel can know whether Hazel picked a red card.


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

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

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

Hypothesis: Marion can now know that Michelle can know whether or not everyone picked a red card.


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

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

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

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


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

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

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


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

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

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

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


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

Hypothesis: Ruth can now know whether Joey can know that someone's forehead is muddy.


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

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

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

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


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

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

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

Hypothesis: Kevin can now know whether Kevin 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 Dale 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 (Agenta knows whether 1)

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

Hypothesis: Jessie can now know whether Thomas can know whether Thomas'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) ] Agentd knows that (Agentb knows that 3)

Hypothesis: Cody can now know that Curt can know that Michael's forehead is muddy.


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

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

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

Hypothesis: Christopher can now know whether Bruce can know whether Christopher 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 Kimberly'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 that 3)

Hypothesis: Raymond can now know whether Kimberly can know that Raymond'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 Mary knows whether Mary's forehead is muddy. It is publicly announced that George knows whether Donna's forehead is muddy.

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

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

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

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

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

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


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

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

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

Hypothesis: Humberto can now know whether Ana can know whether Dorothy'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 Argelia does not know whether or not everyone is thirsty.

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

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

Hypothesis: Marjorie can now know that Argelia can know whether Laura 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 Luke does not know whether Leila is thirsty. It is publicly announced that Luke does not know whether or not everyone is thirsty.

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

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

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

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

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

Hypothesis: Donna 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 Ted's forehead is not muddy. It is publicly announced that Ted knows whether Ted's forehead is muddy.

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

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


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

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

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

Hypothesis: Marvin can now know whether Thomas can know that Marvin 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 Erma 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 that (Agentb knows that 3)

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

Hypothesis: Georgina can now know that Georgia can know that Scott is thirsty.


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

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

Hypothesis: Barbara can now know that Evelyn can know whether Evelyn's forehead is muddy.


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

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

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

Hypothesis: Michael can now know that Regina 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 Shawnta knows whether someone is thirsty.

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

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

Hypothesis: Shawnta can now know that 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 Allen does not know whether or not everyone is thirsty. It is publicly announced that Rose does not know whether Gary is thirsty.

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

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

Hypothesis: Rose can now know that Allen 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 not everyone is thirsty.

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

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


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

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

Hypothesis: Gary can now know that Jane can know that Douglas'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 Stephanie'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 ] Agentb knows that (Agentc knows that 3)

Hypothesis: Kerry can now know that Walter can know that Walter'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 Maribel does not know whether Royce is thirsty. It is publicly announced that Royce does not know whether or not everyone is thirsty. It is publicly announced that everyone is thirsty.

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

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

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


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

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

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

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


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

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

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

Hypothesis: Paula can now know that David 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 Kenneth knows whether Pamela's forehead is muddy. It is publicly announced that someone's forehead is muddy.

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

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

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


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

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

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

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

Hypothesis: Caitlin can now know whether Lois can know that Caitlin's forehead is muddy.


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

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

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

Hypothesis: Eva can now know that Eva 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 Iona does not know whether or not everyone is thirsty. It is publicly announced that Iona does not know whether Johnathan 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 3) ] Agentc knows that (Agentb knows that 3)

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

Hypothesis: Johnathan can now know that Mark can know that Johnathan 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 Emily 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) ] [ ! (Agentc knows whether (1&2&3)) ] Agentb knows that (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 (1&2&3)) ] 0

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


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

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

Hypothesis: Ronald can now know that everyone is thirsty.


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

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

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

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

Hypothesis: Norma can now know that Norma'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 Darrell does not know whether Brittany is thirsty. It is publicly announced that Rudolph does not know whether Darrell is thirsty. It is publicly announced that Rudolph does not know whether Brittany 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) ] Agentb knows that (Agentc knows whether 3)

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

Hypothesis: Rudolph can now know that Brittany can know whether Brittany is thirsty.


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

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

Hypothesis: Irma can now know whether William can know that Michael 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 Gerald knows whether someone's forehead is muddy. It is publicly announced that Ollie'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) ] [ ! (Agentc knows whether (1|2|3|4)) ] [ ! ~(2) ] (Agenta knows that 3)

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

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

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


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

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

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


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

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

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

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


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

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

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

Hypothesis: Eric can now know that Eric 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 Amanda does not know whether Adam is thirsty. It is publicly announced that Jason does not know whether Adam is thirsty.

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

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

Hypothesis: Jason can now know whether Amanda can know whether Jason 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 Anthony does not know whether or not everyone's forehead is muddy.

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

Hypothesis: Jessica can now know whether Michelle can know whether Anthony'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 Myron does not know whether or not everyone's forehead is muddy. It is publicly announced that Myron does not know whether Myron's forehead is muddy. It is publicly announced that Brad's forehead is muddy. It is publicly announced that Brad knows whether Myron's forehead is muddy.

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

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

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


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

VARS 1,2,3,4 LAW Top OBS Agenta:2,3,4 Agentb:1,3,4 Agentc:1,2,4 Agentd:1,2,3 VALID? [ ! (1|2|3|4) ] [ ! (Agentd knows whether 4) ] Agentc knows whether (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: Clifton can now know whether Joe can know whether Joe'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 Dale does not know whether Debra is thirsty.

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

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

Hypothesis: Dale can now know that Samuel can know that Debra 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 Mario knows whether or not nobody's forehead is muddy.

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

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

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


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

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

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

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


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

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

Hypothesis: Tara can now know whether Brandon can know that Tara is thirsty.


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

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

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

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


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

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

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


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

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

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

Hypothesis: Doris can now know whether Kathryn can know whether Kathryn 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 Rosalinda does not know whether Rosalinda'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) ] Agenta knows whether (Agentd knows that (1|2|3|4))

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

Hypothesis: Peter can now know whether Rosalinda 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 Matthew knows whether Rita's forehead is muddy.

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

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

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

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

Hypothesis: Mary can now know that Steven'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.

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

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


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

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

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

Hypothesis: Ginny can now know that Jennifer can know that Ginny 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) ] Agentc knows that (Agentb knows that (~(1|2|3)))

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


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

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

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

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

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

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

Hypothesis: Scott can now know that Jason'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 Donna's forehead is muddy. It is publicly announced that Donna knows whether someone's forehead is muddy. It is publicly announced that Rhoda's forehead is not muddy.

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

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

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


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

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

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

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

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


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

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

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

Hypothesis: Robert can now know that Mary can know that Mary'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 Mark knows whether Jennifer'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) ] Agentb knows that (Agentc knows that (~(1|2|3)))

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

Hypothesis: Anne can now know that Mark 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 Dorothy 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)) ] Agentd knows whether (Agentb knows that (1&2&3&4))

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


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

Hypothesis: Oliver can now know whether Leona can know that nobody's forehead is muddy.


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

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

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

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


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

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

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

Hypothesis: Salvador can now know whether Billy can know whether Levi 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 Daniel does not know whether or not everyone is thirsty. It is publicly announced that Deborah does not know whether Hilda 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) ] (Agentb knows whether 2)

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

Hypothesis: Deborah can now know whether Deborah 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 Betty is not thirsty.

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

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


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

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

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


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

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

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

Hypothesis: Antonia can now know whether George can know that George 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 Gregory knows whether Gregory's forehead is muddy. It is publicly announced that Gregory's forehead is muddy.

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

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

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

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

Hypothesis: Charles can now know whether Diana 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 Jeffrey knows whether Paul's forehead is muddy.

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

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Catharine knows whether or not nobody's forehead is muddy. It is publicly announced that Pauline knows whether Catharine'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 that (~(1|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: Catharine 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 Rod knows whether Carol'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 3) ] (Agentb knows whether 2)

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


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

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


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

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

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


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

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

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

Hypothesis: Jacque can now know that someone is thirsty.


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

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

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

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


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

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


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

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

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

Hypothesis: Devon can now know whether Sierra can know that Sierra 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 Julie 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) ] [ ! (Agentd 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) ] [ ! (Agentd knows whether (1|2|3|4)) ] 0

Hypothesis: Luther can now know that everyone is thirsty.


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

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

Hypothesis: Lydia can now know that Yvette can know whether or not everyone is thirsty.


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

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

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


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

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


Premise: There are two persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Mary's card is shown to Mary. Mary's card is shown to Kim. Kim's card is shown to Kim. It is publicly announced that someone picked a red card. It is publicly announced that Kim knows whether or not nobody 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 that (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: Kim can now know that Mary can know that everyone picked a red card.


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

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

Hypothesis: Bobby can now know whether Martha'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 Eleanor'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) ] [ ! 2 ] [ ! (1|2|3) ] (Agentc knows that 3)

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


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

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

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

Hypothesis: Renita can now know whether Curtis can know that someone picked a red card.


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

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

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


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

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

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

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

Hypothesis: Michael can now know that Athena'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 Patricia is not thirsty. It is publicly announced that Richard knows whether Patricia is thirsty. It is publicly announced that Richard 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) ] [ ! 1 ] Agentd knows whether (Agentb knows that (~(1|2|3|4)))

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

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

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

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

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


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

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

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

Hypothesis: Ryan can now 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). Esther's card is shown to Esther. Craig's card is shown to Esther. Jason's card is shown to Esther. Craig's card is shown to Guy. Craig's card is shown to Craig. Craig's card is shown to Jason. It is publicly announced that someone picked a red card. It is publicly announced that Esther does not know whether Guy picked a red card.

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

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

Hypothesis: Jason can now know that Craig can know whether Guy 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 Justin does not know whether or not everyone's forehead is muddy.

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

Hypothesis: Joey can now know that Justin 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 Sara does not know whether Sara's forehead is muddy. It is publicly announced that Jason knows whether or not nobody's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Jane does not know whether Lorie is thirsty. It is publicly announced that Amy does not know whether Reina is thirsty. It is publicly announced that Amy does not know whether Lorie is thirsty.

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

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

Hypothesis: Jane can now know whether someone is thirsty.


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

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

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

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

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

Hypothesis: William can now know whether Morgan'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 Tammie is thirsty.

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

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

Hypothesis: Earl can now know that Mary can know whether Earl is thirsty.


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

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

Hypothesis: William can now know whether Mark can know that Tamara'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 Hector's forehead is muddy.

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

Hypothesis: Edward can now know whether Hector can know that nobody's forehead is muddy.


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

Hypothesis: Diana can now know that Travis can know that Mark'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 Latasha is not thirsty.

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

Hypothesis: Joseph can now know whether Latasha 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 everyone is thirsty.

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

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

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

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

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

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


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

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

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

Hypothesis: Sarah can now know whether Sarah 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 Amos'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 (Agentc knows that (1|2|3))

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


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

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

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

Hypothesis: Arcelia can now know whether Billy can know whether Bonnie 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 Sara does not know whether Sara's forehead is muddy. It is publicly announced that John does not know whether John's forehead is muddy. It is publicly announced that Sara knows whether or not nobody's forehead is muddy.

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

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

Hypothesis: Sara can now know whether James can know that Shayla'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 Richard knows whether Christopher's forehead is muddy. It is publicly announced that Christopher knows whether Christopher'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 2) ] [ ! (Agentb knows whether 2) ] Agenta knows whether (Agentb knows that 4)

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

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

VARS 1,2,3,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)) ] [ ! (1|2|3|4) ] Agentc knows whether (Agentb knows that 1)

Hypothesis: Helen can now know whether Patty can know that John'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 Cynthia's forehead is muddy.

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

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

Hypothesis: Lisa can now know that Cynthia 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 Donna does not know whether Mohammad is thirsty.

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

Hypothesis: Mohammad can now know whether Jeannine can know that Donna 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 Shauna does not know whether Shauna'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) ] [ ! ~(Agentc knows whether 3) ] [ ! (~(1&2&3)) ] (Agentb knows that 2)

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

Hypothesis: Jacob can now know that Jacob'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 Ernest does not know whether Melvin is thirsty. It is publicly announced that Ernest does not know whether Stephanie is thirsty.

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

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

Hypothesis: Melvin can now know that Ernest can know whether Bobby is thirsty.


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

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

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

Hypothesis: Ana can now know whether Rachelle can know that Carla picked a red card.


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

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

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

Hypothesis: Bert can now know that James 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 Fredrick is thirsty. It is publicly announced that Rita knows whether Fredrick is thirsty.

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

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

Hypothesis: Rita can now know whether someone is thirsty.


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

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


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

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

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

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

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

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


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

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

Hypothesis: Monique can now know that Cynthia can 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 Stella knows whether or not nobody's forehead is muddy.

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

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

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


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

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

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

Hypothesis: Stacy can now know that Cheryl 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 Edward does not know whether Mark is thirsty. It is publicly announced that Edward does not know whether Delores is thirsty.

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

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

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


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

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

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

Hypothesis: Justin can now know that Donald 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 Eugene knows whether Barbara'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) ] Agentb knows that (Agentc knows whether (1&2&3&4))

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


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

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

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


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

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


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

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

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

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

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

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

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

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

Hypothesis: Michael can now know whether Doyle 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). Frank's card is shown to Mary. Mary's card is shown to Nichelle. Frank's card is shown to Frank. It is publicly announced that someone picked a red card. It is publicly announced that Frank does not know whether Nichelle 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:1 Agentc:3 VALID? [ ! (1|2|3) ] [ ! ~(Agentc knows whether 2) ] [ ! ~(Agenta knows whether 1) ] Agenta knows whether (Agentb knows whether (~(1|2|3)))

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

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


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

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

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

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

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

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


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

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

Hypothesis: Joshua can now know that Brenda can know that Donald 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 Marcus is thirsty.

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

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

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

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

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

Hypothesis: Mike can now know whether Larry can know that nobody's forehead is muddy.


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

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

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


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

Hypothesis: Joseph can now know that Byron'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 David does not know whether Samuel 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) ] Agentc knows whether (Agentd knows that (~(1|2|3|4)))

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

Hypothesis: Michael can now know whether Marie can 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 Tina does not know whether Tina's forehead is muddy. It is publicly announced that Annette knows whether someone's forehead is muddy.

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

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

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


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

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 2)

Hypothesis: Joseph can now know that Allison'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 Joseph is thirsty.

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

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

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


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

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


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

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

Hypothesis: Corliss can now know that Richard can know that Dorothy's forehead is muddy.


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

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

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

Hypothesis: Olympia can now know whether Terry can know that Olympia 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 not everyone's forehead is muddy. It is publicly announced that Francis knows whether Nancy's forehead is muddy.

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

Hypothesis: Francis can now know that Francis'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 Jennie knows whether Jennie 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) ] Agentb knows that (Agentc knows that 4)

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

Hypothesis: Alfonso can now know that Kelvin can know that Mark 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 Travis knows whether someone's forehead is muddy. It is publicly announced that Arlene's forehead is muddy.

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

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


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

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