False. The interpreter is asked to find a constructive proof that there exist values of the variables that make the goal true.