Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Stuart knows whether Jamie's forehead is muddy. It is publicly announced that William knows whether someone's forehead is muddy.

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

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


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

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

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

Hypothesis: Jeanette can now know that William can know whether someone's forehead is muddy.


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

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

Hypothesis: Della can now know whether Jennie can know that Franklin's forehead is muddy.


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

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

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

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


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

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


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

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

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

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


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

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

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

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


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

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

Hypothesis: Pamela can now know whether Donald can know that someone's forehead is muddy.


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

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

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

Hypothesis: Marie can now know that Josephine can know whether Marie's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Salvatore can now know whether Dan can know that someone's forehead is muddy.


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

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

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


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

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

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

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


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

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

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

Hypothesis: Charles can now know whether Maria can know that Maria's forehead is muddy.


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

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


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

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

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

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


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

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

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

Hypothesis: Linda can now know that Bobby can know whether Anthony's forehead is muddy.


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

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

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

Hypothesis: Lori can now know whether Judith can know that someone's forehead is muddy.


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

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

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

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


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

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


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

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

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

Hypothesis: Mark can now know whether Glen can know that Glen's forehead is muddy.


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

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

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


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

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

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

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


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

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

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


Premise: There are four persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Carlos knows whether Juan's forehead is muddy. It is publicly announced that Maria knows whether someone's forehead is muddy.

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

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


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

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


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

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

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

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


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

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


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

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

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

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


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

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

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


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

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

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

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


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

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

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

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


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

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

Hypothesis: Helen can now know whether Sam can know that everyone's forehead is muddy.


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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: Randal can now know whether Teresa can know that Randal's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Barbara knows whether Timothy's forehead is muddy. It is publicly announced that Kenneth does not know whether or not everyone's forehead is muddy.

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

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

Hypothesis: Kenneth can now know whether Timothy can know that nobody's forehead is muddy.


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

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

Hypothesis: Andrew can now know that Carlos can know whether Carlos's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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


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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: Edward can now know that Amy can know whether Stacey's forehead is muddy.


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

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

Hypothesis: Marie can now know that Brett can know whether Brett's forehead is muddy.


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

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

Hypothesis: Helen can now know that Pedro can know whether Pedro's forehead is muddy.


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

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

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


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

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

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


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

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


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

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

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

Hypothesis: Joyce can now know whether Alma can know that Alma's forehead is muddy.


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

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

Hypothesis: Joan can now know that Romeo can know whether Steven's forehead is muddy.


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

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

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


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

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


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Hannah knows whether Jaclyn's forehead is muddy. It is publicly announced that Joyce does not know whether or not everyone's forehead is muddy.

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

Hypothesis: Jaclyn can now know that Joyce can know that Hannah's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Ruth can now know whether Linda can know that nobody's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

Hypothesis: Teresa can now know that Anthony can know whether Olin's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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


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

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

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


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

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

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

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


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

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

Hypothesis: Rodney can now know that Brian can know whether Carol's forehead is muddy.


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

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

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

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


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

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

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


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: David can now know whether Kimberly can know that Lance's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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


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

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

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

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


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

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


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

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

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


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

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

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


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

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

Hypothesis: Kimberly can now know whether David can know that Barrett's forehead is muddy.


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

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

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

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


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

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


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

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

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


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

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

Hypothesis: Kimberly can now know whether William can know that William's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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

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


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

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


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

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

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


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

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

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

Hypothesis: Douglas can now know whether Kent can know whether Richard's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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


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

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

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

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


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

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

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

Hypothesis: Preston can now know whether Vita can know whether Jeffrey's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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


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

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

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

Hypothesis: Wayne can now know that Adell can know whether Adell's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Jack can now know that Krista can know that Stacy's forehead is muddy.


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

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

Hypothesis: Teresa can now know whether Mae can know that Teresa's forehead is muddy.


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

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

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

Hypothesis: Sam can now know whether Lori can know whether Kristine's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

Hypothesis: Dana can now know whether Jodie can know that someone's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Michael can now know that Antoinette can know whether Kevin's forehead is muddy.


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

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

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


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

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

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

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


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

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

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

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


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

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


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

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

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

Hypothesis: Margaret can now know whether Gary can know that Terry's forehead is muddy.


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

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

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

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


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

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

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

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


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

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

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

Hypothesis: William can now know that Charles can know whether William's forehead is muddy.


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

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

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


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

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


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

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

Hypothesis: Margaret can now know whether Crystal can know whether Don's forehead is muddy.


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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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


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

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

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


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

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


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

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

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

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


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

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

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


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

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

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

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


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

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

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

Hypothesis: Donna can now know whether Harold can know whether William's forehead is muddy.


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

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


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

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

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

Hypothesis: Doris can now know that Raymond can know whether Anthony's forehead is muddy.


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

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

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


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

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

Hypothesis: Wayne can now know whether Amanda can know that Angelica's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Danny can now know that Mary can know that Bradley's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Hattie can now know whether Sylvia can know that nobody's forehead is muddy.


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

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

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

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


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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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


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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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


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

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

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


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

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

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

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


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

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

Hypothesis: Gladys can now know that Susan can know whether Gladys's forehead is muddy.


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

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

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

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


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

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

Hypothesis: Faith can now know that Bobby can know that Eva's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Kevin does not know whether Kevin's forehead is muddy. It is publicly announced that Jose knows whether or not nobody's forehead is muddy. It is publicly announced that Jose does not know whether Jose's forehead is muddy. It is publicly announced that Ronald knows whether Kevin's forehead is muddy.

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

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

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


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

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

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

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


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

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

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

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


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

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


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

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

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


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

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

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

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


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

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

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