the hacker elongates.
sent1: if something is a kind of an unconscious it does elongate. sent2: that the hacker is unconscious hold if something that is glandular is not a squeeze. sent3: the concertina is not a squeeze if it is not unshockable. sent4: if something is not unshockable then it is not a squeeze. sent5: there is something such that it is glandular. sent6: something is both glandular and not a squeeze if that it is unshockable does not hold. sent7: something is not a squeeze.
sent6 -> int1: the concertina is glandular and does not squeeze if the fact that it is not unshockable is right.; sent1 -> int2: if the hacker is an unconscious it does elongate.;
$hypothesis$ = the hacker elongates. ; $context$ = sent1: if something is a kind of an unconscious it does elongate. sent2: that the hacker is unconscious hold if something that is glandular is not a squeeze. sent3: the concertina is not a squeeze if it is not unshockable. sent4: if something is not unshockable then it is not a squeeze. sent5: there is something such that it is glandular. sent6: something is both glandular and not a squeeze if that it is unshockable does not hold. sent7: something is not a squeeze. ; $proof$ = 
sent6 -> int1: the concertina is glandular and does not squeeze if the fact that it is not unshockable is right.; sent1 -> int2: if the hacker is an unconscious it does elongate.; __UNKNOWN__