that the grub is small-capitalization thing that is leptosporangiate is false.
sent1: if the grub is a chainsaw it is not creedal. sent2: the grub is a kind of a chainsaw that does scrub. sent3: if that the debutante is a kind of non-majors thing that grabs is not correct it snowballs purdah. sent4: the grub is not creedal. sent5: the pachuco is a scrubbed if the pylon is creedal. sent6: the warrener is obligational thing that is not a decriminalization. sent7: the grub does scrub. sent8: if the pylon is not small-capitalization then the grub snowballs Ascaphidae. sent9: if the fact that the grub is a kind of a chainsaw is not wrong it is small-capitalization and it is not creedal. sent10: something sabers but it is not a phase-out if it does not snowball cholecystectomy. sent11: everything does not snowball cholecystectomy. sent12: that the debutante does not major but it grabs is false. sent13: that something is small-capitalization and leptosporangiate does not hold if that it is not a chainsaw is not false. sent14: if that the debutante is an inaugural is not incorrect the hame is not a self-awareness. sent15: the fact that something is both a scrubbed and creedal is incorrect if it is not a phase-out. sent16: the celery is a kind of a chainsaw if there exists something such that that it is both a scrubbed and creedal is not right. sent17: the grub is leptosporangiate. sent18: if the pachuco is a kind of a scrubbed the grub is not a kind of a chainsaw. sent19: if the hame is not a self-awareness the greensand is small-capitalization and it is not non-leptosporangiate.
sent2 -> int1: the grub is a chainsaw.; int1 & sent9 -> int2: the grub is small-capitalization but it is not creedal.; int2 -> int3: the grub is small-capitalization.; int3 & sent17 -> hypothesis;
the celery is a kind of a chainsaw that does snowball Ascaphidae.
sent15 -> int4: that the record is a kind of a scrubbed that is creedal is not right if it is not a phase-out.; sent10 -> int5: that the aircraft sabers and is not a phase-out is not wrong if it does not snowball cholecystectomy.; sent11 -> int6: that the aircraft does not snowball cholecystectomy hold.; int5 & int6 -> int7: the aircraft does saber but it is not a phase-out.; int7 -> int8: everything sabers and it is not a kind of a phase-out.; int8 -> int9: the satinet is a saber but it is not a kind of a phase-out.; int9 -> int10: the satinet is not a phase-out.; int10 -> int11: everything is not a phase-out.; int11 -> int12: the record is not a phase-out.; int4 & int12 -> int13: that the record is a scrubbed and it is creedal is false.; int13 -> int14: there exists nothing such that it is a kind of a scrubbed and it is creedal.; int14 -> int15: the fact that the pachuco scrubs and it is creedal does not hold.; int15 -> int16: there exists something such that the fact that it scrubs and it is creedal does not hold.; sent16 & int16 -> int17: the fact that the celery is a chainsaw hold.; sent12 & sent3 -> int18: the debutante does snowball purdah.;
$hypothesis$ = that the grub is small-capitalization thing that is leptosporangiate is false. ; $context$ = sent1: if the grub is a chainsaw it is not creedal. sent2: the grub is a kind of a chainsaw that does scrub. sent3: if that the debutante is a kind of non-majors thing that grabs is not correct it snowballs purdah. sent4: the grub is not creedal. sent5: the pachuco is a scrubbed if the pylon is creedal. sent6: the warrener is obligational thing that is not a decriminalization. sent7: the grub does scrub. sent8: if the pylon is not small-capitalization then the grub snowballs Ascaphidae. sent9: if the fact that the grub is a kind of a chainsaw is not wrong it is small-capitalization and it is not creedal. sent10: something sabers but it is not a phase-out if it does not snowball cholecystectomy. sent11: everything does not snowball cholecystectomy. sent12: that the debutante does not major but it grabs is false. sent13: that something is small-capitalization and leptosporangiate does not hold if that it is not a chainsaw is not false. sent14: if that the debutante is an inaugural is not incorrect the hame is not a self-awareness. sent15: the fact that something is both a scrubbed and creedal is incorrect if it is not a phase-out. sent16: the celery is a kind of a chainsaw if there exists something such that that it is both a scrubbed and creedal is not right. sent17: the grub is leptosporangiate. sent18: if the pachuco is a kind of a scrubbed the grub is not a kind of a chainsaw. sent19: if the hame is not a self-awareness the greensand is small-capitalization and it is not non-leptosporangiate. ; $proof$ = 
sent2 -> int1: the grub is a chainsaw.; int1 & sent9 -> int2: the grub is small-capitalization but it is not creedal.; int2 -> int3: the grub is small-capitalization.; int3 & sent17 -> hypothesis; __DISPROVED__