there exists something such that it is not a chiton.
sent1: everything does not sheathe silva. sent2: if the squirter is not pedunculate but it sheathes silva the pulpwood is not fabian. sent3: the headsman is not pedunculate if the squirter is not pedunculate. sent4: if the squirter is not pedunculate then the headsman is a kind of non-pedunculate thing that is not a chiton. sent5: if the supplement does not sheathe silva then the squirter is not pedunculate. sent6: something is a chiton. sent7: the headsman is not pedunculate.
sent1 -> int1: the supplement does not sheathe silva.; sent5 & int1 -> int2: that the squirter is non-pedunculate is correct.; sent4 & int2 -> int3: the headsman is both not pedunculate and not a chiton.; int3 -> int4: the headsman is not a chiton.; int4 -> hypothesis;
the pulpwood is not fabian.
$hypothesis$ = there exists something such that it is not a chiton. ; $context$ = sent1: everything does not sheathe silva. sent2: if the squirter is not pedunculate but it sheathes silva the pulpwood is not fabian. sent3: the headsman is not pedunculate if the squirter is not pedunculate. sent4: if the squirter is not pedunculate then the headsman is a kind of non-pedunculate thing that is not a chiton. sent5: if the supplement does not sheathe silva then the squirter is not pedunculate. sent6: something is a chiton. sent7: the headsman is not pedunculate. ; $proof$ = 
sent1 -> int1: the supplement does not sheathe silva.; sent5 & int1 -> int2: that the squirter is non-pedunculate is correct.; sent4 & int2 -> int3: the headsman is both not pedunculate and not a chiton.; int3 -> int4: the headsman is not a chiton.; int4 -> hypothesis; __PROVED__