the cappuccino is not a kind of a venipuncture.
sent1: if the ironwood is a Riga then the fact that the cappuccino is a knell and a Riga does not hold. sent2: the Egyptologist is a cross-reference if the pilgrim is not a lauhala and it is not a Ecuador. sent3: if the cappuccino is a lauhala then the pilgrim knells. sent4: if something douses it is a Riga. sent5: the ironwood douses if the Egyptologist tags SGML. sent6: something is a gum-lac if it does overawe debut. sent7: something is not a lauhala and not a Ecuador if it is not a postulate. sent8: if that something is a knell hold it is not a kind of a venipuncture. sent9: something does tag SGML if it is a cross-reference. sent10: the pilgrim does not postulate if that it is both a postulate and translunar is false. sent11: if the ironwood is a Riga the fact that the cappuccino is not a knell but it is a kind of a Riga is false. sent12: something is not a venipuncture if that it is not a kind of a knell and it is a Riga does not hold. sent13: the cappuccino is not a venipuncture if it does knell. sent14: the fact that the pilgrim does postulate and it is translunar is not true. sent15: if something is not a postulate then that it is not a kind of a lauhala is not false. sent16: that the cappuccino knells and it is a kind of a Riga is wrong.
sent7 -> int1: the fact that the pilgrim is not a kind of a lauhala and is not the Ecuador if the pilgrim does not postulate is right.; sent10 & sent14 -> int2: the pilgrim is not a postulate.; int1 & int2 -> int3: the pilgrim is not a lauhala and it is not a kind of a Ecuador.; int3 & sent2 -> int4: the Egyptologist is a cross-reference.; sent9 -> int5: if the fact that the Egyptologist is a cross-reference is correct then it tags SGML.; int4 & int5 -> int6: the Egyptologist tags SGML.; int6 & sent5 -> int7: the ironwood does douse.; sent4 -> int8: the ironwood is a kind of a Riga if it does douse.; int7 & int8 -> int9: the ironwood is a Riga.; int9 & sent11 -> int10: the fact that the cappuccino is not a knell but it is a Riga is wrong.; sent12 -> int11: if the fact that the cappuccino is not a knell but it is a Riga is not correct it is not a venipuncture.; int10 & int11 -> hypothesis;
$hypothesis$ = the cappuccino is not a kind of a venipuncture. ; $context$ = sent1: if the ironwood is a Riga then the fact that the cappuccino is a knell and a Riga does not hold. sent2: the Egyptologist is a cross-reference if the pilgrim is not a lauhala and it is not a Ecuador. sent3: if the cappuccino is a lauhala then the pilgrim knells. sent4: if something douses it is a Riga. sent5: the ironwood douses if the Egyptologist tags SGML. sent6: something is a gum-lac if it does overawe debut. sent7: something is not a lauhala and not a Ecuador if it is not a postulate. sent8: if that something is a knell hold it is not a kind of a venipuncture. sent9: something does tag SGML if it is a cross-reference. sent10: the pilgrim does not postulate if that it is both a postulate and translunar is false. sent11: if the ironwood is a Riga the fact that the cappuccino is not a knell but it is a kind of a Riga is false. sent12: something is not a venipuncture if that it is not a kind of a knell and it is a Riga does not hold. sent13: the cappuccino is not a venipuncture if it does knell. sent14: the fact that the pilgrim does postulate and it is translunar is not true. sent15: if something is not a postulate then that it is not a kind of a lauhala is not false. sent16: that the cappuccino knells and it is a kind of a Riga is wrong. ; $proof$ = 
sent7 -> int1: the fact that the pilgrim is not a kind of a lauhala and is not the Ecuador if the pilgrim does not postulate is right.; sent10 & sent14 -> int2: the pilgrim is not a postulate.; int1 & int2 -> int3: the pilgrim is not a lauhala and it is not a kind of a Ecuador.; int3 & sent2 -> int4: the Egyptologist is a cross-reference.; sent9 -> int5: if the fact that the Egyptologist is a cross-reference is correct then it tags SGML.; int4 & int5 -> int6: the Egyptologist tags SGML.; int6 & sent5 -> int7: the ironwood does douse.; sent4 -> int8: the ironwood is a kind of a Riga if it does douse.; int7 & int8 -> int9: the ironwood is a Riga.; int9 & sent11 -> int10: the fact that the cappuccino is not a knell but it is a Riga is wrong.; sent12 -> int11: if the fact that the cappuccino is not a knell but it is a Riga is not correct it is not a venipuncture.; int10 & int11 -> hypothesis; __PROVED__