the glume is not a pancake.
sent1: there is something such that it is an abdominal and it does welt. sent2: the hisser is porphyritic. sent3: something admeasures hilt if it is equestrian. sent4: the pinion is equestrian. sent5: the beachhead is a kind of a chandler if the fact that it is not a confit and it is not a chandler is not right. sent6: the glume admeasures hilt. sent7: the pinion is porphyritic if the hilt is porphyritic. sent8: there exists something such that that it is exegetic is true. sent9: the glume is not a pancake if the hisser is a pancake. sent10: there exists something such that it is a kind of a confit. sent11: if there exists something such that it is a pancake and it admeasures hilt the glume is equestrian. sent12: that something is both not a confit and not a chandler is not true if it does admeasure hilt. sent13: if the pinion is not non-porphyritic then that the hisser is not exegetic and not a pancake is not correct. sent14: the hisser admeasures hilt if it is a subtotal. sent15: that the hilt is porphyritic is correct if the beachhead is a chandler. sent16: there exists something such that it is both porphyritic and exegetic. sent17: the mescaline is a chandler. sent18: if there is something such that it is a confit and it admeasures hilt then the glume is a kind of a pancake. sent19: the fact that the pinion is both not a chandler and a confit hold if the hisser is not a chandler. sent20: there is something such that it is porphyritic. sent21: if something is porphyritic and it is exegetic then the hisser is not a chandler. sent22: there is something such that the fact that it admeasures hilt is not false. sent23: if that something is non-exegetic thing that is not a kind of a pancake is incorrect then it is a kind of a pancake. sent24: if something is a chandler and it is a pancake the pinion is a confit.
sent16 & sent21 -> int1: the hisser is not a chandler.; int1 & sent19 -> int2: the fact that the pinion is not a chandler but it is a kind of a confit hold.; int2 -> int3: the pinion is a confit.; sent3 -> int4: if the pinion is not non-equestrian it does admeasure hilt.; int4 & sent4 -> int5: the pinion admeasures hilt.; int3 & int5 -> int6: the pinion is a confit that admeasures hilt.; int6 -> int7: there is something such that it is a kind of a confit that does admeasure hilt.; int7 & sent18 -> hypothesis;
the glume is not a pancake.
sent23 -> int8: if that that the hisser is not exegetic and is not a pancake does not hold hold then it is a pancake.; sent12 -> int9: if the beachhead does admeasure hilt then the fact that it is not a confit and is not a chandler is not correct.;
$hypothesis$ = the glume is not a pancake. ; $context$ = sent1: there is something such that it is an abdominal and it does welt. sent2: the hisser is porphyritic. sent3: something admeasures hilt if it is equestrian. sent4: the pinion is equestrian. sent5: the beachhead is a kind of a chandler if the fact that it is not a confit and it is not a chandler is not right. sent6: the glume admeasures hilt. sent7: the pinion is porphyritic if the hilt is porphyritic. sent8: there exists something such that that it is exegetic is true. sent9: the glume is not a pancake if the hisser is a pancake. sent10: there exists something such that it is a kind of a confit. sent11: if there exists something such that it is a pancake and it admeasures hilt the glume is equestrian. sent12: that something is both not a confit and not a chandler is not true if it does admeasure hilt. sent13: if the pinion is not non-porphyritic then that the hisser is not exegetic and not a pancake is not correct. sent14: the hisser admeasures hilt if it is a subtotal. sent15: that the hilt is porphyritic is correct if the beachhead is a chandler. sent16: there exists something such that it is both porphyritic and exegetic. sent17: the mescaline is a chandler. sent18: if there is something such that it is a confit and it admeasures hilt then the glume is a kind of a pancake. sent19: the fact that the pinion is both not a chandler and a confit hold if the hisser is not a chandler. sent20: there is something such that it is porphyritic. sent21: if something is porphyritic and it is exegetic then the hisser is not a chandler. sent22: there is something such that the fact that it admeasures hilt is not false. sent23: if that something is non-exegetic thing that is not a kind of a pancake is incorrect then it is a kind of a pancake. sent24: if something is a chandler and it is a pancake the pinion is a confit. ; $proof$ = 
sent16 & sent21 -> int1: the hisser is not a chandler.; int1 & sent19 -> int2: the fact that the pinion is not a chandler but it is a kind of a confit hold.; int2 -> int3: the pinion is a confit.; sent3 -> int4: if the pinion is not non-equestrian it does admeasure hilt.; int4 & sent4 -> int5: the pinion admeasures hilt.; int3 & int5 -> int6: the pinion is a confit that admeasures hilt.; int6 -> int7: there is something such that it is a kind of a confit that does admeasure hilt.; int7 & sent18 -> hypothesis; __DISPROVED__