something treats trespass and it is a Willebrand.
sent1: there is something such that that it is a kind of a screen that is not a blue does not hold. sent2: if something that does not ape innocence is not a straightener then the fact that the stack is a teardrop is true. sent3: something is a kind of a Willebrand if that it is non-exothermic is not incorrect. sent4: if something is a teardrop it does treat trespass. sent5: if there exists something such that the fact that it is a kind of a screen that does not blue does not hold the stack is not exothermic. sent6: something does not ape innocence and it is not a straightener. sent7: there is something such that that it is a screen and it is a kind of a blue is false. sent8: something is a kind of a Willebrand.
sent1 & sent5 -> int1: that the stack is not exothermic is not wrong.; sent3 -> int2: if the stack is not exothermic it is a kind of a Willebrand.; int1 & int2 -> int3: the stack is a Willebrand.; sent4 -> int4: the stack treats trespass if it is a teardrop.; sent6 & sent2 -> int5: the stack is a teardrop.; int4 & int5 -> int6: the stack treats trespass.; int3 & int6 -> int7: the stack does treat trespass and is a Willebrand.; int7 -> hypothesis;
$hypothesis$ = something treats trespass and it is a Willebrand. ; $context$ = sent1: there is something such that that it is a kind of a screen that is not a blue does not hold. sent2: if something that does not ape innocence is not a straightener then the fact that the stack is a teardrop is true. sent3: something is a kind of a Willebrand if that it is non-exothermic is not incorrect. sent4: if something is a teardrop it does treat trespass. sent5: if there exists something such that the fact that it is a kind of a screen that does not blue does not hold the stack is not exothermic. sent6: something does not ape innocence and it is not a straightener. sent7: there is something such that that it is a screen and it is a kind of a blue is false. sent8: something is a kind of a Willebrand. ; $proof$ = 
sent1 & sent5 -> int1: that the stack is not exothermic is not wrong.; sent3 -> int2: if the stack is not exothermic it is a kind of a Willebrand.; int1 & int2 -> int3: the stack is a Willebrand.; sent4 -> int4: the stack treats trespass if it is a teardrop.; sent6 & sent2 -> int5: the stack is a teardrop.; int4 & int5 -> int6: the stack treats trespass.; int3 & int6 -> int7: the stack does treat trespass and is a Willebrand.; int7 -> hypothesis; __PROVED__