the fact that the colonoscope is a kind of a tactlessness but it is not a lozenge is wrong.
sent1: the colonoscope is a herd if that it is a tactlessness and it is not a kind of a lozenge is not true. sent2: the colonoscope is not a kind of a herd if it either is not a herd or is not a personal or both. sent3: either the colonoscope is not a herd or it is not a personal or both.
void -> assump1: Let's assume that that the colonoscope is a kind of a tactlessness that is not a lozenge is incorrect.; sent1 & assump1 -> int1: the colonoscope herds.; sent2 & sent3 -> int2: the colonoscope is not a herd.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the colonoscope is a kind of a tactlessness but it is not a lozenge is wrong. ; $context$ = sent1: the colonoscope is a herd if that it is a tactlessness and it is not a kind of a lozenge is not true. sent2: the colonoscope is not a kind of a herd if it either is not a herd or is not a personal or both. sent3: either the colonoscope is not a herd or it is not a personal or both. ; $proof$ = 
void -> assump1: Let's assume that that the colonoscope is a kind of a tactlessness that is not a lozenge is incorrect.; sent1 & assump1 -> int1: the colonoscope herds.; sent2 & sent3 -> int2: the colonoscope is not a herd.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__