Maybe Terrence is chasing too many red herrings. Maybe he should just have asked it to find a counter example to the conjecture and on success explain how it was found.