there is something such that it is a kind of a Hereford and it is a Donatist.
sent1: if the Mayflower is not a doctor it either is Donatist or is a kanamycin or both. sent2: there is something such that it is a Hereford. sent3: if the damselfish is not a kanamycin and not a Hereford then it does facilitate. sent4: the asteroid is a kind of a Hereford. sent5: if something that facilitates is not superhuman then the fact that it is a kind of a Hereford hold. sent6: the Mayflower is not a kind of a doctor. sent7: if the gib is not nonpolitical then the damselfish does not facilitate and it is not superhuman. sent8: the Mayflower is superhuman. sent9: something is a Hereford if it does not facilitate and it is not superhuman. sent10: something does orb dragon and radios starches. sent11: the gib is not nonpolitical. sent12: the gib is not a Hereford. sent13: there exists something such that it is a Donatist. sent14: the fact that the gib is a doctor is not incorrect. sent15: if the Mayflower is not non-Donatist then the damselfish is a non-Donatist. sent16: if the damselfish does not facilitate and is superhuman it is a Hereford. sent17: if something that does not facilitate is superhuman then it is a kind of a Hereford. sent18: the damselfish is both not non-side and not non-arthralgic. sent19: the damselfish is a Hereford if it does facilitate and is not superhuman.
sent9 -> int1: the damselfish is a Hereford if it does not facilitate and is not superhuman.; sent7 & sent11 -> int2: the damselfish does not facilitate and is not superhuman.; int1 & int2 -> int3: the damselfish is a Hereford.; sent1 & sent6 -> int4: the Mayflower is a Donatist and/or it is a kind of a kanamycin.;
$hypothesis$ = there is something such that it is a kind of a Hereford and it is a Donatist. ; $context$ = sent1: if the Mayflower is not a doctor it either is Donatist or is a kanamycin or both. sent2: there is something such that it is a Hereford. sent3: if the damselfish is not a kanamycin and not a Hereford then it does facilitate. sent4: the asteroid is a kind of a Hereford. sent5: if something that facilitates is not superhuman then the fact that it is a kind of a Hereford hold. sent6: the Mayflower is not a kind of a doctor. sent7: if the gib is not nonpolitical then the damselfish does not facilitate and it is not superhuman. sent8: the Mayflower is superhuman. sent9: something is a Hereford if it does not facilitate and it is not superhuman. sent10: something does orb dragon and radios starches. sent11: the gib is not nonpolitical. sent12: the gib is not a Hereford. sent13: there exists something such that it is a Donatist. sent14: the fact that the gib is a doctor is not incorrect. sent15: if the Mayflower is not non-Donatist then the damselfish is a non-Donatist. sent16: if the damselfish does not facilitate and is superhuman it is a Hereford. sent17: if something that does not facilitate is superhuman then it is a kind of a Hereford. sent18: the damselfish is both not non-side and not non-arthralgic. sent19: the damselfish is a Hereford if it does facilitate and is not superhuman. ; $proof$ = 
sent9 -> int1: the damselfish is a Hereford if it does not facilitate and is not superhuman.; sent7 & sent11 -> int2: the damselfish does not facilitate and is not superhuman.; int1 & int2 -> int3: the damselfish is a Hereford.; sent1 & sent6 -> int4: the Mayflower is a Donatist and/or it is a kind of a kanamycin.; __UNKNOWN__