the macrame does efface macrame.
sent1: the macrame is a kind of a Nazification if that the entrant does catabolize hold. sent2: the matchboard is corneal. sent3: if something is a arccotangent then that it is a kind of a combo is not incorrect. sent4: the entrant is a kind of a combo if the pro-lifer is a combo. sent5: if there exists something such that the fact that it is non-percussive and it is a underboss does not hold then the macrame effaces macrame. sent6: that the amphotericin is not percussive but it is a underboss is not right if the matchboard is corneal. sent7: if the macrame is a kind of a Nazification the fact that the amphotericin is corneal is not false. sent8: the fact that the matchboard does not efface macrame and is backward is incorrect if that the amphotericin is corneal is not wrong. sent9: something that is a combo catabolizes. sent10: the indomethacin is a kind of a arccotangent if the fact that it is a disaccharide hold.
sent6 & sent2 -> int1: that that the amphotericin is both not percussive and a underboss is not false is wrong.; int1 -> int2: there is something such that the fact that it is not percussive and it is a kind of a underboss is not right.; int2 & sent5 -> hypothesis;
the fact that the matchboard does not efface macrame and is backward is not right.
sent9 -> int3: if the entrant is a combo then it does catabolize.; sent3 -> int4: the pro-lifer is a combo if it is a kind of a arccotangent.;
$hypothesis$ = the macrame does efface macrame. ; $context$ = sent1: the macrame is a kind of a Nazification if that the entrant does catabolize hold. sent2: the matchboard is corneal. sent3: if something is a arccotangent then that it is a kind of a combo is not incorrect. sent4: the entrant is a kind of a combo if the pro-lifer is a combo. sent5: if there exists something such that the fact that it is non-percussive and it is a underboss does not hold then the macrame effaces macrame. sent6: that the amphotericin is not percussive but it is a underboss is not right if the matchboard is corneal. sent7: if the macrame is a kind of a Nazification the fact that the amphotericin is corneal is not false. sent8: the fact that the matchboard does not efface macrame and is backward is incorrect if that the amphotericin is corneal is not wrong. sent9: something that is a combo catabolizes. sent10: the indomethacin is a kind of a arccotangent if the fact that it is a disaccharide hold. ; $proof$ = 
sent6 & sent2 -> int1: that that the amphotericin is both not percussive and a underboss is not false is wrong.; int1 -> int2: there is something such that the fact that it is not percussive and it is a kind of a underboss is not right.; int2 & sent5 -> hypothesis; __PROVED__