the nailbrush is practical and minor.
sent1: the drumstick is both interior and vehicular. sent2: the sun is minor. sent3: the sun is vehicular. sent4: if the fact that the sun is vehicular but it is not practical does not hold then it is practical. sent5: if that the sun is both vehicular and not minor is not right then it is minor. sent6: everything is not an adhesive. sent7: that the sun does budget is not false if the nailbrush is minor. sent8: that the megacolon is not impractical but it does not disoblige megacolon does not hold. sent9: the sun is a Picumnus and it is trabecular. sent10: that the nailbrush budgets and it is minor is wrong. sent11: the nailbrush is vehicular if the sun is not practical and not vehicular. sent12: the nailbrush is minor if that it is a kind of a budget and is not minor does not hold. sent13: if the sun is vehicular then the nailbrush is practical. sent14: if something does not budget but it is a kind of a BASIC it is not vehicular.
sent13 & sent3 -> int1: the fact that the nailbrush is practical is not incorrect.;
the fact that the nailbrush is vehicular hold.
$hypothesis$ = the nailbrush is practical and minor. ; $context$ = sent1: the drumstick is both interior and vehicular. sent2: the sun is minor. sent3: the sun is vehicular. sent4: if the fact that the sun is vehicular but it is not practical does not hold then it is practical. sent5: if that the sun is both vehicular and not minor is not right then it is minor. sent6: everything is not an adhesive. sent7: that the sun does budget is not false if the nailbrush is minor. sent8: that the megacolon is not impractical but it does not disoblige megacolon does not hold. sent9: the sun is a Picumnus and it is trabecular. sent10: that the nailbrush budgets and it is minor is wrong. sent11: the nailbrush is vehicular if the sun is not practical and not vehicular. sent12: the nailbrush is minor if that it is a kind of a budget and is not minor does not hold. sent13: if the sun is vehicular then the nailbrush is practical. sent14: if something does not budget but it is a kind of a BASIC it is not vehicular. ; $proof$ = 
sent13 & sent3 -> int1: the fact that the nailbrush is practical is not incorrect.; __UNKNOWN__