the rangpur condenses and it is adactylous.
sent1: the eoraptor spring-cleans biodiversity. sent2: the Lilliputian is a kind of a chokecherry and it is a kind of a vestry. sent3: the eoraptor does condense and is a Agene. sent4: that the rangpur is a Agene if the eoraptor does condense hold. sent5: the rangpur is a kind of joyless thing that removes caudex. sent6: the rangpur is a regur. sent7: the eoraptor is a Agene and it does condense. sent8: the Pharaoh does dance Korbut and it does identify. sent9: the eoraptor is joyless. sent10: something is a Agene if the fact that it is a kind of a chokecherry or it is not joyless or both is wrong. sent11: the eoraptor is a Agene. sent12: the eoraptor does condense. sent13: the eoraptor is a hilarity. sent14: the rangpur is adactylous if the eoraptor is a kind of a chokecherry. sent15: the rangpur is a Agene and it removes caudex. sent16: the eoraptor is adactylous. sent17: the eoraptor is a Sabine. sent18: the eoraptor is therapeutic. sent19: the rangpur removes caudex. sent20: that the rangpur is a kind of a Agene hold. sent21: the Lilliputian is a bubble and it is a chokecherry. sent22: the eoraptor is replaceable. sent23: if something is joyless it condenses.
sent23 -> int1: if the rangpur is joyless it condenses.; sent5 -> int2: the fact that the rangpur is joyless is right.; int1 & int2 -> int3: the rangpur condenses.;
the fact that the rangpur does condense and it is adactylous is not true.
sent10 -> int4: the eoraptor is a Agene if that either it is a chokecherry or it is not joyless or both does not hold.;
$hypothesis$ = the rangpur condenses and it is adactylous. ; $context$ = sent1: the eoraptor spring-cleans biodiversity. sent2: the Lilliputian is a kind of a chokecherry and it is a kind of a vestry. sent3: the eoraptor does condense and is a Agene. sent4: that the rangpur is a Agene if the eoraptor does condense hold. sent5: the rangpur is a kind of joyless thing that removes caudex. sent6: the rangpur is a regur. sent7: the eoraptor is a Agene and it does condense. sent8: the Pharaoh does dance Korbut and it does identify. sent9: the eoraptor is joyless. sent10: something is a Agene if the fact that it is a kind of a chokecherry or it is not joyless or both is wrong. sent11: the eoraptor is a Agene. sent12: the eoraptor does condense. sent13: the eoraptor is a hilarity. sent14: the rangpur is adactylous if the eoraptor is a kind of a chokecherry. sent15: the rangpur is a Agene and it removes caudex. sent16: the eoraptor is adactylous. sent17: the eoraptor is a Sabine. sent18: the eoraptor is therapeutic. sent19: the rangpur removes caudex. sent20: that the rangpur is a kind of a Agene hold. sent21: the Lilliputian is a bubble and it is a chokecherry. sent22: the eoraptor is replaceable. sent23: if something is joyless it condenses. ; $proof$ = 
sent23 -> int1: if the rangpur is joyless it condenses.; sent5 -> int2: the fact that the rangpur is joyless is right.; int1 & int2 -> int3: the rangpur condenses.; __UNKNOWN__