the fact that if that the decaf does gnaw hold then the soursop is amaranthine does not hold.
sent1: the fact that something is not amaranthine hold if it is non-cowardly. sent2: the soursop citifies if the decaf gnaws. sent3: the fact that the decaf is non-tamed a wiretap does not hold if it does not embrown nester. sent4: something is amaranthine if it does citify. sent5: something is not cowardly if the fact that it is non-tamed a wiretap is not right.
void -> assump1: Let's assume that the decaf does gnaw.; sent2 & assump1 -> int1: the soursop citifies.; sent4 -> int2: the soursop is amaranthine if it citifies.; int1 & int2 -> int3: the soursop is amaranthine.; [assump1] & int3 -> hypothesis;
the recombinant citifies.
sent1 -> int4: the decaf is not amaranthine if it is not cowardly.; sent5 -> int5: the decaf is not cowardly if the fact that it is not tamed and it is a wiretap is false.;
$hypothesis$ = the fact that if that the decaf does gnaw hold then the soursop is amaranthine does not hold. ; $context$ = sent1: the fact that something is not amaranthine hold if it is non-cowardly. sent2: the soursop citifies if the decaf gnaws. sent3: the fact that the decaf is non-tamed a wiretap does not hold if it does not embrown nester. sent4: something is amaranthine if it does citify. sent5: something is not cowardly if the fact that it is non-tamed a wiretap is not right. ; $proof$ = 
void -> assump1: Let's assume that the decaf does gnaw.; sent2 & assump1 -> int1: the soursop citifies.; sent4 -> int2: the soursop is amaranthine if it citifies.; int1 & int2 -> int3: the soursop is amaranthine.; [assump1] & int3 -> hypothesis; __DISPROVED__