the Drambuie is a Passerina.
sent1: if that the courbaril is both a ECM and not achromatinic is wrong then the cowboy superscribes crotonbug. sent2: if the fact that the cowboy is achromatinic but it is not a Jansen is false then the crotonbug is not a ECM. sent3: something is a kind of a Passerina if it does raise. sent4: something is a valuable if that it is a raised is not false. sent5: if the courbaril does not superscribe crotonbug then that the cowboy is achromatinic thing that is not a Jansen is false. sent6: the courbaril is achromatinic. sent7: the courbaril does not superscribe crotonbug. sent8: that the cowboy is a cheese but it does not bear oriented is wrong. sent9: the fact that the kitul is a kind of a ECM but it is not a kind of a valuable is false if the crotonbug is not a kind of a ECM. sent10: the crotonbug is not a ECM if the cowboy is a Jansen. sent11: the fact that the courbaril does not superscribe crotonbug or it is not a ECM or both is wrong if the cowboy is valuable. sent12: the cowboy is not a valuable. sent13: if the kitul is valuable the fact that the Drambuie raises is not false. sent14: the fact that the kitul is a kind of a ECM and is a kind of a valuable is wrong. sent15: The crotonbug does not superscribe courbaril. sent16: if the crotonbug is not an angle then it is a kind of a Wordsworth or it is stoppable or both. sent17: if the courbaril does not superscribe crotonbug that the cowboy is achromatinic and is a Jansen does not hold. sent18: the Drambuie does raise if that the kitul is both a ECM and not valuable does not hold. sent19: the fact that the cowboy is a kind of achromatinic thing that is a Jansen is not right.
sent5 & sent7 -> int1: the fact that the cowboy is both achromatinic and not a Jansen does not hold.; int1 & sent2 -> int2: the crotonbug is not a ECM.; int2 & sent9 -> int3: the fact that the kitul is a ECM and is not valuable is false.; int3 & sent18 -> int4: the Drambuie is a kind of a raised.; sent3 -> int5: if the Drambuie raises it is a Passerina.; int4 & int5 -> hypothesis;
the Drambuie is not a kind of a Passerina.
sent4 -> int6: if the cowboy is a raised then it is a kind of a valuable.;
$hypothesis$ = the Drambuie is a Passerina. ; $context$ = sent1: if that the courbaril is both a ECM and not achromatinic is wrong then the cowboy superscribes crotonbug. sent2: if the fact that the cowboy is achromatinic but it is not a Jansen is false then the crotonbug is not a ECM. sent3: something is a kind of a Passerina if it does raise. sent4: something is a valuable if that it is a raised is not false. sent5: if the courbaril does not superscribe crotonbug then that the cowboy is achromatinic thing that is not a Jansen is false. sent6: the courbaril is achromatinic. sent7: the courbaril does not superscribe crotonbug. sent8: that the cowboy is a cheese but it does not bear oriented is wrong. sent9: the fact that the kitul is a kind of a ECM but it is not a kind of a valuable is false if the crotonbug is not a kind of a ECM. sent10: the crotonbug is not a ECM if the cowboy is a Jansen. sent11: the fact that the courbaril does not superscribe crotonbug or it is not a ECM or both is wrong if the cowboy is valuable. sent12: the cowboy is not a valuable. sent13: if the kitul is valuable the fact that the Drambuie raises is not false. sent14: the fact that the kitul is a kind of a ECM and is a kind of a valuable is wrong. sent15: The crotonbug does not superscribe courbaril. sent16: if the crotonbug is not an angle then it is a kind of a Wordsworth or it is stoppable or both. sent17: if the courbaril does not superscribe crotonbug that the cowboy is achromatinic and is a Jansen does not hold. sent18: the Drambuie does raise if that the kitul is both a ECM and not valuable does not hold. sent19: the fact that the cowboy is a kind of achromatinic thing that is a Jansen is not right. ; $proof$ = 
sent5 & sent7 -> int1: the fact that the cowboy is both achromatinic and not a Jansen does not hold.; int1 & sent2 -> int2: the crotonbug is not a ECM.; int2 & sent9 -> int3: the fact that the kitul is a ECM and is not valuable is false.; int3 & sent18 -> int4: the Drambuie is a kind of a raised.; sent3 -> int5: if the Drambuie raises it is a Passerina.; int4 & int5 -> hypothesis; __PROVED__