that the quadroon does not compartmentalize steerageway and it is not an aperture does not hold.
sent1: the die is fisheye if it is an aperture. sent2: if something is a corporatism it is unsociable. sent3: something is a corporatism if it is fisheye. sent4: the detumescence does discountenance polysaccharide if the die is a tricot. sent5: if the die is not an aperture that the quadroon does not compartmentalize steerageway and it is not an aperture does not hold. sent6: if that the die is not an aperture is true the fact that the quadroon does not compartmentalize steerageway and is an aperture does not hold. sent7: the virino is not substantival and/or it does discountenance polysaccharide if the fact that the detumescence does discountenance polysaccharide is true. sent8: something is a tricot if it is unsociable. sent9: if the virino is not an anterior then it does not discountenance polysaccharide. sent10: if the virino does discountenance polysaccharide then the detumescence is substantival. sent11: the virino does not discountenance polysaccharide. sent12: the fact that that the quadroon does compartmentalize steerageway and is not an aperture is true is not correct. sent13: if something is not a kind of an anterior then the fact that it either is not substantival or does discountenance polysaccharide or both is false.
void -> assump1: Let's assume that the die is an aperture.; sent1 & assump1 -> int1: the die is not non-fisheye.; sent3 -> int2: that the die is a kind of a corporatism is not incorrect if it is fisheye.; int1 & int2 -> int3: the die is a kind of a corporatism.; sent2 -> int4: the die is unsociable if it is a corporatism.; int3 & int4 -> int5: the die is unsociable.; sent8 -> int6: the fact that the die is a tricot hold if it is unsociable.; int5 & int6 -> int7: the die is a tricot.; int7 & sent4 -> int8: the detumescence does discountenance polysaccharide.; int8 & sent7 -> int9: either the virino is not substantival or it does discountenance polysaccharide or both.; sent13 -> int10: the fact that the virino is not substantival and/or it does discountenance polysaccharide is incorrect if it is not an anterior.;
$hypothesis$ = that the quadroon does not compartmentalize steerageway and it is not an aperture does not hold. ; $context$ = sent1: the die is fisheye if it is an aperture. sent2: if something is a corporatism it is unsociable. sent3: something is a corporatism if it is fisheye. sent4: the detumescence does discountenance polysaccharide if the die is a tricot. sent5: if the die is not an aperture that the quadroon does not compartmentalize steerageway and it is not an aperture does not hold. sent6: if that the die is not an aperture is true the fact that the quadroon does not compartmentalize steerageway and is an aperture does not hold. sent7: the virino is not substantival and/or it does discountenance polysaccharide if the fact that the detumescence does discountenance polysaccharide is true. sent8: something is a tricot if it is unsociable. sent9: if the virino is not an anterior then it does not discountenance polysaccharide. sent10: if the virino does discountenance polysaccharide then the detumescence is substantival. sent11: the virino does not discountenance polysaccharide. sent12: the fact that that the quadroon does compartmentalize steerageway and is not an aperture is true is not correct. sent13: if something is not a kind of an anterior then the fact that it either is not substantival or does discountenance polysaccharide or both is false. ; $proof$ = 
void -> assump1: Let's assume that the die is an aperture.; sent1 & assump1 -> int1: the die is not non-fisheye.; sent3 -> int2: that the die is a kind of a corporatism is not incorrect if it is fisheye.; int1 & int2 -> int3: the die is a kind of a corporatism.; sent2 -> int4: the die is unsociable if it is a corporatism.; int3 & int4 -> int5: the die is unsociable.; sent8 -> int6: the fact that the die is a tricot hold if it is unsociable.; int5 & int6 -> int7: the die is a tricot.; int7 & sent4 -> int8: the detumescence does discountenance polysaccharide.; int8 & sent7 -> int9: either the virino is not substantival or it does discountenance polysaccharide or both.; sent13 -> int10: the fact that the virino is not substantival and/or it does discountenance polysaccharide is incorrect if it is not an anterior.; __UNKNOWN__