Input: Sentence 1: That is not going to be proven true. Sentence 2: It is impossible to prove that.
Output: 

 no