that the tracer is not starless but it guarantees dram does not hold.
sent1: something that is not a handle guarantees tracer and does guarantee chantry. sent2: the tangle is a quadrupling and arrogates Grenoble. sent3: that the tracer is not starless but it guarantees dram is not true if the tangle is starless. sent4: something is starless if it does not process dispersion. sent5: the tangle is not a handle.
sent2 -> int1: the tangle does quadruple.; void -> assump1: Let's assume that the tangle does process dispersion.; int1 & assump1 -> int2: the tangle does quadruple and processes dispersion.; sent1 -> int3: if the tangle is not a handle then it does guarantee tracer and it does guarantee chantry.; int3 & sent5 -> int4: the tangle does guarantee tracer and it guarantees chantry.; int4 -> int5: the tangle does guarantee chantry.; sent4 -> int6: the tangle is starless if it does not process dispersion.;
$hypothesis$ = that the tracer is not starless but it guarantees dram does not hold. ; $context$ = sent1: something that is not a handle guarantees tracer and does guarantee chantry. sent2: the tangle is a quadrupling and arrogates Grenoble. sent3: that the tracer is not starless but it guarantees dram is not true if the tangle is starless. sent4: something is starless if it does not process dispersion. sent5: the tangle is not a handle. ; $proof$ = 
sent2 -> int1: the tangle does quadruple.; void -> assump1: Let's assume that the tangle does process dispersion.; int1 & assump1 -> int2: the tangle does quadruple and processes dispersion.; sent1 -> int3: if the tangle is not a handle then it does guarantee tracer and it does guarantee chantry.; int3 & sent5 -> int4: the tangle does guarantee tracer and it guarantees chantry.; int4 -> int5: the tangle does guarantee chantry.; sent4 -> int6: the tangle is starless if it does not process dispersion.; __UNKNOWN__