if the wig does not enroll the berlin is not wheelless.
sent1: the berlin is not non-wheelless. sent2: the wig is both not a Russian and not a valuation. sent3: if the chrome is a carangid and it is wheelless then it is not indelicate. sent4: if the wig does not enroll the berlin is wheelless. sent5: if something is not a valuation and does enroll it is not a shunt. sent6: something is not a scrape if it is a kind of a lari and hazes androecium. sent7: if that the wig is not a shunt and it does not enroll is correct the berlin is not wheelless. sent8: if the berlin is a shunt the wig is not neuralgic. sent9: the berlin is neuralgic. sent10: the wig is wheelless if the berlin is a kind of non-Russian thing that does not enroll. sent11: if the fact that the androecium is a valuation hold the wig is not a Russian but neuralgic. sent12: something that is a kind of Russian thing that does enroll is not wheelless. sent13: the wig is not a Russian. sent14: the androecium is not a shunt. sent15: that if a non-Russian thing is neuralgic it is not a kind of a shunt is not false. sent16: the wig is not a shunt if it is a kind of a Russian that is neuralgic. sent17: if the wig is not a shunt and it does not enroll then the berlin is wheelless. sent18: if a valuation is neuralgic then the fact that it is not a shunt hold. sent19: the berlin is not a valuation but wheelless.
sent15 -> int1: the fact that the wig is not a kind of a shunt is right if it is not a kind of a Russian and is neuralgic.;
$hypothesis$ = if the wig does not enroll the berlin is not wheelless. ; $context$ = sent1: the berlin is not non-wheelless. sent2: the wig is both not a Russian and not a valuation. sent3: if the chrome is a carangid and it is wheelless then it is not indelicate. sent4: if the wig does not enroll the berlin is wheelless. sent5: if something is not a valuation and does enroll it is not a shunt. sent6: something is not a scrape if it is a kind of a lari and hazes androecium. sent7: if that the wig is not a shunt and it does not enroll is correct the berlin is not wheelless. sent8: if the berlin is a shunt the wig is not neuralgic. sent9: the berlin is neuralgic. sent10: the wig is wheelless if the berlin is a kind of non-Russian thing that does not enroll. sent11: if the fact that the androecium is a valuation hold the wig is not a Russian but neuralgic. sent12: something that is a kind of Russian thing that does enroll is not wheelless. sent13: the wig is not a Russian. sent14: the androecium is not a shunt. sent15: that if a non-Russian thing is neuralgic it is not a kind of a shunt is not false. sent16: the wig is not a shunt if it is a kind of a Russian that is neuralgic. sent17: if the wig is not a shunt and it does not enroll then the berlin is wheelless. sent18: if a valuation is neuralgic then the fact that it is not a shunt hold. sent19: the berlin is not a valuation but wheelless. ; $proof$ = 
sent15 -> int1: the fact that the wig is not a kind of a shunt is right if it is not a kind of a Russian and is neuralgic.; __UNKNOWN__