if the fluoroform does not shush or it is unresentful or both the impurity is Liberian.
sent1: something does not gall concentration if it does not shush and/or it is unresentful. sent2: if the fluoroform does not gall concentration the impurity is a Liberian. sent3: if something is a kind of non-Liberian thing that does gall concentration it is not unresentful.
sent1 -> int1: if the fluoroform does not shush and/or it is unresentful then it does not gall concentration.; void -> assump1: Let's assume that the fluoroform does not shush or it is unresentful or both.; int1 & assump1 -> int2: the fluoroform does not gall concentration.; sent2 & int2 -> int3: the impurity is a Liberian.; [assump1] & int3 -> hypothesis;
the hero is not unresentful.
sent3 -> int4: if the hero is non-Liberian but it does gall concentration it is not unresentful.;
$hypothesis$ = if the fluoroform does not shush or it is unresentful or both the impurity is Liberian. ; $context$ = sent1: something does not gall concentration if it does not shush and/or it is unresentful. sent2: if the fluoroform does not gall concentration the impurity is a Liberian. sent3: if something is a kind of non-Liberian thing that does gall concentration it is not unresentful. ; $proof$ = 
sent1 -> int1: if the fluoroform does not shush and/or it is unresentful then it does not gall concentration.; void -> assump1: Let's assume that the fluoroform does not shush or it is unresentful or both.; int1 & assump1 -> int2: the fluoroform does not gall concentration.; sent2 & int2 -> int3: the impurity is a Liberian.; [assump1] & int3 -> hypothesis; __PROVED__