the longbow is a Uropsilus.
sent1: the quill is not monochromatic. sent2: the quill does not compile if the bregma compile. sent3: if the bregma is a kind of a pivot that is not a mumbling the greenhood compiles. sent4: the longbow is a Uropsilus if the quill does not compile and it is non-monochromatic. sent5: that the bregma does jackknife but it is not a kind of a Uropsilus does not hold. sent6: the bregma does not pivot. sent7: if the fact that there is something such that that it does jackknife and it is not a Uropsilus is not right is right the reuptake is not a jackknife. sent8: the longbow is a Uropsilus if the quill does not compile but it is monochromatic. sent9: if the greenhood does compile then the quill is not monochromatic. sent10: the bregma is not a pivot and not a mumbling. sent11: if the quill is monochromatic then the greenhood is not monochromatic. sent12: if the longbow is a Uropsilus then the quill is not a Uropsilus and is not monochromatic. sent13: if the bregma is not a pivot and does not mumble then the greenhood compiles. sent14: something is not a kind of a Uropsilus if it is monochromatic. sent15: if the greenhood does compile then the quill does not compile and it is not monochromatic.
sent13 & sent10 -> int1: the greenhood does compile.; sent15 & int1 -> int2: the quill does not compile and is not monochromatic.; sent4 & int2 -> hypothesis;
the longbow is not a kind of a Uropsilus.
sent14 -> int3: the longbow is not a Uropsilus if it is monochromatic.;
$hypothesis$ = the longbow is a Uropsilus. ; $context$ = sent1: the quill is not monochromatic. sent2: the quill does not compile if the bregma compile. sent3: if the bregma is a kind of a pivot that is not a mumbling the greenhood compiles. sent4: the longbow is a Uropsilus if the quill does not compile and it is non-monochromatic. sent5: that the bregma does jackknife but it is not a kind of a Uropsilus does not hold. sent6: the bregma does not pivot. sent7: if the fact that there is something such that that it does jackknife and it is not a Uropsilus is not right is right the reuptake is not a jackknife. sent8: the longbow is a Uropsilus if the quill does not compile but it is monochromatic. sent9: if the greenhood does compile then the quill is not monochromatic. sent10: the bregma is not a pivot and not a mumbling. sent11: if the quill is monochromatic then the greenhood is not monochromatic. sent12: if the longbow is a Uropsilus then the quill is not a Uropsilus and is not monochromatic. sent13: if the bregma is not a pivot and does not mumble then the greenhood compiles. sent14: something is not a kind of a Uropsilus if it is monochromatic. sent15: if the greenhood does compile then the quill does not compile and it is not monochromatic. ; $proof$ = 
sent13 & sent10 -> int1: the greenhood does compile.; sent15 & int1 -> int2: the quill does not compile and is not monochromatic.; sent4 & int2 -> hypothesis; __PROVED__