the activity does not outstare Shudra.
sent1: there exists something such that it is a kind of a rusher that outstares gadoid. sent2: if the pelisse is a piccolo then the activity does not restrain working and outstares gunlock. sent3: if the cofactor is irreducible then the activity does not outstare Shudra. sent4: if the activity is a seashore then the working does not outstare Shudra. sent5: if the working does restrain working the pelisse is not a piccolo. sent6: the activity does outstare Shudra if the cofactor does not outstare usance. sent7: if the activity outstares gunlock either the pelisse outstares usance or it does not outstare Shudra or both. sent8: the stonefish is a piccolo and/or does not restrain serf. sent9: the activity restrains working. sent10: there is something such that the fact that it outstares Shudra hold. sent11: if something that does restrain working does outstare gunlock that the working is a piccolo hold. sent12: if the cofactor does not outstare usance the activity does not outstare Shudra. sent13: if the pelisse does not outstare usance then it is a piccolo and it is a kind of a seashore. sent14: The working restrains pelisse. sent15: if something is a piccolo then it is a seashore. sent16: The gunlock outstares pelisse. sent17: the cofactor is irreducible and/or it does not outstare usance if the working is a kind of a seashore. sent18: the activity does surmise graphology and is a kind of a crapshooter. sent19: the cofactor is a seashore. sent20: the pelisse restrains working. sent21: if something does not restrain working and does outstare gunlock it outstares Shudra. sent22: that the working is irreducible is right. sent23: if the working is a kind of a rationality that does not outstare usance then the pelisse does not outstare usance. sent24: if the fact that something outstares usance but it is not a seashore is incorrect it does restrain working. sent25: something is stubborn. sent26: the pelisse does not outstare usance if the cofactor does not restrain working. sent27: the cofactor is a piccolo.
sent15 -> int1: if the working is a piccolo it is a seashore.;
the activity does outstare Shudra.
sent21 -> int2: the activity does outstare Shudra if it does not restrain working and does outstare gunlock.;
$hypothesis$ = the activity does not outstare Shudra. ; $context$ = sent1: there exists something such that it is a kind of a rusher that outstares gadoid. sent2: if the pelisse is a piccolo then the activity does not restrain working and outstares gunlock. sent3: if the cofactor is irreducible then the activity does not outstare Shudra. sent4: if the activity is a seashore then the working does not outstare Shudra. sent5: if the working does restrain working the pelisse is not a piccolo. sent6: the activity does outstare Shudra if the cofactor does not outstare usance. sent7: if the activity outstares gunlock either the pelisse outstares usance or it does not outstare Shudra or both. sent8: the stonefish is a piccolo and/or does not restrain serf. sent9: the activity restrains working. sent10: there is something such that the fact that it outstares Shudra hold. sent11: if something that does restrain working does outstare gunlock that the working is a piccolo hold. sent12: if the cofactor does not outstare usance the activity does not outstare Shudra. sent13: if the pelisse does not outstare usance then it is a piccolo and it is a kind of a seashore. sent14: The working restrains pelisse. sent15: if something is a piccolo then it is a seashore. sent16: The gunlock outstares pelisse. sent17: the cofactor is irreducible and/or it does not outstare usance if the working is a kind of a seashore. sent18: the activity does surmise graphology and is a kind of a crapshooter. sent19: the cofactor is a seashore. sent20: the pelisse restrains working. sent21: if something does not restrain working and does outstare gunlock it outstares Shudra. sent22: that the working is irreducible is right. sent23: if the working is a kind of a rationality that does not outstare usance then the pelisse does not outstare usance. sent24: if the fact that something outstares usance but it is not a seashore is incorrect it does restrain working. sent25: something is stubborn. sent26: the pelisse does not outstare usance if the cofactor does not restrain working. sent27: the cofactor is a piccolo. ; $proof$ = 
sent15 -> int1: if the working is a piccolo it is a seashore.; __UNKNOWN__