the Tarheel is algorithmic.
sent1: the oculomotor is not algorithmic and does not gauge triamcinolone if something is a kind of a watercolorist. sent2: the oculomotor is a superbug. sent3: if something is leonine the oculomotor is not a kind of a play and it does not gauge triamcinolone. sent4: if the Tarheel is leonine that the motherwort does not gauge triamcinolone and it is not a kind of a fetus is incorrect. sent5: there exists something such that it is not a kind of a play. sent6: there is something such that it is not a kind of a Coccyzus and it does not overawe chincapin. sent7: the Tarheel is a watercolorist if there exists something such that it overawes tear and it is aeromechanics. sent8: the motherwort is not a superbug if something is not a kind of a play and does not gauge triamcinolone. sent9: if a superbug does not play then the fact that it is not leonine is not false. sent10: the motherwort does overawe tear and it does play if it is not aeromechanics. sent11: if something that is not a kind of a superbug is not leonine the motherwort is not a watercolorist. sent12: the lakeside is leonine. sent13: that the lakeside is not aeromechanics is not false. sent14: the oculomotor is not a kind of a play and it does not overawe tear. sent15: the lakeside does gauge triamcinolone. sent16: the lakeside is algorithmic. sent17: the Tarheel is aeromechanics. sent18: if something is hydrometric it is synesthetic. sent19: there exists something such that it does not tag sociable. sent20: the motherwort is algorithmic. sent21: something is not a kind of a linocut but it is a kind of a bragger. sent22: the servicing is algorithmic. sent23: if something is a kind of a watercolorist then it is algorithmic. sent24: the Tarheel does not gauge triamcinolone if there is something such that it is a watercolorist. sent25: the oculomotor is a play if it is algorithmic.
sent12 -> int1: there exists something such that it is leonine.; int1 & sent3 -> int2: the oculomotor does not play and it does not gauge triamcinolone.; int2 -> int3: something is not a kind of a play and does not gauge triamcinolone.; int3 & sent8 -> int4: the motherwort is not a superbug.; sent23 -> int5: if the Tarheel is a watercolorist it is algorithmic.;
the Tarheel is not algorithmic.
sent9 -> int6: if the oculomotor is both a superbug and not a play then it is not leonine.; sent14 -> int7: the oculomotor does not play.; sent2 & int7 -> int8: the oculomotor is a kind of a superbug but it does not play.; int6 & int8 -> int9: the oculomotor is not leonine.;
$hypothesis$ = the Tarheel is algorithmic. ; $context$ = sent1: the oculomotor is not algorithmic and does not gauge triamcinolone if something is a kind of a watercolorist. sent2: the oculomotor is a superbug. sent3: if something is leonine the oculomotor is not a kind of a play and it does not gauge triamcinolone. sent4: if the Tarheel is leonine that the motherwort does not gauge triamcinolone and it is not a kind of a fetus is incorrect. sent5: there exists something such that it is not a kind of a play. sent6: there is something such that it is not a kind of a Coccyzus and it does not overawe chincapin. sent7: the Tarheel is a watercolorist if there exists something such that it overawes tear and it is aeromechanics. sent8: the motherwort is not a superbug if something is not a kind of a play and does not gauge triamcinolone. sent9: if a superbug does not play then the fact that it is not leonine is not false. sent10: the motherwort does overawe tear and it does play if it is not aeromechanics. sent11: if something that is not a kind of a superbug is not leonine the motherwort is not a watercolorist. sent12: the lakeside is leonine. sent13: that the lakeside is not aeromechanics is not false. sent14: the oculomotor is not a kind of a play and it does not overawe tear. sent15: the lakeside does gauge triamcinolone. sent16: the lakeside is algorithmic. sent17: the Tarheel is aeromechanics. sent18: if something is hydrometric it is synesthetic. sent19: there exists something such that it does not tag sociable. sent20: the motherwort is algorithmic. sent21: something is not a kind of a linocut but it is a kind of a bragger. sent22: the servicing is algorithmic. sent23: if something is a kind of a watercolorist then it is algorithmic. sent24: the Tarheel does not gauge triamcinolone if there is something such that it is a watercolorist. sent25: the oculomotor is a play if it is algorithmic. ; $proof$ = 
sent12 -> int1: there exists something such that it is leonine.; int1 & sent3 -> int2: the oculomotor does not play and it does not gauge triamcinolone.; int2 -> int3: something is not a kind of a play and does not gauge triamcinolone.; int3 & sent8 -> int4: the motherwort is not a superbug.; sent23 -> int5: if the Tarheel is a watercolorist it is algorithmic.; __UNKNOWN__