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) ] Agentd knows whether (Agentb knows whether (1&2&3&4))

Hypothesis: Carol can now know whether William 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 Anne'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 ] Agentb knows whether (Agentc knows whether (1&2&3&4))

Hypothesis: Robin can now know whether James 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 Cindy'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 ] Agenta knows whether (Agentb knows that (1|2|3|4))

Hypothesis: Cindy can now know whether Sarah 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 James 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 that (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: Jean can now know that James can know that James'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 Edwin's forehead is muddy.

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

Hypothesis: Erik 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 John does not know whether 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) ] [ ! ~(Agenta knows whether 1) ] Agenta knows that (Agentc knows that 3)

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

Hypothesis: John can now know that Jorge can know that Jorge'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 Alfred does not know whether or not everyone's forehead is muddy. It is publicly announced that 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)) ] [ ! (1&2&3) ] Agentb knows whether (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&2&3)) ] [ ! (1&2&3) ] 0

Hypothesis: John can now know whether Alfred can know whether Tina'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 Colleen'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) ] [ ! ~(3) ] Agentd knows whether (Agentb knows that 2)

Hypothesis: Charles can now know whether Lillie can know that Lillie'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 Brenda knows whether or not nobody's forehead is muddy. It is publicly announced that Ashley's forehead is not muddy. It is publicly announced that Brenda'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) ] [ ! (Agentd knows whether (~(1|2|3|4))) ] [ ! ~(1) ] [ ! ~(4) ] Agenta knows that (Agentb knows whether 1)

Hypothesis: Ashley can now know that Scott can know whether Ashley'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 Edwina knows whether or not everyone's forehead is muddy. It is publicly announced that Edwina does not know whether Edwina'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) ] (Agenta knows that 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: Wilma can now know that Edwina'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 Eleanor does not know whether or not everyone's forehead is muddy. It is publicly announced that Margie knows whether Eleanor's forehead is muddy. It is publicly announced that Margie knows whether Eleanor'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) ] [ ! (Agenta knows whether 3) ] Agenta knows whether (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 (1&2&3&4)) ] [ ! (Agenta knows whether 3) ] [ ! (Agenta knows whether 3) ] 0

Hypothesis: Margie can now know whether Thomas 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 William does not know whether or not everyone's forehead is muddy. It is publicly announced that William 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 (~(1|2))) ] (Agentb knows whether (~(1|2)))

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

Hypothesis: William 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 Robert does not know whether Robert'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's forehead is not muddy. It is publicly announced that Kathleen does not know whether Kathleen'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) ] [ ! ~(Agentb knows whether 2) ] [ ! ~(2) ] [ ! ~(Agentc knows whether 3) ] Agentb 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) ] [ ! ~(Agentb knows whether 2) ] [ ! ~(Agentb knows whether 2) ] [ ! ~(2) ] [ ! ~(Agentc knows whether 3) ] 0

Hypothesis: Robert can now know that Brad can know that Brad'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 Mary'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 (Agentb knows that 3)

Hypothesis: Lizette can now know whether Mary can know that Valerie'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 Edgar does not know whether or not everyone's forehead is muddy. It is publicly announced that Suzanna'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)) ] [ ! 3 ] (Agenta knows whether (1|2|3|4))

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

Hypothesis: Mark can now know that Jessie'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 Wanda's forehead is muddy. It is publicly announced that Wanda's forehead is muddy. It is publicly announced that Thomas's forehead is muddy.

Hypothesis: Wanda 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 Carolyn does not know whether Carolyn's forehead is muddy. It is publicly announced that Edward 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 2) ] [ ! (Agentc knows whether (1&2&3)) ] (Agenta knows that 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 (1&2&3)) ] 0

Hypothesis: Donna can now know that Edward'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 Matthew does not know whether Matthew's forehead is muddy. It is publicly announced that Matthew knows whether Kimberley's forehead is muddy. It is publicly announced that Matthew knows whether or not everyone's forehead is muddy. It is publicly announced that Kimberley'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) ] [ ! (Agenta knows whether 3) ] [ ! (Agenta knows whether (1&2&3)) ] [ ! ~(3) ] (Agentb knows that 1)

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

Hypothesis: Norma can now know that Matthew'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 Gennie knows whether Gennie'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))

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: Gennie can now know whether Walter 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 Janet'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 ] Agentc knows whether (Agentb knows that (~(1|2|3|4)))

Hypothesis: Janet can now know whether Jeffrey can 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 not everyone's forehead is muddy. It is publicly announced that Peggy does not know whether Peggy'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 3) ] (Agentb knows that 1)

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

Hypothesis: Tenisha can now know that Brian'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)) ] Agentc knows that (Agentd knows that 1)

Hypothesis: Larry can now know that Samuel can know that Lucia'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 Modesta'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) ] Agentb knows that (Agentc knows that 1)

Hypothesis: Modesta can now know that Barbara can know that Rudolph'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 Maurine knows whether Elmer's forehead is muddy. It is publicly announced that someone's forehead is muddy. It is publicly announced that Elmer does not know whether Elmer'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 3) ] [ ! (1|2|3) ] [ ! ~(Agentc knows whether 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) ] [ ! (Agenta knows whether 3) ] [ ! (1|2|3) ] [ ! ~(Agentc knows whether 3) ] 0

Hypothesis: Maurine 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 Robert does not know whether or not everyone's forehead is muddy.

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

Hypothesis: Robert 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 Timothy's forehead is not muddy. It is publicly announced that Mary 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)) ] (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) ] [ ! ~(2) ] [ ! (Agenta knows whether (1|2|3)) ] 0

Hypothesis: Timothy can now know whether Lois'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 Valerie knows whether Valerie'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 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) ] [ ! (Agentc knows whether 3) ] 0

Hypothesis: Valerie can now know that Margaret can know that Margaret'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's forehead is muddy. It is publicly announced that Earl knows whether someone's forehead is muddy. It is publicly announced that Thomas knows whether or not nobody's forehead is muddy.

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

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

Hypothesis: Thomas can now know whether Carolyn can know that 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) ] [ ! (~(1&2&3&4)) ] Agentd knows that (Agentc knows that 3)

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

Hypothesis: Richard 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 Sarah 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 whether (Agentd knows whether 2)

Hypothesis: Audrey can now know whether Anne can know whether Sarah'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 Seth 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) ] [ ! (Agenta 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) ] [ ! (Agenta knows whether (1|2|3)) ] 0

Hypothesis: Seth 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 Thurman does not know whether Thurman's forehead is muddy. It is publicly announced that Dorothy 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) ] [ ! ~(Agentb knows whether (1&2&3&4)) ] (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) ] [ ! ~(Agentb knows whether (1&2&3&4)) ] 0

Hypothesis: Thurman 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 Kevin'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) ] Agentc knows whether (Agenta knows that 3)

Hypothesis: Bryant can now know whether Kevin can know that Bryant'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.

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) ] (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) ] [ ! ~(Agentb knows whether 2) ] 0

Hypothesis: Angela 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 Brian does not know whether Brian's forehead is muddy. It is publicly announced that Kenton 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 William does not know whether William'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) ] (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) ] [ ! (Agentc knows whether (1&2&3&4)) ] [ ! (~(1&2&3&4)) ] [ ! ~(Agentb knows whether 2) ] 0

Hypothesis: William 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 Mabel does not know whether Mabel'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 (Agentb knows whether 3)

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

Hypothesis: Ruth can now know whether Michael can know whether Ruth'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 Zachary does not know whether or not everyone's forehead is muddy. It is publicly announced that Juana 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&2)) ] [ ! (Agentb knows whether (1&2)) ] Agentb knows whether (Agenta knows whether (1&2))

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

Hypothesis: Juana can now know whether Zachary 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 Gloria does not know whether Gloria's forehead is muddy. It is publicly announced that Stewart'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) ] [ ! 3 ] (Agentd 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) ] [ ! ~(Agentd knows whether 4) ] [ ! 3 ] 0

Hypothesis: Gloria can now know that Stewart'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 Carrie knows whether Elbert'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) ] Agentb knows whether (Agenta 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 4) ] 0

Hypothesis: Debra can now know whether Alice can know that Debra'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 Barbara knows whether or not everyone's forehead is muddy. It is publicly announced that Marina does not know whether Marina's forehead is muddy. It is publicly announced that Jack knows whether Frank's forehead is muddy. It is publicly announced that Marina does not know whether Marina'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 whether 4) ] [ ! (Agentb knows whether 1) ] [ ! ~(Agentd knows whether 4) ] (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) ] [ ! (Agentc knows whether (1&2&3&4)) ] [ ! ~(Agentd knows whether 4) ] [ ! (Agentb knows whether 1) ] [ ! ~(Agentd knows whether 4) ] 0

Hypothesis: Jack 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 2)

Hypothesis: Ronald can now 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 Rashida knows whether Rashida'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 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) ] 0

Hypothesis: Harry 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 not everyone's forehead is muddy. It is publicly announced that Nancy's forehead is not muddy.

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

Hypothesis: Ethel can now know whether Nancy can know that Nancy'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'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 ] 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) ] [ ! 3 ] 0

Hypothesis: Thomas can now know that Thelma 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 Dwight does not know whether Dwight's forehead is muddy. It is publicly announced that Dwight's forehead is not muddy. It is publicly announced that Dwight knows whether someone's forehead is muddy.

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

Hypothesis: Wanda can now 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 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))

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

Hypothesis: Andre 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 Sterling'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 ] Agentd knows whether (Agentc knows that (1&2&3&4))

Hypothesis: Susan can now know whether Sterling 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 Sadie does not know whether Sadie'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 that (1|2|3))

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

Hypothesis: Sadie can now 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 Suzanne 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 (1&2&3)) ] (Agentc knows whether (1|2|3))

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

Hypothesis: Suzanne 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 Cynthia 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))) ] Agentb 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) ] [ ! (Agenta knows whether (~(1|2|3))) ] 0

Hypothesis: Richard can now know that Eric can know whether Eric'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.

Hypothesis: Joyce 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 Ronnie knows whether someone's forehead is muddy. It is publicly announced that Ronnie 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)) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] Agentd knows that (Agenta knows that (1&2&3&4))

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

Hypothesis: Ronnie can now know that Marna 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 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) ] [ ! (Agentb knows whether (1|2|3|4)) ] Agentd knows that (Agentb knows that 1)

Hypothesis: Rita can now know that William can know that Cecelia'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 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 that (Agentc knows that 3)

Hypothesis: Patrick can now know that Eric can know that Eric'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 Renee's forehead is muddy. It is publicly announced that Mary 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) ] [ ! 3 ] [ ! (Agenta knows whether (1&2&3&4)) ] (Agentd knows that 1)

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


Premise: There are three persons. Everyone is visible to others. It is publicly announced that someone's forehead is muddy. It is publicly announced that Leanna does not know whether Leanna'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) ] Agentb knows whether (Agentc knows whether (1|2|3))

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

Hypothesis: Leanna can now know whether Darlene 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 Regina 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 (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) ] [ ! ~(Agenta knows whether (1&2&3)) ] 0

Hypothesis: Regina can now know whether Betsy can know that Regina'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 Monica does not know whether Monica'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 2) ] [ ! (~(1&2&3)) ] 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) ] [ ! ~(Agentb knows whether 2) ] [ ! (~(1&2&3)) ] 0

Hypothesis: Monica can now know that Megan can know that Monica'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.

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) ] Agentc knows that (Agentb knows that 4)

Hypothesis: Luis can now know that Ralph 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 Kenneth's forehead is muddy. It is publicly announced that Edward's forehead is muddy. It is publicly announced that Susie 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 (Agentd knows that (1|2|3|4))

Hypothesis: Julius can now know that Susie 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 Mary 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))) ] (Agentb knows that (~(1|2|3|4)))

Hypothesis: Jesse 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 everyone's forehead is muddy.

Hypothesis: William 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 everyone's forehead is muddy. It is publicly announced that Alice's forehead is muddy.

Hypothesis: Steven can now know that 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 Laura knows whether or not everyone's forehead is muddy. It is publicly announced that Gene 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))) ] (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)) ] [ ! (Agentb knows whether (~(1|2|3))) ] 0

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

Hypothesis: Oliver can now know that Mae 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 Shelton does not know whether Shelton's forehead is muddy. It is publicly announced that Robert's forehead is not muddy. It is publicly announced that Shelton'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) ] [ ! ~(3) ] [ ! 1 ] Agentc knows whether (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) ] [ ! ~(Agenta knows whether 1) ] [ ! ~(3) ] [ ! 1 ] 0

Hypothesis: Robert can now know whether Shelton can know whether Shelton'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 Artie knows whether Jose's forehead is muddy. It is publicly announced that Diane'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 ] Agentc knows that (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) ] [ ! 3 ] 0

Hypothesis: Diane can now know that Jose 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 Richard does not know whether Richard'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 2) ] [ ! (~(1&2&3)) ] Agentc knows that (Agenta knows that 3)

Hypothesis: Robert can now know that Nicola can know that Robert'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 Elizabeth knows whether Rebecca'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) ] (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) ] 0

Hypothesis: Elizabeth 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 Tony knows whether Michelle'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 that 1)

Hypothesis: Michelle can now know that Michelle'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 Olive's forehead is not muddy.

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

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

Hypothesis: Olive can now know that Olive'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 Stephen'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) ] [ ! ~(3) ] Agentc knows that (Agentb knows that (~(1|2|3|4)))

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

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

Hypothesis: Ralph can now know that Ann can 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 Martha knows whether Gary's forehead is muddy. It is publicly announced that Martha 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 2) ] [ ! ~(Agentc knows whether (1&2&3)) ] (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) ] [ ! (Agentc knows whether 2) ] [ ! ~(Agentc knows whether (1&2&3)) ] 0

Hypothesis: Gary 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 Geneva knows whether Thomas's forehead is muddy. It is publicly announced that Thomas does not know whether or not everyone's forehead is muddy. It is publicly announced that Geneva knows whether Jeannette's forehead is muddy. It is publicly announced that Geneva knows whether Austin'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) ] [ ! ~(Agentd knows whether (1&2&3&4)) ] [ ! (Agenta knows whether 2) ] [ ! (Agenta knows whether 3) ] (Agentb knows whether 3)

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

Hypothesis: Jeannette can now know whether Austin'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 Gregg knows whether someone's forehead is muddy. It is publicly announced that Juanita knows whether Gregg's forehead is muddy. It is publicly announced that Steven does not know whether Steven'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 whether 3) ] [ ! ~(Agentb knows whether 2) ] 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)) ] [ ! (Agenta knows whether 3) ] [ ! ~(Agentb knows whether 2) ] 0

Hypothesis: Juanita can now know that Gregg can know that Juanita'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 Michael knows whether Linda'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) ] Agenta knows that (Agentc 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) ] [ ! (Agentd knows whether 2) ] 0

Hypothesis: Danielle can now know that Courtney 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 Colleen's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Nicholas's forehead is muddy.

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

Hypothesis: Nicholas can now know that Colleen can know whether Laura'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 everyone's forehead is muddy.

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

Hypothesis: Reba can now know whether David can know whether Enrique'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 Natalie 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)) ] Agentc knows whether (Agentd knows whether (1&2&3&4))

Hypothesis: Daniel can now know whether Angie 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 Gloria does not know whether Gloria'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 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: James can now know that Gloria's forehead is muddy.