there is something such that if it is hiplength then it is a madnep.
sent1: something that is promissory convoys Passover. sent2: the demister is not a kind of a conveyance. sent3: the ctene is anapestic if it is not a knuckleball and is hiplength. sent4: a anapestic thing is a madnep. sent5: something that is a kind of an amiability and is a filibuster is not psychoactive. sent6: if the ctene does offer Prolog and convoys chiasmus that it is not diffident hold. sent7: if something is a adumbration and it is a front-runner then it is not a flag. sent8: the ctene is a sphinx if it is a exquisiteness. sent9: the zany unbends ctene but it is not a kind of a sphinx. sent10: the ctene does tease helleborine. sent11: the ctene is not a ribbonwood. sent12: something is a kind of a limerick. sent13: if a sphinx is not a conveyance then it is not a knuckleball.
sent13 -> int1: the ctene is not a knuckleball if it is a sphinx that is not a kind of a conveyance.; void -> assump1: Let's assume that the ctene is hiplength.; sent4 -> int2: the ctene is a madnep if it is anapestic.;
there is something such that if it is promissory it convoys Passover.
sent1 -> int3: if the ctene is promissory then it convoys Passover.; int3 -> hypothesis;
$hypothesis$ = there is something such that if it is hiplength then it is a madnep. ; $context$ = sent1: something that is promissory convoys Passover. sent2: the demister is not a kind of a conveyance. sent3: the ctene is anapestic if it is not a knuckleball and is hiplength. sent4: a anapestic thing is a madnep. sent5: something that is a kind of an amiability and is a filibuster is not psychoactive. sent6: if the ctene does offer Prolog and convoys chiasmus that it is not diffident hold. sent7: if something is a adumbration and it is a front-runner then it is not a flag. sent8: the ctene is a sphinx if it is a exquisiteness. sent9: the zany unbends ctene but it is not a kind of a sphinx. sent10: the ctene does tease helleborine. sent11: the ctene is not a ribbonwood. sent12: something is a kind of a limerick. sent13: if a sphinx is not a conveyance then it is not a knuckleball. ; $proof$ = 
sent13 -> int1: the ctene is not a knuckleball if it is a sphinx that is not a kind of a conveyance.; void -> assump1: Let's assume that the ctene is hiplength.; sent4 -> int2: the ctene is a madnep if it is anapestic.; __UNKNOWN__