the sulfonate is a kind of a Nigerian.
sent1: if the bouquet does crucify that the sulfonate is not an equator and it is not a valuable does not hold. sent2: if the sulfonate is astringent then it is not a antimycin and it is not time-release. sent3: the Hmong is Ecuadorian if it sprinkles. sent4: if there exists something such that that it is not nonastringent hold then the ayatollah is not a valuable and does not crucify. sent5: the sulfonate does wan and it is not non-Nigerian if that it is not offensive is true. sent6: that the bouquet does not splat redoubt but it is time-release does not hold. sent7: the bouquet is a English if the fact that it does not splat redoubt and it is English is not correct. sent8: the fact that the woodlouse is offensive and it is time-release is incorrect if there exists something such that it does wan. sent9: if the ayatollah does not crucify then the fact that the toecap is a English but it is not an equator is false. sent10: something that is English crucifies. sent11: something is not offensive if it is not a antimycin and is not time-release. sent12: if the Hmong is a Ecuadorian then the fact that the inion is a naboom hold. sent13: the Hmong is a sprinkle. sent14: if that something is a kind of nonastringent thing that is a antimycin is not correct it is not nonastringent. sent15: if that something is not a kind of an equator and it is not a valuable is false it is not nonastringent. sent16: if something is not time-release then that it is both nonastringent and a antimycin is not true. sent17: if something is not time-release and is not a Nigerian it is not a kind of a English. sent18: the Plectophera is a kind of an equator. sent19: if the fact that the toecap is a kind of English thing that is not an equator is not correct then the fact that the carrageen is not English is not incorrect. sent20: that the bouquet is not a English and it is not a Nigerian is not right if the sulfonate is nonastringent. sent21: that the bouquet does not splat redoubt and is not a English is false. sent22: the Centre does wan if the inion does not wan and it does not splat redoubt. sent23: the fact that the sulfonate crucifies hold. sent24: if something is a kind of a naboom then it does not wan and does not splat redoubt. sent25: the redoubt is not time-release if there exists something such that that it is not inoffensive and it is time-release does not hold.
sent10 -> int1: if the bouquet is a English then it does crucify.; sent7 & sent21 -> int2: the bouquet is a English.; int1 & int2 -> int3: the fact that the bouquet does crucify is right.; int3 & sent1 -> int4: that the sulfonate is not an equator and it is not a valuable is wrong.; sent15 -> int5: that the sulfonate is not nonastringent is not false if the fact that it is both not an equator and not valuable is not true.; int4 & int5 -> int6: the sulfonate is not nonastringent.; int6 & sent2 -> int7: the sulfonate is not a kind of a antimycin and is not time-release.; sent11 -> int8: the sulfonate is not offensive if it is not a kind of a antimycin and it is not time-release.; int7 & int8 -> int9: the sulfonate is not offensive.; int9 & sent5 -> int10: the sulfonate wans and it is not non-Nigerian.; int10 -> hypothesis;
the sulfonate is not a Nigerian.
sent14 -> int11: if that the redoubt is nonastringent and it is a kind of a antimycin is not right then it is not nonastringent.; sent16 -> int12: the fact that the redoubt is nonastringent a antimycin is not right if it is not time-release.; sent24 -> int13: the inion does not wan and it does not splat redoubt if it is a naboom.; sent3 & sent13 -> int14: the Hmong is a kind of a Ecuadorian.; sent12 & int14 -> int15: the inion is a kind of a naboom.; int13 & int15 -> int16: the inion does not wan and does not splat redoubt.; sent22 & int16 -> int17: the Centre does wan.; int17 -> int18: there exists something such that it wans.; int18 & sent8 -> int19: the fact that the woodlouse is both not inoffensive and not non-time-release is false.; int19 -> int20: there exists something such that the fact that it is a kind of offensive thing that is time-release is false.; int20 & sent25 -> int21: the redoubt is not time-release.; int12 & int21 -> int22: that the redoubt is a kind of nonastringent thing that is a kind of a antimycin is incorrect.; int11 & int22 -> int23: the redoubt is not nonastringent.; int23 -> int24: there is something such that it is not nonastringent.; int24 & sent4 -> int25: the ayatollah is non-valuable thing that does not crucify.; int25 -> int26: the ayatollah does not crucify.; sent9 & int26 -> int27: that the toecap is a kind of a English but it is not an equator is false.; sent19 & int27 -> int28: the carrageen is not English.; int28 -> int29: there is something such that the fact that it is not a kind of a English is true.;
$hypothesis$ = the sulfonate is a kind of a Nigerian. ; $context$ = sent1: if the bouquet does crucify that the sulfonate is not an equator and it is not a valuable does not hold. sent2: if the sulfonate is astringent then it is not a antimycin and it is not time-release. sent3: the Hmong is Ecuadorian if it sprinkles. sent4: if there exists something such that that it is not nonastringent hold then the ayatollah is not a valuable and does not crucify. sent5: the sulfonate does wan and it is not non-Nigerian if that it is not offensive is true. sent6: that the bouquet does not splat redoubt but it is time-release does not hold. sent7: the bouquet is a English if the fact that it does not splat redoubt and it is English is not correct. sent8: the fact that the woodlouse is offensive and it is time-release is incorrect if there exists something such that it does wan. sent9: if the ayatollah does not crucify then the fact that the toecap is a English but it is not an equator is false. sent10: something that is English crucifies. sent11: something is not offensive if it is not a antimycin and is not time-release. sent12: if the Hmong is a Ecuadorian then the fact that the inion is a naboom hold. sent13: the Hmong is a sprinkle. sent14: if that something is a kind of nonastringent thing that is a antimycin is not correct it is not nonastringent. sent15: if that something is not a kind of an equator and it is not a valuable is false it is not nonastringent. sent16: if something is not time-release then that it is both nonastringent and a antimycin is not true. sent17: if something is not time-release and is not a Nigerian it is not a kind of a English. sent18: the Plectophera is a kind of an equator. sent19: if the fact that the toecap is a kind of English thing that is not an equator is not correct then the fact that the carrageen is not English is not incorrect. sent20: that the bouquet is not a English and it is not a Nigerian is not right if the sulfonate is nonastringent. sent21: that the bouquet does not splat redoubt and is not a English is false. sent22: the Centre does wan if the inion does not wan and it does not splat redoubt. sent23: the fact that the sulfonate crucifies hold. sent24: if something is a kind of a naboom then it does not wan and does not splat redoubt. sent25: the redoubt is not time-release if there exists something such that that it is not inoffensive and it is time-release does not hold. ; $proof$ = 
sent10 -> int1: if the bouquet is a English then it does crucify.; sent7 & sent21 -> int2: the bouquet is a English.; int1 & int2 -> int3: the fact that the bouquet does crucify is right.; int3 & sent1 -> int4: that the sulfonate is not an equator and it is not a valuable is wrong.; sent15 -> int5: that the sulfonate is not nonastringent is not false if the fact that it is both not an equator and not valuable is not true.; int4 & int5 -> int6: the sulfonate is not nonastringent.; int6 & sent2 -> int7: the sulfonate is not a kind of a antimycin and is not time-release.; sent11 -> int8: the sulfonate is not offensive if it is not a kind of a antimycin and it is not time-release.; int7 & int8 -> int9: the sulfonate is not offensive.; int9 & sent5 -> int10: the sulfonate wans and it is not non-Nigerian.; int10 -> hypothesis; __PROVED__