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 Russell does not know whether or not everyone's forehead is muddy. It is publicly announced that Russell does not know whether Russell'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 4) ] (Agentc knows that 4)

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

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


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: Anna can now know whether Edward can know that someone 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 Sarah knows whether or not everyone's forehead is muddy.

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

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

Hypothesis: Margaret can now know whether Sarah can know that Sarah'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 John knows whether Ashley's forehead is muddy.

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

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

Hypothesis: Ashley can now know whether John can know whether someone'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 Daniel does not know whether or not everyone's forehead is muddy. It is publicly announced that Daniel 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)) ] Agenta knows that (Agentb knows that (1&2))

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

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


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

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

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

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


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

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

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

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

Hypothesis: Judy can now know whether Donna can know that Judy's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Audrey can now 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's forehead is muddy. It is publicly announced that Dorothy's forehead is not muddy. It is publicly announced that Dorothy's forehead is not muddy.

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

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

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

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


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

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

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

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

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

Hypothesis: John can now know that Lynne can know that Roberto'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 or not everyone is thirsty. It is publicly announced that Dawn knows whether David is thirsty.

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

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

Hypothesis: Kathleen can now know that James can know that everyone is thirsty.


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

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


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

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

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

Hypothesis: Barbara can now know that Lola can know whether or not everyone picked a red card.


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

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

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

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

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

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

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

Hypothesis: Glenn can now know that Blanche 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 Robert knows whether Jim's forehead is muddy. It is publicly announced that Robert 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) ] [ ! (Agentb knows whether (~(1|2))) ] Agentb knows that (Agenta knows that (1&2))

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

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


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

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

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

Hypothesis: Jonathan can now know whether Brenda 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 not everyone is thirsty. It is publicly announced that Stephanie is not thirsty.

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

Hypothesis: Marvis can now know that nobody is thirsty.


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

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

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

Hypothesis: Nathaniel can now know whether Michelle'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 Eric does not know whether or not everyone is thirsty.

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

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

Hypothesis: Eric can now know whether Gilbert is thirsty.


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

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

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

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


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

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

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

Hypothesis: Bobby can now know that William can know that nobody is thirsty.


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

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

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

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


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

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

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

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


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

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

Hypothesis: Gerald can now know that Gary 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 Diane 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)) ] Agentb knows that (Agentd knows whether 4)

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


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

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

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

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

Hypothesis: Jody can now know whether Anna can know that Sheila'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 Jared does not know whether Kylie is thirsty.

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

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

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

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

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

Hypothesis: Kenneth 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 is thirsty. It is publicly announced that Amber is not thirsty. It is publicly announced that Holly is thirsty.

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

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

Hypothesis: John can now know that Holly can know that Amber is thirsty.


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

Hypothesis: Christopher can now know whether Arlene can know whether Christopher'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 Susie does not know whether Derek is thirsty. It is publicly announced that Susie does not know whether Jill is thirsty.

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

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

Hypothesis: Susie can now know that Derek can know whether or not everyone is thirsty.


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

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

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

Hypothesis: Jason can now know whether Travis 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 Nicole's forehead is muddy.

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

Hypothesis: Dominic can now know that Lori can know that nobody'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 Ernest 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) ] [ ! ~(Agentb knows whether (1&2)) ] [ ! (~(1&2)) ] Agenta knows whether (Agentb knows whether (1|2))

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

Hypothesis: Sergio can now know whether Ernest can know whether someone is thirsty.


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

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

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

Hypothesis: Glen can now know whether Martha 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 Amy knows whether someone's forehead is muddy.

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


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

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

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

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

Hypothesis: Jarrett can now know that Kelly 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 Kendra knows whether Kendra's forehead is muddy.

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

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

Hypothesis: Rodney can now know that James 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 Marion's forehead is not muddy. It is publicly announced that Pearl does not know whether Pearl's forehead is muddy. It is publicly announced that Pearl 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) ] [ ! ~(2) ] [ ! ~(Agentc knows whether 3) ] [ ! (Agentc knows whether (~(1|2|3))) ] Agenta knows that (Agentc knows whether 3)

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

Hypothesis: Randy can now know that Pearl can know whether Pearl'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 Diana does not know whether Dennis is thirsty.

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

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

Hypothesis: Diana can now know that Josephine can know that nobody is thirsty.


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

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

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

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

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

Hypothesis: Barry can now know that Kristi 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 Adam does not know whether or not everyone is thirsty. It is publicly announced that Beulah knows whether Adam is thirsty. It is publicly announced that Beulah is not thirsty.

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

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

Hypothesis: Adam can now know whether Beulah can know whether Beulah 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 someone is thirsty. It is publicly announced that Margaret does not know whether Bernardo is thirsty.

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

Hypothesis: Margaret 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 Charles does not know whether or not everyone is thirsty. It is publicly announced that Charles does not know whether or not everyone is thirsty.

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

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

Hypothesis: Arnulfo can now know whether Charles can know that Arnulfo is thirsty.


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

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

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

Hypothesis: Jennifer can now know whether Margart can know whether Matthew 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 Van does not know whether Robin is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that Kevin does not know whether Robin is thirsty.

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

Hypothesis: Van can now 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 Mario's forehead is not muddy.

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

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

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

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

Hypothesis: David can now know that Dana 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.

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

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

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

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


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

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


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

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

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

Hypothesis: Francine can now know whether Amanda can know that everyone picked a red card.


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

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

Hypothesis: Katherine can now know that Bruce can 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 George does not know whether or not everyone is thirsty. It is publicly announced that Evelyn does not know whether or not everyone is thirsty.

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

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

Hypothesis: Jennifer can now know that Evelyn can know that Jennifer is thirsty.


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

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

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

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

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

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

Hypothesis: John can now know whether Sylvia can know whether someone is thirsty.


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

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

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

Hypothesis: Clay 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 is thirsty. It is publicly announced that Gayle 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 that 2)

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

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

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

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


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

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

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

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


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 whether (1&2&3))

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

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

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

Hypothesis: Lynelle 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 Kathryn knows whether Kathryn 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 4) ] Agenta knows whether (Agentc knows whether 2)

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

Hypothesis: William can now know whether Camille can know whether Carrie 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 Matthew's forehead is not muddy.

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


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

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

Hypothesis: Keith can now know whether Teresita can know that someone's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Kimberly knows whether Sherry is thirsty.

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

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

Hypothesis: Kimberly can now know that Sherry 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). Matthew's card is shown to Matthew. Anne's card is shown to Anne. Anne's card is shown to John. It is publicly announced that someone picked a red card.

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

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

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

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

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

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

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

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

Hypothesis: Lisa can now know that Robert can know that everyone is thirsty.


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

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

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

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


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

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

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

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

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

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

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


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

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

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


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

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

Hypothesis: Matthew can now know that Brenda can know that Timothy'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 Mercedes does not know whether Jeffrey is thirsty. It is publicly announced that Mercedes does not know whether or not everyone is thirsty.

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

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

Hypothesis: Mercedes can now know that Mercedes is thirsty.


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

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

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

Hypothesis: Delbert can now know that Amanda 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 Georgeanna does not know whether Elsie is thirsty. It is publicly announced that Ricky does not know whether Elsie is thirsty.

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

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

Hypothesis: Georgeanna can now know whether Elsie is thirsty.


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

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

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

Hypothesis: Andrea can now know that Coral can know whether Andrea picked a red card.


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

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

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

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

Hypothesis: Calvin can now know that Randall picked a red card.


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

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

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


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

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

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

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Robert is not thirsty. It is publicly announced that Robert does not know whether Alisa is thirsty. It is publicly announced that Sue does not know whether John is thirsty. It is publicly announced that Sue does not know whether John is thirsty.

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

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

Hypothesis: Alisa can now know whether Robert can know whether someone is thirsty.


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

Hypothesis: Rita can now know whether someone is thirsty.


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

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

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


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

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

Hypothesis: Madaline can now know that Richard can know that someone is thirsty.


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

Hypothesis: Richard can now know that Gidget can 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 Joesph knows whether John's forehead is muddy.

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

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

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


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

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

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


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

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

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


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

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

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


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

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

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

Hypothesis: Teresa 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 Hope knows whether or not nobody's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Laura'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))) ] [ ! (~(1&2&3)) ] [ ! 3 ] (Agentb knows that 2)

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


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

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


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

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

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

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


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

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

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

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


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

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

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

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

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

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

Hypothesis: Jeffrey can now know whether Constance can know that Corazon's forehead is muddy.


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

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

Hypothesis: Earl can now know that Julia can know that Julia picked a red card.


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

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

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

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


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

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

Hypothesis: Steven can now know that Barbara can know that Steven is thirsty.


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

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

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


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

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

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

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


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

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

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

Hypothesis: Christopher can now know whether John can 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 Nettie 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 that 1)

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

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

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

Hypothesis: Marvin can now know that Bonnie can know that Marvin'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 someone's forehead is muddy. It is publicly announced that Ashley knows whether Judy's forehead is muddy.

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

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

Hypothesis: Willie can now know that Julia can know whether Julia's forehead is muddy.


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

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

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

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


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

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

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


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

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

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

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


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

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

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

Hypothesis: Lois can now know whether Tina can know that 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 someone is thirsty. It is publicly announced that Mary knows whether James is thirsty.

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

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

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


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

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

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


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

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

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


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

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

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Frank does not know whether Scott is thirsty. It is publicly announced that Hal knows whether someone is thirsty.

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

Hypothesis: Frank can now know that nobody is thirsty.


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

Hypothesis: Nicole can now know that Linda is thirsty.


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

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

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

Hypothesis: Steven can now know whether Alma can know that Alma picked a red card.


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

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

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

Hypothesis: Lori can now know that Lori 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 Kristy knows whether Kristy 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 1)

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

Hypothesis: Angel can now know that Kristy is thirsty.


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: Leticia can now know whether Kathy 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 Ralph knows whether or not nobody is thirsty.

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

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

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

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

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

Hypothesis: Jose can now know that Michael can know whether Michael 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 John knows whether or not everyone's forehead is muddy. It is publicly announced that everyone's forehead is muddy. It is publicly announced that Sarah knows whether Sarah'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 1) ] (Agentc knows whether 1)

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


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

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

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

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

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

Hypothesis: Michael can now know that Quinn can know that Karla'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 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)) ] (Agenta knows that 3)

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

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

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: Debra 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's forehead is muddy. It is publicly announced that Sharon knows whether someone's forehead is muddy. It is publicly announced that Gary's forehead is not muddy.

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

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

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


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

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

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

Hypothesis: Yan can now know that Patti can know whether or not everyone picked a red card.


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

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

Hypothesis: Sally can now know whether someone is thirsty.


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

Hypothesis: Gretchen can now know that Melinda can know that Melinda'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 Nicholas does not know whether Nicholas'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 that (Agentb knows whether (~(1|2|3|4)))

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

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


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

Hypothesis: Lawrence can now know whether Josephine can know that Jamie'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 Sonia 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)) ] Agenta knows that (Agentb knows whether 2)

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

Hypothesis: Sonia can now know that Catherine can know whether Catherine'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 Era knows whether Lisa's forehead is muddy. It is publicly announced that Era 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 4)

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

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

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


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

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

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

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

Hypothesis: Ollie 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 is thirsty. It is publicly announced that Charles does not know whether Joseph is thirsty.

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

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

Hypothesis: Brian can now know that everyone is thirsty.


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

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

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

Hypothesis: June can now know that David can know 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 whether (Agenta knows that (1&2&3))

Hypothesis: Arturo can now know whether Betty can know that everyone's forehead is muddy.


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

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

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


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

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

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

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


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

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

Hypothesis: Heather can now know that Dorothy 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 Erik knows whether Charlene's forehead is muddy. It is publicly announced that Erik's forehead is not muddy. It is publicly announced that Lashanda knows whether someone's forehead is muddy.

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

Hypothesis: Lashanda can now know whether Charlene can know whether Erik's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. Each person draws a card, face unrevealed (red or black). Rick's card is shown to Carol. Jaime's card is shown to Jaime. Rick's card is shown to Jaime. Cindy's card is shown to Jaime. Cindy's card is shown to Rick. Rick's card is shown to Cindy. It is publicly announced that someone picked a red card. It is publicly announced that Rick does not know whether Rick 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) ] Agentd knows whether (Agentc knows that 1)

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: Cindy can now know whether Rick can know that Carol picked a red card.


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

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

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

Hypothesis: Tina can now know that Maria 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 David knows whether Melissa's forehead is muddy.

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

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

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


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

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

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

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