the fact that there exists something such that it is an internet and it is a Acrocephalus does not hold.
sent1: the petiole is a kind of an internet. sent2: if something is not uppercase it is a kind of a drum. sent3: the fission is a Eupatorium. sent4: if there is something such that it is uppercase then the petiole is a kind of an internet. sent5: the fact that the fission is an internet and uppercase is not correct. sent6: something is a Acrocephalus if it is a kind of a Manx. sent7: if the fission is a Eupatorium then it is Manx. sent8: something is botanic. sent9: if there exists something such that it is uppercase the petiole is a kind of an internet and is a Acrocephalus. sent10: there is something such that it is uppercase. sent11: something cozens novation and does vault. sent12: if there exists something such that the fact that it is unfamiliar is true then the petiole is a kind of an internet. sent13: there exists something such that the fact that it is an internet is correct. sent14: there exists something such that it is a Acrocephalus.
sent10 & sent9 -> int1: the petiole is a kind of an internet and is a kind of a Acrocephalus.; int1 -> hypothesis;
something is not non-pathological.
sent6 -> int2: the fission is a Acrocephalus if it is a kind of a Manx.; sent7 & sent3 -> int3: the fission is a Manx.; int2 & int3 -> int4: the fission is a Acrocephalus.;
$hypothesis$ = the fact that there exists something such that it is an internet and it is a Acrocephalus does not hold. ; $context$ = sent1: the petiole is a kind of an internet. sent2: if something is not uppercase it is a kind of a drum. sent3: the fission is a Eupatorium. sent4: if there is something such that it is uppercase then the petiole is a kind of an internet. sent5: the fact that the fission is an internet and uppercase is not correct. sent6: something is a Acrocephalus if it is a kind of a Manx. sent7: if the fission is a Eupatorium then it is Manx. sent8: something is botanic. sent9: if there exists something such that it is uppercase the petiole is a kind of an internet and is a Acrocephalus. sent10: there is something such that it is uppercase. sent11: something cozens novation and does vault. sent12: if there exists something such that the fact that it is unfamiliar is true then the petiole is a kind of an internet. sent13: there exists something such that the fact that it is an internet is correct. sent14: there exists something such that it is a Acrocephalus. ; $proof$ = 
sent10 & sent9 -> int1: the petiole is a kind of an internet and is a kind of a Acrocephalus.; int1 -> hypothesis; __DISPROVED__