the asp does not deplore nursing.
sent1: the ace is a kind of non-biocatalytic thing that is Gauguinesque. sent2: the asp is not a kind of a going. sent3: if the ace is not biocatalytic but it is Gauguinesque it is short-order. sent4: if the asp is unmanly but it does not go then it does not deplore nursing. sent5: That the kroon does impair ace hold. sent6: the incurable is not a sunglass if the ace is short-order and it does impair kroon. sent7: the exurbia is both not non-Czech and non-going if the incurable is not a kind of a sunglass. sent8: the asp is unmanly and not a going if the exurbia is not a kind of a going.
sent3 & sent1 -> int1: the ace is short-order.;
$hypothesis$ = the asp does not deplore nursing. ; $context$ = sent1: the ace is a kind of non-biocatalytic thing that is Gauguinesque. sent2: the asp is not a kind of a going. sent3: if the ace is not biocatalytic but it is Gauguinesque it is short-order. sent4: if the asp is unmanly but it does not go then it does not deplore nursing. sent5: That the kroon does impair ace hold. sent6: the incurable is not a sunglass if the ace is short-order and it does impair kroon. sent7: the exurbia is both not non-Czech and non-going if the incurable is not a kind of a sunglass. sent8: the asp is unmanly and not a going if the exurbia is not a kind of a going. ; $proof$ = 
sent3 & sent1 -> int1: the ace is short-order.; __UNKNOWN__