the goldcrest bowls Irena and is a containerful.
sent1: the sack is a kind of a conjunction. sent2: the homopteran does kindle. sent3: the prickle-weed is a kind of a decrease. sent4: if the prickle-weed decreases then the sack does moor scholasticism and is not immaterial. sent5: the clearing is moderating and it does decrease. sent6: the goldcrest is not a decrease. sent7: if something moors scholasticism but it is not immaterial it is not non-broadband. sent8: the prickle-weed is not a kind of a peak if it is not a RFD and it does not decrease. sent9: the homopteran is not a peak if that it is a kind of anuran a hallux hold. sent10: the prickle-weed is a containerful. sent11: the goldcrest is not a drydock and it is not reversible. sent12: the sphygmomanometer is a conjunction. sent13: the homopteran is not a kind of a RFD if the sack moors sphygmomanometer and it is a conjunction. sent14: if the fact that the homopteran does not bowl Irena is not incorrect then the fact that the goldcrest bowl Irena and it is a kind of a containerful does not hold. sent15: the homopteran is not a peak if the sack is broadband a RFD. sent16: if the sack is anuran the homopteran is a conjunction but it is not a peak. sent17: the homopteran does not bowl Irena if it is both not a RFD and not a peak. sent18: the homopteran is anuran thing that is a kind of a hallux. sent19: if that the sack is broadband is right it does moor sphygmomanometer.
sent4 & sent3 -> int1: the sack moors scholasticism and is not immaterial.; sent7 -> int2: the sack is broadband if it moors scholasticism and it is not immaterial.; int1 & int2 -> int3: the sack is broadband.; int3 & sent19 -> int4: the sack moors sphygmomanometer.; int4 & sent1 -> int5: the sack does moor sphygmomanometer and it is a conjunction.; int5 & sent13 -> int6: the homopteran is not a RFD.; sent9 & sent18 -> int7: the homopteran does not peak.; int6 & int7 -> int8: the homopteran is not a kind of a RFD and it is not a peak.; int8 & sent17 -> int9: the homopteran does not bowl Irena.; int9 & sent14 -> hypothesis;
$hypothesis$ = the goldcrest bowls Irena and is a containerful. ; $context$ = sent1: the sack is a kind of a conjunction. sent2: the homopteran does kindle. sent3: the prickle-weed is a kind of a decrease. sent4: if the prickle-weed decreases then the sack does moor scholasticism and is not immaterial. sent5: the clearing is moderating and it does decrease. sent6: the goldcrest is not a decrease. sent7: if something moors scholasticism but it is not immaterial it is not non-broadband. sent8: the prickle-weed is not a kind of a peak if it is not a RFD and it does not decrease. sent9: the homopteran is not a peak if that it is a kind of anuran a hallux hold. sent10: the prickle-weed is a containerful. sent11: the goldcrest is not a drydock and it is not reversible. sent12: the sphygmomanometer is a conjunction. sent13: the homopteran is not a kind of a RFD if the sack moors sphygmomanometer and it is a conjunction. sent14: if the fact that the homopteran does not bowl Irena is not incorrect then the fact that the goldcrest bowl Irena and it is a kind of a containerful does not hold. sent15: the homopteran is not a peak if the sack is broadband a RFD. sent16: if the sack is anuran the homopteran is a conjunction but it is not a peak. sent17: the homopteran does not bowl Irena if it is both not a RFD and not a peak. sent18: the homopteran is anuran thing that is a kind of a hallux. sent19: if that the sack is broadband is right it does moor sphygmomanometer. ; $proof$ = 
sent4 & sent3 -> int1: the sack moors scholasticism and is not immaterial.; sent7 -> int2: the sack is broadband if it moors scholasticism and it is not immaterial.; int1 & int2 -> int3: the sack is broadband.; int3 & sent19 -> int4: the sack moors sphygmomanometer.; int4 & sent1 -> int5: the sack does moor sphygmomanometer and it is a conjunction.; int5 & sent13 -> int6: the homopteran is not a RFD.; sent9 & sent18 -> int7: the homopteran does not peak.; int6 & int7 -> int8: the homopteran is not a kind of a RFD and it is not a peak.; int8 & sent17 -> int9: the homopteran does not bowl Irena.; int9 & sent14 -> hypothesis; __DISPROVED__