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

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

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

Hypothesis: Myra can now know whether Brenda 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 Robert does not know whether Donna is thirsty.

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

Hypothesis: Helen can now know whether Donna can know whether someone is thirsty.


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

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

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

Hypothesis: Maria can now know that Wesley can know that Wesley 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 Eileen is not thirsty.

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

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

Hypothesis: Mary can now know that Mary 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 Samuel is not thirsty. It is publicly announced that Carmen does not know whether Jessica is thirsty.

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

Hypothesis: Jessica can now know that Carmen can know whether or not everyone is thirsty.


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

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

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

Hypothesis: Kevin can now know that someone is thirsty.


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

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

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

Hypothesis: Steve can now know that Steve 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 Harold is thirsty.

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

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

Hypothesis: Andrew can now 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 Monica does not know whether Alexander is thirsty. It is publicly announced that someone is thirsty.

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

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

Hypothesis: Alexander can now know that Jake can know whether or not everyone is thirsty.


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

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

Hypothesis: Justin can now know that Donald can know that Donald 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 Kristen does not know whether Tony is thirsty. It is publicly announced that Kristen knows whether Kristen is thirsty. It is publicly announced that Tony does not know whether Kristen is thirsty. It is publicly announced that Tina does not know whether Kristen 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 2) ] [ ! ~(Agenta knows whether 2) ] [ ! ~(Agentc knows whether 2) ] Agenta knows that (Agentb knows that 2)

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

Hypothesis: Tony can now know that Kristen can know that Kristen is thirsty.


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

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

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

Hypothesis: Benjamin can now know whether John can know whether Douglas is thirsty.


Premise: There are four persons. Everyone is visible to others. 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)

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

Hypothesis: Richard can now know whether Crystal 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 Suzanne is not thirsty.

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

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

Hypothesis: Arthur can now know whether Suzanne can know whether Josephine is thirsty.


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

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

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

Hypothesis: Roger can now 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 Curtis 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) ] [ ! ~(Agentc knows whether 2) ] (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 2) ] 0

Hypothesis: John 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 Tara does not know whether Earl is thirsty. It is publicly announced that Tricia does not know whether Earl 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) ] (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) ] [ ! ~(Agentb knows whether 4) ] [ ! ~(Agentc knows whether 4) ] 0

Hypothesis: Taylor can now know that nobody is thirsty.


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

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

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

Hypothesis: Irene can now know that Sharon 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 Ida does not know whether Lawrence is thirsty.

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

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

Hypothesis: Ida can now know whether Lawrence 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 David does not know whether Doris is thirsty. It is publicly announced that Kevin does not know whether or not everyone is thirsty. It is publicly announced that Kevin does not know whether Doris is thirsty. It is publicly announced that Doris does not know whether or not everyone is thirsty.

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

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

Hypothesis: Brenda can now know that Kevin can know that nobody is thirsty.


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

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

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

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


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

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

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

Hypothesis: Margaret can now know that Nicholas can know that James is thirsty.


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

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

Hypothesis: Amy can now know whether Lottie can know that Howard 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 Charles does not know whether Carmen 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 that (Agenta knows whether 2)

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

Hypothesis: Carmen can now know that Cleta can know whether Freddie 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 Tabitha does not know whether Adele is thirsty. It is publicly announced that Adele does not know whether Tabitha is thirsty. It is publicly announced that Tabitha does not know whether Adele is thirsty.

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

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

Hypothesis: Janie can now know whether Tabitha can know that Janie 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 Lester does not know whether Jennifer is thirsty. It is publicly announced that Desiree does not know whether Margaret is thirsty. It is publicly announced that Margaret does not know whether Lester is thirsty. It is publicly announced that Lester 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) ] [ ! ~(Agentc knows whether 2) ] [ ! ~(Agenta knows whether 4) ] [ ! ~(Agentd knows whether 3) ] [ ! (Agentc knows whether (1|2|3|4)) ] (Agentb knows that (1&2&3&4))

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

Hypothesis: Jennifer can now know that everyone is thirsty.


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

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

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

Hypothesis: Robert can now know that Robert 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 Ruby knows whether Ruby is thirsty. It is publicly announced that not everyone is thirsty.

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

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

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

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

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

Hypothesis: Darrell can now know that Robert can know that Derek 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 not everyone is thirsty.

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

Hypothesis: Steven can now know whether Theresa can know that Theresa 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 Jeffrey does not know whether Priscilla is thirsty. It is publicly announced that Priscilla is not thirsty. It is publicly announced that Jeffrey is not thirsty.

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

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

Hypothesis: Jeffrey can now know that Annmarie can know whether Priscilla 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 Steven is thirsty.

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

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: Joshua can now know whether Joshua 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 Lauren does not know whether or not everyone is thirsty. It is publicly announced that Lauren 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)) ] Agentb knows whether (Agenta knows that (~(1|2|3)))

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

Hypothesis: Jack can now know whether Lauren can know that nobody is thirsty.


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

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

Hypothesis: Timothy can now know whether Ruth 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 Clayton does not know whether Robert is thirsty. It is publicly announced that Evelynn does not know whether Clayton is thirsty. It is publicly announced that Robert does not know whether Willie is thirsty. It is publicly announced that Willie does not know whether Evelynn 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 whether 2) ] [ ! ~(Agentd knows whether 3) ] [ ! ~(Agentc knows whether 1) ] (Agenta knows whether 2)

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

Hypothesis: Evelynn can now know whether Clayton is thirsty.


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

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

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

Hypothesis: Donald can now know that David is thirsty.


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

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

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

Hypothesis: William can now know that Eugene 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 Rebecca does not know whether Elizabeth is thirsty. It is publicly announced that Rebecca does not know whether Elizabeth is thirsty.

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

Hypothesis: Elizabeth can now know that Rebecca can know that nobody is thirsty.


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

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

Hypothesis: Julianne 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 Thomas does not know whether Mary is thirsty.

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

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

Hypothesis: Mary can now know that everyone is thirsty.


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

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

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

Hypothesis: Erin can now know that James can know whether or not nobody is thirsty.


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

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

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

Hypothesis: Doris can now know whether Bennie 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 Shirley does not know whether Tommy is thirsty. It is publicly announced that Raymond does not know whether Shirley 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 whether 1) ] Agenta knows that (Agentd knows that (1&2&3&4))

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

Hypothesis: Shirley can now know that Connie can know that everyone is thirsty.


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

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


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

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

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

Hypothesis: Robert can now know that James can know that James 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 Donna is not thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Donna does not know whether Oma is thirsty. It is publicly announced that someone is thirsty.

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

Hypothesis: Barbara can now know whether someone is thirsty.


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

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

Hypothesis: Corey can now 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 Linda is not thirsty. It is publicly announced that Lucy is not thirsty.

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

Hypothesis: Willie 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 Doris knows whether Doris is thirsty. It is publicly announced that Doris is not thirsty.

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

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

Hypothesis: Doris 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 William does not know whether Sheila is thirsty. It is publicly announced that Sheila is not 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) ] [ ! ~(3) ] Agentb knows that (Agentc knows that 4)

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

Hypothesis: Jazmin can now know that Sheila can know that William 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 James knows whether someone is thirsty.

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

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: Penny can now know whether Harriet 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 Mae does not know whether Christopher is thirsty.

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

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


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

Hypothesis: John can now know whether Michael can know whether Michael is thirsty.


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

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

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

Hypothesis: Margarete can now know that Rick can know whether Rick 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 Walter is not thirsty.

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

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

Hypothesis: Walter can now know that Jane can know that Jane 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 Merle 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)) ] (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 (1&2&3)) ] 0

Hypothesis: Edward can now know that everyone is thirsty.


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

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

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


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

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

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

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

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

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

Hypothesis: William can now know that Patrick 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 Tanya does not know whether Oliver is thirsty. It is publicly announced that Ann is thirsty.

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

Hypothesis: Janice can now know that Tanya 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 Peter knows whether Peter is thirsty. It is publicly announced that Randi does not know whether or not everyone is thirsty. It is publicly announced that Edward does not know whether or not everyone is thirsty. It is publicly announced that Vicki does not know whether or not everyone is thirsty.

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

Hypothesis: Randi can now know that Peter can know whether someone is thirsty.


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

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

Hypothesis: David can now know that Melissa can know that Regina is thirsty.


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

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

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


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

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

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

Hypothesis: Robert can now know that Rosa is thirsty.


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

Hypothesis: Diane can now know that Roger can know whether Oralia 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 Megan does not know whether Lucille 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) ] (Agenta knows that 3)

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

Hypothesis: Lucille can now know that Susan 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 Donna does not know whether Amber 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 (Agentc knows that 2)

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

Hypothesis: Mimi can now know that Amber can know that Mimi 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 Irene does not know whether or not everyone is thirsty. It is publicly announced that William does not know whether Vicky is thirsty. It is publicly announced that William does not know whether Vicky is thirsty. It is publicly announced that Vicky knows whether someone is thirsty.

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

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

Hypothesis: William can now know that everyone is thirsty.


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

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

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

Hypothesis: Anthony can now know that Bill can know whether Anthony 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 Giselle does not know whether Myles is thirsty. It is publicly announced that Myles does not know whether or not everyone is thirsty. It is publicly announced that Myles does not know whether Erica is thirsty. It is publicly announced that Myles does not know whether Erica is thirsty.

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

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

Hypothesis: Erica can now know whether Myles can know whether Myles 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 Christena does not know whether Leonard is thirsty. It is publicly announced that Christena does not know whether Elizabeth is thirsty.

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

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

Hypothesis: Christena can now know that Christena is thirsty.


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

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

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

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

Hypothesis: Robert can now know that someone is thirsty.


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

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

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

Hypothesis: Eric can now know whether Jessica can know whether Eric 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 Juan does not know whether Jorge 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 (1|2|3|4))

Hypothesis: Marvin can now 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 Yvonne knows whether or not nobody is thirsty. It is publicly announced that Yvonne does not know whether Julie is thirsty.

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

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

Hypothesis: Anna can now know that Julie can know that Julie 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 Duane does not know whether Erika is thirsty.

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

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

Hypothesis: Erika can now know that Timothy can know that David is thirsty.


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

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

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

Hypothesis: Matthew can now know whether George can know that nobody is thirsty.


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

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

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

Hypothesis: Dion can now know that Charles can know that Dion 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 Sheila is thirsty.

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

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

Hypothesis: James can now know that James 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 Amos 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 (Agentb knows that (1&2&3))

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

Hypothesis: Amos can now know whether Barbara can know that everyone is thirsty.


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

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

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

Hypothesis: Bill can now know that Penny 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 Dorothy is thirsty.

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

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


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

Hypothesis: Jason can now know that Johnnie can know that Shara 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 Sean knows whether or not everyone is thirsty. It is publicly announced that Harry knows whether or not nobody is thirsty.

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

Hypothesis: Harry can now know that Sean 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 Janelle does not know whether Mack is thirsty. It is publicly announced that Mack is not 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) ] [ ! ~(3) ] Agentb knows that (Agentc knows that 1)

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

Hypothesis: Eugenie can now know that Mack can know that Brandon is thirsty.


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

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

Hypothesis: Mildred can now know whether Julia can know whether Julia 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 Mary does not know whether Jorge is thirsty. It is publicly announced that Mary does not know whether or not everyone is thirsty. It is publicly announced that Toby is not thirsty.

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

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


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

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

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

Hypothesis: Christopher can now know that Susanna can know that everyone is thirsty.


Premise: There are four persons. Everyone is visible to others. 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) ] Agentd knows that (Agentc knows that 1)

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

Hypothesis: Steven can now know that Mary can know that Gary is thirsty.


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

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

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

Hypothesis: Nathan can now know that Alice 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 Joan knows whether or not nobody is thirsty. It is publicly announced that Jonathan knows whether Joan 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))) ] [ ! (Agenta knows whether 2) ] [ ! (~(1&2)) ] Agenta knows that (Agentb knows whether (1|2))

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

Hypothesis: Jonathan can now know that Joan 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 Carl does not know whether or not everyone is thirsty.

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

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

Hypothesis: Carl can now know that John can know whether or not everyone is thirsty.


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

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

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


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

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


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

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

Hypothesis: Brian can now know whether Dave 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 Betty does not know whether Salina 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) ] Agentc knows that (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: Betty can now know that Salvador can 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 Maxine does not know whether or not everyone is thirsty. It is publicly announced that Maxine does not know whether Willie is thirsty.

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

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

Hypothesis: Willie can now know that Maxine can know that nobody is thirsty.


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

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

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

Hypothesis: Randy can now know whether Mallory can know that Randy 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 Thomas does not know whether David is thirsty. It is publicly announced that someone is thirsty.

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

Hypothesis: David can now know that Thomas can know that everyone is thirsty.


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

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

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

Hypothesis: Candace can now know whether James can know whether Candace 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 Carolyn does not know whether Cortney is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Noreen does not know whether Cortney is thirsty.

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

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

Hypothesis: Carolyn can now know that Carolyn 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 Faye knows whether or not nobody is thirsty. It is publicly announced that Faye is not thirsty.

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

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

Hypothesis: Mary can now know that Faye can 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 Kenneth does not know whether Gail is thirsty. It is publicly announced that Kenneth does not know whether Connie is thirsty.

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

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

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

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

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

Hypothesis: Mary can now know that John 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 Linda is thirsty. It is publicly announced that Joann does not know whether or not everyone is thirsty. It is publicly announced that Linda does not know whether Renee is thirsty. It is publicly announced that not everyone is thirsty.

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

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

Hypothesis: Linda can now know that Renee 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 Isaac knows whether Isaac is thirsty. It is publicly announced that Isaac does not know whether Sarah 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 3) ] [ ! ~(Agentc knows whether 2) ] Agenta knows whether (Agentd knows that 1)

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

Hypothesis: George can now know whether Salvatore can know that George is thirsty.


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

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

Hypothesis: Jason can now know that Margaret can know whether Monica 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 Erin knows whether Erin is thirsty.

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

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

Hypothesis: Erin can now know that everyone is thirsty.


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

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

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

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

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

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

Hypothesis: Lucille can now know that Scott 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 Shaun is thirsty. It is publicly announced that Shaun knows whether Shaun 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 that (~(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: Dale can now know whether Shaun can know that nobody is thirsty.


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

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

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

Hypothesis: Joshua can now know whether James can know that nobody is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Earl is not thirsty. It is publicly announced that Melody 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 ] (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) ] [ ! ~(3) ] [ ! 4 ] 0

Hypothesis: Earl can now know whether Douglas 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 Adrienne is thirsty. It is publicly announced that Kyle is thirsty.

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

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

Hypothesis: Callie can now know whether Callie is thirsty.


Premise: There are four persons. Everyone is visible to others. 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 that (Agentd knows that (1|2|3|4))

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

Hypothesis: Mark can now know that Patricia 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 James does not know whether Vicky 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) ] (Agenta knows that 1)

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

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

Hypothesis: Katherine can now know whether Kimberly 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 Ginger knows whether someone is thirsty.

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

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

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

Hypothesis: Gabrielle can now know that Dorothy can know whether or not everyone is thirsty.


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

Hypothesis: Clifford can now know that Bennie can know that Bennie 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 Lori does not know whether Joanna is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that Irina does not know whether Joanna 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) ] (Agenta 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: Irina can now know whether or not nobody is thirsty.


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

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

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

Hypothesis: Lynn can now know that Michelle can know that everyone is thirsty.


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

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

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

Hypothesis: Robert can now know whether David 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 Lorenzo does not know whether George is thirsty.

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

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

Hypothesis: Lorenzo can now know that Jose can know that Lorenzo is thirsty.


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

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

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

Hypothesis: Daniel can now know whether Joseph can know that Daniel 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 Walter does not know whether or not everyone is thirsty. It is publicly announced that Walter does not know whether Angelina is thirsty. It is publicly announced that William does not know whether Angelina is thirsty.

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

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

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


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

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

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


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

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

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

Hypothesis: Stella can now know that Geneva 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 Daniel does not know whether or not everyone is thirsty. It is publicly announced that Daniel does not know whether Miriam is thirsty.

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

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

Hypothesis: Daniel can now know whether Miriam can know that Ruben 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 John does not know whether Kimberly is thirsty.

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

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

Hypothesis: Kimberly can now know that Nicholas can know that nobody is thirsty.


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

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

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

Hypothesis: Lisa can now know whether Gary is thirsty.


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

Hypothesis: John can now know whether Richard is thirsty.


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

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

Hypothesis: Susan can now know that Elna can know whether or not everyone is thirsty.


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

VARS 1,2 LAW Top OBS Agenta:1 Agentb:2 VALID? [ ! (1|2) ] [ ! (1|2) ] [ ! (Agenta knows whether 2) ] Agenta knows whether (Agentb 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: Andrea can now know whether Darrell can know whether someone is thirsty.


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

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

Hypothesis: Johnny can now know that Christian can know that nobody is thirsty.


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

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

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

Hypothesis: James can now know that Andres can know whether Andres 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 Lisa does not know whether Sophie is thirsty. It is publicly announced that Cristina does not know whether Sophie 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 whether 4) ] Agentb knows that (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) ] [ ! ~(Agenta knows whether 4) ] [ ! ~(Agentc knows whether 4) ] 0

Hypothesis: Brandon can now know that Lisa can know that Brandon 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 Alison does not know whether Margret 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 3) ] Agentb knows that (Agentc knows whether 4)

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

Hypothesis: Alison can now know that Margret can know whether Hubert 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 Anita is not thirsty.

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

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

Hypothesis: Kathy can now 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 Greg is not thirsty. It is publicly announced that Jessica 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) ] [ ! ~(Agentd knows whether 1) ] Agentc knows that (Agentd knows whether 1)

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

Hypothesis: Greg can now know that Jessica can know whether John 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 Ines does not know whether Amy is thirsty.

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

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

Hypothesis: Eric can now know whether Eric 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 Hilary does not know whether Michael is thirsty.

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

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

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


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

Hypothesis: Patricia can now know that Kevin can know that Lillian 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 Aaron does not know whether or not everyone is thirsty. It is publicly announced that Aaron does not know whether Dana is thirsty.

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

Hypothesis: Hazel can now know that Aaron can know that someone is thirsty.


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

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

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

Hypothesis: James can now know whether Jose can know that Jose 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 Kenneth knows whether or not everyone is thirsty.

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

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

Hypothesis: Craig can now know that Kenneth can know that Philip 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 Tabatha knows whether someone is thirsty. It is publicly announced that Corazon knows whether or not nobody is thirsty. It is publicly announced that Ruth knows whether Ruth is thirsty. It is publicly announced that Corazon does not know whether Tabatha is thirsty.

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

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

Hypothesis: Tabatha can now know that Tabatha 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 Randy is not thirsty.

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

Hypothesis: Randy 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 Angel does not know whether or not everyone is thirsty.

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

Hypothesis: Milda 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 James does not know whether Margaret is thirsty. It is publicly announced that Christin does not know whether Margaret is thirsty.

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

Hypothesis: Margaret can now know that James can know that Roman is thirsty.


Premise: There are four persons. Everyone is visible to others. 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) ] Agentd knows that (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) ] 0

Hypothesis: Vincent can now know that Florence can 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 Margaret does not know whether Ella is thirsty. It is publicly announced that Ella is not thirsty. It is publicly announced that Ella is not thirsty. It is publicly announced that Margaret knows whether or not everyone is thirsty.

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

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

Hypothesis: Kerry can now know that Margaret can know whether Margaret 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 Minerva does not know whether or not everyone is thirsty. It is publicly announced that Patricia knows whether someone is thirsty.

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

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

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


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

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

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

Hypothesis: Charles can now know whether Carrie 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 Jay is thirsty.

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

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

Hypothesis: Scott can now know that everyone is thirsty.


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

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

Hypothesis: Kathleen can now know that Christopher 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 Madelene does not know whether Kathleen is thirsty. It is publicly announced that Madelene is not thirsty. It is publicly announced that Howard knows whether Madelene 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) ] [ ! ~(1) ] [ ! (Agentc knows whether 1) ] Agenta knows whether (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) ] [ ! ~(Agenta knows whether 4) ] [ ! ~(1) ] [ ! (Agentc knows whether 1) ] 0

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


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

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

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

Hypothesis: Kimberly can now know whether Michele can 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 Rosa does not know whether Jennifer is thirsty. It is publicly announced that Rosa does not know whether or not everyone is thirsty. It is publicly announced that Sharon is not thirsty.

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

Hypothesis: Rosa can now know that Sharon can know that nobody is thirsty.