the powwowing martensite occurs.
sent1: if the runup happens then the raftering stingray does not occur. sent2: if the runup happens and/or the majorness occurs the raftering stingray does not occur. sent3: if the cholecystectomy happens then the majoring happens. sent4: the skeleton happens. sent5: the secureness occurs. sent6: if the fact that the runup happens hold the majorness does not occur and the cholecystectomy does not occur. sent7: the coursework does not occur if that the squeegeeing chachka does not occur is not false. sent8: that the oldness happens but the striping does not occur is brought about by that the powwowing solfa does not occur. sent9: the cholecystectomy occurs if the attendance happens. sent10: that the attendance occurs is brought about by the trailing. sent11: if the dramaticness does not occur and the gentrification does not occur then that the squeegeeing chachka does not occur hold. sent12: the runup and the raftering stingray happens if the coursework does not occur. sent13: the Zoroastrian occurs if the oldness but not the striping occurs. sent14: the dramaticness does not occur and the gentrification does not occur if the Zoroastrian occurs. sent15: the skeleton and the trailing occurs. sent16: if the raftering stingray does not occur then the powwowing martensite happens. sent17: that the admission occurs yields that the Catholicness does not occur and the powwowing solfa does not occur. sent18: if that the skeleton does not occur is right the powwowing martensite does not occur.
sent15 -> int1: the trailing happens.; sent10 & int1 -> int2: the attendance occurs.; sent9 & int2 -> int3: the cholecystectomy occurs.; sent3 & int3 -> int4: the majoring occurs.; int4 -> int5: the runup or the majorness or both occurs.; sent2 & int5 -> int6: the raftering stingray does not occur.; sent16 & int6 -> hypothesis;
the powwowing martensite does not occur.
$hypothesis$ = the powwowing martensite occurs. ; $context$ = sent1: if the runup happens then the raftering stingray does not occur. sent2: if the runup happens and/or the majorness occurs the raftering stingray does not occur. sent3: if the cholecystectomy happens then the majoring happens. sent4: the skeleton happens. sent5: the secureness occurs. sent6: if the fact that the runup happens hold the majorness does not occur and the cholecystectomy does not occur. sent7: the coursework does not occur if that the squeegeeing chachka does not occur is not false. sent8: that the oldness happens but the striping does not occur is brought about by that the powwowing solfa does not occur. sent9: the cholecystectomy occurs if the attendance happens. sent10: that the attendance occurs is brought about by the trailing. sent11: if the dramaticness does not occur and the gentrification does not occur then that the squeegeeing chachka does not occur hold. sent12: the runup and the raftering stingray happens if the coursework does not occur. sent13: the Zoroastrian occurs if the oldness but not the striping occurs. sent14: the dramaticness does not occur and the gentrification does not occur if the Zoroastrian occurs. sent15: the skeleton and the trailing occurs. sent16: if the raftering stingray does not occur then the powwowing martensite happens. sent17: that the admission occurs yields that the Catholicness does not occur and the powwowing solfa does not occur. sent18: if that the skeleton does not occur is right the powwowing martensite does not occur. ; $proof$ = 
sent15 -> int1: the trailing happens.; sent10 & int1 -> int2: the attendance occurs.; sent9 & int2 -> int3: the cholecystectomy occurs.; sent3 & int3 -> int4: the majoring occurs.; int4 -> int5: the runup or the majorness or both occurs.; sent2 & int5 -> int6: the raftering stingray does not occur.; sent16 & int6 -> hypothesis; __PROVED__