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

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

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

Hypothesis: Jorge can now know whether Charles can know whether Charles 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 does not know whether Scott is thirsty. It is publicly announced that Scott does not know whether Allyson is thirsty. It is publicly announced that Allyson 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) ] [ ! 3 ] (Agentc knows whether (1&2&3&4))

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

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


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

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

Hypothesis: Charles can now know whether Edwin 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 Richard does not know whether Robert is thirsty. It is publicly announced that Robert 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 3) ] [ ! ~(Agentc knows whether 2) ] 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) ] [ ! ~(Agentb knows whether 3) ] [ ! ~(Agentc knows whether 2) ] 0

Hypothesis: Troy can now know whether Richard 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 Renee does not know whether Paige 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 (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 3) ] 0

Hypothesis: Renee can now know whether Joshua 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 John does not know whether Lisa is thirsty.

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

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

Hypothesis: Lisa can now know whether Eunice can know that Richard is thirsty.


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

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

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

Hypothesis: Julie can now know that Jack can know whether 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 Warren knows whether Warren is thirsty. It is publicly announced that Sally does not know whether Warren is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Bryan does not know whether Jonathan 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) ] [ ! ~(Agentd knows whether 1) ] [ ! (~(1&2&3&4)) ] [ ! ~(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 1) ] [ ! ~(Agentd knows whether 1) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agentb knows whether 3) ] 0

Hypothesis: Warren 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 not everyone is thirsty. It is publicly announced that not everyone is thirsty.

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

Hypothesis: Catherine can now know that Johnnie can know that Catherine 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 everyone is thirsty.

Hypothesis: John 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 Carol is not thirsty.

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

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

Hypothesis: Betty can now know that nobody is thirsty.


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

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


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

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

Hypothesis: Dena can now know that Joseph 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 Albert is not thirsty. It is publicly announced that Albert does not know whether Lovella is thirsty.

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

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

Hypothesis: Albert can now know that James can know whether Lovella 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 Daniel 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) ] [ ! ~(Agentc knows whether 2) ] (Agentd knows whether 4)

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

Hypothesis: William can now know whether William is thirsty.


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

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

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

Hypothesis: Lee can now know whether Lynette can know whether William is thirsty.


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

Hypothesis: Freddie can now know whether Freddie is thirsty.


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

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

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

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

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

Hypothesis: Pamela 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 Sharilyn 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) ] [ ! ~(Agentb 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) ] [ ! ~(Agentb knows whether 3) ] 0

Hypothesis: William can now know that William is thirsty.


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

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

Hypothesis: Crystal can now know that Keith 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 Judy does not know whether or not everyone is thirsty. It is publicly announced that Judy knows whether or not nobody is thirsty. It is publicly announced that Catherine does not know whether Marcia is thirsty.

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

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

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

Hypothesis: Polly can now know that David is thirsty.


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

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


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

Hypothesis: Ryan can now know whether Nestor can know whether Ryan is thirsty.


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

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

Hypothesis: Judith can now know that John 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 someone is thirsty. It is publicly announced that Donna does not know whether Michael is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Michael does not know whether Nola 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) ] [ ! (~(1&2&3)) ] [ ! ~(Agentb knows whether 1) ] (Agentb knows whether (1|2|3))

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

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

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

Hypothesis: Brenda can now know that Daniel 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 does not know whether Leo is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that not everyone is thirsty. It is publicly announced that Jacqueline 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) ] [ ! (1|2|3) ] [ ! (~(1&2&3)) ] [ ! (Agentc knows whether (~(1|2|3))) ] Agentb knows whether (Agentc knows that 1)

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

Hypothesis: David can now know whether Jacqueline can know that Leo 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 Toni 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) ] Agentb knows that (Agentc knows whether (1&2&3))

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

Hypothesis: Riley can now know that Willie 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 Martha is thirsty. It is publicly announced that Miriam does not know whether Gerald is thirsty. It is publicly announced that James knows whether or not nobody is 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) ] [ ! 4 ] [ ! ~(Agentb knows whether 1) ] [ ! (Agentc knows whether (~(1|2|3|4))) ] [ ! ~(3) ] Agenta knows whether (Agentc knows whether 2)

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

Hypothesis: Gerald can now know whether James can know whether Miriam is thirsty.


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

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

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

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

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

Hypothesis: Teresa can now know whether Teresa 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 Brian is not thirsty. It is publicly announced that Brian does not know whether Alan is thirsty. It is publicly announced that Lon knows whether Lon 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 2) ] [ ! (Agentc knows whether 3) ] Agentb 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) ] [ ! ~(1) ] [ ! ~(Agenta knows whether 2) ] [ ! (Agentc knows whether 3) ] 0

Hypothesis: Alan can now know whether Donald can know that Lon 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 Sherry does not know whether Wilfred is thirsty.

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

Hypothesis: Wilfred 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 Leah is thirsty. It is publicly announced that Stewart 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 (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) ] [ ! 2 ] [ ! ~(1) ] 0

Hypothesis: Stewart can now know that Joanne can know that Joanne is thirsty.


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

Hypothesis: George can now know whether George 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 Juan is thirsty. It is publicly announced that Cheryl 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 ] [ ! (Agenta knows whether (~(1|2|3))) ] (Agenta knows whether 2)

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

Hypothesis: Cheryl can now know whether Kenneth is thirsty.


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

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

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

Hypothesis: Andre 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 Wm knows whether or not nobody is thirsty.

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

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: Wm can now know that Leslie 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 Gloria knows whether someone is thirsty. It is publicly announced that everyone is thirsty.

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

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

Hypothesis: Rubin 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 Marilyn knows whether someone is thirsty.

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

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

Hypothesis: Eddie can now know that Marilyn 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 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)) ] Agentc knows that (Agentb knows that (1&2&3&4))

Hypothesis: Tara can now know that Ben 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 Dora does not know whether Grace 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 (Agentc knows whether (1|2|3|4))

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

Hypothesis: Grace can now know whether Charlie 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 James does not know whether Betty 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)) ] Agentc knows that (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) ] [ ! ~(Agentb knows whether 1) ] [ ! (~(1&2&3&4)) ] 0

Hypothesis: Nancy can now know that James can know whether Betty 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 Shirley 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)) ] (Agenta knows that 1)

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

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

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

Hypothesis: Sally 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 Steven knows whether or not nobody is thirsty.

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

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

Hypothesis: Steven 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 not everyone is thirsty. It is publicly announced that Brianne does not know whether William 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) ] Agenta knows whether (Agentb knows whether (1|2|3))

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

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

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

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

Hypothesis: Leann can now know whether Larry 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 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 (Agentc knows whether 1)

Hypothesis: Charlotte can now know whether Joseph can know whether Charlotte is thirsty.


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

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

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

Hypothesis: Janet can now know that Daniel 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 Eleanor knows whether Eleanor is thirsty. It is publicly announced that Adam is thirsty. It is publicly announced that Adam knows whether someone is thirsty.

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

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

Hypothesis: Adam can now know that Eleanor can know whether Eleanor 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 Jason does not know whether Walter is thirsty. It is publicly announced that Walter knows whether or not everyone is thirsty. It is publicly announced that Charles knows whether or not everyone is thirsty. It is publicly announced that Charles does not know whether Jason 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) ] (Agentc knows that (~(1|2|3)))

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

Hypothesis: Walter 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 everyone is thirsty.

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

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

Hypothesis: Gregory can now know whether Frances 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 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) ] [ ! ~(Agentb knows whether (1&2&3&4)) ] Agentc knows whether (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) ] [ ! ~(Agentb knows whether (1&2&3&4)) ] 0

Hypothesis: Sara 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 Dorothy is thirsty. It is publicly announced that Chris does not know whether Lisandra is thirsty. It is publicly announced that Dorothy knows whether Dorothy is thirsty. It is publicly announced that Chris does not know whether or not everyone is thirsty.

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

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

Hypothesis: Chris can now know that someone is thirsty.


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

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

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

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

Hypothesis: Johnnie can now know that Justin can know whether Justin 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 Ruben does not know whether or not everyone is thirsty. It is publicly announced that Ruben knows whether Ruben is thirsty.

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

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

Hypothesis: Rose can now know that Richard 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 Russell does not know whether Michelle is thirsty.

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

Hypothesis: Keith can now know that Michelle can know that Keith 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 Justin knows whether or not nobody is thirsty.

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

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


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

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

Hypothesis: Shannon 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 Billy does not know whether Dorothy is thirsty. It is publicly announced that Mary does not know whether Dorothy is thirsty. It is publicly announced that Dorothy does not know whether Billy is thirsty. It is publicly announced that Billy 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 2) ] [ ! ~(Agentb knows whether 3) ] [ ! 3 ] (Agentc knows whether (1&2&3))

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

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


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

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

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

Hypothesis: Hong can now know whether Georgia 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 Martin is thirsty. It is publicly announced that Martin does not know whether or not everyone is thirsty. It is publicly announced that Martin does not know whether or not everyone is thirsty. It is publicly announced that Rosemary 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 ] [ ! ~(Agentb knows whether (1&2&3)) ] [ ! ~(Agentb knows whether (1&2&3)) ] [ ! ~(Agentc knows whether (1&2&3)) ] (Agenta knows that (~(1|2|3)))

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

Hypothesis: Elizabeth 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 Calvin knows whether someone is thirsty.

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

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


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

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

Hypothesis: Leslie can now know that James can know that Susie 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 Shane does not know whether Evelyn is thirsty. It is publicly announced that Pablo does not know whether Evelyn is thirsty.

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

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

Hypothesis: Shane can now know that Pablo is thirsty.


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

Hypothesis: Isaac can now know whether Audry 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 Dorothy is not thirsty. It is publicly announced that Dorothy is not thirsty.

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


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

Hypothesis: Adriane can now know whether Maria 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 Quinn knows whether someone is thirsty.

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

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

Hypothesis: David can now know that Quinn 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 James knows whether someone is thirsty. It is publicly announced that Martha does not know whether or not everyone is thirsty. It is publicly announced that Martha 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 (1|2|3)) ] [ ! ~(Agenta knows whether (1&2&3)) ] [ ! ~(Agenta knows whether (1&2&3)) ] 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) ] [ ! (Agentc knows whether (1|2|3)) ] [ ! ~(Agenta knows whether (1&2&3)) ] [ ! ~(Agenta knows whether (1&2&3)) ] 0

Hypothesis: James can now know that Ronald can know that Martha 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 Garry does not know whether Noah is thirsty. It is publicly announced that Sheryl does not know whether Jason is thirsty.

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

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


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

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

Hypothesis: James can now know that Shelby can know that Harold is thirsty.


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

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

Hypothesis: Isabel can now know that someone is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Brian does not know whether Esther is thirsty. It is publicly announced that Rosa does not know whether Nellie is thirsty. It is publicly announced that Nellie does not know whether Brian is thirsty. It is publicly announced that Brian knows whether someone is thirsty.

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

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

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


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

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

Hypothesis: Patricia 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 Raymond does not know whether Barbara is thirsty. It is publicly announced that Raymond 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 2) ] [ ! ~(Agenta knows whether (1&2&3)) ] Agenta knows whether (Agentc knows that 2)

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

Hypothesis: Raymond can now know whether William can know that Barbara 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 Shirley knows whether or not nobody is thirsty. It is publicly announced that Dan does not know whether Shirley 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) ] Agenta knows whether (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))) ] [ ! ~(Agenta knows whether 2) ] 0

Hypothesis: Dan can now know whether Brian can know that Shirley 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 Brian 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) ] [ ! ~(Agenta knows whether 2) ] (Agentb knows whether (1|2|3|4))

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

Hypothesis: Jack 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 Victor is not thirsty.

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

Hypothesis: Emily can now know that Victor can know that Emily 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 Sandra 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 that (1&2&3&4))

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

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

Hypothesis: Marquita can now know that Daniel is thirsty.


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

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

Hypothesis: Brandi 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 David does not know whether George 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) ] 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) ] [ ! ~(Agentb knows whether 1) ] [ ! (1|2|3|4) ] 0

Hypothesis: Arlene can now know that George 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 Gilda does not know whether Timothy is thirsty.

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

Hypothesis: Virginia can now know that 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 Lynn does not know whether or not everyone is thirsty. It is publicly announced that Cynthia knows whether Lynn is thirsty.

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

Hypothesis: Lynn can now know whether Charles can know that Vicente 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 Joanne does not know whether Irma is thirsty. It is publicly announced that Irma does not know whether Carl 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) ] [ ! ~(Agentd knows whether 3) ] (Agentc knows whether (1&2&3&4))

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

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


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

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

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

Hypothesis: Waylon can now know that Ann can know that Alec 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 Timothy 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)) ] (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&2&3)) ] 0

Hypothesis: Timothy can now know whether 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 does not know whether Kevin is thirsty. It is publicly announced that Krystyna 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)) ] 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) ] [ ! (Agentb knows whether (1&2&3&4)) ] 0

Hypothesis: Robert can now know that Krystyna 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 Travis does not know whether Barbara is thirsty. It is publicly announced that Travis 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)) ] Agentd knows that (Agenta knows that (~(1|2|3|4)))

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

Hypothesis: Barbara can now know that Elsie 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 Angela does not know whether Robert is thirsty. It is publicly announced that Robert does not know whether Angela 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 whether 3) ] (Agentc knows whether 2)

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

Hypothesis: Angela can now 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 Rozella is thirsty.

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

Hypothesis: Joanne can now know that Wilma can know that Rozella 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 does not know whether Phillip is thirsty. It is publicly announced that not everyone 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)) ] [ ! (~(1&2&3)) ] Agentc knows that (Agentb knows that 2)

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

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

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

Hypothesis: Deborah can now know that Deborah is thirsty.


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

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

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

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

Hypothesis: Andreas can now know whether Charles can know that Michele 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 Evelyn knows whether someone is thirsty. It is publicly announced that Carol does not know whether or not everyone is thirsty. It is publicly announced that Carol 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 (1|2|3)) ] [ ! ~(Agenta knows whether (1&2&3)) ] [ ! ~(Agenta knows whether (1&2&3)) ] Agentb 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 (1|2|3)) ] [ ! ~(Agenta knows whether (1&2&3)) ] [ ! ~(Agenta knows whether (1&2&3)) ] 0

Hypothesis: Victor can now know that Carol can know whether Victor 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 Calvin is thirsty.

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

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

Hypothesis: Reyna can now know whether Reyna 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 Cesar does not know whether Ferne is thirsty. It is publicly announced that Cesar does not know whether Julian 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 whether (Agentd knows whether 2)

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

Hypothesis: Julian can now know whether Cesar 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 Louie does not know whether or not everyone is thirsty. It is publicly announced that Patricia knows whether or not everyone is thirsty.

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

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

Hypothesis: Gregory can now know that Patricia 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 Otis knows whether or not nobody is thirsty. It is publicly announced that Otis does not know whether May is thirsty. It is publicly announced that Ramon knows whether or not everyone is thirsty. It is publicly announced that May knows whether May is thirsty.

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

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

Hypothesis: Ramon can now know that Otis is thirsty.


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

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

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

Hypothesis: Samantha can now know whether Christopher 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 Phillis 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) ] (Agentb knows whether 4)

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

Hypothesis: Geoffrey can now know whether Thomas is thirsty.


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

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

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

Hypothesis: Susan can now know whether Sean 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 Harold 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 whether (1&2))

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

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

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

Hypothesis: James can now know that Matthew can know whether James is thirsty.


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

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

Hypothesis: Kurt 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 Melissa does not know whether or not everyone is thirsty. It is publicly announced that Melissa knows whether or not nobody is thirsty. It is publicly announced that Sandra does not know whether Raul is thirsty.

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

Hypothesis: Sandra can now know that Melissa can know that Melissa 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 Carol does not know whether Chantal is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that John knows whether or not nobody is thirsty.

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

Hypothesis: Carol can now know that Chantal 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 Tony knows whether or not nobody is thirsty. It is publicly announced that Glenna does not know whether Tony is thirsty. It is publicly announced that Zelda does not know whether or not everyone is thirsty.

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

Hypothesis: Tony can now know whether Glenna can know whether Glenna 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 Kent does not know whether Jeannette is thirsty. It is publicly announced that Vera does not know whether Kent is thirsty. It is publicly announced that Jeannette does not know whether Cassandra is thirsty. It is publicly announced that Cassandra does not know whether Vera is thirsty.

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

Hypothesis: Vera can now know whether Cassandra 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 Hellen does not know whether Loretta 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 2) ] [ ! (1|2) ] Agenta knows that (Agentb knows whether (1&2))

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

Hypothesis: Hellen can now know that Loretta 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 not everyone is thirsty. It is publicly announced that Derek does not know whether Shelby 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) ] (Agentc knows whether 1)

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: Rolando can now know whether Derek 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 knows whether someone is thirsty.

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

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

Hypothesis: Etta can now know whether Jody can know that Jody is thirsty.


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone is thirsty. It is publicly announced that Michael does not know whether Troy 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 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) ] 0

Hypothesis: Alan 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 not everyone is thirsty. It is publicly announced that Chris does not know whether Miles 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 that (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) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agentb knows whether 3) ] 0

Hypothesis: Joseph can now know that Chris can know whether Chris 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 Grant does not know whether Lena 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 2)

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

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

Hypothesis: Henry can now know whether Carol 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 Minnie does not know whether Angel is thirsty. It is publicly announced that Alan does not know whether Angel is thirsty. It is publicly announced that Alan knows whether or not everyone is thirsty.

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

Hypothesis: Minnie 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 Stephanie 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) ] [ ! ~(Agentc knows whether 2) ] Agentc knows whether (Agentd knows that (1&2&3&4))

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

Hypothesis: Stephanie can now know whether Annie 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 Jayna knows whether someone is thirsty. It is publicly announced that Tamela does not know whether or not everyone is thirsty. It is publicly announced that someone is thirsty. It is publicly announced that everyone is thirsty.

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

Hypothesis: Tamela can now know that Jayna can know that Jayna 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. It is publicly announced that Brandy knows whether Brandy 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) ] Agenta knows that (Agentc knows that (1|2|3))

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

Hypothesis: Hannah can now know that Brandy 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 Brenda does not know whether Tanya is thirsty. It is publicly announced that Brenda knows whether or not everyone is thirsty.

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

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

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

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

Hypothesis: Kathy can now know whether Terry 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 Shirley does not know whether Paul 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))

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

Hypothesis: Shirley 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 Josephine does not know whether or not everyone is thirsty. It is publicly announced that Josephine does not know whether Brady is thirsty. It is publicly announced that Brady knows whether Brady is thirsty. It is publicly announced that Brady knows whether someone 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 1) ] [ ! (Agenta knows whether (1|2)) ] (Agenta knows whether (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 1) ] [ ! (Agenta knows whether (1|2)) ] 0

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


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

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


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

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

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

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

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

Hypothesis: Ronda can now know whether William can know that William is thirsty.


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

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

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


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

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

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


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

Hypothesis: Chad can now know whether Andre can know that Andre 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 Francisco does not know whether or not everyone is thirsty. It is publicly announced that Clifford knows whether Clifford is thirsty. It is publicly announced that Francisco does not know whether or not everyone is thirsty.

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

Hypothesis: Mary can now know that Francisco 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 Cecil does not know whether Elizabeth is thirsty. It is publicly announced that Brenda is not thirsty.

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

Hypothesis: Cecil can now know that Elizabeth 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 Helena is thirsty.

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

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

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


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

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

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

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

Hypothesis: Stephen can now know that Justin 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 Patricia does not know whether Sheila is thirsty. It is publicly announced that Sheila does not know whether Brian is thirsty. It is publicly announced that Brian 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 4) ] [ ! ~(Agentd knows whether 3) ] [ ! ~(Agentc knows whether 2) ] Agenta knows whether (Agentc knows whether (1|2|3|4))

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

Hypothesis: Marie can now know whether Brian can know whether someone 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 whether (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) ] 0

Hypothesis: Dennis can now know whether Connie can know whether Dennis 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 Johnny does not know whether Margaret is thirsty. It is publicly announced that Cornelius does not know whether Margaret is thirsty. It is publicly announced that Margaret does not know whether Johnny is thirsty. It is publicly announced that Johnny 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 2) ] [ ! ~(Agentb knows whether 3) ] [ ! 3 ] (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 2) ] [ ! ~(Agenta knows whether 2) ] [ ! ~(Agentb knows whether 3) ] [ ! 3 ] 0

Hypothesis: Johnny can now know whether Cornelius 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 is thirsty. It is publicly announced that Marshall does not know whether Eric is thirsty. It is publicly announced that Marshall does not know whether Marty is thirsty.

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

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

Hypothesis: Marty can now know that Eric can know that Eric 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 not thirsty. It is publicly announced that Scott knows whether Scott is thirsty. It is publicly announced that Scott does not know whether Harold is thirsty.

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

Hypothesis: Harold can now know that James can know whether 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 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 4)

Hypothesis: Daniel can now know that Fidela is thirsty.


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

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

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

Hypothesis: Kenneth can now know whether Raleigh can know that Raleigh is thirsty.


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

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

Hypothesis: Taisha can now know that Kimberly can know that Hilda 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 Clarence knows whether someone is thirsty.

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

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

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

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

Hypothesis: Laura can now know whether Morgan can know that Laura 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 Jodie is thirsty. It is publicly announced that Karen does not know whether Patricia is thirsty. It is publicly announced that Karen does not know whether Walter is thirsty.

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

Hypothesis: Walter 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 Elizabeth does not know whether or not everyone is thirsty. It is publicly announced that Tammy knows whether or not nobody is thirsty.

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

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

Hypothesis: Elizabeth can now know whether 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 Annie knows whether Annie is thirsty. It is publicly announced that Mary 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 2) ] [ ! ~(Agenta knows whether (1&2)) ] Agenta knows that (Agentb knows whether (1&2))

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

Hypothesis: Mary can now know that Annie can know whether or not everyone is thirsty.


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

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

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: Patrick can now know whether or not everyone is thirsty.


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

Hypothesis: Calvin can now know that Joann 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 Michael does not know whether Roy 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 4) ] [ ! (1|2|3|4) ] (Agentb knows that (1|2|3|4))

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

Hypothesis: Michael 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 Lawrence does not know whether James is thirsty. It is publicly announced that Lawrence does not know whether Robin is thirsty. It is publicly announced that James knows whether James is thirsty.

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

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

Hypothesis: James can now know that Lawrence can know that Lawrence is thirsty.