something is a Wiesbaden and/or it is a kind of a main-topsail.
sent1: if the strontium is not non-irreverent then the fact that the godwit is not a Colombian but non-zoonotic is incorrect. sent2: if the greaser is not operatic then the strontium is not pretentious. sent3: something does reset cygnet and it is irreverent if it is not pretentious. sent4: the trousseau stills Montpelier or is a Wiesbaden or both. sent5: if something is a Wiesbaden then the fact that the trousseau is not a Wiesbaden and is a kind of a main-topsail is not true. sent6: the bondsman does not letter multitudinousness. sent7: that the bondsman is not a crackle and not a davit is not correct if it does not letter multitudinousness. sent8: if something does not bond or does jostle or both it is a kind of a jostle. sent9: the trousseau is juicy. sent10: if there exists something such that that it is both not a crackle and not a davit is not right the greaser is not operatic. sent11: if that something is not a Wiesbaden and is a main-topsail is not correct it denatures. sent12: that the trousseau is not a kind of a Wiesbaden but it is a main-topsail is not true if that the shirtmaker is a jostle is true. sent13: if there is something such that it does not bond either the shirtmaker is not a bond or it does jostle or both. sent14: that the trousseau is a main-topsail is true. sent15: if the fact that something is not a Colombian and it is not zoonotic does not hold then it is not a kind of a bond. sent16: there exists something such that it is a conifer and/or it does reset cygnet. sent17: there is something such that that it is zoonotic a Colombian is not correct. sent18: the shirtmaker is not a bond if there is something such that the fact that it is both zoonotic and a Colombian is not correct. sent19: something resets decolletage if the fact that it is not a Wiesbaden and is a main-topsail does not hold.
sent14 -> int1: the trousseau is a Wiesbaden and/or a main-topsail.; int1 -> hypothesis;
the trousseau is not unnatural or it resets decolletage or both.
sent19 -> int2: if that the trousseau is not a Wiesbaden but it is a main-topsail is incorrect the fact that it does reset decolletage is not wrong.; sent17 & sent18 -> int3: the fact that the shirtmaker does not bond is correct.;
$hypothesis$ = something is a Wiesbaden and/or it is a kind of a main-topsail. ; $context$ = sent1: if the strontium is not non-irreverent then the fact that the godwit is not a Colombian but non-zoonotic is incorrect. sent2: if the greaser is not operatic then the strontium is not pretentious. sent3: something does reset cygnet and it is irreverent if it is not pretentious. sent4: the trousseau stills Montpelier or is a Wiesbaden or both. sent5: if something is a Wiesbaden then the fact that the trousseau is not a Wiesbaden and is a kind of a main-topsail is not true. sent6: the bondsman does not letter multitudinousness. sent7: that the bondsman is not a crackle and not a davit is not correct if it does not letter multitudinousness. sent8: if something does not bond or does jostle or both it is a kind of a jostle. sent9: the trousseau is juicy. sent10: if there exists something such that that it is both not a crackle and not a davit is not right the greaser is not operatic. sent11: if that something is not a Wiesbaden and is a main-topsail is not correct it denatures. sent12: that the trousseau is not a kind of a Wiesbaden but it is a main-topsail is not true if that the shirtmaker is a jostle is true. sent13: if there is something such that it does not bond either the shirtmaker is not a bond or it does jostle or both. sent14: that the trousseau is a main-topsail is true. sent15: if the fact that something is not a Colombian and it is not zoonotic does not hold then it is not a kind of a bond. sent16: there exists something such that it is a conifer and/or it does reset cygnet. sent17: there is something such that that it is zoonotic a Colombian is not correct. sent18: the shirtmaker is not a bond if there is something such that the fact that it is both zoonotic and a Colombian is not correct. sent19: something resets decolletage if the fact that it is not a Wiesbaden and is a main-topsail does not hold. ; $proof$ = 
sent14 -> int1: the trousseau is a Wiesbaden and/or a main-topsail.; int1 -> hypothesis; __PROVED__