the virago is disintegrative.
sent1: if the phlebotomist is a predicament the fact that the hexane trees but it does not curvet Polyergus is not correct. sent2: the proprietress does not curvet Polyergus and is not a kind of a predicament. sent3: if something curvets Polyergus it is a kind of a predicament. sent4: something is not wiry. sent5: if there is something such that the fact that it is not a predicament and it does paper is not correct then the phlebotomist is a predicament. sent6: the fact that the calla is not a predicament but it papers is not correct if the generic is not icosahedral. sent7: that the virago is a kind of a relish that curvets Polyergus is not correct. sent8: something is wiry. sent9: if the fact that the generic is not a true but it is icosahedral does not hold it is not icosahedral. sent10: something is not wiry and/or it is not a relish if it curvets Polyergus. sent11: something is a predicament if that it is a relish and does not curvet Polyergus is not true. sent12: if the generic does not groove dimorphism then the fact that it is not a true and is icosahedral is false. sent13: if something is a kind of a predicament it is a tree. sent14: that the fact that the virago is a kind of a relish and curvets Polyergus hold is not right if there is something such that it is not wiry. sent15: that the virago is a relish but it does not curvet Polyergus is not correct if there exists something such that it is not wiry. sent16: something is spectroscopic if it does groove sealed. sent17: the generic does not groove dimorphism. sent18: the virago is a predicament if it does curvet Polyergus.
sent4 & sent15 -> int1: that the virago is a relish but it does not curvet Polyergus is not right.; sent11 -> int2: if the fact that the virago is a relish and does not curvet Polyergus is not true it is a predicament.; int1 & int2 -> int3: the virago is a kind of a predicament.; sent13 -> int4: if the virago is a kind of a predicament then it is a tree.; int3 & int4 -> int5: the virago is a tree.;
the proprietress is a tree.
sent2 -> int6: the proprietress does not curvet Polyergus.;
$hypothesis$ = the virago is disintegrative. ; $context$ = sent1: if the phlebotomist is a predicament the fact that the hexane trees but it does not curvet Polyergus is not correct. sent2: the proprietress does not curvet Polyergus and is not a kind of a predicament. sent3: if something curvets Polyergus it is a kind of a predicament. sent4: something is not wiry. sent5: if there is something such that the fact that it is not a predicament and it does paper is not correct then the phlebotomist is a predicament. sent6: the fact that the calla is not a predicament but it papers is not correct if the generic is not icosahedral. sent7: that the virago is a kind of a relish that curvets Polyergus is not correct. sent8: something is wiry. sent9: if the fact that the generic is not a true but it is icosahedral does not hold it is not icosahedral. sent10: something is not wiry and/or it is not a relish if it curvets Polyergus. sent11: something is a predicament if that it is a relish and does not curvet Polyergus is not true. sent12: if the generic does not groove dimorphism then the fact that it is not a true and is icosahedral is false. sent13: if something is a kind of a predicament it is a tree. sent14: that the fact that the virago is a kind of a relish and curvets Polyergus hold is not right if there is something such that it is not wiry. sent15: that the virago is a relish but it does not curvet Polyergus is not correct if there exists something such that it is not wiry. sent16: something is spectroscopic if it does groove sealed. sent17: the generic does not groove dimorphism. sent18: the virago is a predicament if it does curvet Polyergus. ; $proof$ = 
sent4 & sent15 -> int1: that the virago is a relish but it does not curvet Polyergus is not right.; sent11 -> int2: if the fact that the virago is a relish and does not curvet Polyergus is not true it is a predicament.; int1 & int2 -> int3: the virago is a kind of a predicament.; sent13 -> int4: if the virago is a kind of a predicament then it is a tree.; int3 & int4 -> int5: the virago is a tree.; __UNKNOWN__