the ex-wife is a metronidazole.
sent1: if the biologist falls then the ex-wife is not a metronidazole. sent2: the archduchy is a kind of dysgenics an exploration. sent3: if that the deuteron is not a mum but it is dependable is not true then the jacksnipe is not a walkout. sent4: if the jacksnipe is not a kind of a walkout then the backswimmer does not diffuse chantry but it is aeromechanics. sent5: if something is a kind of a walkout it is a kind of a metronidazole. sent6: the biologist is a fell if the backswimmer does not diffuse chantry and is aeromechanics. sent7: the archduchy is not a kind of a walkout if the jacksnipe is both not an exploration and a fell. sent8: the archduchy is not an exploration if the deuteron is not a kind of a mum and is dependable.
void -> assump1: Let's assume that the deuteron is not a mum but it is dependable.; sent8 & assump1 -> int1: the archduchy is not an exploration.; sent2 -> int2: the archduchy is a kind of an exploration.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the fact that the deuteron is not a mum but dependable is not wrong does not hold.; int4 & sent3 -> int5: the jacksnipe is not a walkout.; int5 & sent4 -> int6: the backswimmer does not diffuse chantry and is aeromechanics.; int6 & sent6 -> int7: the biologist falls.; int7 & sent1 -> hypothesis;
the ex-wife is a kind of a metronidazole.
sent5 -> int8: the ex-wife is a metronidazole if it is a walkout.;
$hypothesis$ = the ex-wife is a metronidazole. ; $context$ = sent1: if the biologist falls then the ex-wife is not a metronidazole. sent2: the archduchy is a kind of dysgenics an exploration. sent3: if that the deuteron is not a mum but it is dependable is not true then the jacksnipe is not a walkout. sent4: if the jacksnipe is not a kind of a walkout then the backswimmer does not diffuse chantry but it is aeromechanics. sent5: if something is a kind of a walkout it is a kind of a metronidazole. sent6: the biologist is a fell if the backswimmer does not diffuse chantry and is aeromechanics. sent7: the archduchy is not a kind of a walkout if the jacksnipe is both not an exploration and a fell. sent8: the archduchy is not an exploration if the deuteron is not a kind of a mum and is dependable. ; $proof$ = 
void -> assump1: Let's assume that the deuteron is not a mum but it is dependable.; sent8 & assump1 -> int1: the archduchy is not an exploration.; sent2 -> int2: the archduchy is a kind of an exploration.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the fact that the deuteron is not a mum but dependable is not wrong does not hold.; int4 & sent3 -> int5: the jacksnipe is not a walkout.; int5 & sent4 -> int6: the backswimmer does not diffuse chantry and is aeromechanics.; int6 & sent6 -> int7: the biologist falls.; int7 & sent1 -> hypothesis; __DISPROVED__