that if the bracteole is a armlet the tricot red-eyes is not true.
sent1: the collier is a armlet. sent2: if the barbette does red-eye then the bracteole is a armlet. sent3: if the poet is a armlet then the gunmetal vexes. sent4: the bracteole does personify exfoliation. sent5: the bracteole vexes if the tricot red-eyes. sent6: the barbette does red-eye. sent7: the tricot is a armlet. sent8: the tricot is a armlet if the bracteole does red-eye. sent9: if the barbette red-eyes then the tricot does vex. sent10: the bracteole vexes if the barbette does red-eye. sent11: the bracteole red-eyes. sent12: the bracteole red-eyes if the tricot is a armlet. sent13: the bracteole does vex. sent14: the barbette is archducal. sent15: the tricot is unresentful if the bracteole does red-eye. sent16: the barbette is a armlet if the bracteole vexes. sent17: that the barbette does vex is correct if the bracteole is a armlet. sent18: if the barbette vexes then the tricot red-eyes. sent19: if the tricot vexes then the barbette red-eyes. sent20: if the barbette is a armlet then the bracteole does vex.
void -> assump1: Let's assume that the bracteole is a armlet.; sent17 & assump1 -> int1: the barbette vexes.; sent18 & int1 -> int2: that the tricot red-eyes is not wrong.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that if the bracteole is a armlet the tricot red-eyes is not true. ; $context$ = sent1: the collier is a armlet. sent2: if the barbette does red-eye then the bracteole is a armlet. sent3: if the poet is a armlet then the gunmetal vexes. sent4: the bracteole does personify exfoliation. sent5: the bracteole vexes if the tricot red-eyes. sent6: the barbette does red-eye. sent7: the tricot is a armlet. sent8: the tricot is a armlet if the bracteole does red-eye. sent9: if the barbette red-eyes then the tricot does vex. sent10: the bracteole vexes if the barbette does red-eye. sent11: the bracteole red-eyes. sent12: the bracteole red-eyes if the tricot is a armlet. sent13: the bracteole does vex. sent14: the barbette is archducal. sent15: the tricot is unresentful if the bracteole does red-eye. sent16: the barbette is a armlet if the bracteole vexes. sent17: that the barbette does vex is correct if the bracteole is a armlet. sent18: if the barbette vexes then the tricot red-eyes. sent19: if the tricot vexes then the barbette red-eyes. sent20: if the barbette is a armlet then the bracteole does vex. ; $proof$ = 
void -> assump1: Let's assume that the bracteole is a armlet.; sent17 & assump1 -> int1: the barbette vexes.; sent18 & int1 -> int2: that the tricot red-eyes is not wrong.; [assump1] & int2 -> hypothesis; __DISPROVED__