that the parallel is not a virginal is not false.
sent1: the noose is not a turnpike and is not a kind of an encounter. sent2: if the fact that the noose is a turnpike but it does not encounter hold it is not inglorious. sent3: if the noose is not a turnpike and not an encounter then it is not inglorious. sent4: the noose is not a turnpike.
void -> assump1: Let's assume that the parallel is a kind of a virginal.; sent3 & sent1 -> int1: the noose is not inglorious.;
$hypothesis$ = that the parallel is not a virginal is not false. ; $context$ = sent1: the noose is not a turnpike and is not a kind of an encounter. sent2: if the fact that the noose is a turnpike but it does not encounter hold it is not inglorious. sent3: if the noose is not a turnpike and not an encounter then it is not inglorious. sent4: the noose is not a turnpike. ; $proof$ = 
void -> assump1: Let's assume that the parallel is a kind of a virginal.; sent3 & sent1 -> int1: the noose is not inglorious.; __UNKNOWN__