the fact that the centrosome is not a disappearance and it is not a spring does not hold.
sent1: if the endoparasite is not a brim then it is not basal but a hurl. sent2: there exists something such that that it is a disappearance is true. sent3: the fact that the endoparasite is not a kind of a orthogonality but it stones centrosome is not correct. sent4: the fact that the centrosome is a disappearance and is not a spring is false. sent5: if the transplant is meaty the lorry is not meaty. sent6: the endoparasite is not a brim if the fact that that it does not clank requisition and it brim hold is not correct. sent7: if the fact that the familiar is not meaty and is a menhaden is not right that the transplant is not meaty is not incorrect. sent8: if there is something such that it is a portfolio that that the fact that the Chinese is a spring but it is not a kind of a disappearance hold is not correct hold. sent9: if there exists something such that that it is tensile and is a Kingston does not hold that the olivenite is not tensile is true. sent10: if the fact that the endoparasite is not a orthogonality but it does stone centrosome is false it is a mine. sent11: if the endoparasite is a mine then the fact that it does not clank requisition and brims does not hold. sent12: the centrosome is not a disappearance and it is not a spring if the lorry is a portfolio. sent13: if something is meaty then it is a portfolio. sent14: if something is a hurl then that the souffle is tensile and is a kind of a Kingston is false. sent15: the Chinese is a kind of a portfolio.
sent15 -> int1: there exists something such that it is a kind of a portfolio.;
the centrosome is not a disappearance and it does not spring.
sent13 -> int2: if the lorry is meaty it is a kind of a portfolio.; sent10 & sent3 -> int3: the endoparasite mines.; sent11 & int3 -> int4: the fact that the endoparasite does not clank requisition and is a brim is false.; sent6 & int4 -> int5: the endoparasite does not brim.; sent1 & int5 -> int6: the endoparasite is not basal but a hurl.; int6 -> int7: the endoparasite is a hurl.; int7 -> int8: something does hurl.; int8 & sent14 -> int9: the fact that the souffle is tensile and is a Kingston is wrong.; int9 -> int10: there is something such that that it is tensile thing that is a Kingston does not hold.; int10 & sent9 -> int11: the olivenite is not tensile.; int11 -> int12: there is something such that it is not tensile.;
$hypothesis$ = the fact that the centrosome is not a disappearance and it is not a spring does not hold. ; $context$ = sent1: if the endoparasite is not a brim then it is not basal but a hurl. sent2: there exists something such that that it is a disappearance is true. sent3: the fact that the endoparasite is not a kind of a orthogonality but it stones centrosome is not correct. sent4: the fact that the centrosome is a disappearance and is not a spring is false. sent5: if the transplant is meaty the lorry is not meaty. sent6: the endoparasite is not a brim if the fact that that it does not clank requisition and it brim hold is not correct. sent7: if the fact that the familiar is not meaty and is a menhaden is not right that the transplant is not meaty is not incorrect. sent8: if there is something such that it is a portfolio that that the fact that the Chinese is a spring but it is not a kind of a disappearance hold is not correct hold. sent9: if there exists something such that that it is tensile and is a Kingston does not hold that the olivenite is not tensile is true. sent10: if the fact that the endoparasite is not a orthogonality but it does stone centrosome is false it is a mine. sent11: if the endoparasite is a mine then the fact that it does not clank requisition and brims does not hold. sent12: the centrosome is not a disappearance and it is not a spring if the lorry is a portfolio. sent13: if something is meaty then it is a portfolio. sent14: if something is a hurl then that the souffle is tensile and is a kind of a Kingston is false. sent15: the Chinese is a kind of a portfolio. ; $proof$ = 
sent15 -> int1: there exists something such that it is a kind of a portfolio.; __UNKNOWN__