that if the oboist is a SL then the stitch is not a gillie is not true.
sent1: there exists something such that it is a kind of a involucre that does protest Montgomery. sent2: the harpsichord is a kind of a involucre. sent3: the bellows is a involucre. sent4: something is a kind of a gillie if it does not approve and/or it is a flunky. sent5: the stitch is a gillie. sent6: there exists something such that the fact that it is a SL is correct. sent7: the stitch is a SL that is a gillie. sent8: if something that protests Montgomery is a SL then the fact that the stitch is not a kind of a gillie is not wrong. sent9: there exists something such that it is a SL and it is a kind of a gillie. sent10: the stitch is a gillie if there exists something such that it does protest Montgomery and it is a SL. sent11: something is a gillie and it is a involucre. sent12: there exists something such that it protests Montgomery. sent13: if the oboist protests Montgomery and is not a involucre the wencher is not a SL. sent14: the oboist is bipolar and it is a Unionidae. sent15: the oboist is not a sext if something is vocational and a gillie. sent16: something does not approve and/or is a kind of a flunky if it is a IFC. sent17: the oboist is a involucre. sent18: the oboist is not a gillie. sent19: if the oboist is a kind of a SL then the stitch is a gillie. sent20: if something protests Montgomery and is a kind of a involucre the oboist is not a gillie. sent21: the oboist is not a kind of a gillie if the stitch is a kind of a SL. sent22: that the oboist does protest Montgomery is true if it is a involucre. sent23: if the stitch is a kind of a involucre the oboist is not a kind of a gillie.
sent22 & sent17 -> int1: the oboist protests Montgomery.; void -> assump1: Let's assume that the oboist is a kind of a SL.; int1 & assump1 -> int2: the oboist protests Montgomery and is a SL.; int2 -> int3: there exists something such that it protests Montgomery and it is a SL.; int3 & sent8 -> int4: that the stitch is not a gillie hold.; [assump1] & int4 -> hypothesis;
the wencher is not a kind of a SL.
sent4 -> int5: the stitch is a gillie if either it does not approve or it is a kind of a flunky or both.; sent16 -> int6: the stitch does not approve and/or is a flunky if it is a IFC.;
$hypothesis$ = that if the oboist is a SL then the stitch is not a gillie is not true. ; $context$ = sent1: there exists something such that it is a kind of a involucre that does protest Montgomery. sent2: the harpsichord is a kind of a involucre. sent3: the bellows is a involucre. sent4: something is a kind of a gillie if it does not approve and/or it is a flunky. sent5: the stitch is a gillie. sent6: there exists something such that the fact that it is a SL is correct. sent7: the stitch is a SL that is a gillie. sent8: if something that protests Montgomery is a SL then the fact that the stitch is not a kind of a gillie is not wrong. sent9: there exists something such that it is a SL and it is a kind of a gillie. sent10: the stitch is a gillie if there exists something such that it does protest Montgomery and it is a SL. sent11: something is a gillie and it is a involucre. sent12: there exists something such that it protests Montgomery. sent13: if the oboist protests Montgomery and is not a involucre the wencher is not a SL. sent14: the oboist is bipolar and it is a Unionidae. sent15: the oboist is not a sext if something is vocational and a gillie. sent16: something does not approve and/or is a kind of a flunky if it is a IFC. sent17: the oboist is a involucre. sent18: the oboist is not a gillie. sent19: if the oboist is a kind of a SL then the stitch is a gillie. sent20: if something protests Montgomery and is a kind of a involucre the oboist is not a gillie. sent21: the oboist is not a kind of a gillie if the stitch is a kind of a SL. sent22: that the oboist does protest Montgomery is true if it is a involucre. sent23: if the stitch is a kind of a involucre the oboist is not a kind of a gillie. ; $proof$ = 
sent22 & sent17 -> int1: the oboist protests Montgomery.; void -> assump1: Let's assume that the oboist is a kind of a SL.; int1 & assump1 -> int2: the oboist protests Montgomery and is a SL.; int2 -> int3: there exists something such that it protests Montgomery and it is a SL.; int3 & sent8 -> int4: that the stitch is not a gillie hold.; [assump1] & int4 -> hypothesis; __DISPROVED__