Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ann's forehead is not muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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 not everyone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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


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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that John knows whether Lucy's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Thomas knows whether Gail's forehead is muddy. It is publicly announced that Pauline knows whether Pauline's forehead is muddy. It is publicly announced that Pauline's forehead is muddy.

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

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

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


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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Robert knows whether David's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Antonia knows whether John's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Angela's forehead is muddy. It is publicly announced that Irene knows whether Angela's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Linda's forehead is muddy. It is publicly announced that Ismael knows whether someone's forehead is muddy. It is publicly announced that Ismael knows whether Erin's forehead is muddy. It is publicly announced that Ismael knows whether or not everyone's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Evelyn's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Billy's forehead is muddy.

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

Hypothesis: Charles can now know whether Billy can know whether Kenneth's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Carol knows whether or not nobody's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Mary knows whether Augustine's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Todd knows whether Steven's forehead is muddy. It is publicly announced that Todd's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Sheila knows whether or not everyone's forehead is muddy.

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

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


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

Hypothesis: Cruz can now know that Phillip can know that Barbara's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1|2|3|4) ] Agentc knows whether (Agentb knows whether 4)

Hypothesis: Dexter can now know whether Andrea can know whether Thomas's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Stephen knows whether someone's forehead is muddy.

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

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

Hypothesis: Stephen can now know that Alexandra can know whether Alexandra's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Kristi knows whether Natalie's forehead is muddy. It is publicly announced that Kristi's forehead is not muddy. It is publicly announced that Stacy knows whether Kristi's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Margaret's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Scott knows whether Scott's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Derek's forehead is muddy.

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

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


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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Carolyn knows whether Willie's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. 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:1,2 Agentb:1,2 VALID? [ ! (1|2) ] [ ! (1|2) ] Agenta knows that (Agentb knows that (~(1|2)))

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


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

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


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

Hypothesis: Anthony can now know that Jimmy can know that Ruth's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Daniel knows whether Edwin's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that James knows whether someone's forehead is muddy. It is publicly announced that James knows whether Maurice's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Emily knows whether someone's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Valerie's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (~(1&2&3)) ] (Agenta knows that 1)

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Phillip knows whether Shannon's forehead is muddy.

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

Hypothesis: Phillip can now know that Blanca can know whether Phillip's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Timothy's forehead is muddy. It is publicly announced that Samuel knows whether someone's forehead is muddy. It is publicly announced that Samuel knows whether Rodney's forehead is muddy. It is publicly announced that Samuel knows whether or not everyone's forehead is muddy.

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

Hypothesis: Timothy can now know that Samuel can know whether someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Harold's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Fred's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (1&2&3) ] (Agentc knows whether 2)

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Teresa knows whether or not nobody's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Mark's forehead is not muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Michael knows whether Benjamin's forehead is muddy. It is publicly announced that someone's forehead is muddy. It is publicly announced that Christopher knows whether Benjamin's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Douglas knows whether or not everyone's forehead is muddy. It is publicly announced that Linda's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Lucy knows whether Gladys's forehead is muddy.

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

Hypothesis: Robert can now know that Lucy can know whether someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Curtis's forehead is muddy. It is publicly announced that someone's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jason knows whether or not nobody's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Amanda knows whether Amanda's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Karen knows whether or not everyone's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] Agentb knows that (Agentd knows that 3)

Hypothesis: Bobby can now know that Lynda can know that Kathleen's forehead is muddy.


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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Amy knows whether someone's forehead is muddy. It is publicly announced that Michael knows whether someone's forehead is muddy.

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

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

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


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

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


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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Anthony knows whether someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Denise's forehead is not muddy.

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that William's forehead is muddy. It is publicly announced that Andres knows whether someone's forehead is muddy. It is publicly announced that Andres knows whether Daniel's forehead is muddy. It is publicly announced that Andres knows whether or not everyone's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Hazel knows whether Ruby's forehead is muddy. It is publicly announced that Ruby's forehead is muddy.

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

Hypothesis: Ruby can now know whether Hyun can know that nobody's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. 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 someone's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ruth knows whether someone's forehead is muddy.

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

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Nicholas knows whether Stephanie's forehead is muddy. It is publicly announced that Stephanie's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Elizabeth knows whether John's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1|2|3|4) ] Agentc knows whether (Agenta knows whether (~(1|2|3|4)))

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Leigh knows whether Leigh's forehead is muddy.

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

Hypothesis: Raymond can now know whether Linnie can know whether Gloria's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Blanche knows whether Edmund's forehead is muddy. It is publicly announced that Blanche's forehead is muddy.

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

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


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

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


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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jeffrey knows whether or not everyone's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Anthony knows whether Brett's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Diana knows whether Matthew's forehead is muddy. It is publicly announced that Diana's forehead is muddy.

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

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


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

Hypothesis: Sandra can now know whether Robert can know that someone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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 Margaret's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. 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 not everyone's forehead is muddy. It is publicly announced that Laraine's forehead is not muddy. It is publicly announced that Thomas's forehead is muddy.

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

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


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

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Shanice knows whether Janet's forehead is muddy. It is publicly announced that Janet's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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 Marianne knows whether or not everyone's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ramona knows whether Zachariah's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] Agenta knows whether (Agentb knows whether 2)

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Theresa knows whether Theresa's forehead is muddy. It is publicly announced that everyone's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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 Bonnie knows whether someone's forehead is muddy.

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

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


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

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

Hypothesis: June can now know whether Sharon can know that nobody's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Brian knows whether or not nobody's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Dora's forehead is not muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Emma knows whether or not nobody's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Erik knows whether Crystal's forehead is muddy. It is publicly announced that Crystal's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (~(1&2&3)) ] Agentb knows that (Agentc knows that (~(1|2|3)))

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


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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (~(1&2&3&4)) ] Agentd knows that (Agenta knows that 1)

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Dennis's forehead is not muddy. It is publicly announced that Jonathan knows whether or not nobody's forehead is muddy.

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

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


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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Larry's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Lynn knows whether Lynn's forehead is muddy.

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

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Amanda knows whether or not everyone's forehead is muddy. It is publicly announced that everyone's forehead is muddy. It is publicly announced that Amanda knows whether or not nobody's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Linda knows whether Angela's forehead is muddy.

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

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


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

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


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

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

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


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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ramona knows whether Ramona's forehead is muddy. It is publicly announced that Amy knows whether Kenneth's forehead is muddy.

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

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Christopher knows whether or not everyone's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Cynthia knows whether Lillian's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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 George knows whether or not nobody's forehead is muddy. It is publicly announced that Rebecca knows whether Charles's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Rita's forehead is not muddy. It is publicly announced that Stacey knows whether someone's forehead is muddy.

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

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


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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that John knows whether or not nobody's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Darryl's forehead is muddy.

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Betty knows whether someone's forehead is muddy.

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

Hypothesis: Betty can now know whether Kelley can know that someone's forehead is muddy.


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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that David's forehead is not muddy. It is publicly announced that Peggy's forehead is muddy. It is publicly announced that Peggy's forehead is muddy.

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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 not everyone's forehead is muddy.

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] Agentd knows whether (Agentb knows that 2)

Hypothesis: Vera can now know whether Vernon can know that Vernon's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Donald knows whether Armando's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ruby knows whether Frankie's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

Hypothesis: Frankie can now know that Ruby can know that Alfred's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ronald's forehead is muddy. It is publicly announced that someone's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Frank's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Virginia's forehead is not muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that April knows whether Ryan's forehead is muddy. It is publicly announced that April's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jeremy knows whether or not everyone's forehead is muddy. It is publicly announced that Gladys knows whether Jeremy's forehead is muddy. It is publicly announced that someone's forehead is muddy.

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

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

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


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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Paul knows whether Daniel's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Willie's forehead is not muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ruth knows whether or not nobody's forehead is muddy.

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

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

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


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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (1&2&3) ] Agentc knows that (Agentb knows whether (1|2|3))

Hypothesis: Eloise can now know that Stefanie can know whether someone's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Lorraine knows whether or not nobody's forehead is muddy.

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

Hypothesis: Lorraine can now know whether David can know that Kim's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Kimberly knows whether Mark's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Deborah knows whether or not everyone's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jimmy's forehead is not muddy.

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Su knows whether someone's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Justin knows whether someone's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Bruce knows whether or not everyone's forehead is muddy.

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

Hypothesis: Dolly can now know that Julie can know that Bruce's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Tristan knows whether Margaret's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (~(1&2&3)) ] Agentc knows that (Agenta knows that 2)

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Christopher's forehead is not muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (~(1&2&3&4)) ] Agentc knows that (Agentd knows that 1)

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


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

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Michele knows whether or not everyone's forehead is muddy.

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

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Clarence knows whether or not everyone's forehead is muddy. It is publicly announced that Clarence knows whether Justin's forehead is muddy. It is publicly announced that Clarence knows whether someone's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Alan knows whether Clara's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Albert's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Tony knows whether Tony's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Mark's forehead is muddy. It is publicly announced that Mark knows whether Joseph's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Alberta knows whether or not everyone's forehead is muddy. It is publicly announced that Douglas's forehead is muddy.

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


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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Dennis knows whether or not nobody's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Antoinette knows whether someone's forehead is muddy.

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

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

Hypothesis: Ellen can now know whether Antoinette can know that Thelma's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Jason's forehead is not muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Tammy knows 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:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether (1&2&3)) ] [ ! (1&2&3) ] (Agenta knows whether (1&2&3))

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


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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Kacy knows whether Crystal's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! 3 ] Agenta knows whether (Agentc knows whether 3)

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Thomas knows whether Thomas's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Larry knows whether someone's forehead is muddy. It is publicly announced that Larry knows whether someone's forehead is muddy. It is publicly announced that Larry knows whether someone's forehead is muddy. It is publicly announced that Larry knows whether or not everyone's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Thomas knows whether Thomas's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Michelle's forehead is not muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Leanne knows whether Eleanor's forehead is muddy.

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

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

Hypothesis: Leanne can now know that Eleanor can know that Freddy's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Judith's forehead is not muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Nicole knows whether Judith's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3,4 Agentb:1,2,3,4 Agentc:1,2,3,4 Agentd:1,2,3,4 VALID? [ ! (1|2|3|4) ] [ ! (1&2&3&4) ] Agentd knows that (Agentc knows whether 3)

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


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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Shenna knows whether someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Charles knows whether Crystal's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Maria's forehead is muddy.

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


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

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

Hypothesis: Jeanie can now know whether Carolyn can know that someone's forehead is muddy.


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

Hypothesis: Richard can now know whether Micheal can know that someone's forehead is muddy.


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Hien knows whether Michael's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Julie knows whether or not nobody's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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 LAW Top OBS Agenta:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether (1&2&3)) ] (Agenta knows that 3)

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

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


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

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

Hypothesis: William can now know that Matthew can know that Ruth's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that John knows whether Richard's forehead is muddy. It is publicly announced that John's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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 Joanne's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Joan's forehead is not muddy.

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Nan knows whether Larhonda's forehead is muddy.

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

Hypothesis: David can now know whether Earl can know whether Nan's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Sherry knows whether someone's forehead is muddy. It is publicly announced that Sherry knows whether Michael's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Melanie's forehead is muddy. It is publicly announced that Melanie knows whether Patricia's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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


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

Hypothesis: Jeffrey can now know whether Lisa can know whether James's forehead is muddy.


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Sonya knows whether or not everyone's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Rosetta knows whether Daniel's forehead is muddy. It is publicly announced that Rosetta knows whether or not nobody's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Cory knows 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:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (Agentb knows whether (1&2&3)) ] [ ! (1&2&3) ] (Agentb knows whether 3)

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Arthur knows whether Lottie's forehead is muddy. It is publicly announced that someone's forehead is muddy. It is publicly announced that Virginia knows whether Lottie's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Henry knows whether Ernest's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (1|2|3) ] Agentc knows that (Agenta knows whether (1|2|3))

Hypothesis: Joe can now know that Phyliss can know whether someone's forehead is muddy.


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Dan knows whether Christina's forehead is muddy. It is publicly announced that Dan's forehead is muddy.

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

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

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


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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Belinda knows whether or not everyone's forehead is muddy.

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

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Michele knows whether or not everyone's forehead is muddy. It is publicly announced that Michele's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Donny knows whether or not everyone's forehead is muddy.

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

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


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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Ivory knows whether someone's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Nichole knows whether Daniel's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that James knows whether or not nobody's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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 Katherine knows whether Richard's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Timothy knows whether Christian's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Maria knows whether Paige's forehead is muddy. It is publicly announced that someone's forehead is muddy. It is publicly announced that Daniel knows whether Paige's forehead is muddy.

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

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


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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Clifton's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Nolan knows whether or not everyone's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Diane knows whether Marilyn's forehead is muddy.

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

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Terry knows whether Edna's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Georgann's forehead is not muddy. It is publicly announced that someone's forehead is muddy.

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Paula knows whether or not nobody's forehead is muddy. It is publicly announced that everyone's forehead is muddy.

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

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


Premise: There are two persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Anna knows whether Eva's forehead is muddy.

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

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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Matilde knows whether Michael's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

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

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


Premise: There are four persons. Everyone is visible to others. There is a mirror in the room. It is publicly announced that someone's forehead is muddy. It is publicly announced that Frank's forehead is muddy.

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


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

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

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


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

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (1&2&3) ] Agentb knows that (Agenta knows whether (1&2&3))

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


Premise: There are three persons. Everyone is visible to others. There is a mirror in the room. 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:1,2,3 Agentb:1,2,3 Agentc:1,2,3 VALID? [ ! (1|2|3) ] [ ! (1|2|3) ] Agentc knows that (Agentb knows that 2)

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