ksedlar wrote:
I would like to see Nurse Joy investigate {Dgrazian, ermain}->sashacf today.
[...]
we can get some further cases upon my suggested investigation:
Case 1 (Nurse Joy investigates {Dgrazian, ermain}->sashacf and gets that ermain is innocent):
a. Matt was mafia and killed Sasha
b. Aok and Dgrazian are mafia, Dgrazian killed Sasha, and Professor Oak is mafia
If we get this result and Professor Oak's proxy chain does not start with either aok or Dgrazian, then a. is true.
Case 2 (Nurse Joy investigates {Dgrazian, ermain}->sashacf and gets that Dgrazian is innocent):
a. Matt was mafia and killed Sasha
b. Erin was mafia and killed Sasha, and Professor Oak is mafia
If we get this result, then b seems more likely to be true (Joy's investigation revealing that aok was innocent was presumably on {ermain, aok}, so while ermain could have been unlucky twice, b looks right).
Wait, isn't the best thing to do (from global town perspective) for Nurse Joy to check ermain v. Striker again? if it comes up Striker innocent, they know Oak is lying (or at least, beefs two investigators); otherwise, they still reduce to ksedlar's case 1 without having the extra casework for case 2.