there exists something such that if the fact that it is not filar and it is not a kind of a generic does not hold then it is nonextensile.
sent1: the fact that the fact that something is not extensile hold if that it is not filar and it is not a generic is incorrect hold. sent2: there exists something such that if that it is not a Leiden and does not tinkle constitutionalist is not right it does interlock mongoose.
sent1 -> int1: the consignment is not extensile if the fact that it is non-filar and is not a generic is not true.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not filar and it is not a kind of a generic does not hold then it is nonextensile. ; $context$ = sent1: the fact that the fact that something is not extensile hold if that it is not filar and it is not a generic is incorrect hold. sent2: there exists something such that if that it is not a Leiden and does not tinkle constitutionalist is not right it does interlock mongoose. ; $proof$ = 
sent1 -> int1: the consignment is not extensile if the fact that it is non-filar and is not a generic is not true.; int1 -> hypothesis; __PROVED__