the tolazamide is a Yemeni.
sent1: there is something such that it does not hymn microbe and it is non-English. sent2: if there is something such that that it does not hymn microbe and is not a kind of a English is not correct the greybeard is a kind of a alligatorfish. sent3: the backbone is a kind of a redhorse. sent4: the tolazamide does not hymn microbe. sent5: if there is something such that it is a flattery and does not spurt then the tolazamide is Yemeni. sent6: that the fact that the reticule does not hymn microbe and is a English is false if that the backbone is a redhorse hold hold. sent7: there is something such that that it is not a redhorse and it is a English is not correct. sent8: there is something such that it does not spurt. sent9: if there exists something such that it is a kind of a English then the greybeard is a kind of a alligatorfish. sent10: if the greybeard is a kind of a NAD the Cotswolds is a flattery but it does not spurt. sent11: something is not a alligatorfish and/or it is not Yemeni if it is not a redhorse. sent12: that the reticule does not hymn microbe and is not a kind of a English is not right if that the backbone is a kind of a redhorse is not wrong. sent13: that the tolazamide does not spurt and it is not a flattery is not correct if the Cotswolds is Yemeni. sent14: something is a NAD if it is a kind of a alligatorfish.
sent12 & sent3 -> int1: the fact that the reticule does not hymn microbe and is not a English is not true.; int1 -> int2: there exists something such that the fact that it does not hymn microbe and is not a English is not true.; int2 & sent2 -> int3: the greybeard is a kind of a alligatorfish.; sent14 -> int4: if the greybeard is a alligatorfish it is a NAD.; int3 & int4 -> int5: the greybeard is a NAD.; int5 & sent10 -> int6: the Cotswolds is a kind of a flattery that does not spurt.; int6 -> int7: there is something such that it is a flattery and does not spurt.; int7 & sent5 -> hypothesis;
the tolazamide is not a Yemeni.
sent11 -> int8: the backbone is not a alligatorfish or it is not Yemeni or both if it is not a redhorse.;
$hypothesis$ = the tolazamide is a Yemeni. ; $context$ = sent1: there is something such that it does not hymn microbe and it is non-English. sent2: if there is something such that that it does not hymn microbe and is not a kind of a English is not correct the greybeard is a kind of a alligatorfish. sent3: the backbone is a kind of a redhorse. sent4: the tolazamide does not hymn microbe. sent5: if there is something such that it is a flattery and does not spurt then the tolazamide is Yemeni. sent6: that the fact that the reticule does not hymn microbe and is a English is false if that the backbone is a redhorse hold hold. sent7: there is something such that that it is not a redhorse and it is a English is not correct. sent8: there is something such that it does not spurt. sent9: if there exists something such that it is a kind of a English then the greybeard is a kind of a alligatorfish. sent10: if the greybeard is a kind of a NAD the Cotswolds is a flattery but it does not spurt. sent11: something is not a alligatorfish and/or it is not Yemeni if it is not a redhorse. sent12: that the reticule does not hymn microbe and is not a kind of a English is not right if that the backbone is a kind of a redhorse is not wrong. sent13: that the tolazamide does not spurt and it is not a flattery is not correct if the Cotswolds is Yemeni. sent14: something is a NAD if it is a kind of a alligatorfish. ; $proof$ = 
sent12 & sent3 -> int1: the fact that the reticule does not hymn microbe and is not a English is not true.; int1 -> int2: there exists something such that the fact that it does not hymn microbe and is not a English is not true.; int2 & sent2 -> int3: the greybeard is a kind of a alligatorfish.; sent14 -> int4: if the greybeard is a alligatorfish it is a NAD.; int3 & int4 -> int5: the greybeard is a NAD.; int5 & sent10 -> int6: the Cotswolds is a kind of a flattery that does not spurt.; int6 -> int7: there is something such that it is a flattery and does not spurt.; int7 & sent5 -> hypothesis; __PROVED__