that there exists something such that if that that it is a quotation and/or it is inconvertible is not false is wrong then it is a backbench is incorrect.
sent1: the challis is a backbench if it is a kind of a quotation or it is not a convertible or both. sent2: if the fact that something is a quotation or it is not convertible or both is not correct then it is a kind of a backbench. sent3: there is something such that if either it is a quotation or it is not a convertible or both then that it is a backbench hold. sent4: there is something such that if the fact that it is a quotation or it is a convertible or both is not true it is a backbench.
sent2 -> int1: if the fact that the challis is a kind of a quotation and/or is not a convertible is wrong it is a backbench.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if that that it is a quotation and/or it is inconvertible is not false is wrong then it is a backbench is incorrect. ; $context$ = sent1: the challis is a backbench if it is a kind of a quotation or it is not a convertible or both. sent2: if the fact that something is a quotation or it is not convertible or both is not correct then it is a kind of a backbench. sent3: there is something such that if either it is a quotation or it is not a convertible or both then that it is a backbench hold. sent4: there is something such that if the fact that it is a quotation or it is a convertible or both is not true it is a backbench. ; $proof$ = 
sent2 -> int1: if the fact that the challis is a kind of a quotation and/or is not a convertible is wrong it is a backbench.; int1 -> hypothesis; __DISPROVED__