the match is a pet.
sent1: there is nothing such that it is a kind of inoffensive thing that galls Maoist. sent2: there exists something such that that it is a kind of non-conclusive a bulwark is not right. sent3: if there exists something such that the fact that it is a regimentation and it is a kind of a proscenium is not true the hitchhiker is a pet. sent4: the match does pet if the hitchhiker is a proscenium. sent5: that the arcus is inoffensive and does gall Maoist is not correct. sent6: there exists nothing that is non-inoffensive thing that galls Maoist. sent7: the hitchhiker is a proscenium if there is something such that it is inoffensive. sent8: something is not categoric and it does not destain buttock if the fact that it is not a kind of a Thai is right. sent9: everything does muff weathercock. sent10: if something does muff weathercock it is not Thai and/or it is colorimetric. sent11: the hitchhiker is a kind of a proscenium if there exists something such that the fact that it is not inoffensive and it does gall Maoist is incorrect. sent12: if there is something such that it is not Thai or not non-colorimetric or both the warner is Thai. sent13: if the warner does not destain buttock that the weathercock is a regimentation and it is a proscenium is incorrect. sent14: there exists something such that the fact that the fact that it is inoffensive and galls Maoist is not wrong is not right.
sent6 -> int1: the fact that the arcus is offensive thing that galls Maoist is not correct.; int1 -> int2: there exists something such that that it is not inoffensive and does gall Maoist is false.; int2 & sent11 -> int3: the hitchhiker is a proscenium.; sent4 & int3 -> hypothesis;
the match is not a pet.
sent9 -> int4: the celecoxib does muff weathercock.; sent10 -> int5: the celecoxib is not a Thai and/or it is colorimetric if it muffs weathercock.; int4 & int5 -> int6: the celecoxib is not a Thai and/or it is colorimetric.; int6 -> int7: everything is not a Thai and/or it is colorimetric.; int7 -> int8: either the caimito is not Thai or it is colorimetric or both.; int8 -> int9: there is something such that it is not a Thai or it is colorimetric or both.; int9 & sent12 -> int10: the warner is non-Thai.; sent8 -> int11: the warner is non-categoric thing that does not destain buttock if it is not Thai.; int10 & int11 -> int12: the warner is non-categoric thing that does not destain buttock.; int12 -> int13: the warner does not destain buttock.; sent13 & int13 -> int14: that the weathercock is a regimentation and is a kind of a proscenium is not true.; int14 -> int15: there exists something such that that it is both a regimentation and a proscenium is wrong.; int15 & sent3 -> int16: the hitchhiker is a kind of a pet.;
$hypothesis$ = the match is a pet. ; $context$ = sent1: there is nothing such that it is a kind of inoffensive thing that galls Maoist. sent2: there exists something such that that it is a kind of non-conclusive a bulwark is not right. sent3: if there exists something such that the fact that it is a regimentation and it is a kind of a proscenium is not true the hitchhiker is a pet. sent4: the match does pet if the hitchhiker is a proscenium. sent5: that the arcus is inoffensive and does gall Maoist is not correct. sent6: there exists nothing that is non-inoffensive thing that galls Maoist. sent7: the hitchhiker is a proscenium if there is something such that it is inoffensive. sent8: something is not categoric and it does not destain buttock if the fact that it is not a kind of a Thai is right. sent9: everything does muff weathercock. sent10: if something does muff weathercock it is not Thai and/or it is colorimetric. sent11: the hitchhiker is a kind of a proscenium if there exists something such that the fact that it is not inoffensive and it does gall Maoist is incorrect. sent12: if there is something such that it is not Thai or not non-colorimetric or both the warner is Thai. sent13: if the warner does not destain buttock that the weathercock is a regimentation and it is a proscenium is incorrect. sent14: there exists something such that the fact that the fact that it is inoffensive and galls Maoist is not wrong is not right. ; $proof$ = 
sent6 -> int1: the fact that the arcus is offensive thing that galls Maoist is not correct.; int1 -> int2: there exists something such that that it is not inoffensive and does gall Maoist is false.; int2 & sent11 -> int3: the hitchhiker is a proscenium.; sent4 & int3 -> hypothesis; __PROVED__