there is something such that if that it does outgrow cistern and it is asymptotic does not hold then it does not outgrow double.
sent1: something does not toss invitation if it does not hone trachodon. sent2: there exists something such that if it is a FDA that is actinomorphic it is not libidinal. sent3: if something is not a cancroid it is not a ladder. sent4: something outgrows double if the fact that it outgrows cistern and it is asymptotic is false. sent5: there is something such that if it branches hyperope and is a refrain it is not entozoan.
$hypothesis$ = there is something such that if that it does outgrow cistern and it is asymptotic does not hold then it does not outgrow double. ; $context$ = sent1: something does not toss invitation if it does not hone trachodon. sent2: there exists something such that if it is a FDA that is actinomorphic it is not libidinal. sent3: if something is not a cancroid it is not a ladder. sent4: something outgrows double if the fact that it outgrows cistern and it is asymptotic is false. sent5: there is something such that if it branches hyperope and is a refrain it is not entozoan. ; $proof$ = 
__UNKNOWN__