the metoprolol is biotitic and it is biotypic.
sent1: if the metoprolol is insolvent then the fact that it is not biotypic and is not biotitic does not hold. sent2: something is not biotypic but it contemplates agelessness if it is insolvent. sent3: if the fact that something does contemplate agelessness and is not a virginal does not hold it is a kind of a virginal. sent4: the coney rotates if there exists something such that that it is not biotypic and it is not biotitic is not correct. sent5: if the metoprolol is not Aleutian then it is insolvent. sent6: the metoprolol is biotitic if there is something such that that either it weakens or it is not non-heavy-duty or both does not hold. sent7: the metoprolol weakens and it contemplates coney. sent8: if the pakchoi is not Aleutian it is insolvent and does prove. sent9: there is something such that that it either does weaken or is heavy-duty or both is not correct.
sent9 & sent6 -> int1: the metoprolol is biotitic.;
the fact that the metoprolol is biotitic and is biotypic is false.
sent2 -> int2: the pakchoi is non-biotypic but it contemplates agelessness if it is insolvent.;
$hypothesis$ = the metoprolol is biotitic and it is biotypic. ; $context$ = sent1: if the metoprolol is insolvent then the fact that it is not biotypic and is not biotitic does not hold. sent2: something is not biotypic but it contemplates agelessness if it is insolvent. sent3: if the fact that something does contemplate agelessness and is not a virginal does not hold it is a kind of a virginal. sent4: the coney rotates if there exists something such that that it is not biotypic and it is not biotitic is not correct. sent5: if the metoprolol is not Aleutian then it is insolvent. sent6: the metoprolol is biotitic if there is something such that that either it weakens or it is not non-heavy-duty or both does not hold. sent7: the metoprolol weakens and it contemplates coney. sent8: if the pakchoi is not Aleutian it is insolvent and does prove. sent9: there is something such that that it either does weaken or is heavy-duty or both is not correct. ; $proof$ = 
sent9 & sent6 -> int1: the metoprolol is biotitic.; __UNKNOWN__