that if the tinkerer is not conciliatory then the lumberman does not letter lumen but it is a barrage is not correct.
sent1: if the tinkerer is not conciliatory then the fact that the recess does letter lumen is correct. sent2: the lumberman letters lumen and is a barrage. sent3: if the recess does letter lumen the lumberman does not letter lumen and is a barrage. sent4: if the recess letters lumen then the lumberman is a barrage.
void -> assump1: Let's assume that the tinkerer is not conciliatory.; sent1 & assump1 -> int1: the recess does letter lumen.; sent3 & int1 -> int2: the lumberman does not letter lumen but it is a barrage.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that if the tinkerer is not conciliatory then the lumberman does not letter lumen but it is a barrage is not correct. ; $context$ = sent1: if the tinkerer is not conciliatory then the fact that the recess does letter lumen is correct. sent2: the lumberman letters lumen and is a barrage. sent3: if the recess does letter lumen the lumberman does not letter lumen and is a barrage. sent4: if the recess letters lumen then the lumberman is a barrage. ; $proof$ = 
void -> assump1: Let's assume that the tinkerer is not conciliatory.; sent1 & assump1 -> int1: the recess does letter lumen.; sent3 & int1 -> int2: the lumberman does not letter lumen but it is a barrage.; [assump1] & int2 -> hypothesis; __DISPROVED__