the fact that there exists something such that if it is a aphakic it is not nonretractile does not hold.
sent1: the Mass is not nonretractile if that it is aphakic hold. sent2: if the Mass is nonretractile it is not catkinate. sent3: the Mass is nonretractile if it is aphakic. sent4: there is something such that if it is aphakic it is nonretractile. sent5: if something is pro-choice then it is not medullary.
sent1 -> hypothesis;
if the chordamesoderm is pro-choice then it is not medullary.
sent5 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a aphakic it is not nonretractile does not hold. ; $context$ = sent1: the Mass is not nonretractile if that it is aphakic hold. sent2: if the Mass is nonretractile it is not catkinate. sent3: the Mass is nonretractile if it is aphakic. sent4: there is something such that if it is aphakic it is nonretractile. sent5: if something is pro-choice then it is not medullary. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__