the stopping is not prejudicial but it does stint sturgeon.
sent1: the Mississippian does not stint sturgeon and is a resumption. sent2: there exists something such that that it is planographic and not a vitality does not hold. sent3: that something is not a kind of a ASEAN and it does not grumble carol is incorrect if it is not planographic. sent4: the Mississippian is multicultural. sent5: that the Mississippian is not planographic is true if there exists something such that the fact that it is planographic and it is not a vitality is incorrect. sent6: the Mississippian is a resumption. sent7: everything does not grumble carol. sent8: if something is a resumption the venerator does stint sturgeon and it is prejudicial. sent9: if that something is not a ASEAN and does not grumble carol does not hold then it is a ASEAN. sent10: the venerator is not a pathogen if the Mississippian is a ASEAN and a pathogen. sent11: that something is not prejudicial but it stints sturgeon does not hold if it is not a resumption. sent12: if there is something such that that it is a ASEAN and it is a kind of a resumption is incorrect the stopping is not a resumption. sent13: if something either is not a transplant or is multicultural or both then it is a kind of a pathogen. sent14: the stopping is a resumption. sent15: the leporide is not a Halevy and is a kind of a Saxon.
sent1 -> int1: the Mississippian does not stint sturgeon.;
the venerator is both not a pathogen and prejudicial.
sent9 -> int2: the Mississippian is a kind of a ASEAN if the fact that it is not a kind of a ASEAN and it does not grumble carol is incorrect.; sent3 -> int3: that the Mississippian is not a ASEAN and does not grumble carol is false if it is not planographic.; sent2 & sent5 -> int4: the fact that the Mississippian is not planographic is true.; int3 & int4 -> int5: the fact that the Mississippian is not a kind of a ASEAN and it does not grumble carol does not hold.; int2 & int5 -> int6: the Mississippian is a kind of a ASEAN.; sent13 -> int7: the Mississippian is a pathogen if it does not transplant and/or is multicultural.; sent4 -> int8: either the Mississippian is not a transplant or it is multicultural or both.; int7 & int8 -> int9: the Mississippian is a pathogen.; int6 & int9 -> int10: the Mississippian is a ASEAN and it is a pathogen.; sent10 & int10 -> int11: the venerator is not a pathogen.; sent14 -> int12: something is a resumption.; int12 & sent8 -> int13: the venerator stints sturgeon and is prejudicial.; int13 -> int14: the venerator is prejudicial.; int11 & int14 -> hypothesis;
$hypothesis$ = the stopping is not prejudicial but it does stint sturgeon. ; $context$ = sent1: the Mississippian does not stint sturgeon and is a resumption. sent2: there exists something such that that it is planographic and not a vitality does not hold. sent3: that something is not a kind of a ASEAN and it does not grumble carol is incorrect if it is not planographic. sent4: the Mississippian is multicultural. sent5: that the Mississippian is not planographic is true if there exists something such that the fact that it is planographic and it is not a vitality is incorrect. sent6: the Mississippian is a resumption. sent7: everything does not grumble carol. sent8: if something is a resumption the venerator does stint sturgeon and it is prejudicial. sent9: if that something is not a ASEAN and does not grumble carol does not hold then it is a ASEAN. sent10: the venerator is not a pathogen if the Mississippian is a ASEAN and a pathogen. sent11: that something is not prejudicial but it stints sturgeon does not hold if it is not a resumption. sent12: if there is something such that that it is a ASEAN and it is a kind of a resumption is incorrect the stopping is not a resumption. sent13: if something either is not a transplant or is multicultural or both then it is a kind of a pathogen. sent14: the stopping is a resumption. sent15: the leporide is not a Halevy and is a kind of a Saxon. ; $proof$ = 
sent1 -> int1: the Mississippian does not stint sturgeon.; __UNKNOWN__