I am Prover. Write a premise. If anything is related to that premise, I will say a conclusion.