the webworm does not quell.
sent1: that the fact that the rutile is lobular and is not a pantyhose is wrong is not false. sent2: the Minoan does not symphonize and is not a alkalemia if the gamine does not symphonize. sent3: the potpie manages and it does field felony. sent4: if the Minoan does not symphonize and it is not a alkalemia then the webworm does not quell. sent5: there is something such that the fact that it is a CFTR and it is not echoic is not true. sent6: the carina does field webworm if that the potpie does field webworm is right. sent7: if the Minoan does not symphonize but it is a alkalemia the webworm does not quell. sent8: the potpie does not field Calliphora and it does not boggle. sent9: the carina is fossil if there exists something such that the fact that it is lobular and it is not a kind of a pantyhose is not correct. sent10: if there is something such that it is a kind of a fossil then the carina is lobular. sent11: if something is fossil then it is a blacktop. sent12: if the potpie is a impeccability the carina fields webworm. sent13: the fact that the fact that everything does field webworm and/or it is a impeccability is not false is true. sent14: that the rutile is lobular and it is a pantyhose is false. sent15: if the gamine does not symphonize then the Minoan is not a alkalemia. sent16: the carina symphonizes.
sent1 -> int1: there is something such that that it is lobular and is not a pantyhose is not correct.; int1 & sent9 -> int2: the fact that the carina is a fossil hold.; sent11 -> int3: the carina does blacktop if it is a fossil.; int2 & int3 -> int4: the carina is a kind of a blacktop.; sent13 -> int5: either the potpie does field webworm or it is a kind of a impeccability or both.; int5 & sent6 & sent12 -> int6: that the carina does field webworm is right.; int4 & int6 -> int7: the carina is a blacktop and fields webworm.;
the webworm quells.
sent16 -> int8: there exists something such that it does symphonize.;
$hypothesis$ = the webworm does not quell. ; $context$ = sent1: that the fact that the rutile is lobular and is not a pantyhose is wrong is not false. sent2: the Minoan does not symphonize and is not a alkalemia if the gamine does not symphonize. sent3: the potpie manages and it does field felony. sent4: if the Minoan does not symphonize and it is not a alkalemia then the webworm does not quell. sent5: there is something such that the fact that it is a CFTR and it is not echoic is not true. sent6: the carina does field webworm if that the potpie does field webworm is right. sent7: if the Minoan does not symphonize but it is a alkalemia the webworm does not quell. sent8: the potpie does not field Calliphora and it does not boggle. sent9: the carina is fossil if there exists something such that the fact that it is lobular and it is not a kind of a pantyhose is not correct. sent10: if there is something such that it is a kind of a fossil then the carina is lobular. sent11: if something is fossil then it is a blacktop. sent12: if the potpie is a impeccability the carina fields webworm. sent13: the fact that the fact that everything does field webworm and/or it is a impeccability is not false is true. sent14: that the rutile is lobular and it is a pantyhose is false. sent15: if the gamine does not symphonize then the Minoan is not a alkalemia. sent16: the carina symphonizes. ; $proof$ = 
sent1 -> int1: there is something such that that it is lobular and is not a pantyhose is not correct.; int1 & sent9 -> int2: the fact that the carina is a fossil hold.; sent11 -> int3: the carina does blacktop if it is a fossil.; int2 & int3 -> int4: the carina is a kind of a blacktop.; sent13 -> int5: either the potpie does field webworm or it is a kind of a impeccability or both.; int5 & sent6 & sent12 -> int6: that the carina does field webworm is right.; int4 & int6 -> int7: the carina is a blacktop and fields webworm.; __UNKNOWN__