that the barbel is not cesarean if the Elinvar is a Triassic does not hold.
sent1: the Elinvar is not a Triassic if the barbel is cesarean.
void -> assump2: Let's assume that the barbel is cesarean.; sent1 & assump2 -> int1: the Elinvar is not a Triassic.; void -> assump1: Let's assume that the Elinvar is a Triassic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the barbel is not cesarean.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the barbel is not cesarean if the Elinvar is a Triassic does not hold. ; $context$ = sent1: the Elinvar is not a Triassic if the barbel is cesarean. ; $proof$ = 
void -> assump2: Let's assume that the barbel is cesarean.; sent1 & assump2 -> int1: the Elinvar is not a Triassic.; void -> assump1: Let's assume that the Elinvar is a Triassic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the barbel is not cesarean.; [assump1] & int3 -> hypothesis; __DISPROVED__