the introitus does not nettle rectum.
sent1: the umbrellawort nettles wardenship. sent2: the introitus does nettle wardenship. sent3: the introitus is a percale and disobeys Friedman. sent4: the umbrellawort does disobey metallurgy. sent5: the umbrellawort is not a indapamide. sent6: the obeche does nettle rectum. sent7: the introitus does not nettle rectum if there is something such that it is a videocassette that nettles wardenship. sent8: The wardenship nettles umbrellawort. sent9: the gastrolobium does disobey Viscum and parches denticle. sent10: something nettles rectum and it nettles wardenship. sent11: the umbrellawort nettles rectum and it capitulates. sent12: that something parches cyberculture is not false. sent13: if something is not cubital it does not nettle wardenship. sent14: there exists something such that it is unorthodox. sent15: that the umbrellawort is a videocassette hold. sent16: the mucilage does nettle wardenship and winters. sent17: that the reversioner is a videocassette is true. sent18: the umbrellawort nettles rectum. sent19: the introitus is a schnecken. sent20: the blackwash nettles wardenship. sent21: there is something such that it is colorimetric. sent22: the introitus is not a videocassette if something does nettle wardenship and it nettles rectum.
sent15 & sent1 -> int1: the umbrellawort is a videocassette and nettles wardenship.; int1 -> int2: something is a kind of a videocassette and nettles wardenship.; int2 & sent7 -> hypothesis;
the introitus does nettle rectum.
sent13 -> int3: if the toadstool is not cubital it does not nettle wardenship.;
$hypothesis$ = the introitus does not nettle rectum. ; $context$ = sent1: the umbrellawort nettles wardenship. sent2: the introitus does nettle wardenship. sent3: the introitus is a percale and disobeys Friedman. sent4: the umbrellawort does disobey metallurgy. sent5: the umbrellawort is not a indapamide. sent6: the obeche does nettle rectum. sent7: the introitus does not nettle rectum if there is something such that it is a videocassette that nettles wardenship. sent8: The wardenship nettles umbrellawort. sent9: the gastrolobium does disobey Viscum and parches denticle. sent10: something nettles rectum and it nettles wardenship. sent11: the umbrellawort nettles rectum and it capitulates. sent12: that something parches cyberculture is not false. sent13: if something is not cubital it does not nettle wardenship. sent14: there exists something such that it is unorthodox. sent15: that the umbrellawort is a videocassette hold. sent16: the mucilage does nettle wardenship and winters. sent17: that the reversioner is a videocassette is true. sent18: the umbrellawort nettles rectum. sent19: the introitus is a schnecken. sent20: the blackwash nettles wardenship. sent21: there is something such that it is colorimetric. sent22: the introitus is not a videocassette if something does nettle wardenship and it nettles rectum. ; $proof$ = 
sent15 & sent1 -> int1: the umbrellawort is a videocassette and nettles wardenship.; int1 -> int2: something is a kind of a videocassette and nettles wardenship.; int2 & sent7 -> hypothesis; __PROVED__