that the armiger is a captain but it does not counterweight does not hold.
sent1: the workbasket is a diaphoretic. sent2: the armiger is a captain if that the workbasket is a diaphoretic is not wrong. sent3: the armiger is desirable and naturistic. sent4: if the armiger is both not undesirable and not non-naturistic it is not a counterweight.
sent2 & sent1 -> int1: the armiger is a captain.; sent4 & sent3 -> int2: the armiger is not a kind of a counterweight.; int1 & int2 -> hypothesis;
$hypothesis$ = that the armiger is a captain but it does not counterweight does not hold. ; $context$ = sent1: the workbasket is a diaphoretic. sent2: the armiger is a captain if that the workbasket is a diaphoretic is not wrong. sent3: the armiger is desirable and naturistic. sent4: if the armiger is both not undesirable and not non-naturistic it is not a counterweight. ; $proof$ = 
sent2 & sent1 -> int1: the armiger is a captain.; sent4 & sent3 -> int2: the armiger is not a kind of a counterweight.; int1 & int2 -> hypothesis; __DISPROVED__