the butanol is a tribute.
sent1: the butanol is not a tribute if the tapa is a kind of a Bangkok. sent2: that the drafter does not protest street but it is eusporangiate does not hold. sent3: something is a Bangkok if the fact that it is not a Bangkok and it is a kind of a portal is incorrect. sent4: if something is not a portal then that either it is a tribute or it is not a Bangkok or both does not hold.
sent2 -> int1: there exists something such that that it does not protest street and is eusporangiate does not hold.;
the butanol is not a tribute.
sent3 -> int2: the tapa is a kind of a Bangkok if the fact that it is not a Bangkok and it is a portal is not true.;
$hypothesis$ = the butanol is a tribute. ; $context$ = sent1: the butanol is not a tribute if the tapa is a kind of a Bangkok. sent2: that the drafter does not protest street but it is eusporangiate does not hold. sent3: something is a Bangkok if the fact that it is not a Bangkok and it is a kind of a portal is incorrect. sent4: if something is not a portal then that either it is a tribute or it is not a Bangkok or both does not hold. ; $proof$ = 
sent2 -> int1: there exists something such that that it does not protest street and is eusporangiate does not hold.; __UNKNOWN__