I registered here on NG because I think there is a flaw in the argument lines of LEVEL 9.
I figured out, that the yes/yes/yes/probably are the machines answers, however, the actual mistake is in the arguing itself:
1. If the machine has contradicted itself, then the machine is not perfect.
2. The Machine thinks smugness is a relevant clue.
3. The Machine thinks smugness is a red herring.
4. IF the Machine thinks smugness is a relevant clue AND The Machine thinks smugness is a red herring then ......
And this is the part where I got stuck, Something like this should follow: then the machine doesn't know what a red herring is.
INSTEAD you have to write "the machine has contradicted itself" which CANNOT be placed here since it is in line 5.
In other words if you deduct with the "then" in line 4 that the machine has contradicted itself, then line 5 is a redundant line!!! Redundant, because it echoes the deduction already made in line 4.
So you either change the "then" part in line 4.. OR remove line 5.
I don't know if I'm making sense here. You have a deduction in line 5, which has already been deducted at the end of line 4.
At least please consider my post. I would also appreciate if the creators addressed this issue. Thanks and great game!