there is something such that it does rummage paynim and it is not extensive.
sent1: there is something such that it is not extensive. sent2: if the BS is a kind of a Paranthropus the superoxide is a Strombus but it is not an ethnic. sent3: there is something such that it rummages paynim and it is extensive. sent4: there is something such that it does rummage paynim. sent5: the BS does rummage paynim but it is not extensive if the fact that the superoxide is a Paranthropus is not wrong. sent6: the BS is a Paranthropus. sent7: if something is not nosohusial that either it does slag eccentric or it does not reward cupid or both does not hold. sent8: the BS rummages paynim. sent9: if something does reward espadrille then it is a Paranthropus. sent10: if the superoxide is a kind of a Paranthropus then the BS does rummage paynim.
something is a Strombus that is not an ethnic.
sent9 -> int1: the BS is a Paranthropus if it does reward espadrille.; sent7 -> int2: if the paynim is not nosohusial then that it slags eccentric or does not reward cupid or both is false.;
$hypothesis$ = there is something such that it does rummage paynim and it is not extensive. ; $context$ = sent1: there is something such that it is not extensive. sent2: if the BS is a kind of a Paranthropus the superoxide is a Strombus but it is not an ethnic. sent3: there is something such that it rummages paynim and it is extensive. sent4: there is something such that it does rummage paynim. sent5: the BS does rummage paynim but it is not extensive if the fact that the superoxide is a Paranthropus is not wrong. sent6: the BS is a Paranthropus. sent7: if something is not nosohusial that either it does slag eccentric or it does not reward cupid or both does not hold. sent8: the BS rummages paynim. sent9: if something does reward espadrille then it is a Paranthropus. sent10: if the superoxide is a kind of a Paranthropus then the BS does rummage paynim. ; $proof$ = 
__UNKNOWN__