that the angiogram is both not an output and not noninstitutional does not hold.
sent1: the truncheon does dangle. sent2: the ripsaw is noninstitutional. sent3: the fact that the currycomb is not an advancement and is noninstitutional does not hold. sent4: the angiogram dangles if the truncheon is an output. sent5: the fact that the angiogram does snowball acarus hold. sent6: if that the angiogram is not an output and not noninstitutional does not hold the currycomb is not an advancement. sent7: the currycomb is an advancement if the truncheon dangles. sent8: the truncheon is not noninstitutional if the angiogram does dangle. sent9: if the currycomb does not dangle that the angiogram is not an output and is institutional is not correct. sent10: if the fact that the currycomb is both not noninstitutional and not an output is false then the angiogram is not a kind of an advancement. sent11: if the fact that the angiogram is a kind of an advancement is true the currycomb is not noninstitutional.
void -> assump1: Let's assume that that that the angiogram is not an output and is not noninstitutional is not correct is correct.; sent6 & assump1 -> int1: the currycomb is not a kind of an advancement.; sent7 & sent1 -> int2: the currycomb is an advancement.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the angiogram is not an output and it is not noninstitutional is not correct.
$hypothesis$ = that the angiogram is both not an output and not noninstitutional does not hold. ; $context$ = sent1: the truncheon does dangle. sent2: the ripsaw is noninstitutional. sent3: the fact that the currycomb is not an advancement and is noninstitutional does not hold. sent4: the angiogram dangles if the truncheon is an output. sent5: the fact that the angiogram does snowball acarus hold. sent6: if that the angiogram is not an output and not noninstitutional does not hold the currycomb is not an advancement. sent7: the currycomb is an advancement if the truncheon dangles. sent8: the truncheon is not noninstitutional if the angiogram does dangle. sent9: if the currycomb does not dangle that the angiogram is not an output and is institutional is not correct. sent10: if the fact that the currycomb is both not noninstitutional and not an output is false then the angiogram is not a kind of an advancement. sent11: if the fact that the angiogram is a kind of an advancement is true the currycomb is not noninstitutional. ; $proof$ = 
void -> assump1: Let's assume that that that the angiogram is not an output and is not noninstitutional is not correct is correct.; sent6 & assump1 -> int1: the currycomb is not a kind of an advancement.; sent7 & sent1 -> int2: the currycomb is an advancement.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__