the coney does not contemplate pika.
sent1: if something is cerebellar that it is immoral is not false. sent2: the salad is cerebellar if there is something such that that it is a iridectomy and it contemplates stair-rod is not right. sent3: if the fact that something is available or it is endemic or both is not correct it does not contemplate pika. sent4: if the salad is not moral that the coney is either available or endemic or both is not correct. sent5: something is a kind of a iridectomy and it contemplates stair-rod.
sent1 -> int1: the salad is not moral if it is cerebellar.; sent3 -> int2: if that the coney is either available or endemic or both is wrong it does not contemplate pika.;
$hypothesis$ = the coney does not contemplate pika. ; $context$ = sent1: if something is cerebellar that it is immoral is not false. sent2: the salad is cerebellar if there is something such that that it is a iridectomy and it contemplates stair-rod is not right. sent3: if the fact that something is available or it is endemic or both is not correct it does not contemplate pika. sent4: if the salad is not moral that the coney is either available or endemic or both is not correct. sent5: something is a kind of a iridectomy and it contemplates stair-rod. ; $proof$ = 
sent1 -> int1: the salad is not moral if it is cerebellar.; sent3 -> int2: if that the coney is either available or endemic or both is wrong it does not contemplate pika.; __UNKNOWN__