the headstock is unsympathetic.
sent1: the frigidity does not wench. sent2: the fact that something is not unsympathetic is not false if it does not wench. sent3: the headstock is unsympathetic thing that is a tahini if the mesh is not unsympathetic. sent4: if a pulsation is a kind of a switchman then the mesh is not unsympathetic. sent5: the depressor is a pulsation and it is a switchman if the frigidity does not wench. sent6: if the fact that something is not unsympathetic and it is not a drawing does not hold it is a drawing.
sent5 & sent1 -> int1: the depressor is a pulsation and is a switchman.; int1 -> int2: something is both a pulsation and a switchman.; int2 & sent4 -> int3: the mesh is not unsympathetic.; sent3 & int3 -> int4: the headstock is unsympathetic and it is a kind of a tahini.; int4 -> hypothesis;
the headstock is not unsympathetic.
sent2 -> int5: if the headstock does not wench it is not unsympathetic.;
$hypothesis$ = the headstock is unsympathetic. ; $context$ = sent1: the frigidity does not wench. sent2: the fact that something is not unsympathetic is not false if it does not wench. sent3: the headstock is unsympathetic thing that is a tahini if the mesh is not unsympathetic. sent4: if a pulsation is a kind of a switchman then the mesh is not unsympathetic. sent5: the depressor is a pulsation and it is a switchman if the frigidity does not wench. sent6: if the fact that something is not unsympathetic and it is not a drawing does not hold it is a drawing. ; $proof$ = 
sent5 & sent1 -> int1: the depressor is a pulsation and is a switchman.; int1 -> int2: something is both a pulsation and a switchman.; int2 & sent4 -> int3: the mesh is not unsympathetic.; sent3 & int3 -> int4: the headstock is unsympathetic and it is a kind of a tahini.; int4 -> hypothesis; __PROVED__