[butlike]

Because the 4 prompts were actually still prompting for the original prompt (ugh.) in that the computer did not come up with a "complete unconditional counterexample" and the human expertise is required to discern that.