the fact that the nightshirt subtilizes Provo hold.
sent1: there exists something such that the fact that it does not subtilize Provo and it is endothelial does not hold. sent2: the pastern is not a kind of a bordered. sent3: the fact that the roulade is non-endothelial thing that is not a bordered is not correct. sent4: the roulade is not a bordered if there is something such that that it is not a kind of a Norman and it is non-endothelial is not correct. sent5: there exists something such that the fact that it is not a kind of a Norman and does subtilize Provo is wrong. sent6: there exists something such that that it subtilizes Provo and it is not a kind of a bordered does not hold. sent7: there is something such that that it is not endothelial and it does not subtilize Provo is correct. sent8: that the pastern is not a kind of a Norman and subtilizes Provo does not hold. sent9: there exists nothing such that the fact that it is not stemmatic and not a lekvar is not wrong. sent10: that the pastern is non-Norman but not endothelial does not hold. sent11: if the roulade does not border the nightshirt does not subtilize Provo. sent12: the pastern is not Norman if there is something such that the fact that it does not subtilize Provo and it is not endothelial does not hold.
sent10 -> int1: there exists something such that that it is both non-Norman and not endothelial does not hold.; int1 & sent4 -> int2: the roulade is not a kind of a bordered.; sent11 & int2 -> hypothesis;
the nightshirt subtilizes Provo.
sent9 -> int3: that that the judge is not stemmatic and is not a lekvar is not right is true.; int3 -> int4: there exists something such that the fact that it is not stemmatic and it is not a lekvar is false.;
$hypothesis$ = the fact that the nightshirt subtilizes Provo hold. ; $context$ = sent1: there exists something such that the fact that it does not subtilize Provo and it is endothelial does not hold. sent2: the pastern is not a kind of a bordered. sent3: the fact that the roulade is non-endothelial thing that is not a bordered is not correct. sent4: the roulade is not a bordered if there is something such that that it is not a kind of a Norman and it is non-endothelial is not correct. sent5: there exists something such that the fact that it is not a kind of a Norman and does subtilize Provo is wrong. sent6: there exists something such that that it subtilizes Provo and it is not a kind of a bordered does not hold. sent7: there is something such that that it is not endothelial and it does not subtilize Provo is correct. sent8: that the pastern is not a kind of a Norman and subtilizes Provo does not hold. sent9: there exists nothing such that the fact that it is not stemmatic and not a lekvar is not wrong. sent10: that the pastern is non-Norman but not endothelial does not hold. sent11: if the roulade does not border the nightshirt does not subtilize Provo. sent12: the pastern is not Norman if there is something such that the fact that it does not subtilize Provo and it is not endothelial does not hold. ; $proof$ = 
sent10 -> int1: there exists something such that that it is both non-Norman and not endothelial does not hold.; int1 & sent4 -> int2: the roulade is not a kind of a bordered.; sent11 & int2 -> hypothesis; __DISPROVED__