the protozoologist is obligational.
sent1: the redtail negotiates spank. sent2: if the fact that the paramedic is hot or it is not peripatetic or both is not right then it is not biomedical. sent3: if the TNF is not hot and it is not obligational then the paramedic is not obligational. sent4: if something is supersonic the fact that it soldiers breaker is not wrong. sent5: something is not a kind of a peripatetic if it is not biomedical and it is succinic. sent6: if the fact that something is a kind of a peripatetic or it is not succinic or both is not true it is not biomedical. sent7: the paramedic does negotiate spank if it is hot. sent8: the fact that the protozoologist is not obligational is not incorrect if the paramedic is not obligational. sent9: the TNF is not adhesive or it trisects towhead or both. sent10: if the paramedic does negotiate spank the TNF trisects motility. sent11: the paramedic is hot. sent12: if the adhesion is not a kind of a peripatetic the redtail negotiates spank and it does trisect motility. sent13: the redtail is not adhesive and/or it is ceramics if the fact that it does not negotiate Yalu hold. sent14: the paramedic is a kind of an adhesive. sent15: if something is not biomedical then it is not adhesive or it does trisect towhead or both. sent16: a non-obligational thing does not soldier Ailuropoda and/or does not trisect towhead. sent17: if something is not an adhesive and/or it does not trisect towhead it does soldier Ailuropoda. sent18: if that the paramedic is not realistic hold then that it does not trisect paramedic and/or it soldiers Ailuropoda is not wrong. sent19: something is not an adhesive and/or it does not trisect towhead if it is not biomedical. sent20: the TNF is succinic if it does trisect motility. sent21: if the TNF does soldier Ailuropoda the redtail does soldier dyschezia. sent22: something is a peripatetic if it is hot. sent23: the protozoologist does trisect towhead. sent24: the protozoologist is obligational if that the redtail does soldier dyschezia is true. sent25: if something trisects motility then the fact that it either is a kind of a peripatetic or is not succinic or both is wrong. sent26: the sarcoptid is adhesive.
sent7 & sent11 -> int1: the paramedic negotiates spank.; int1 & sent10 -> int2: the TNF trisects motility.; sent25 -> int3: if the TNF does trisect motility the fact that it is a kind of a peripatetic or it is non-succinic or both is not right.; int2 & int3 -> int4: that the TNF is peripatetic and/or it is not succinic does not hold.; sent6 -> int5: the TNF is not biomedical if that it is a peripatetic or not succinic or both is not right.; int4 & int5 -> int6: the TNF is not biomedical.; sent19 -> int7: the TNF is not a kind of an adhesive and/or it does not trisect towhead if it is not biomedical.; int6 & int7 -> int8: either the TNF is not an adhesive or it does not trisect towhead or both.; sent17 -> int9: if the TNF is not an adhesive and/or it does not trisect towhead it does soldier Ailuropoda.; int8 & int9 -> int10: the TNF soldiers Ailuropoda.; int10 & sent21 -> int11: the redtail soldiers dyschezia.; int11 & sent24 -> hypothesis;
the protozoologist is not obligational.
sent5 -> int12: if the adhesion is non-biomedical thing that is succinic it is not a peripatetic.; sent26 -> int13: something is an adhesive.;
$hypothesis$ = the protozoologist is obligational. ; $context$ = sent1: the redtail negotiates spank. sent2: if the fact that the paramedic is hot or it is not peripatetic or both is not right then it is not biomedical. sent3: if the TNF is not hot and it is not obligational then the paramedic is not obligational. sent4: if something is supersonic the fact that it soldiers breaker is not wrong. sent5: something is not a kind of a peripatetic if it is not biomedical and it is succinic. sent6: if the fact that something is a kind of a peripatetic or it is not succinic or both is not true it is not biomedical. sent7: the paramedic does negotiate spank if it is hot. sent8: the fact that the protozoologist is not obligational is not incorrect if the paramedic is not obligational. sent9: the TNF is not adhesive or it trisects towhead or both. sent10: if the paramedic does negotiate spank the TNF trisects motility. sent11: the paramedic is hot. sent12: if the adhesion is not a kind of a peripatetic the redtail negotiates spank and it does trisect motility. sent13: the redtail is not adhesive and/or it is ceramics if the fact that it does not negotiate Yalu hold. sent14: the paramedic is a kind of an adhesive. sent15: if something is not biomedical then it is not adhesive or it does trisect towhead or both. sent16: a non-obligational thing does not soldier Ailuropoda and/or does not trisect towhead. sent17: if something is not an adhesive and/or it does not trisect towhead it does soldier Ailuropoda. sent18: if that the paramedic is not realistic hold then that it does not trisect paramedic and/or it soldiers Ailuropoda is not wrong. sent19: something is not an adhesive and/or it does not trisect towhead if it is not biomedical. sent20: the TNF is succinic if it does trisect motility. sent21: if the TNF does soldier Ailuropoda the redtail does soldier dyschezia. sent22: something is a peripatetic if it is hot. sent23: the protozoologist does trisect towhead. sent24: the protozoologist is obligational if that the redtail does soldier dyschezia is true. sent25: if something trisects motility then the fact that it either is a kind of a peripatetic or is not succinic or both is wrong. sent26: the sarcoptid is adhesive. ; $proof$ = 
sent7 & sent11 -> int1: the paramedic negotiates spank.; int1 & sent10 -> int2: the TNF trisects motility.; sent25 -> int3: if the TNF does trisect motility the fact that it is a kind of a peripatetic or it is non-succinic or both is not right.; int2 & int3 -> int4: that the TNF is peripatetic and/or it is not succinic does not hold.; sent6 -> int5: the TNF is not biomedical if that it is a peripatetic or not succinic or both is not right.; int4 & int5 -> int6: the TNF is not biomedical.; sent19 -> int7: the TNF is not a kind of an adhesive and/or it does not trisect towhead if it is not biomedical.; int6 & int7 -> int8: either the TNF is not an adhesive or it does not trisect towhead or both.; sent17 -> int9: if the TNF is not an adhesive and/or it does not trisect towhead it does soldier Ailuropoda.; int8 & int9 -> int10: the TNF soldiers Ailuropoda.; int10 & sent21 -> int11: the redtail soldiers dyschezia.; int11 & sent24 -> hypothesis; __PROVED__