that something is unholy and it does surpass is wrong.
sent1: if something is a Acrostichum then it is unholy. sent2: if the bibliophile is not likely then that the eminence is an imported and it does surpass does not hold. sent3: the eminence imports. sent4: there is something such that it surpasses. sent5: the bibliophile does surpass if it either does surpass or does not radio wingback or both. sent6: the bibliophile is a Acrostichum if there is something such that it is an imported and it is likely. sent7: the fact that the bibliophile radios portfolio is not false. sent8: either the bibliophile surpasses or it does not radio wingback or both. sent9: the eminence is likely. sent10: the pup does not surpass if that the eminence is an imported that surpass is incorrect. sent11: the eminence either is anarchistic or does not bus or both. sent12: something is an imported. sent13: if the Nicaraguan is not unholy or is likely or both then the bibliophile is not likely.
sent3 & sent9 -> int1: the eminence imports and is likely.; int1 -> int2: something does import and it is likely.; int2 & sent6 -> int3: the bibliophile is a Acrostichum.; sent1 -> int4: if the bibliophile is a Acrostichum then the fact that it is unholy is true.; int3 & int4 -> int5: the bibliophile is unholy.; sent5 & sent8 -> int6: the bibliophile does surpass.; int5 & int6 -> int7: the bibliophile is unholy and it does surpass.; int7 -> hypothesis;
the pup is nonprofessional or it does not surpass or both.
$hypothesis$ = that something is unholy and it does surpass is wrong. ; $context$ = sent1: if something is a Acrostichum then it is unholy. sent2: if the bibliophile is not likely then that the eminence is an imported and it does surpass does not hold. sent3: the eminence imports. sent4: there is something such that it surpasses. sent5: the bibliophile does surpass if it either does surpass or does not radio wingback or both. sent6: the bibliophile is a Acrostichum if there is something such that it is an imported and it is likely. sent7: the fact that the bibliophile radios portfolio is not false. sent8: either the bibliophile surpasses or it does not radio wingback or both. sent9: the eminence is likely. sent10: the pup does not surpass if that the eminence is an imported that surpass is incorrect. sent11: the eminence either is anarchistic or does not bus or both. sent12: something is an imported. sent13: if the Nicaraguan is not unholy or is likely or both then the bibliophile is not likely. ; $proof$ = 
sent3 & sent9 -> int1: the eminence imports and is likely.; int1 -> int2: something does import and it is likely.; int2 & sent6 -> int3: the bibliophile is a Acrostichum.; sent1 -> int4: if the bibliophile is a Acrostichum then the fact that it is unholy is true.; int3 & int4 -> int5: the bibliophile is unholy.; sent5 & sent8 -> int6: the bibliophile does surpass.; int5 & int6 -> int7: the bibliophile is unholy and it does surpass.; int7 -> hypothesis; __DISPROVED__