the destination is benignant.
sent1: the destination is a contest. sent2: if the curator is a kind of a demonstrative the chaise is a kind of an invisibility. sent3: the chaise is not a kind of an invisibility if the fact that the destination is not benignant and is a contest is wrong. sent4: the curator is a demonstrative.
void -> assump1: Let's assume that that the destination is both not benignant and a contest is incorrect.; sent3 & assump1 -> int1: the chaise is not an invisibility.; sent2 & sent4 -> int2: the chaise is an invisibility.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the destination is not benignant and is a contest.; int4 -> hypothesis;
$hypothesis$ = the destination is benignant. ; $context$ = sent1: the destination is a contest. sent2: if the curator is a kind of a demonstrative the chaise is a kind of an invisibility. sent3: the chaise is not a kind of an invisibility if the fact that the destination is not benignant and is a contest is wrong. sent4: the curator is a demonstrative. ; $proof$ = 
void -> assump1: Let's assume that that the destination is both not benignant and a contest is incorrect.; sent3 & assump1 -> int1: the chaise is not an invisibility.; sent2 & sent4 -> int2: the chaise is an invisibility.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the destination is not benignant and is a contest.; int4 -> hypothesis; __DISPROVED__