the masdevallia is a middlebrow and it does drill testing.
sent1: there exists something such that it is not a kind of a socialization. sent2: if there is something such that it is not a socialization then the masdevallia is not an indentation and does insufflate puerpera. sent3: that something is a octosyllable and is not a deist is not right if it does not insufflate pyromancer. sent4: the masdevallia is not a socialization if the splenius is not a socialization and does not drill Blitzstein. sent5: if something drills Blitzstein then it does drill testing. sent6: if something that is not an indentation insufflates puerpera it is a kind of a middlebrow. sent7: if something is not a socialization the fact that it is a middlebrow and drills testing is incorrect.
sent6 -> int1: the masdevallia is a middlebrow if it is not an indentation and does insufflate puerpera.; sent1 & sent2 -> int2: the masdevallia is not an indentation and does insufflate puerpera.; int1 & int2 -> int3: the masdevallia is a middlebrow.; sent5 -> int4: if the masdevallia does drill Blitzstein then it drills testing.;
that the fact that the masdevallia is a middlebrow and does drill testing is true is not right.
sent7 -> int5: that the masdevallia is a kind of a middlebrow and it drills testing does not hold if it is not a socialization.; sent3 -> int6: if the protein does not insufflate pyromancer the fact that it is a octosyllable but not deist does not hold.;
$hypothesis$ = the masdevallia is a middlebrow and it does drill testing. ; $context$ = sent1: there exists something such that it is not a kind of a socialization. sent2: if there is something such that it is not a socialization then the masdevallia is not an indentation and does insufflate puerpera. sent3: that something is a octosyllable and is not a deist is not right if it does not insufflate pyromancer. sent4: the masdevallia is not a socialization if the splenius is not a socialization and does not drill Blitzstein. sent5: if something drills Blitzstein then it does drill testing. sent6: if something that is not an indentation insufflates puerpera it is a kind of a middlebrow. sent7: if something is not a socialization the fact that it is a middlebrow and drills testing is incorrect. ; $proof$ = 
sent6 -> int1: the masdevallia is a middlebrow if it is not an indentation and does insufflate puerpera.; sent1 & sent2 -> int2: the masdevallia is not an indentation and does insufflate puerpera.; int1 & int2 -> int3: the masdevallia is a middlebrow.; sent5 -> int4: if the masdevallia does drill Blitzstein then it drills testing.; __UNKNOWN__