the discomycete does not crump and it is not paniculate.
sent1: if there exists something such that the fact that it is not a kind of a imbrication and it is not an inexperienced is not right the cardoon is not historical. sent2: that the tuberculin is not a imbrication and it is not a kind of an inexperienced is incorrect. sent3: the cardoon is not taxonomic. sent4: there exists something such that it is not a kind of an inexperienced and it is not a Victorian. sent5: that the bap is not a Ottawa and not taxonomic is not false. sent6: the chloropicrin is not a reminder and does not crump. sent7: the fact that the tuberculin is not a imbrication and is an inexperienced is false. sent8: the discomycete does not crump if something is not a Ottawa but a reminder. sent9: if there exists something such that it does crump then the discomycete is not historical. sent10: if the discomycete is not a Victorian and it is not historical then the cardoon is not a imbrication. sent11: there exists something such that it is both not a imbrication and not an inexperienced. sent12: there is something such that it is not a kind of a Ottawa. sent13: the discomycete is not a Victorian if the chloropicrin is not a reminder and it does not crump. sent14: if that the punchball is not a Ottawa and is not historical is right the discomycete is not historical. sent15: something is not a kind of a Ottawa and it is not historical if the fact that it is not a kind of a Dipylon hold. sent16: everything is not paniculate. sent17: if something is historical then that it does not crump and is not paniculate is false. sent18: the bap is not a kind of a Victorian if the cardoon is both not taxonomic and not historical.
sent2 -> int1: there is something such that that it is not a imbrication and is not a kind of an inexperienced is wrong.; int1 & sent1 -> int2: the cardoon is not historical.; int2 & sent3 -> int3: the cardoon is non-taxonomic thing that is not historical.; int3 & sent18 -> int4: the bap is not a Victorian.; sent16 -> int5: the discomycete is not paniculate.;
the cardoon is not a imbrication and does dissociate biotype.
sent13 & sent6 -> int6: the discomycete is not a Victorian.; sent15 -> int7: the punchball is not a Ottawa and not historical if it is not a kind of a Dipylon.;
$hypothesis$ = the discomycete does not crump and it is not paniculate. ; $context$ = sent1: if there exists something such that the fact that it is not a kind of a imbrication and it is not an inexperienced is not right the cardoon is not historical. sent2: that the tuberculin is not a imbrication and it is not a kind of an inexperienced is incorrect. sent3: the cardoon is not taxonomic. sent4: there exists something such that it is not a kind of an inexperienced and it is not a Victorian. sent5: that the bap is not a Ottawa and not taxonomic is not false. sent6: the chloropicrin is not a reminder and does not crump. sent7: the fact that the tuberculin is not a imbrication and is an inexperienced is false. sent8: the discomycete does not crump if something is not a Ottawa but a reminder. sent9: if there exists something such that it does crump then the discomycete is not historical. sent10: if the discomycete is not a Victorian and it is not historical then the cardoon is not a imbrication. sent11: there exists something such that it is both not a imbrication and not an inexperienced. sent12: there is something such that it is not a kind of a Ottawa. sent13: the discomycete is not a Victorian if the chloropicrin is not a reminder and it does not crump. sent14: if that the punchball is not a Ottawa and is not historical is right the discomycete is not historical. sent15: something is not a kind of a Ottawa and it is not historical if the fact that it is not a kind of a Dipylon hold. sent16: everything is not paniculate. sent17: if something is historical then that it does not crump and is not paniculate is false. sent18: the bap is not a kind of a Victorian if the cardoon is both not taxonomic and not historical. ; $proof$ = 
sent2 -> int1: there is something such that that it is not a imbrication and is not a kind of an inexperienced is wrong.; int1 & sent1 -> int2: the cardoon is not historical.; int2 & sent3 -> int3: the cardoon is non-taxonomic thing that is not historical.; int3 & sent18 -> int4: the bap is not a Victorian.; sent16 -> int5: the discomycete is not paniculate.; __UNKNOWN__