the pneumococcus is a transamination.
sent1: that the golfer does not edge axil is not wrong if something does not edge axil and/or it does not blackmail socle. sent2: if the Ethiopian is not a kind of a transamination then the pneumococcus is not a waterside. sent3: there exists something such that it does not edge extremism. sent4: if the protozoan does not edge axil the auxin edges dangerousness and is a encomium. sent5: if something is not a kind of a sutler it is not a waterside and is not a kind of a transamination. sent6: the Ethiopian is not a waterside if something that is not a typography is not homeopathic. sent7: the Ethiopian is not a sutler if the fact that the pneumococcus is not a kind of a encomium and edges golfer is false. sent8: if something is a typography and not homeopathic the Ethiopian is not a kind of a waterside. sent9: there exists something such that it does not edge axil. sent10: there is something such that it is not a waterside and is not a transamination. sent11: there exists something such that it is both not a transamination and not a waterside. sent12: the pneumococcus is not a transamination if the Ethiopian is not a waterside. sent13: if the auxin is a kind of a encomium then the fact that the Ethiopian does not edge golfer is not wrong. sent14: if something is a waterside then it is a transamination. sent15: if something that is not a kind of a typography is not non-homeopathic then the Ethiopian is not a waterside. sent16: the protozoan does not edge axil if the golfer does not edge axil. sent17: that the Ethiopian is not a transamination is correct if the pneumococcus is not a waterside. sent18: there is something such that it is not a waterside. sent19: there exists something such that it is not a typography and not homeopathic. sent20: something does not edge axil and/or it does not blackmail socle. sent21: the fact that the protozoan does not edge dangerousness but it edges axil is wrong.
sent19 & sent6 -> int1: the Ethiopian is not a waterside.; int1 & sent12 -> hypothesis;
the pneumococcus is a kind of a transamination.
sent14 -> int2: the pneumococcus is a transamination if it is a waterside.; sent21 -> int3: there is something such that the fact that it does not edge dangerousness and it edges axil does not hold.;
$hypothesis$ = the pneumococcus is a transamination. ; $context$ = sent1: that the golfer does not edge axil is not wrong if something does not edge axil and/or it does not blackmail socle. sent2: if the Ethiopian is not a kind of a transamination then the pneumococcus is not a waterside. sent3: there exists something such that it does not edge extremism. sent4: if the protozoan does not edge axil the auxin edges dangerousness and is a encomium. sent5: if something is not a kind of a sutler it is not a waterside and is not a kind of a transamination. sent6: the Ethiopian is not a waterside if something that is not a typography is not homeopathic. sent7: the Ethiopian is not a sutler if the fact that the pneumococcus is not a kind of a encomium and edges golfer is false. sent8: if something is a typography and not homeopathic the Ethiopian is not a kind of a waterside. sent9: there exists something such that it does not edge axil. sent10: there is something such that it is not a waterside and is not a transamination. sent11: there exists something such that it is both not a transamination and not a waterside. sent12: the pneumococcus is not a transamination if the Ethiopian is not a waterside. sent13: if the auxin is a kind of a encomium then the fact that the Ethiopian does not edge golfer is not wrong. sent14: if something is a waterside then it is a transamination. sent15: if something that is not a kind of a typography is not non-homeopathic then the Ethiopian is not a waterside. sent16: the protozoan does not edge axil if the golfer does not edge axil. sent17: that the Ethiopian is not a transamination is correct if the pneumococcus is not a waterside. sent18: there is something such that it is not a waterside. sent19: there exists something such that it is not a typography and not homeopathic. sent20: something does not edge axil and/or it does not blackmail socle. sent21: the fact that the protozoan does not edge dangerousness but it edges axil is wrong. ; $proof$ = 
sent19 & sent6 -> int1: the Ethiopian is not a waterside.; int1 & sent12 -> hypothesis; __DISPROVED__