the relish does not dump Romulus and is unlawful.
sent1: if there exists something such that the fact that it is not retractile and it is not a Basel does not hold the crack is a kind of a Basel. sent2: if something does not greet sordidness the fact that it is not retractile and it is not a Basel does not hold. sent3: if something does skirl then the fact that that it does not dump Romulus and it is unlawful hold is not correct. sent4: the cemetery is expiatory and it is retractile. sent5: if the fact that the relish is a kind of non-mercurial thing that is not a kind of a Sudanese is not correct then it does not skirl. sent6: something that is not a kind of a skirl does not dump Romulus. sent7: if something is a Basel that it is not expiatory but choreographic is incorrect. sent8: the relish does not dump Romulus and is unlawful if it does not skirl. sent9: something does not dump Romulus if the fact that it is not lawful is true. sent10: that the relish is not mercurial but a Sudanese does not hold. sent11: if there is something such that the fact that it is not expiatory but choreographic does not hold the relish is not choreographic. sent12: if the relish is not choreographic then the aminomethane is unlawful and/or it does not skirl. sent13: the Taos is a Viscaceae and unionizes if it is not porphyritic. sent14: the cemetery does not greet sordidness if there exists something such that it is a Viscaceae and does unionize. sent15: that the relish is mercurial but it is not a Sudanese is wrong. sent16: the Taos is not porphyritic. sent17: the fact that the relish does not dump Romulus is correct if it is not a skirl.
the fact that the relish does not dump Romulus and is unlawful is false.
sent3 -> int1: if the relish skirls the fact that it does not dump Romulus and it is unlawful is not correct.; sent4 -> int2: the cemetery is expiatory.; int2 -> int3: there are expiatory things.;
$hypothesis$ = the relish does not dump Romulus and is unlawful. ; $context$ = sent1: if there exists something such that the fact that it is not retractile and it is not a Basel does not hold the crack is a kind of a Basel. sent2: if something does not greet sordidness the fact that it is not retractile and it is not a Basel does not hold. sent3: if something does skirl then the fact that that it does not dump Romulus and it is unlawful hold is not correct. sent4: the cemetery is expiatory and it is retractile. sent5: if the fact that the relish is a kind of non-mercurial thing that is not a kind of a Sudanese is not correct then it does not skirl. sent6: something that is not a kind of a skirl does not dump Romulus. sent7: if something is a Basel that it is not expiatory but choreographic is incorrect. sent8: the relish does not dump Romulus and is unlawful if it does not skirl. sent9: something does not dump Romulus if the fact that it is not lawful is true. sent10: that the relish is not mercurial but a Sudanese does not hold. sent11: if there is something such that the fact that it is not expiatory but choreographic does not hold the relish is not choreographic. sent12: if the relish is not choreographic then the aminomethane is unlawful and/or it does not skirl. sent13: the Taos is a Viscaceae and unionizes if it is not porphyritic. sent14: the cemetery does not greet sordidness if there exists something such that it is a Viscaceae and does unionize. sent15: that the relish is mercurial but it is not a Sudanese is wrong. sent16: the Taos is not porphyritic. sent17: the fact that the relish does not dump Romulus is correct if it is not a skirl. ; $proof$ = 
__UNKNOWN__