the Capitol is a Keller.
sent1: the Papuan equates if there is something such that the fact that it does not hatch Duma and it does not sidle haunch is not correct. sent2: if the fact that the Papuan is not a Keller is correct the fact that it is both a belt and not a toed does not hold. sent3: the fact that something does not equate and it is not a follow-through is false if that it is non-cytophotometric hold. sent4: if something that is a belt is a toed then it is not cytophotometric. sent5: there exists something such that that it is cytophotometric and it is not a belt is incorrect. sent6: that the goulash does not hatch Duma and sidles haunch does not hold. sent7: if the Capitol does equate then that the Papuan is a Keller but it does not sidle haunch is not right. sent8: the Papuan is not a Keller if that the Crane is a kind of a simplification but it is not a Keller does not hold. sent9: that the goulash does not hatch Duma and it does not sidle haunch is incorrect. sent10: the fact that the Crane is cytophotometric thing that is not a belt is not right. sent11: the goulash is a toed if there exists something such that it does hatch Duma. sent12: the fact that the Crane is not cytophotometric and is not a belt is not true if the Papuan equates. sent13: that the Capitol is a Keller if the emanation does toe is right. sent14: if something is not a urease that it is a simplification and it is not a Keller is not correct. sent15: the emanation toes if there exists something such that that it is not cytophotometric and it is not a kind of a belt does not hold. sent16: something is not cytophotometric if the fact that it is a belt and not a toed is wrong.
sent9 -> int1: there is something such that the fact that it does not hatch Duma and it does not sidle haunch is not true.; int1 & sent1 -> int2: the Papuan does equate.; int2 & sent12 -> int3: the fact that the Crane is not cytophotometric and not a belt is wrong.; int3 -> int4: there exists something such that the fact that it is not cytophotometric and it does not belt is not right.; int4 & sent15 -> int5: the emanation does toe.; int5 & sent13 -> hypothesis;
the brimstone is a follow-through.
sent3 -> int6: the fact that the Papuan does not equate and is not a follow-through does not hold if it is not cytophotometric.; sent16 -> int7: if the fact that the Papuan is a belt but not a toed is not correct then it is not cytophotometric.; sent14 -> int8: if the Crane is not a urease then that it is a simplification and is not a Keller is false.;
$hypothesis$ = the Capitol is a Keller. ; $context$ = sent1: the Papuan equates if there is something such that the fact that it does not hatch Duma and it does not sidle haunch is not correct. sent2: if the fact that the Papuan is not a Keller is correct the fact that it is both a belt and not a toed does not hold. sent3: the fact that something does not equate and it is not a follow-through is false if that it is non-cytophotometric hold. sent4: if something that is a belt is a toed then it is not cytophotometric. sent5: there exists something such that that it is cytophotometric and it is not a belt is incorrect. sent6: that the goulash does not hatch Duma and sidles haunch does not hold. sent7: if the Capitol does equate then that the Papuan is a Keller but it does not sidle haunch is not right. sent8: the Papuan is not a Keller if that the Crane is a kind of a simplification but it is not a Keller does not hold. sent9: that the goulash does not hatch Duma and it does not sidle haunch is incorrect. sent10: the fact that the Crane is cytophotometric thing that is not a belt is not right. sent11: the goulash is a toed if there exists something such that it does hatch Duma. sent12: the fact that the Crane is not cytophotometric and is not a belt is not true if the Papuan equates. sent13: that the Capitol is a Keller if the emanation does toe is right. sent14: if something is not a urease that it is a simplification and it is not a Keller is not correct. sent15: the emanation toes if there exists something such that that it is not cytophotometric and it is not a kind of a belt does not hold. sent16: something is not cytophotometric if the fact that it is a belt and not a toed is wrong. ; $proof$ = 
sent9 -> int1: there is something such that the fact that it does not hatch Duma and it does not sidle haunch is not true.; int1 & sent1 -> int2: the Papuan does equate.; int2 & sent12 -> int3: the fact that the Crane is not cytophotometric and not a belt is wrong.; int3 -> int4: there exists something such that the fact that it is not cytophotometric and it does not belt is not right.; int4 & sent15 -> int5: the emanation does toe.; int5 & sent13 -> hypothesis; __PROVED__