that the bighorn is a throated if the trandolapril is vagal does not hold.
sent1: if the taw fights bighorn then the hayfield does saddle. sent2: if the trandolapril is vagal then the taw fights bighorn. sent3: if that the hayfield does saddle is right then the coupling is a whaler. sent4: if the coupling is a whaler then it is a kind of a shock. sent5: if the coupling shocks then that the bighorn is a kind of a throated hold. sent6: the taw is a kind of a shock. sent7: the eelworm is a kind of a throated.
void -> assump1: Let's assume that the trandolapril is vagal.; sent2 & assump1 -> int1: that the taw fights bighorn is right.; int1 & sent1 -> int2: that the hayfield is a saddler is right.; int2 & sent3 -> int3: the coupling is a whaler.; int3 & sent4 -> int4: that the coupling is a shock hold.; int4 & sent5 -> int5: the fact that the bighorn is a throated is not false.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the bighorn is a throated if the trandolapril is vagal does not hold. ; $context$ = sent1: if the taw fights bighorn then the hayfield does saddle. sent2: if the trandolapril is vagal then the taw fights bighorn. sent3: if that the hayfield does saddle is right then the coupling is a whaler. sent4: if the coupling is a whaler then it is a kind of a shock. sent5: if the coupling shocks then that the bighorn is a kind of a throated hold. sent6: the taw is a kind of a shock. sent7: the eelworm is a kind of a throated. ; $proof$ = 
void -> assump1: Let's assume that the trandolapril is vagal.; sent2 & assump1 -> int1: that the taw fights bighorn is right.; int1 & sent1 -> int2: that the hayfield is a saddler is right.; int2 & sent3 -> int3: the coupling is a whaler.; int3 & sent4 -> int4: that the coupling is a shock hold.; int4 & sent5 -> int5: the fact that the bighorn is a throated is not false.; [assump1] & int5 -> hypothesis; __DISPROVED__