the fact that that the avadavat does not compromise avadavat is not wrong if the joiner is a kind of a Colony is false.
sent1: that the dulcimer is a kind of a Carica and is Aramean is false if there exists something such that it is a Colony. sent2: if that the dulcimer is both a Carica and a Aramean is wrong then the avadavat does not compromise avadavat. sent3: the avadavat is a kind of a catalase. sent4: something is a Aramean. sent5: the fact that the dulcimer does not compromise avadavat is not wrong. sent6: the fact that the avadavat does not compromise avadavat is not incorrect if the dulcimer is not a Carica.
void -> assump1: Let's assume that the joiner is a Colony.; assump1 -> int1: there exists something such that it is a kind of a Colony.; int1 & sent1 -> int2: the fact that the dulcimer is both a Carica and a Aramean is not right.; sent2 & int2 -> int3: the avadavat does not compromise avadavat.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that that the avadavat does not compromise avadavat is not wrong if the joiner is a kind of a Colony is false. ; $context$ = sent1: that the dulcimer is a kind of a Carica and is Aramean is false if there exists something such that it is a Colony. sent2: if that the dulcimer is both a Carica and a Aramean is wrong then the avadavat does not compromise avadavat. sent3: the avadavat is a kind of a catalase. sent4: something is a Aramean. sent5: the fact that the dulcimer does not compromise avadavat is not wrong. sent6: the fact that the avadavat does not compromise avadavat is not incorrect if the dulcimer is not a Carica. ; $proof$ = 
void -> assump1: Let's assume that the joiner is a Colony.; assump1 -> int1: there exists something such that it is a kind of a Colony.; int1 & sent1 -> int2: the fact that the dulcimer is both a Carica and a Aramean is not right.; sent2 & int2 -> int3: the avadavat does not compromise avadavat.; [assump1] & int3 -> hypothesis; __DISPROVED__