the thalidomide is not Babylonian.
sent1: the bluejacket is praetorian. sent2: if the fact that the chapel does not win and/or it unspells work-shirt does not hold then the cocker is praetorian. sent3: that the bluejacket is both not a relevance and not a regimen is not correct. sent4: there exists nothing such that it either is not a regimen or unspells work-shirt or both. sent5: that the bluejacket is a relevance but it does not win is incorrect. sent6: something does not win and it is not praetorian. sent7: there exists something such that that it does not despair fugacity and is caruncular is wrong. sent8: if that the cocker is praetorian but it is not a Babylonian is not right it is a regimen. sent9: there exists something such that the fact that it does not unspell work-shirt and is not a kind of a Babylonian does not hold. sent10: there is something such that that it is a hitchrack and it does not win is not right. sent11: the chapel is a planchet. sent12: the gate is not a kind of a hitchrack. sent13: the haircut does win if the fact that it is a chock hold. sent14: that the bluejacket is not a kind of a win and/or is a relevance is incorrect. sent15: there is something such that the fact that it is not a win and is Babylonian is not true. sent16: if the fact that the fact that the chapel is either a regimen or a chock or both does not hold is not wrong the haircut does unspell work-shirt. sent17: there is nothing that either is not a Togolese or is a hypoglossal or both. sent18: the thalidomide is not a Babylonian if there is something such that that it is both not a relevance and not an executive is not correct. sent19: if the cocker is a hitchrack then that the bluejacket is not a relevance and it is non-executive is wrong. sent20: there is something such that that it is not a win but a hitchrack is false. sent21: the chapel is a hitchrack. sent22: the haircut chocks if that either the chapel is not a kind of a regimen or it unspells work-shirt or both is incorrect. sent23: that the cocker is a hitchrack hold if the fact that it is praetorian and it does not win is false. sent24: the fact that the thalidomide is a hitchrack but it is not a Babylonian is wrong if the bluejacket is a kind of a relevance. sent25: the fact that the cocker is praetorian thing that is not a kind of a win is not true if the haircut is a win. sent26: if there is something such that it is Babylonian the thalidomide does not unspell work-shirt.
sent4 -> int1: that the chapel is not a regimen and/or it does unspell work-shirt is false.; int1 & sent22 -> int2: the haircut is a chock.; int2 & sent13 -> int3: the fact that the haircut is a win is not false.; int3 & sent25 -> int4: the fact that the cocker is both praetorian and not a win does not hold.; int4 & sent23 -> int5: the cocker is a kind of a hitchrack.; int5 & sent19 -> int6: that the bluejacket is both not a relevance and not executive is not correct.; int6 -> int7: there is something such that that it is not a kind of a relevance and it is not a kind of an executive is false.; int7 & sent18 -> hypothesis;
$hypothesis$ = the thalidomide is not Babylonian. ; $context$ = sent1: the bluejacket is praetorian. sent2: if the fact that the chapel does not win and/or it unspells work-shirt does not hold then the cocker is praetorian. sent3: that the bluejacket is both not a relevance and not a regimen is not correct. sent4: there exists nothing such that it either is not a regimen or unspells work-shirt or both. sent5: that the bluejacket is a relevance but it does not win is incorrect. sent6: something does not win and it is not praetorian. sent7: there exists something such that that it does not despair fugacity and is caruncular is wrong. sent8: if that the cocker is praetorian but it is not a Babylonian is not right it is a regimen. sent9: there exists something such that the fact that it does not unspell work-shirt and is not a kind of a Babylonian does not hold. sent10: there is something such that that it is a hitchrack and it does not win is not right. sent11: the chapel is a planchet. sent12: the gate is not a kind of a hitchrack. sent13: the haircut does win if the fact that it is a chock hold. sent14: that the bluejacket is not a kind of a win and/or is a relevance is incorrect. sent15: there is something such that the fact that it is not a win and is Babylonian is not true. sent16: if the fact that the fact that the chapel is either a regimen or a chock or both does not hold is not wrong the haircut does unspell work-shirt. sent17: there is nothing that either is not a Togolese or is a hypoglossal or both. sent18: the thalidomide is not a Babylonian if there is something such that that it is both not a relevance and not an executive is not correct. sent19: if the cocker is a hitchrack then that the bluejacket is not a relevance and it is non-executive is wrong. sent20: there is something such that that it is not a win but a hitchrack is false. sent21: the chapel is a hitchrack. sent22: the haircut chocks if that either the chapel is not a kind of a regimen or it unspells work-shirt or both is incorrect. sent23: that the cocker is a hitchrack hold if the fact that it is praetorian and it does not win is false. sent24: the fact that the thalidomide is a hitchrack but it is not a Babylonian is wrong if the bluejacket is a kind of a relevance. sent25: the fact that the cocker is praetorian thing that is not a kind of a win is not true if the haircut is a win. sent26: if there is something such that it is Babylonian the thalidomide does not unspell work-shirt. ; $proof$ = 
sent4 -> int1: that the chapel is not a regimen and/or it does unspell work-shirt is false.; int1 & sent22 -> int2: the haircut is a chock.; int2 & sent13 -> int3: the fact that the haircut is a win is not false.; int3 & sent25 -> int4: the fact that the cocker is both praetorian and not a win does not hold.; int4 & sent23 -> int5: the cocker is a kind of a hitchrack.; int5 & sent19 -> int6: that the bluejacket is both not a relevance and not executive is not correct.; int6 -> int7: there is something such that that it is not a kind of a relevance and it is not a kind of an executive is false.; int7 & sent18 -> hypothesis; __PROVED__