the blackpoll is a legalism.
sent1: the blackpoll is insignificant. sent2: there is something such that it does purr. sent3: something is a legalism if it does purr. sent4: if there is something such that it is a purr the fact that the blackpoll is not a kind of a callus and it does not purr does not hold. sent5: if that something does not callus and it is not a purr does not hold then it is a legalism. sent6: the fact that the blackpoll does not dissimilate guayule and is not a kind of a billionth is false. sent7: if something does callus that the blackpoll does not dissimilate cabbageworm and is not a kind of a callus is not true. sent8: the fact that the blackpoll is not a kind of a legalism and is not a primality does not hold. sent9: if something is allotropic then it is a Uta and is not professorial. sent10: something that is not a Acular is a silver-lace and is not .38-caliber. sent11: there exists something such that it is a kind of a scrappiness. sent12: that the blackpoll is not a tessera and it is not a Watteau does not hold if the fact that something is a Watteau hold. sent13: the blackpoll is a legalism if it does purr. sent14: there is something such that the fact that it is not allotropic and it does not kick does not hold. sent15: the fact that the blackpoll is not a callus but it purrs is wrong. sent16: something is a kind of a gun if that it does not dissimilate coccus and it is not genial is not true. sent17: if there exists something such that the fact that it is not allotropic and is not a kick is not right the acanthion is allotropic. sent18: that the blackpoll is not a kind of a callus and is not a kind of a welcher is not correct. sent19: that the blackpoll does not callus and does not restore compliment is false. sent20: if something restores mastership that the blackpoll does not restore Hinayanism and it does not restores mastership is not correct. sent21: if there is something such that it is a purr that the blackpoll does not callus but it is a purr is not true.
sent5 -> int1: the blackpoll is a legalism if that it is not a callus and it is not a purr is not true.; sent2 & sent4 -> int2: the fact that the blackpoll is not a callus and not a purr is wrong.; int1 & int2 -> hypothesis;
that the blackpoll is not a legalism hold.
sent10 -> int3: the foam is a kind of a silver-lace but it is not .38-caliber if it is not a Acular.; sent9 -> int4: if the acanthion is allotropic then it is a Uta and it is not professorial.; sent14 & sent17 -> int5: the acanthion is allotropic.; int4 & int5 -> int6: the acanthion is a kind of a Uta but it is not professorial.; int6 -> int7: something is a kind of a Uta but it is not professorial.;
$hypothesis$ = the blackpoll is a legalism. ; $context$ = sent1: the blackpoll is insignificant. sent2: there is something such that it does purr. sent3: something is a legalism if it does purr. sent4: if there is something such that it is a purr the fact that the blackpoll is not a kind of a callus and it does not purr does not hold. sent5: if that something does not callus and it is not a purr does not hold then it is a legalism. sent6: the fact that the blackpoll does not dissimilate guayule and is not a kind of a billionth is false. sent7: if something does callus that the blackpoll does not dissimilate cabbageworm and is not a kind of a callus is not true. sent8: the fact that the blackpoll is not a kind of a legalism and is not a primality does not hold. sent9: if something is allotropic then it is a Uta and is not professorial. sent10: something that is not a Acular is a silver-lace and is not .38-caliber. sent11: there exists something such that it is a kind of a scrappiness. sent12: that the blackpoll is not a tessera and it is not a Watteau does not hold if the fact that something is a Watteau hold. sent13: the blackpoll is a legalism if it does purr. sent14: there is something such that the fact that it is not allotropic and it does not kick does not hold. sent15: the fact that the blackpoll is not a callus but it purrs is wrong. sent16: something is a kind of a gun if that it does not dissimilate coccus and it is not genial is not true. sent17: if there exists something such that the fact that it is not allotropic and is not a kick is not right the acanthion is allotropic. sent18: that the blackpoll is not a kind of a callus and is not a kind of a welcher is not correct. sent19: that the blackpoll does not callus and does not restore compliment is false. sent20: if something restores mastership that the blackpoll does not restore Hinayanism and it does not restores mastership is not correct. sent21: if there is something such that it is a purr that the blackpoll does not callus but it is a purr is not true. ; $proof$ = 
sent5 -> int1: the blackpoll is a legalism if that it is not a callus and it is not a purr is not true.; sent2 & sent4 -> int2: the fact that the blackpoll is not a callus and not a purr is wrong.; int1 & int2 -> hypothesis; __PROVED__