the ootid is either not inconsiderable or not an ash or both.
sent1: the foster-nurse is transitive if it is a osteoblast. sent2: something is not a kind of a Tenthredinidae if it is a proctoscopy. sent3: the sphecoid is a kind of a seriema. sent4: the foster-nurse powwows Faisal and is a seriema. sent5: if the foster-nurse is not an ash that the ootid is not an ash and/or it does not powwow Faisal is incorrect. sent6: the ootid squeegees Gaudi and it is monotheistic. sent7: something is unhealthful if it powwows Faisal. sent8: if the foster-nurse is inconsiderable and/or it is a kind of a carbide then it is not an ash. sent9: if the foster-nurse is not inconsiderable that the ootid is not inconsiderable or it is not a seriema or both does not hold. sent10: if something does rafter ootid or it is greater or both then it is not an interjection. sent11: if the ootid is a kind of a carbide the fact that it is neotenic is true. sent12: if something is either unhealthful or a carbide or both then it is not inconsiderable. sent13: if something rafters foster-nurse it is not non-transcultural. sent14: if the foster-nurse is not inconsiderable then the fact that either the ootid is not inconsiderable or it does not ash or both does not hold. sent15: something is not a carbide if it is a seriema and/or is inconsiderable.
sent4 -> int1: the foster-nurse powwows Faisal.; sent7 -> int2: the foster-nurse is unhealthful if that it does powwow Faisal is correct.; int1 & int2 -> int3: the foster-nurse is unhealthful.; int3 -> int4: the foster-nurse is unhealthful or a carbide or both.; sent12 -> int5: if the foster-nurse is unhealthful or it is a carbide or both then it is not inconsiderable.; int4 & int5 -> int6: the foster-nurse is not inconsiderable.; int6 & sent14 -> hypothesis;
$hypothesis$ = the ootid is either not inconsiderable or not an ash or both. ; $context$ = sent1: the foster-nurse is transitive if it is a osteoblast. sent2: something is not a kind of a Tenthredinidae if it is a proctoscopy. sent3: the sphecoid is a kind of a seriema. sent4: the foster-nurse powwows Faisal and is a seriema. sent5: if the foster-nurse is not an ash that the ootid is not an ash and/or it does not powwow Faisal is incorrect. sent6: the ootid squeegees Gaudi and it is monotheistic. sent7: something is unhealthful if it powwows Faisal. sent8: if the foster-nurse is inconsiderable and/or it is a kind of a carbide then it is not an ash. sent9: if the foster-nurse is not inconsiderable that the ootid is not inconsiderable or it is not a seriema or both does not hold. sent10: if something does rafter ootid or it is greater or both then it is not an interjection. sent11: if the ootid is a kind of a carbide the fact that it is neotenic is true. sent12: if something is either unhealthful or a carbide or both then it is not inconsiderable. sent13: if something rafters foster-nurse it is not non-transcultural. sent14: if the foster-nurse is not inconsiderable then the fact that either the ootid is not inconsiderable or it does not ash or both does not hold. sent15: something is not a carbide if it is a seriema and/or is inconsiderable. ; $proof$ = 
sent4 -> int1: the foster-nurse powwows Faisal.; sent7 -> int2: the foster-nurse is unhealthful if that it does powwow Faisal is correct.; int1 & int2 -> int3: the foster-nurse is unhealthful.; int3 -> int4: the foster-nurse is unhealthful or a carbide or both.; sent12 -> int5: if the foster-nurse is unhealthful or it is a carbide or both then it is not inconsiderable.; int4 & int5 -> int6: the foster-nurse is not inconsiderable.; int6 & sent14 -> hypothesis; __DISPROVED__