the primus is hypophyseal if the berlin is a sari.
sent1: the berlin is not equitable if that that the colonnade does not unseal Kumasi and does not bankrupt gone is right is wrong. sent2: that the colonnade does not unseal Kumasi and it does not bankrupt gone is not true if the pyroxene bankrupt gone. sent3: the fact that the colonnade does unseal Kumasi but it does not bankrupt gone does not hold. sent4: that something does bankrupt gone and is equitable is not true if the fact that it does not unseal Kumasi is not false. sent5: the primus does not bankrupt gone and is hypophyseal if it does unseal Wolffia. sent6: something is a sari and equitable. sent7: if a sari is not equitable the primus is hypophyseal. sent8: the pyroxene is numerical. sent9: if the pyroxene unseals Wolffia then it is numerical. sent10: something is a sari. sent11: there is something such that it is not equitable. sent12: if the colonnade does unseal Kumasi the berlin is not equitable. sent13: if the pyroxene does bankrupt gone the fact that the colonnade unseals Kumasi but it does not bankrupt gone is not correct. sent14: something bankrupts gone if it does not unseal Kumasi and is a kind of a Coricidin. sent15: the pyroxene unseals Wolffia. sent16: the primus is equitable. sent17: The Wolffia unseals pyroxene. sent18: if something is not a Coricidin but numerical then it bankrupts gone.
sent18 -> int1: if the pyroxene is not a Coricidin and is numerical then it bankrupts gone.;
the cerumen is not numerical.
sent4 -> int2: the fact that the cerumen bankrupts gone and is equitable is not true if that it does not unseal Kumasi is right.;
$hypothesis$ = the primus is hypophyseal if the berlin is a sari. ; $context$ = sent1: the berlin is not equitable if that that the colonnade does not unseal Kumasi and does not bankrupt gone is right is wrong. sent2: that the colonnade does not unseal Kumasi and it does not bankrupt gone is not true if the pyroxene bankrupt gone. sent3: the fact that the colonnade does unseal Kumasi but it does not bankrupt gone does not hold. sent4: that something does bankrupt gone and is equitable is not true if the fact that it does not unseal Kumasi is not false. sent5: the primus does not bankrupt gone and is hypophyseal if it does unseal Wolffia. sent6: something is a sari and equitable. sent7: if a sari is not equitable the primus is hypophyseal. sent8: the pyroxene is numerical. sent9: if the pyroxene unseals Wolffia then it is numerical. sent10: something is a sari. sent11: there is something such that it is not equitable. sent12: if the colonnade does unseal Kumasi the berlin is not equitable. sent13: if the pyroxene does bankrupt gone the fact that the colonnade unseals Kumasi but it does not bankrupt gone is not correct. sent14: something bankrupts gone if it does not unseal Kumasi and is a kind of a Coricidin. sent15: the pyroxene unseals Wolffia. sent16: the primus is equitable. sent17: The Wolffia unseals pyroxene. sent18: if something is not a Coricidin but numerical then it bankrupts gone. ; $proof$ = 
sent18 -> int1: if the pyroxene is not a Coricidin and is numerical then it bankrupts gone.; __UNKNOWN__