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

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

Hypothesis: Jack can now know whether Blanca 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 Jarrod is not thirsty.

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

Hypothesis: Aaron can now know that Jarrod can know that Jarrod 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 Kathy is thirsty. It is publicly announced that Eileen does not know whether or not everyone is thirsty.

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

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

Hypothesis: Eileen 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 Samuel knows whether Samuel is thirsty. It is publicly announced that Jennifer 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 2) ] [ ! ~(Agentd knows whether (1&2&3&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) ] [ ! (Agentb knows whether 2) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] 0

Hypothesis: Samuel can now know that Antonio 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 Sally knows whether or not everyone is thirsty. It is publicly announced that Roger 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))) ] (Agentd knows that (~(1|2|3|4)))

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

Hypothesis: Sally 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 Donald knows whether or not nobody 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 that (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: Donald can now know that Kathryn can know whether someone is thirsty.


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

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

Hypothesis: Sheila can now know whether Jeffrey can know that Josephine 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 is not 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) ] [ ! ~(2) ] [ ! (1|2|3|4) ] Agenta knows that (Agentc knows whether 1)

Hypothesis: Leona can now know that Wanda can know whether Leona 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 Patrice is thirsty. It is publicly announced that Tabitha does not know whether or not everyone is thirsty.

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

Hypothesis: Tabitha can now know that Jeanette can know that Patrice 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 Antionette is thirsty. It is publicly announced that Christina 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) ] [ ! 2 ] [ ! ~(Agenta knows whether (1&2&3)) ] (Agentb 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)) ] 0

Hypothesis: Antionette can now know that Antionette 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 does not know whether Donna is thirsty. It is publicly announced that Nick 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 3) ] [ ! (Agentb knows whether (1&2&3&4)) ] Agentc knows that (Agenta knows whether 3)

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

Hypothesis: Donna can now know that Dominique can know whether Donna is thirsty.


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

Hypothesis: Thomas can now know that Michael can know whether Virginia 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 Pearl does not know whether Richard is thirsty. It is publicly announced that Richard does not know whether Pearl is thirsty. It is publicly announced that Pearl does not know whether Richard 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) ] Agentc knows that (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) ] [ ! ~(Agentb knows whether 1) ] [ ! ~(Agenta knows whether 2) ] [ ! ~(Agentb knows whether 1) ] 0

Hypothesis: George can now know that Richard 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 Gerald does not know whether Eva is thirsty.

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

Hypothesis: Gerald can now know that Jessica can 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 Paul 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)) ] (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)) ] 0

Hypothesis: George can now 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 Virgil is thirsty.

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

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

Hypothesis: Virgil can now 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 Bonita does not know whether Tammy is thirsty.

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

Hypothesis: Catherine can now know that Bonita 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) ] [ ! (1|2|3|4) ] Agentb knows that (Agenta knows that 2)

Hypothesis: Carolyn can now know that Dennis can know that Carolyn 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 Trish does not know whether or not everyone is thirsty. It is publicly announced that Trish does not know whether Joe is thirsty. It is publicly announced that Seymour knows whether Seymour 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 whether 1) ] (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) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] [ ! ~(Agentd knows whether 3) ] [ ! (Agenta knows whether 1) ] 0

Hypothesis: Joe can now know whether Trish 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 John knows whether John is thirsty.

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

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

Hypothesis: Edward can now know whether John 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 Calvin knows whether someone is thirsty. It is publicly announced that Clifford does not know whether Calvin 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) ] (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 (1|2|3|4)) ] [ ! ~(Agenta knows whether 3) ] 0

Hypothesis: Davina can now know that everyone is thirsty.


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

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

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

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

Hypothesis: Henry can now know whether Shirl can know that everyone is thirsty.


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

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


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Willie does not know whether Amy is thirsty. It is publicly announced that Amy is not thirsty. It is publicly announced that Sean 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 3) ] [ ! ~(3) ] [ ! ~(Agentb knows whether 1) ] (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 3) ] [ ! ~(3) ] [ ! ~(Agentb knows whether 1) ] 0

Hypothesis: Sean can now know that someone is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Myrna does not know whether Melvin 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 that 1)

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

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

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

Hypothesis: Ida 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 Dennis is not thirsty. It is publicly announced that James 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) ] (Agenta knows that 4)

Hypothesis: James can now know that Arnold 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 Whitney is thirsty. It is publicly announced that Elizabeth does not know whether or not everyone is thirsty.

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

Hypothesis: Dale can now know that Patricia 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 (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) ] 0

Hypothesis: Carlos can now know whether Corinne 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 Kelly does not know whether Dave is thirsty. It is publicly announced that Kelly does not know whether or not everyone is thirsty.

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

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

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

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

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

Hypothesis: Mary 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 Bethany does not know whether Chery is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Rolando does not know whether Bethany 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) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agentc knows whether 4) ] (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) ] [ ! ~(Agentd knows whether 1) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agentc knows whether 4) ] 0

Hypothesis: Madeline can now know that Bethany 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 Justine is thirsty.

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

Hypothesis: Patricia can now know whether Justine 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 Tammy knows whether someone is thirsty. It is publicly announced that Adam does not know whether Rodrigo is thirsty. It is publicly announced that Titus 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 4) ] [ ! 1 ] (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) ] [ ! (Agentb knows whether (1|2|3|4)) ] [ ! ~(Agentc knows whether 4) ] [ ! 1 ] 0

Hypothesis: Tammy can now know that Adam 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 Lucile does not know whether Jack 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) ] Agentc knows whether (Agenta knows whether (1|2|3|4))

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

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

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

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

Hypothesis: Russell can now know that Russell is thirsty.


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

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

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

Hypothesis: Mabel can now know that David can know that Myron 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 Evelyn does not know whether or not everyone is thirsty.

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

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

Hypothesis: Evelyn 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 Irene is thirsty. It is publicly announced that Eleanor knows whether or not nobody is thirsty.

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

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

Hypothesis: Irene can now know that Raymond can know that Raymond 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 Phyllis knows whether Betty 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) ] [ ! (~(1&2)) ] Agentb knows that (Agenta knows whether 1)

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

Hypothesis: Phyllis can now know that Betty can know whether Betty 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 Nancy 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) ] Agentb 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) ] [ ! ~(2) ] 0

Hypothesis: Nancy can now know that Irene 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 Shelly is not thirsty.

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

Hypothesis: Thomas 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 Nancy does not know whether Robert is thirsty. It is publicly announced that Corey does not know whether Robert 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 3) ] (Agenta knows that (~(1|2|3|4)))

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

Hypothesis: Nancy 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 Deborah knows whether or not nobody is thirsty. It is publicly announced that Deborah does not know whether Gene 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) ] (Agentb knows whether (1|2|3))

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

Hypothesis: Gene 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 Betty is not thirsty.

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

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

Hypothesis: Portia can now know whether Edith 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.

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

Hypothesis: Pearl can now know that Heather 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 Rick does not know whether Cheryl 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) ] Agenta knows whether (Agentd knows whether 4)

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

Hypothesis: Rick can now know whether Cheryl can know whether Cheryl 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 Judy does not know whether Shirley is thirsty. It is publicly announced that William does not know whether Judy is thirsty. It is publicly announced that Shirley does not know whether or not everyone is thirsty. It is publicly announced that John does not know whether Judy is thirsty.

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

Hypothesis: John can now know whether William can know that 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 Linda is thirsty. It is publicly announced that William is not thirsty. It is publicly announced that Nathaniel does not know whether Frances is thirsty. It is publicly announced that Linda does not know whether Nathaniel is thirsty.

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

Hypothesis: William can now know that Linda can know that Linda 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 Kenny does not know whether Lisa is thirsty. It is publicly announced that Kenny does not know whether Gwen is thirsty. It is publicly announced that Lisa does not know whether Gwen is thirsty.

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

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

Hypothesis: David can now know that Gwen 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 Gay is thirsty. It is publicly announced that Andrew knows whether Andrew 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) ] [ ! (Agentd knows whether 4) ] 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) ] [ ! ~(Agenta knows whether 2) ] [ ! (Agentd knows whether 4) ] 0

Hypothesis: Andrew can now know that Gay 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 George does not know whether or not everyone is thirsty. It is publicly announced that George does not know whether Antonia is thirsty. It is publicly announced that George does not know whether Maria is thirsty.

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

Hypothesis: Courtney can now know that Antonia 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 Clarence does not know whether Andrea is thirsty. It is publicly announced that Andrea 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) ] [ ! ~(Agentb knows whether 4) ] [ ! ~(Agentd knows whether 3) ] Agentd knows that (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) ] [ ! ~(Agentb knows whether 4) ] [ ! ~(Agentd knows whether 3) ] 0

Hypothesis: Andrea can now know that Vera can know that Julie 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 Michael knows whether Michael is thirsty.

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

Hypothesis: Michael can now know that Theodore 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 Scott 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 ] [ ! (1|2|3) ] (Agentb knows whether 2)

Hypothesis: Andreas can now know whether Andreas 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 Rene does not know whether David 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) ] [ ! ~(Agentb knows whether 1) ] [ ! (~(1&2&3&4)) ] Agentb knows whether (Agenta knows that (~(1|2|3|4)))

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

Hypothesis: Rene can now know whether David 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 William does not know whether Ivory is thirsty. It is publicly announced that William 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) ] [ ! ~(Agentd knows whether 1) ] [ ! ~(Agentd knows whether 3) ] (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) ] [ ! ~(Agentd knows whether 3) ] 0

Hypothesis: Susan 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 Kevin does not know whether Rhoda is thirsty. It is publicly announced that Kevin does not know whether Brian is thirsty. It is publicly announced that Rhoda does not know whether Brian is thirsty.

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

Hypothesis: Larry 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 William does not know whether Kimberley is thirsty. It is publicly announced that William knows whether or not nobody is thirsty.

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

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

Hypothesis: Kimberley 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 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) ] (Agentd knows that 2)

Hypothesis: Lois can now know that Benny 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 Heather does not know whether or not everyone is thirsty.

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

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

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

Hypothesis: John can now know whether Robyn 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 Darlene knows whether Darlene is thirsty.

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

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

Hypothesis: Keith can now know whether Darlene can know whether Darlene 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 Barry does not know whether Annika 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) ] Agentc knows that (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) ] [ ! ~(Agenta knows whether 3) ] 0

Hypothesis: Annika can now know that Barry can know that Lisa 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 Salvador does not know whether Jeremy 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 (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) ] [ ! ~(Agentb knows whether 4) ] 0

Hypothesis: Edith can now know whether Salvador 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 Ricky does not know whether or not everyone is thirsty. It is publicly announced that Jeniffer knows whether Ricky is thirsty. It is publicly announced that Robert does not know whether Jeniffer is thirsty.

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

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

Hypothesis: Ricky can now know that Robert can know whether Robert 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 Emely does not know whether Jose is thirsty. It is publicly announced that Emely does not know whether or not everyone is thirsty. It is publicly announced that Emely does not know whether Jose 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)) ] Agentd knows that (Agenta knows whether (1&2&3&4))

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

Hypothesis: Emely can now know that Beatriz 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 Irma is not thirsty.

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

Hypothesis: Paul can now know whether Irma 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 someone is thirsty. It is publicly announced that Manuela does not know whether Brenda is thirsty.

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

Hypothesis: Brenda can now know that Manuela 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 Joseph does not know whether Tracy is thirsty. It is publicly announced that everyone is thirsty. It is publicly announced that Michael is thirsty. It is publicly announced that 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 2) ] [ ! (1&2&3&4) ] [ ! 1 ] [ ! 1 ] (Agentd knows that (1|2|3|4))

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

Hypothesis: Joseph can now know that someone is thirsty.


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

Hypothesis: Phoebe 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 not everyone is thirsty. It is publicly announced that Joseph knows whether Joseph is thirsty. It is publicly announced that Joseph 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 (1|2|3))

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


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

Hypothesis: Paula can now know whether Pauline 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 Vincent does not know whether or not everyone is thirsty. It is publicly announced that Jessica is not 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)) ] [ ! ~(4) ] Agentd 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) ] [ ! ~(Agenta knows whether (1&2&3&4)) ] [ ! ~(4) ] 0

Hypothesis: Jessica can now know that Jennifer 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 Hee does not know whether Debbie 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 (Agentc knows that 3)

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

Hypothesis: Debbie can now know whether David can 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 Guadalupe does not know whether Jimmie is thirsty. It is publicly announced that Angela 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) ] [ ! ~(Agentc knows whether 2) ] [ ! ~(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) ] [ ! ~(Agentc knows whether 2) ] [ ! ~(Agenta knows whether (1&2&3)) ] 0

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

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

Hypothesis: Maureen 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 Theodore 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 1)

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: Theodore can now know whether Frank 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 Heather does not know whether Barbara 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 (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) ] [ ! ~(Agentb knows whether 1) ] [ ! (1|2|3|4) ] 0

Hypothesis: Barbara can now know that Heather 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 Jay does not know whether Emily is thirsty. It is publicly announced that Bill does not know whether Emily is thirsty. It is publicly announced that Bill 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) ] [ ! ~(Agentc knows whether 1) ] [ ! (Agentc knows whether (1|2|3)) ] Agentb knows that (Agentc knows whether 3)

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

Hypothesis: Jay can now know that Bill can know whether Bill 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 Kim is thirsty. It is publicly announced that Paulette knows whether Kim is thirsty.

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

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

Hypothesis: Lester can now know whether Paulette 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 Patricia does not know whether Abigail 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) ] [ ! ~(Agentb knows whether 1) ] [ ! (~(1&2&3)) ] 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) ] [ ! ~(Agentb knows whether 1) ] [ ! (~(1&2&3)) ] 0

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

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

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

Hypothesis: Sarah can now know that Helen can know that Sarah 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 Myrna knows whether Myrna is thirsty. It is publicly announced that Russell knows whether Russell is thirsty.

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

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

Hypothesis: Russell can now know whether Myrna can 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 Maxine does not know whether Michelle is thirsty. It is publicly announced that Maxine does not know whether or not everyone is thirsty.

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

Hypothesis: Michelle 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 Caitlyn knows whether Caitlyn is thirsty. It is publicly announced that Brenda 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) ] [ ! ~(Agentb knows whether (1&2&3)) ] Agenta knows whether (Agentc knows whether 3)

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

Hypothesis: Caitlyn can now know whether Lori can know whether Lori 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 Ruth does not know whether Vickey is thirsty. It is publicly announced that Sandra does not know whether Ruth 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) ] Agentc knows whether (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) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agentd knows whether 1) ] 0

Hypothesis: Vickey can now know whether Ruth can know whether Ruth 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 Sang does not know whether Hazel is thirsty. It is publicly announced that Sang does not know whether or not everyone is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Sang is thirsty.

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

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

Hypothesis: Hazel can now know that Rosita can know that Hazel 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 Aleta does not know whether Louise is thirsty. It is publicly announced that Freddie is not thirsty.

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

Hypothesis: Freddie can now know that Louise can 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 Aurelia does not know whether Frank is thirsty. It is publicly announced that everyone is thirsty.

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

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

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

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

Hypothesis: Robert 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 Julio knows whether or not nobody is thirsty. It is publicly announced that Betty does not know whether Julio is thirsty. It is publicly announced that Julio is thirsty. It is publicly announced that Michael 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))) ] [ ! ~(Agenta knows whether 4) ] [ ! 4 ] [ ! ~(Agentc knows whether (1&2&3&4)) ] 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))) ] [ ! ~(Agenta knows whether 4) ] [ ! 4 ] [ ! ~(Agentc knows whether (1&2&3&4)) ] 0

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

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

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

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

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

Hypothesis: Connie 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 April does not know whether William is thirsty. It is publicly announced that William is thirsty.

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

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

Hypothesis: William can now know whether Santiago 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 Penny does not know whether David is thirsty. It is publicly announced that Raymond 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) ] [ ! 1 ] Agenta 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) ] [ ! ~(Agentd knows whether 3) ] [ ! 1 ] 0

Hypothesis: Raymond can now know that Richard can 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 Christopher knows whether someone is thirsty. It is publicly announced that Patricia knows whether Patricia is thirsty.

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

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

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

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

Hypothesis: Teresa can now 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 Johnnie 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) ] [ ! ~(Agenta knows whether 3) ] 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) ] [ ! ~(Agenta knows whether 3) ] 0

Hypothesis: Bernice can now know that Shanna can 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 Toney is not thirsty.

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

Hypothesis: Maureen can now know that Toney 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 William is not thirsty.

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

Hypothesis: Margaret can now know that William can know that Marianne 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 Inez is not thirsty. It is publicly announced that Inez is not thirsty. It is publicly announced that Jane does not know whether Willis is thirsty.

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

Hypothesis: Jane can now know that Inez can know that Inez is thirsty.


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

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

Hypothesis: Richard 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 Jeffry is not thirsty.

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

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

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

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

Hypothesis: Kurt can now know that Fred can know that Kurt 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 Pamela does not know whether Mary is thirsty.

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

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

Hypothesis: Emily can now know whether Emily 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 Caitlin does not know whether Sabrina is thirsty.

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

Hypothesis: Doug can now know whether Sabrina 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 Shawn is not thirsty. It is publicly announced that Shawn does not know whether Betty is thirsty. It is publicly announced that David does not know whether Betty is thirsty. It is publicly announced that David knows whether David is thirsty.

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

Hypothesis: Shawn can now know whether Julio can know that David 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 Elliot does not know whether Mohamed is thirsty. It is publicly announced that everyone is thirsty.

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

Hypothesis: Mohamed 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 Jeffrey knows whether or not everyone is thirsty.

VARS 1,2,3 LAW Top OBS Agenta:1 Agentb:2 Agentc:3 VALID? [ ! (1|2|3) ] [ ! (Agentc knows whether (1&2&3)) ] (Agentb knows whether (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: Tim 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 Anthony does not know whether Gary is thirsty. It is publicly announced that Katrina 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) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agentb knows whether 1) ] Agenta knows that (Agentb knows whether 3)

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

Hypothesis: Anthony can now know that Katrina can know whether Gary 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 Marta knows whether Marta is thirsty. It is publicly announced that Marta 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)) ] (Agenta knows that (1|2|3))

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

Hypothesis: Sharon can now know that someone is thirsty.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Mary does not know whether Sharon 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 that 1)

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

Hypothesis: Donna can now know that Donna is thirsty.


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

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

Hypothesis: Kay can now know whether Judy can know that Carolyn 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. It is publicly announced that Pam does not know whether Jacques is thirsty. It is publicly announced that Virginia does not know whether Mary 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) ] [ ! ~(Agenta knows whether 4) ] Agentb knows that (Agenta knows whether 3)

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

Hypothesis: Pam can now know that Virginia can know whether Jacques 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 Misty does not know whether Buddy 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 that (Agentb knows whether (1&2&3))

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

Hypothesis: Henry can now know that Misty 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.

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

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

Hypothesis: Alfred can now know whether Dorothy can know whether Dorothy 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 Darryl does not know whether Don 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 1)

Hypothesis: Darryl can now know whether Don 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 Eduardo knows whether Eduardo is thirsty.

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

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

Hypothesis: Richard can now know whether Jaime can know whether Eduardo 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 Bernice 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) ] [ ! ~(Agentb knows whether 3) ] (Agentc knows that (1&2&3&4))

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

Hypothesis: John 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 Belinda does not know whether John is thirsty. It is publicly announced that Belinda does not know whether Steven is thirsty.

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

Hypothesis: Dustin can now know that Belinda 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 Jerry does not know whether Lillie is thirsty.

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

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

Hypothesis: Jerry can now know whether Lillie can know that 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 that (Agenta knows whether 3)

Hypothesis: Janet can now know that Carlos can know whether Jordan 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)) ] Agentb knows that (Agentd knows whether 4)

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


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

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

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

Hypothesis: Luke 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 Jamar is not thirsty.

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

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

Hypothesis: Raymond can now know that Tyrone 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 Charlotte does not know whether Chun is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that Paulette knows whether someone is thirsty. It is publicly announced that Chun 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 3) ] [ ! (1|2|3) ] [ ! (Agenta knows whether (1|2|3)) ] [ ! ~(Agentc knows whether (1&2&3)) ] (Agentc knows that 3)

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

Hypothesis: Chun can now know that Chun 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 Sandra does not know whether Gertrude is thirsty. It is publicly announced that Timothy does not know whether or not everyone is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Gertrude does not know whether Sandra is thirsty.

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

Hypothesis: Gertrude can now know that Timothy 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 Cynthia does not know whether Christy 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 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) ] [ ! ~(Agentd knows whether 3) ] 0

Hypothesis: Francis can now know that John 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 Sylvia does not know whether Giselle is thirsty. It is publicly announced that Giselle does not know whether Carl is thirsty. It is publicly announced that Sylvia does not know whether Giselle is thirsty. It is publicly announced that Sylvia does not know whether Frieda is thirsty.

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

Hypothesis: Carl can now know whether Sylvia can know that Frieda 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 Raymond does not know whether Juan 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 that (Agentc 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: Ashlee can now know that Raymond can know whether Juan 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 Jacqueline knows whether someone is thirsty.

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

Hypothesis: Jacqueline can now know that Nathan can know that Nathan 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 Lawrence 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 3) ] Agentc knows whether (Agentb knows whether (1|2|3|4))

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

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

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

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

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

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

Hypothesis: Joseph can now know that Elizabeth can know whether Kathryn 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 Jill does not know whether Laurence is thirsty.

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

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

Hypothesis: Jill can now know that Donna can know whether Laurence 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 Jaime knows whether or not everyone is thirsty.

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

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

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

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

Hypothesis: Virgil can now know whether Susan 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 Aaron does not know whether Kathryn is thirsty. It is publicly announced that Kathryn knows whether someone is thirsty.

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

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

Hypothesis: Kathryn 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 Justin does not know whether Charles is thirsty.

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

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

Hypothesis: Judith can now know that Charles can know whether Judith 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 Victoria does not know whether Kelly is thirsty. It is publicly announced that Michael 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 4) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] Agentd 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) ] [ ! ~(Agentc knows whether (1&2&3&4)) ] 0

Hypothesis: Kelly can now know whether Cheryl can know whether 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 Esther does not know whether or not everyone is thirsty. It is publicly announced that Esther does not know whether Geri is thirsty. It is publicly announced that Geri knows whether Esther 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)) ] [ ! ~(Agentb knows whether 1) ] [ ! (Agenta knows whether 2) ] [ ! (~(1&2)) ] Agenta knows whether (Agentb knows that (1&2))

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

Hypothesis: Geri can now know whether Esther 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 Wanda does not know whether Ronald 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))

Hypothesis: Ronald 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 Brenda knows whether someone is thirsty. It is publicly announced that Eva knows whether Eva is thirsty.

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

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

Hypothesis: Brenda can now know whether Eva can know that everyone is thirsty.


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

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

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

Hypothesis: Kathy can now know that Sheila 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 Jeffrey does not know whether or not everyone is thirsty. It is publicly announced that Jeffrey does not know whether or not everyone is thirsty. It is publicly announced that Jeffrey does not know whether or not everyone is thirsty. It is publicly announced that Jeffrey does not know whether Antonio is thirsty.

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

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

Hypothesis: Jeffrey can now know that Antonio can know whether Antonio 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 Marlene does not know whether Edna is thirsty. It is publicly announced that Marlene does not know whether Cindy is thirsty. It is publicly announced that Cindy 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) ] [ ! 4 ] Agentc knows whether (Agenta knows whether 4)

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

Hypothesis: Marlene can now know whether Jessie can know whether Cindy 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 Kevin is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Christopher does not know whether William 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) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agentc knows whether 4) ] (Agenta knows whether (1|2|3|4))

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

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

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

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

Hypothesis: James can now know whether 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 Oliver knows whether or not everyone 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) ] [ ! (Agentb knows whether (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) ] [ ! (Agentb knows whether (1&2&3)) ] [ ! ~(3) ] 0

Hypothesis: Oliver 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 Helen is not thirsty.

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

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

Hypothesis: Trudy can now know whether Jessica can know that Helen 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 Richard knows whether or not nobody is thirsty. It is publicly announced that Richard does not know whether or not everyone is thirsty. It is publicly announced that Richard does not know whether or not everyone is thirsty.

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

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

Hypothesis: Richard can now know whether Richard is thirsty.


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

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

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

Hypothesis: Tamica can now know that Tamica 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 Hilario does not know whether Jeffrey is thirsty. It is publicly announced that Hilario 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) ] [ ! ~(Agenta knows whether 3) ] [ ! ~(Agenta knows whether 2) ] Agenta knows whether (Agentd knows that 3)

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

Hypothesis: Hilario can now know whether Yolanda can know that Jeffrey 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 Terri knows whether Terri is thirsty.

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

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

Hypothesis: Katherine can now know whether Katherine 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 Janet does not know whether Tammy is thirsty. It is publicly announced that Tammy does not know whether Melody is thirsty. It is publicly announced that Melody does not know whether Janet is thirsty.

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

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

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

Hypothesis: Victoria can now know that Ernest can know whether Ernest 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 Myra does not know whether or not everyone 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&2&3&4)) ] [ ! (~(1&2&3&4)) ] (Agentc knows whether 4)

Hypothesis: Nathaniel can now know whether Henry 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 2)

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

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

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

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

Hypothesis: Alice can now know that Nancy can know whether Nancy is thirsty.