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 Chad 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) ] Agentc knows that (Agentb knows whether (1|2|3))

Hypothesis: Chad can now know that Larry 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 not everyone's forehead is muddy. It is publicly announced that Albert 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)) ] (Agentb knows whether (~(1|2|3)))

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

Hypothesis: Jennifer can now know that Paul 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. It is publicly announced that Ann knows whether or not nobody's forehead is muddy. It is publicly announced that Irene knows whether William'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 (Agenta knows whether 4)

Hypothesis: Ann can now know whether Rebecca can know whether Irene'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 (Agenta knows whether 3)

Hypothesis: Tracy can now know that Donna can know whether Tracy'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 Gerald'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) ] (Agenta knows that 4)

Hypothesis: Gerald can now know that Rebecca'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 Laurel knows whether Laurel'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 (1&2))

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

Hypothesis: Doreen 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 not everyone's forehead is muddy. It is publicly announced that Davis knows whether or not everyone's forehead is muddy. It is publicly announced that someone's forehead is muddy.

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

Hypothesis: Davis can now know whether Anna 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 Cheri knows whether Lola'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 (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: Lola 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 Myra knows whether or not everyone's forehead is muddy. It is publicly announced that Maria's forehead is not muddy.

Hypothesis: Elizabeth 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 Terry 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 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: Dominga can now know whether Terry can know that Linda'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 Vanessa 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)) ] (Agenta knows that 3)

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

Hypothesis: Michael can now know that Eduardo 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 Elisabeth's forehead is not muddy. It is publicly announced that Joanne'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) ] [ ! ~(1) ] Agentc knows whether (Agenta knows that 3)

Hypothesis: Irvin can now know whether Joanne can know that Irvin'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 William 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 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: Shawn can now 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.

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 (Agentc knows whether 3)

Hypothesis: Cristina can now know that Joshua can know whether Joshua'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 (Agentb knows whether (1|2|3|4))

Hypothesis: Arturo can now know that Judi 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 Marjorie 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 (Agentb 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) ] [ ! (Agentb knows whether (1|2|3)) ] 0

Hypothesis: Harold can now know that Marjorie 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 Terri'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 that (1&2&3))

Hypothesis: Terri 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 Andrew knows whether Margaret'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&2))

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

Hypothesis: Andrew 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 Cynthia'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 ] Agentb knows that (Agenta knows that (1&2&3))

Hypothesis: Maria can now know that Nora 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 Phil knows whether Sabra'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) ] Agentb knows whether (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) ] [ ! (Agenta knows whether 2) ] 0

Hypothesis: Sabra can now know whether Phil 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 Russell's forehead is muddy. It is publicly announced that Russell's forehead is muddy. It is publicly announced that Wayne's forehead is muddy.

Hypothesis: Kelli 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 Thelma knows whether Michael's forehead is muddy. It is publicly announced that John's forehead is not muddy. It is publicly announced that John 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 3) ] [ ! ~(2) ] [ ! (Agentb knows whether (1&2&3)) ] (Agentb 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 3) ] [ ! ~(2) ] [ ! (Agentb knows whether (1&2&3)) ] 0

Hypothesis: John 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 Jaime knows whether Colleen's forehead is muddy. It is publicly announced that Laura knows whether Laura's forehead is muddy. It is publicly announced that Laura'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 ] Agentb knows that (Agenta knows that 2)

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: Richard can now know that Laura 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 Ella knows whether someone's forehead is muddy. It is publicly announced that Ella 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)) ] [ ! (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)) ] [ ! (Agenta knows whether (1&2)) ] 0

Hypothesis: Gladys can now know that Ella can know that Ella'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. It is publicly announced that Darlene knows whether Frances's forehead is muddy.

Hypothesis: Flossie can now know whether Mathew 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 Christine knows whether Christine'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) ] (Agenta 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) ] [ ! (Agentc knows whether 3) ] 0

Hypothesis: Gregory can now know whether Gregory'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 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)) ] (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&2&3)) ] 0

Hypothesis: Ronald can now know whether Ronald'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 Ruth knows whether Ruth's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

Hypothesis: Ann 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 not everyone'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)) ] [ ! (~(1&2&3)) ] Agentc knows whether (Agenta knows whether (1&2&3))

Hypothesis: Russell can now know whether Amy can 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 Carlos 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))) ] Agentb knows that (Agentc knows that 1)

Hypothesis: Christian can now know that Stuart can know that Carlos'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 Juan knows whether or not nobody's forehead is muddy. It is publicly announced that Suzanne'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) ] [ ! (Agentc knows whether (~(1|2|3))) ] [ ! ~(2) ] (Agentb knows that (~(1|2|3)))

Hypothesis: Suzanne 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.

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 3)

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

Hypothesis: Olga can now know that Jeffery 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 Yvonne knows whether Betsy'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 (Agentb 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 3) ] 0

Hypothesis: Yvonne can now know that Wendi 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 someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Carlos knows whether Gracie'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) ] [ ! (~(1&2&3&4)) ] [ ! (Agentc knows whether 1) ] Agentc knows that (Agentd knows that 3)

Hypothesis: Carlos can now know that Donna can know that Carlos'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 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 (~(1|2|3)))

Hypothesis: Julia can now 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 Edward 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))) ] Agenta knows that (Agentd knows that 2)

Hypothesis: Carla can now know that Angie can know that Tina'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 (Agentb knows that 1)

Hypothesis: Judy can now know that Gretchen can know that Fannie'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: Louise can now 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: Melissa can now know that Donald 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 Cruz knows whether Grace'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 3) ] (Agentd knows that (~(1|2|3|4)))

Hypothesis: Tanya can now 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 Cleo knows whether Robert's forehead is muddy. It is publicly announced that 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) ] [ ! (Agentd knows whether 3) ] [ ! 3 ] Agentb knows that (Agentc knows whether 3)

Hypothesis: Ben can now know that Robert can know whether Robert'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 Christian knows whether Christian'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 3) ] Agentd knows whether (Agentc knows that 2)

Hypothesis: Norman can now know whether Christian can know that Ann'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 Christy'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 (Agentb knows that 3)

Hypothesis: Leigh can now know whether Matthew can know that Christy'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 Max's forehead is muddy. It is publicly announced that Max knows whether someone's forehead is muddy. It is publicly announced that Nancy's forehead is not muddy.

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

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

Hypothesis: Nancy can now know whether Max can know whether Max'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) ] Agenta knows that (Agentb knows that 2)

Hypothesis: Saul can now know that Margaret can know 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) ] Agentb knows whether (Agenta knows whether 3)

Hypothesis: Frank can now know whether Sandra can know whether Francis'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 Andrew knows whether Alfonso'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 that (Agentb knows that 1)

Hypothesis: Andrew can now know that William can know that Alfonso'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 James 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 1)

Hypothesis: James can now know that Renee'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 Bertha knows whether or not nobody's forehead is muddy. It is publicly announced that Bryan 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)) ] Agenta knows whether (Agentb knows that 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: Bryan can now know whether Bertha can know that Bertha'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 Tammy's forehead is muddy.

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

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

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

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

Hypothesis: Ronald can now know that Numbers'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 Harry knows whether or not everyone's forehead is muddy. It is publicly announced that Byron'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)) ] [ ! 4 ] Agentb knows that (Agenta knows whether 1)

Hypothesis: Colleen can now know that Brian can know whether Brian'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 Charles knows whether Charles's forehead is muddy. It is publicly announced that Anthony'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) ] [ ! 3 ] Agenta knows that (Agentb knows that 1)

Hypothesis: Charles can now know that Christopher 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 Jesse 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)) ] (Agentb knows that 2)

Hypothesis: Robert can now know that Robert'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 Walter knows whether or not everyone's forehead is muddy. It is publicly announced that Walter knows whether someone's forehead is muddy. It is publicly announced that Walter knows whether Walter'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 (1|2)) ] [ ! (Agenta knows whether 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 (1&2)) ] [ ! (Agenta knows whether (1|2)) ] [ ! (Agenta knows whether 1) ] 0

Hypothesis: Katherine 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 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 that (Agenta knows whether 3)

Hypothesis: Timothy can now know that Christopher can know whether 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 Denise'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) ] [ ! ~(2) ] Agentb knows that (Agentc knows that 4)

Hypothesis: Denise can now know that Mary can know that Dave'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 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) ] (Agentc knows whether (~(1|2|3)))

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

Hypothesis: Sarah can now know whether Kenneth 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 Angela 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) ] [ ! (Agenta knows whether 1) ] (Agenta knows that 3)

Hypothesis: Angela can now know that Noel'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 (Agentd knows that 4)

Hypothesis: Adam can now know whether William can know that 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 everyone's forehead is muddy. It is publicly announced that Tanya knows whether Tanya's forehead is muddy. It is publicly announced that Gregory knows whether or not nobody's forehead is muddy.

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

Hypothesis: Gregory 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 Joseph's forehead is muddy. It is publicly announced that Joseph knows whether someone's forehead is muddy. It is publicly announced that Harry's forehead is not muddy.

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

Hypothesis: Joseph can now know whether Harry can know whether Harry'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 Alexander knows whether Kevin's forehead is muddy. It is publicly announced that Alexander's forehead is not muddy. It is publicly announced that Susan knows whether Alexander'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 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 2) ] [ ! ~(1) ] [ ! (Agentc knows whether 1) ] 0

Hypothesis: Kevin can now know that Alexander'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 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 Elia'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) ] [ ! (Agentc knows whether (1|2|3)) ] [ ! (~(1&2&3)) ] [ ! (~(1&2&3)) ] [ ! ~(2) ] Agentb knows whether (Agentc knows that 3)

Hypothesis: Elia can now know whether William can know that William'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 Wanda knows whether Wanda's forehead is muddy. It is publicly announced that Kenneth knows whether Marguerite'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 3) ] [ ! (Agentd knows whether 1) ] (Agentb knows whether (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 3) ] [ ! (Agentd knows whether 1) ] 0

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

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

Hypothesis: Walter can now know whether Lee'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 Franklin knows whether Gloria'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) ] Agentd knows that (Agentb knows that 3)

Hypothesis: Gloria can now know that Patricia can know that Karen'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 Carl'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) ] Agenta knows that (Agentb knows whether 4)

Hypothesis: Joanne can now know that Billy can know whether Steven'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))

Hypothesis: Grant 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) ] Agentb knows that (Agenta knows that 3)

Hypothesis: Amy can now know that Daniel can know that Adrian'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 3)

Hypothesis: Andre can now know that James can know that Andre'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 Dwight's forehead is muddy. It is publicly announced that someone's forehead is muddy.

Hypothesis: Luis 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 Joanne 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)) ] (Agentc 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) ] [ ! (Agentb knows whether (1|2|3)) ] 0

Hypothesis: Angela can now know that Joanne'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 Miranda'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) ] [ ! (Agentb knows whether 1) ] [ ! (1|2) ] Agentb knows whether (Agenta knows that (1|2))

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

Hypothesis: Amy can now know whether Miranda 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 Michelle 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) ] [ ! (Agentc knows whether 1) ] (Agentd knows that 3)

Hypothesis: Donald can now know that Michelle'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 Milton knows whether someone's forehead is muddy. It is publicly announced that Milton knows whether or not nobody'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) ] [ ! (Agenta knows whether (1|2|3)) ] [ ! (Agenta knows whether (~(1|2|3))) ] [ ! (1|2|3) ] (Agentb knows whether 2)

Hypothesis: Gladys can now know whether Gladys'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 Lisa 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 3)

Hypothesis: Lisa can now know whether David can know whether Pearl'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 Latoya's forehead is muddy.

Hypothesis: Linda 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 Debra 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) ] [ ! (Agentd knows whether 1) ] Agentc knows that (Agentd knows that 4)

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

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

Hypothesis: Lisa can now know that Adeline 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 Kasey 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 whether (Agentc knows that 1)

Hypothesis: John can now know whether Clarence can know that Kasey'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 Richard'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) ] [ ! ~(1) ] (Agentb knows that 3)

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

Hypothesis: Crystal can now know that Margaret 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 Lawrence knows whether Lawrence's forehead is muddy. It is publicly announced that Cindy knows whether Cindy'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 3) ] [ ! (Agentb knows whether 2) ] Agentd 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 3) ] [ ! (Agentb knows whether 2) ] 0

Hypothesis: Ronnie can now know that Lawrence 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 Donald'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 ] Agenta knows that (Agentd knows whether 2)

Hypothesis: Christopher can now know that Kenneth can know whether 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 Glenda knows whether Jack's forehead is muddy. It is publicly announced that Jack knows whether Charles's forehead is muddy. It is publicly announced that Glenda'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) ] [ ! (Agentc knows whether 2) ] [ ! (Agentb knows whether 1) ] [ ! ~(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) ] [ ! (Agentc knows whether 2) ] [ ! (Agentb knows whether 1) ] [ ! ~(3) ] 0

Hypothesis: Jack can now know that Glenda 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 Jeff'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) ] [ ! ~(1) ] Agentc knows whether (Agenta knows whether 1)

Hypothesis: Ellen can now know whether Jeff can know whether Jeff'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 everyone's forehead is muddy.

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

Hypothesis: Jane can now know whether Cheryl 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 William knows whether William'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 4) ] Agentb knows that (Agentc knows that 2)

Hypothesis: Reginald can now know that Martha can know that Reginald'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 Megan knows whether Carmon's forehead is muddy. It is publicly announced that Kathleen knows whether Kathleen's forehead is muddy. It is publicly announced that Kathleen'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 ] Agentd knows that (Agentb 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) ] [ ! (Agentc knows whether 4) ] [ ! (Agenta knows whether 1) ] [ ! 1 ] 0

Hypothesis: Carmon can now know that Corey 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. It is publicly announced that Patricia knows whether Patricia's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

Hypothesis: Patricia can now know that Patricia'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 (Agenta knows that (1&2&3))

Hypothesis: William can now know that Anna 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 Milagros knows whether or not everyone's forehead is muddy. It is publicly announced that David knows whether Milagros'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: Milagros can now know that David 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 Christopher knows whether or not everyone's forehead is muddy. It is publicly announced that Christopher knows whether Benjamin'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) ] [ ! (Agentb knows whether (1&2&3)) ] [ ! (Agentb knows whether 1) ] [ ! (1|2|3) ] Agenta knows whether (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) ] [ ! (Agentb knows whether (1&2&3)) ] [ ! (Agentb knows whether 1) ] [ ! (1|2|3) ] 0

Hypothesis: Benjamin can now know whether Claude can know whether Claude'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 Ralph 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)) ] Agentb knows whether (Agenta knows whether 2)

Hypothesis: Ralph can now know whether Reuben can know whether Ralph'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.

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

Hypothesis: Cecil can now know that Herman 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.

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 4)

Hypothesis: Steven can now know that Emily'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 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))) ] Agenta 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: Larry can now know that Raymond 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 Evelyn knows whether or not nobody's forehead is muddy. It is publicly announced that Helen's forehead is muddy.

Hypothesis: Helen 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) ] Agentc knows that (Agenta knows that 4)

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

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

Hypothesis: James can now know that Nancy 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 everyone's forehead is muddy. It is publicly announced that Alejandro knows whether Alejandro's forehead is muddy. It is publicly announced that Bradley knows whether or not nobody's forehead is muddy.

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

Hypothesis: Alejandro can now know whether or not 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 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) ] [ ! (Agenta 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) ] [ ! (Agenta knows whether (1|2|3)) ] 0

Hypothesis: Barbara can now 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.

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 that (Agentb knows that 3)

Hypothesis: Lissette can now know that Scott can know that Agnes'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 Roger knows whether Elizabeth'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 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) ] 0

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

Hypothesis: Donna can now know that Thomas 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 Daniel 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 (Agentc knows that 2)

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

Hypothesis: Dawn 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 Diana knows whether 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) ] [ ! (Agenta knows whether 1) ] (Agentd knows that 1)

Hypothesis: Darlene can now know that Diana'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 Wendy's forehead is muddy. It is publicly announced that Wendy'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) ] [ ! 3 ] Agenta 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) ] [ ! (Agentb knows whether 3) ] [ ! 3 ] 0

Hypothesis: Thomas can now know that Wendy can know whether or not 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 Robert's forehead is not muddy.

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

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

Hypothesis: Gladys can now know whether Robert can know that Gladys'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 Margarita'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 4)

Hypothesis: Teresa can now know that Teresa'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 Laura knows whether someone's forehead is muddy. It is publicly announced that Laura knows whether Pamela'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 whether (Agenta 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: Pamela can now know whether Jean can know that 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 Dorothy knows whether James's forehead is muddy. It is publicly announced that Dorothy knows whether James'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) ] [ ! (Agenta knows whether 2) ] Agentc knows that (Agentd knows that 2)

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

Hypothesis: Mary can now know that Melody 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 everyone's forehead is muddy. It is publicly announced that everyone's forehead is muddy.

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

Hypothesis: Sammie can now know that Carroll can know that Sammie'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 Anna'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 that (~(1|2)))

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

Hypothesis: Helene can now 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.

Hypothesis: Jeremy can now know that David 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 Joanne knows whether Daphne's forehead is muddy. It is publicly announced that Joanne knows whether Daphne's forehead is muddy.

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

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

Hypothesis: Daphne can now know whether Joanne can know that Joanne'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 Christine knows whether Magali'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 whether 2)

Hypothesis: Corina can now know whether 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 James knows whether Peter'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 that 1)

Hypothesis: Cynthia can now know that James can know that Cynthia'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 Delma 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 (Agentb knows whether 2)

Hypothesis: Mildred can now know whether Easter can know whether Easter'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's forehead is muddy. It is publicly announced that Salvatore knows whether Elizabeth'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) ] Agenta knows whether (Agentc knows that 2)

Hypothesis: Royce can now know whether Elizabeth can know that Bryan'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 Maria 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 whether (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) ] [ ! (Agentb knows whether (1|2|3)) ] 0

Hypothesis: Jonathan can now know whether Maria can know that Jonathan'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 Linda knows whether Frances'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 whether 3) ] Agentb knows whether (Agenta 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) ] [ ! (1&2&3) ] [ ! (Agenta knows whether 3) ] 0

Hypothesis: Faye can now know whether Linda can know that Linda'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 Carla knows whether Carla'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 2) ] (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) ] [ ! (Agentb knows whether 2) ] 0

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

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

Hypothesis: Donna 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 Roy knows whether someone's forehead is muddy.

Hypothesis: Roy 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 Carolyn knows whether Carolyn's forehead is muddy. It is publicly announced that Georgia'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) ] [ ! 3 ] Agentd knows whether (Agentc knows whether 3)

Hypothesis: Maria can now know whether Georgia can know whether Georgia'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 Patricia 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)) ] Agentc knows that (Agentd knows that (~(1|2|3|4)))

Hypothesis: Eileen can now know that Patricia 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.

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)

Hypothesis: Ana can now know whether Jean'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 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) ] [ ! (Agentc knows whether (1|2|3)) ] (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) ] [ ! (Agentc knows whether (1|2|3)) ] 0

Hypothesis: Allen can now know that Allen'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 Elva knows whether or not nobody's forehead is muddy.

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

Hypothesis: Elva can now know whether Mamie 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 Steven's forehead is not muddy.

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

Hypothesis: Carissa can now know that Carissa'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 Patrick knows whether or not nobody's forehead is muddy. It is publicly announced that Doris 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))) ] [ ! (Agenta knows whether (1&2)) ] Agentb knows whether (Agenta knows whether 1)

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: Patrick can now know whether Doris can know whether Doris'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 Lilia knows whether or not nobody's forehead is muddy. It is publicly announced that Victoria's forehead is not muddy.

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

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

Hypothesis: Victoria can now know whether Victoria'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 Sharron knows whether Roger's forehead is muddy.

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

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

Hypothesis: Roger can now know that Sharron can know that Roger'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 Jane knows whether someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Doris knows whether Leon'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) ] Agenta knows that (Agentc knows that (~(1|2|3|4)))

Hypothesis: Doris can now know that Jane 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.

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 3)

Hypothesis: Meg can now know that Carmen can know that Samuel'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.

Hypothesis: Neal 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 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 that (~(1|2|3)))

Hypothesis: Robert can now know that Abraham 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. It is publicly announced that Clara's forehead is muddy.

Hypothesis: Jeannine can now know that Willie 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 Derek 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)) ] Agentb knows whether (Agentc knows that 4)

Hypothesis: Christina can now know whether Don can know that Derek'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 Winnifred knows whether or not nobody's forehead is muddy. It is publicly announced that Michelle 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) ] [ ! (Agentc knows whether (~(1|2|3))) ] [ ! (Agentb knows whether (1|2|3)) ] (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) ] [ ! (Agentc knows whether (~(1|2|3))) ] [ ! (Agentb knows whether (1|2|3)) ] 0

Hypothesis: Winnifred can now know that Ruben'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 Patricia knows whether someone's forehead is muddy. It is publicly announced that Mary knows whether or not nobody's forehead is muddy. It is publicly announced that Mary knows whether Patricia's forehead is muddy. It is publicly announced that Rita knows whether Rita'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 (~(1|2|3))) ] [ ! (Agentc knows whether 1) ] [ ! (Agentb knows whether 2) ] Agenta knows that (Agentb 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) ] [ ! (Agenta knows whether (1|2|3)) ] [ ! (Agentc knows whether (~(1|2|3))) ] [ ! (Agentc knows whether 1) ] [ ! (Agentb knows whether 2) ] 0

Hypothesis: Patricia can now know that Rita 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 Cody knows whether or not everyone's forehead is muddy. It is publicly announced that Lisa's forehead is muddy.

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

Hypothesis: Lisa can now 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 Leland knows whether Helen'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) ] Agentd knows that (Agentb knows whether (1&2&3&4))

Hypothesis: Gina can now know that Roy can 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 not everyone's forehead is muddy. It is publicly announced that Michael 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) ] [ ! (~(1&2&3&4)) ] [ ! (Agentd knows whether (1&2&3&4)) ] Agenta knows that (Agentd knows that 4)

Hypothesis: Susan can now know that Michael can know that Michael'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 whether 2)

Hypothesis: Rhonda can now know whether Andrew can know whether Rhonda'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 Richard 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)) ] (Agentc 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) ] [ ! (Agentb knows whether (1&2&3)) ] 0

Hypothesis: David can now know that Richard'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 Clifton's forehead is not muddy. It is publicly announced that Andrea'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) ] [ ! ~(2) ] Agenta knows that (Agentb knows whether 1)

Hypothesis: Christopher can now know that Andrea can know whether Christopher'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 Angela's forehead is muddy.

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

Hypothesis: Angela can now know that Darren'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 Williams knows whether 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) ] [ ! (Agentc knows whether (1|2|3|4)) ] [ ! (Agenta knows whether 1) ] (Agenta 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) ] [ ! (Agentc knows whether (1|2|3|4)) ] [ ! (Agenta knows whether 1) ] 0

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

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) ] [ ! (Agenta knows whether 1) ] [ ! (Agentc knows whether (1&2&3&4)) ] 0

Hypothesis: Ruth can now know that Timmy'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 Velma knows whether Jackson'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 that (Agentd knows that (~(1|2|3|4)))

Hypothesis: Marcos can now know that James 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 Vicki's forehead is muddy. It is publicly announced that Loretta knows whether Vicki'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 that (Agenta knows that (~(1|2|3|4)))

Hypothesis: Loretta can now know that Kelly 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 Gloria knows whether Gloria'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 (Agenta knows that (1&2&3&4))

Hypothesis: Jessie can now know whether Gloria 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 Norma knows whether someone's forehead is muddy. It is publicly announced that not everyone's forehead is muddy. It is publicly announced that Cassandra knows whether Pamela'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) ] Agentc knows that (Agentb knows that 4)

Hypothesis: Norma can now know that Susie can know that Pamela'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 Marylin knows whether or not everyone's forehead is muddy. It is publicly announced that Thomas's forehead is not muddy.

Hypothesis: Thomas 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 Tania knows whether Paul's forehead is muddy. It is publicly announced that Tania knows whether Tania'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 whether 2) ] Agentc knows that (Agenta 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) ] [ ! (Agentb knows whether 2) ] 0

Hypothesis: Paul can now know that James can know that James'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 1)

Hypothesis: Guillermo can now know that Guillermo'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 2)

Hypothesis: Dean can now know that Dean'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 that (Agenta knows whether (1&2&3&4))

Hypothesis: Ralph can now know that Joseph 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 Betty knows whether Jason'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) ] 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 2) ] 0

Hypothesis: Jason can now know that Virgina 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 Gerald knows whether 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) ] [ ! (Agentc knows whether 2) ] (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: Domingo 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 Michael 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)) ] (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)) ] 0

Hypothesis: Florentino can now know that Candida'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 Josephine 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 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: Chris can now know that Chris'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 Flossie'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 ] Agentc knows whether (Agentd knows that 3)

Hypothesis: Anthony can now know whether Flossie can know that Anthony'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 Mary knows whether Mary'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 that (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: Hazel can now know that Mary can know that Hazel'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 Erin knows whether Ann'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) ] (Agentb 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) ] [ ! (Agentb knows whether 1) ] 0

Hypothesis: Erin can now know whether or not 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 Jordan'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 (Agentb knows that 3)

Hypothesis: Jordan can now know that Tony can know that Jordan'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 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))) ] Agenta knows whether (Agentb 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) ] [ ! (Agenta knows whether (~(1|2|3))) ] 0

Hypothesis: Albert can now know whether Jonathan 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 Henry 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)) ] (Agentb knows whether (1&2&3))

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

Hypothesis: Helen can now know that Robin'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 Cheryl knows whether Jesusita'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)

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: Julia can now know that Cheryl can know whether Jesusita'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 Joan knows whether Summer'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 (Agentb knows that 3)

Hypothesis: Summer can now know that Nelson can know that Joan'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 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) ] [ ! 2 ] Agenta knows that (Agentc knows that 1)

Hypothesis: Andrew can now know that James can know that Andrew'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. 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 1)

Hypothesis: John can now know that Alberta'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 Larae knows whether Tommy'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) ] (Agentd knows that 2)

Hypothesis: Tommy can now know that Peter'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 Jeffrey's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

Hypothesis: Howard can now know that Deborah'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 Frances's forehead is muddy. It is publicly announced that not everyone's forehead is muddy.

Hypothesis: Anna can now know that Richard can know that Anna'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's forehead is not muddy. It is publicly announced that Patricia'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) ] [ ! ~(2) ] [ ! ~(4) ] Agenta knows that (Agentb knows that 2)

Hypothesis: Craig can now know that Mary can 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 Shari'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) ] [ ! ~(1) ] Agentb knows whether (Agentc knows that (1&2&3))

Hypothesis: Ernesto can now know whether Brianne 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 not everyone'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)) ] [ ! (~(1&2&3)) ] Agentb knows whether (Agenta knows whether 1)

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