if the spiegeleisen does exult Harrod the fact that the bristletail is both not aecial and not a pungency is incorrect.
sent1: if the spiegeleisen exults Harrod the fact that the bristletail is not aecial but it is a kind of a pungency does not hold. sent2: that the bristletail is not aecial but it is a kind of a pungency is not true. sent3: the spiegeleisen does not exult Harrod if the date is budgetary thing that corrodes thoroughness. sent4: something claps tunic. sent5: the fact that the bristletail is not aecial but a pungency is incorrect if the date is aecial. sent6: if the spiegeleisen exults Harrod then the bristletail is not aecial and it is not a kind of a pungency. sent7: the tunic does chip if something that is a kind of a hypersensitivity does clap tunic. sent8: the fact that the bristletail is aecial but not a pungency is false if the spiegeleisen exults Harrod. sent9: that the date does not exult Harrod and it is not budgetary does not hold if the spiegeleisen does exult Harrod. sent10: the fact that the bristletail is aecial but it is not a pungency is wrong. sent11: the fact that if the tunic is a chip then the date is budgetary hold. sent12: there is something such that it is a kind of a hypersensitivity and it claps tunic. sent13: the fact that the bristletail is aecial thing that is not a kind of a pungency is not correct if the fact that the date is aecial hold. sent14: that something is a kind of a hypersensitivity hold. sent15: the date is aecial if it does not corrode thoroughness. sent16: if the date is budgetary and it corrodes thoroughness the fact that the spiegeleisen does exult Harrod is true.
sent12 & sent7 -> int1: the tunic is a chip.; int1 & sent11 -> int2: the date is budgetary.; void -> assump1: Let's assume that the fact that the date does corrode thoroughness is not false.; int2 & assump1 -> int3: the date is budgetary and corrodes thoroughness.; int3 & sent3 -> int4: the spiegeleisen does not exult Harrod.; void -> assump2: Let's assume that the fact that the spiegeleisen does exult Harrod is correct.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the date does not corrode thoroughness.; int6 & sent15 -> int7: the date is aecial.;
$hypothesis$ = if the spiegeleisen does exult Harrod the fact that the bristletail is both not aecial and not a pungency is incorrect. ; $context$ = sent1: if the spiegeleisen exults Harrod the fact that the bristletail is not aecial but it is a kind of a pungency does not hold. sent2: that the bristletail is not aecial but it is a kind of a pungency is not true. sent3: the spiegeleisen does not exult Harrod if the date is budgetary thing that corrodes thoroughness. sent4: something claps tunic. sent5: the fact that the bristletail is not aecial but a pungency is incorrect if the date is aecial. sent6: if the spiegeleisen exults Harrod then the bristletail is not aecial and it is not a kind of a pungency. sent7: the tunic does chip if something that is a kind of a hypersensitivity does clap tunic. sent8: the fact that the bristletail is aecial but not a pungency is false if the spiegeleisen exults Harrod. sent9: that the date does not exult Harrod and it is not budgetary does not hold if the spiegeleisen does exult Harrod. sent10: the fact that the bristletail is aecial but it is not a pungency is wrong. sent11: the fact that if the tunic is a chip then the date is budgetary hold. sent12: there is something such that it is a kind of a hypersensitivity and it claps tunic. sent13: the fact that the bristletail is aecial thing that is not a kind of a pungency is not correct if the fact that the date is aecial hold. sent14: that something is a kind of a hypersensitivity hold. sent15: the date is aecial if it does not corrode thoroughness. sent16: if the date is budgetary and it corrodes thoroughness the fact that the spiegeleisen does exult Harrod is true. ; $proof$ = 
sent12 & sent7 -> int1: the tunic is a chip.; int1 & sent11 -> int2: the date is budgetary.; void -> assump1: Let's assume that the fact that the date does corrode thoroughness is not false.; int2 & assump1 -> int3: the date is budgetary and corrodes thoroughness.; int3 & sent3 -> int4: the spiegeleisen does not exult Harrod.; void -> assump2: Let's assume that the fact that the spiegeleisen does exult Harrod is correct.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the date does not corrode thoroughness.; int6 & sent15 -> int7: the date is aecial.; __UNKNOWN__