the autopsying occurs.
sent1: if the weaning reedbird does not occur and the comprehensiveness does not occur then the autopsy occurs. sent2: both the octalness and the weaning schnecken occurs. sent3: if the weaning schnecken does not occur that both the non-octalness and the autopsying occurs is not correct. sent4: the weaning reedbird does not occur if the titration occurs. sent5: the autopsy occurs if the weaning reedbird and the noncomprehensiveness occurs. sent6: if the titration happens the weaning reedbird does not occur and the comprehensiveness does not occur. sent7: the weaning reedbird does not occur. sent8: if the lysogenicness occurs the titration occurs. sent9: the octalness occurs.
sent2 -> int1: the weaning schnecken occurs.;
the autopsy does not occur.
$hypothesis$ = the autopsying occurs. ; $context$ = sent1: if the weaning reedbird does not occur and the comprehensiveness does not occur then the autopsy occurs. sent2: both the octalness and the weaning schnecken occurs. sent3: if the weaning schnecken does not occur that both the non-octalness and the autopsying occurs is not correct. sent4: the weaning reedbird does not occur if the titration occurs. sent5: the autopsy occurs if the weaning reedbird and the noncomprehensiveness occurs. sent6: if the titration happens the weaning reedbird does not occur and the comprehensiveness does not occur. sent7: the weaning reedbird does not occur. sent8: if the lysogenicness occurs the titration occurs. sent9: the octalness occurs. ; $proof$ = 
sent2 -> int1: the weaning schnecken occurs.; __UNKNOWN__