the spanker deadens and it is a fairlead.
sent1: that the spanker is a fairlead hold. sent2: the spanker is a fairlead if there exists something such that it does not pleach spanker. sent3: the phase is a Tertullian. sent4: the fact that something vexes switchman but it is not adrenergic does not hold if it is not a kind of a brandy. sent5: if there is something such that it does not pleach spanker then the spanker does deaden and is a kind of a fairlead. sent6: if something does not pleach spanker the fact that it does deaden and it is a fairlead is not right. sent7: if something is a kind of a Tertullian but it does not pleach Veda it is not a brandy. sent8: the phase does not pleach Veda and is not cuneiform. sent9: The spanker does not pleach man-of-war. sent10: the man-of-war does not pleach spanker. sent11: something pleaches spanker.
sent10 -> int1: there exists something such that it does not pleach spanker.; int1 & sent5 -> hypothesis;
that the spanker deadens and it is a fairlead is not correct.
sent6 -> int2: if the spanker does not pleach spanker then that it does deaden and it is a fairlead does not hold.; sent4 -> int3: if the fact that the phase is not a brandy is not incorrect then that it does vex switchman and it is not a adrenergic is not right.; sent7 -> int4: the phase is not a kind of a brandy if it is a kind of a Tertullian that does not pleach Veda.; sent8 -> int5: the phase does not pleach Veda.; sent3 & int5 -> int6: the phase is a Tertullian but it does not pleach Veda.; int4 & int6 -> int7: the phase is not a brandy.; int3 & int7 -> int8: the fact that the phase does vex switchman and is not adrenergic is not true.; int8 -> int9: there exists something such that the fact that it vexes switchman and it is not a kind of a adrenergic does not hold.;
$hypothesis$ = the spanker deadens and it is a fairlead. ; $context$ = sent1: that the spanker is a fairlead hold. sent2: the spanker is a fairlead if there exists something such that it does not pleach spanker. sent3: the phase is a Tertullian. sent4: the fact that something vexes switchman but it is not adrenergic does not hold if it is not a kind of a brandy. sent5: if there is something such that it does not pleach spanker then the spanker does deaden and is a kind of a fairlead. sent6: if something does not pleach spanker the fact that it does deaden and it is a fairlead is not right. sent7: if something is a kind of a Tertullian but it does not pleach Veda it is not a brandy. sent8: the phase does not pleach Veda and is not cuneiform. sent9: The spanker does not pleach man-of-war. sent10: the man-of-war does not pleach spanker. sent11: something pleaches spanker. ; $proof$ = 
sent10 -> int1: there exists something such that it does not pleach spanker.; int1 & sent5 -> hypothesis; __PROVED__