the thermopile does ammoniate mesophyte.
sent1: the barbell is not Aeschylean. sent2: the fact that the gerenuk is unholy and it is a kind of a Doctor is incorrect. sent3: if that the gerenuk is not biotypic and does ammoniate polemic is not right the fact that the thermopile does not ammoniate mesophyte is not wrong. sent4: if the fact that the fact that something is not soleless but bivalent is true is not true then it does not ammoniate polemic. sent5: the fact that the gerenuk is unholy and is not a kind of a Doctor is not true. sent6: the fact that something is not biotypic and ammoniates polemic does not hold if it is not an esophagus. sent7: if something is a kind of an esophagus then it ammoniates mesophyte. sent8: if the gerenuk is a Doctor it is not Shuha. sent9: if that something is an esophagus is not wrong then the fact that it is Shuha and it does not ammoniate mesophyte is false. sent10: if the gerenuk is not non-biotypic the thermopile does not ammoniate mesophyte. sent11: a non-Shuha thing is not a kind of an esophagus. sent12: the fact that the gerenuk is biotypic and it does ammoniate polemic is not right if it is not an esophagus. sent13: the fact that something is non-soleless thing that is bivalent is not true if the fact that it is not Aeschylean hold. sent14: that the gerenuk is not Shuha hold if that it is unholy and it is not a kind of a Doctor is not right. sent15: that the gerenuk is a kind of biotypic thing that does ammoniate polemic is incorrect. sent16: the gerenuk does not ammoniate polemic if that the thermopile is not a Doctor but it does ammoniate mesophyte is incorrect. sent17: something is an esophagus if it is Shuha. sent18: that something is not a kind of an esophagus but it is biotypic is incorrect if that it does not ammoniate polemic is right.
sent14 & sent5 -> int1: that the gerenuk is not Shuha hold.; sent11 -> int2: if the gerenuk is not Shuha it is not an esophagus.; int1 & int2 -> int3: the gerenuk is not an esophagus.; sent6 -> int4: that the gerenuk is not biotypic and ammoniates polemic is false if it is not an esophagus.; int3 & int4 -> int5: the fact that the gerenuk is not biotypic and ammoniates polemic is not true.; int5 & sent3 -> hypothesis;
the thermopile does ammoniate mesophyte.
sent9 -> int6: that the gerenuk is Shuha but it does not ammoniate mesophyte does not hold if it is an esophagus.; sent18 -> int7: if the barbell does not ammoniate polemic then that it is not an esophagus and it is not non-biotypic is false.; sent4 -> int8: if the fact that the barbell is not soleless and not non-bivalent does not hold it does not ammoniate polemic.; sent13 -> int9: that the barbell is not soleless but it is bivalent is not true if the fact that it is not Aeschylean hold.; int9 & sent1 -> int10: that the barbell is not soleless and is bivalent is not correct.; int8 & int10 -> int11: the barbell does not ammoniate polemic.; int7 & int11 -> int12: that the barbell is both not an esophagus and biotypic is not true.; int12 -> int13: there exists something such that that it is not a kind of an esophagus and it is biotypic is false.;
$hypothesis$ = the thermopile does ammoniate mesophyte. ; $context$ = sent1: the barbell is not Aeschylean. sent2: the fact that the gerenuk is unholy and it is a kind of a Doctor is incorrect. sent3: if that the gerenuk is not biotypic and does ammoniate polemic is not right the fact that the thermopile does not ammoniate mesophyte is not wrong. sent4: if the fact that the fact that something is not soleless but bivalent is true is not true then it does not ammoniate polemic. sent5: the fact that the gerenuk is unholy and is not a kind of a Doctor is not true. sent6: the fact that something is not biotypic and ammoniates polemic does not hold if it is not an esophagus. sent7: if something is a kind of an esophagus then it ammoniates mesophyte. sent8: if the gerenuk is a Doctor it is not Shuha. sent9: if that something is an esophagus is not wrong then the fact that it is Shuha and it does not ammoniate mesophyte is false. sent10: if the gerenuk is not non-biotypic the thermopile does not ammoniate mesophyte. sent11: a non-Shuha thing is not a kind of an esophagus. sent12: the fact that the gerenuk is biotypic and it does ammoniate polemic is not right if it is not an esophagus. sent13: the fact that something is non-soleless thing that is bivalent is not true if the fact that it is not Aeschylean hold. sent14: that the gerenuk is not Shuha hold if that it is unholy and it is not a kind of a Doctor is not right. sent15: that the gerenuk is a kind of biotypic thing that does ammoniate polemic is incorrect. sent16: the gerenuk does not ammoniate polemic if that the thermopile is not a Doctor but it does ammoniate mesophyte is incorrect. sent17: something is an esophagus if it is Shuha. sent18: that something is not a kind of an esophagus but it is biotypic is incorrect if that it does not ammoniate polemic is right. ; $proof$ = 
sent14 & sent5 -> int1: that the gerenuk is not Shuha hold.; sent11 -> int2: if the gerenuk is not Shuha it is not an esophagus.; int1 & int2 -> int3: the gerenuk is not an esophagus.; sent6 -> int4: that the gerenuk is not biotypic and ammoniates polemic is false if it is not an esophagus.; int3 & int4 -> int5: the fact that the gerenuk is not biotypic and ammoniates polemic is not true.; int5 & sent3 -> hypothesis; __DISPROVED__