the hut is not a kind of a cigarette but it blooms.
sent1: the matador is not lacrimal. sent2: if the matador is lacrimal thing that is a kind of a tillage then the acumen is not non-proteolytic. sent3: if the mutant is lacrimal then the matador is not lacrimal. sent4: if the fact that the matador is a tillage but it is not a Djiboutian is wrong the mutant is a tillage. sent5: if that the hut is proteolytic and not lacrimal is incorrect then it is numeric. sent6: the hut is a kind of a bloom if the acumen is not a bloom. sent7: the mutant is not numeric. sent8: the mutant is not palmar. sent9: the fact that the matador is both a tillage and not Djiboutian is not true if it is Bolshevik. sent10: the mutant is non-palmar and it does not batch id if it is not numeric. sent11: if a palmar thing does not batch id then it is lacrimal. sent12: if the acumen is a bloom and proteolytic that it is not a Djiboutian is not incorrect. sent13: the hut is a bloom. sent14: the acumen is a Djiboutian. sent15: if the mutant is a kind of a tillage that the hut is proteolytic and is not lacrimal is not correct. sent16: that something is not a kind of a cigarette but it blooms is incorrect if it is numeric. sent17: if the mutant is lacrimal the matador is not lacrimal but it is a kind of a tillage. sent18: something is lacrimal if it is not palmar and does not batch id. sent19: the mutant is not palmar if it is not numeric. sent20: the hut is not a cigarette and is a bloom if the acumen is not a kind of a bloom. sent21: if the mutant is palmar but it does not batch id it is lacrimal.
sent10 & sent7 -> int1: the mutant is not palmar and it does not batch id.; sent18 -> int2: the mutant is lacrimal if it is a kind of non-palmar thing that does not batch id.; int1 & int2 -> int3: the mutant is lacrimal.; int3 & sent17 -> int4: the matador is a kind of non-lacrimal thing that is a kind of a tillage.;
that the hut is not a cigarette but it is a kind of a bloom is false.
sent16 -> int5: if the hut is numeric the fact that it is not a cigarette and is a bloom is not right.;
$hypothesis$ = the hut is not a kind of a cigarette but it blooms. ; $context$ = sent1: the matador is not lacrimal. sent2: if the matador is lacrimal thing that is a kind of a tillage then the acumen is not non-proteolytic. sent3: if the mutant is lacrimal then the matador is not lacrimal. sent4: if the fact that the matador is a tillage but it is not a Djiboutian is wrong the mutant is a tillage. sent5: if that the hut is proteolytic and not lacrimal is incorrect then it is numeric. sent6: the hut is a kind of a bloom if the acumen is not a bloom. sent7: the mutant is not numeric. sent8: the mutant is not palmar. sent9: the fact that the matador is both a tillage and not Djiboutian is not true if it is Bolshevik. sent10: the mutant is non-palmar and it does not batch id if it is not numeric. sent11: if a palmar thing does not batch id then it is lacrimal. sent12: if the acumen is a bloom and proteolytic that it is not a Djiboutian is not incorrect. sent13: the hut is a bloom. sent14: the acumen is a Djiboutian. sent15: if the mutant is a kind of a tillage that the hut is proteolytic and is not lacrimal is not correct. sent16: that something is not a kind of a cigarette but it blooms is incorrect if it is numeric. sent17: if the mutant is lacrimal the matador is not lacrimal but it is a kind of a tillage. sent18: something is lacrimal if it is not palmar and does not batch id. sent19: the mutant is not palmar if it is not numeric. sent20: the hut is not a cigarette and is a bloom if the acumen is not a kind of a bloom. sent21: if the mutant is palmar but it does not batch id it is lacrimal. ; $proof$ = 
sent10 & sent7 -> int1: the mutant is not palmar and it does not batch id.; sent18 -> int2: the mutant is lacrimal if it is a kind of non-palmar thing that does not batch id.; int1 & int2 -> int3: the mutant is lacrimal.; int3 & sent17 -> int4: the matador is a kind of non-lacrimal thing that is a kind of a tillage.; __UNKNOWN__