something does work undergraduate and works Vireonidae.
sent1: the vestrywoman does regress. sent2: the abdicator is a tympanum or is a D-day or both. sent3: the cords regresses. sent4: there is something such that it does regress. sent5: if the fact that the cords regresses is not false that the vestrywoman is a kind of a ijtihad but it is not a booked is incorrect. sent6: if something is not a kind of a regress and works undergraduate it does book. sent7: if the abdicator is a tympanum the elephant-tusk is a D-day. sent8: the abdicator is a ijtihad. sent9: the cords is a tympanum. sent10: there is something such that it does work undergraduate. sent11: the elephant-tusk does work Vireonidae or does book or both. sent12: there is something such that it is a D-day and it is a tympanum. sent13: something does work Vireonidae. sent14: the elephant-tusk is a D-day if the abdicator is a D-day. sent15: that the elephant-tusk works undergraduate hold if the fact that the vestrywoman is a kind of a ijtihad but it does not book is not true. sent16: if the vestrywoman is not a ijtihad then the elephant-tusk does work undergraduate. sent17: there exists something such that it is a tympanum and it works undergraduate.
sent5 & sent3 -> int1: the fact that the vestrywoman is a ijtihad but it does not book is false.; int1 & sent15 -> int2: the elephant-tusk does work undergraduate.; sent2 & sent7 & sent14 -> int3: the elephant-tusk is a kind of a D-day.;
the transplant is a booked.
sent6 -> int4: if the transplant is not a regress but it does work undergraduate it books.;
$hypothesis$ = something does work undergraduate and works Vireonidae. ; $context$ = sent1: the vestrywoman does regress. sent2: the abdicator is a tympanum or is a D-day or both. sent3: the cords regresses. sent4: there is something such that it does regress. sent5: if the fact that the cords regresses is not false that the vestrywoman is a kind of a ijtihad but it is not a booked is incorrect. sent6: if something is not a kind of a regress and works undergraduate it does book. sent7: if the abdicator is a tympanum the elephant-tusk is a D-day. sent8: the abdicator is a ijtihad. sent9: the cords is a tympanum. sent10: there is something such that it does work undergraduate. sent11: the elephant-tusk does work Vireonidae or does book or both. sent12: there is something such that it is a D-day and it is a tympanum. sent13: something does work Vireonidae. sent14: the elephant-tusk is a D-day if the abdicator is a D-day. sent15: that the elephant-tusk works undergraduate hold if the fact that the vestrywoman is a kind of a ijtihad but it does not book is not true. sent16: if the vestrywoman is not a ijtihad then the elephant-tusk does work undergraduate. sent17: there exists something such that it is a tympanum and it works undergraduate. ; $proof$ = 
sent5 & sent3 -> int1: the fact that the vestrywoman is a ijtihad but it does not book is false.; int1 & sent15 -> int2: the elephant-tusk does work undergraduate.; sent2 & sent7 & sent14 -> int3: the elephant-tusk is a kind of a D-day.; __UNKNOWN__