the fact that there exists something such that if the fact that it is both not centesimal and a yard is not correct it stokes crocolite is wrong.
sent1: if something is non-centesimal and a yard then it stokes crocolite. sent2: if that something is not centesimal but it is a kind of a yard is wrong the fact that it does stoke crocolite hold.
sent2 -> int1: if that the opera is non-centesimal thing that is a kind of a yard does not hold then it does stoke crocolite.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it is both not centesimal and a yard is not correct it stokes crocolite is wrong. ; $context$ = sent1: if something is non-centesimal and a yard then it stokes crocolite. sent2: if that something is not centesimal but it is a kind of a yard is wrong the fact that it does stoke crocolite hold. ; $proof$ = 
sent2 -> int1: if that the opera is non-centesimal thing that is a kind of a yard does not hold then it does stoke crocolite.; int1 -> hypothesis; __DISPROVED__