the counterbalance either is an oxidation or is sudden or both.
sent1: if something does not fart bait then it is actuarial. sent2: something is not a kind of a towline but it is actuarial if it does not fart bait. sent3: there exists something such that that the fact that it does not roll Livy and it is not back-channel hold does not hold. sent4: the dichromat is a thirties if it is not a kind of a Kabul. sent5: if there is something such that that it does not roll Livy and is not back-channel does not hold the dichromat is not a thirties. sent6: the counterbalance is a kind of an oxidation if the dichromat is both not a towline and actuarial.
void -> assump1: Let's assume that the fact that the dichromat is not a Kabul is right.; sent4 & assump1 -> int1: the dichromat is a thirties.; sent3 & sent5 -> int2: the dichromat is not a thirties.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dichromat is a Kabul.; sent2 -> int5: if the dichromat does not fart bait then it is not a towline and it is actuarial.;
$hypothesis$ = the counterbalance either is an oxidation or is sudden or both. ; $context$ = sent1: if something does not fart bait then it is actuarial. sent2: something is not a kind of a towline but it is actuarial if it does not fart bait. sent3: there exists something such that that the fact that it does not roll Livy and it is not back-channel hold does not hold. sent4: the dichromat is a thirties if it is not a kind of a Kabul. sent5: if there is something such that that it does not roll Livy and is not back-channel does not hold the dichromat is not a thirties. sent6: the counterbalance is a kind of an oxidation if the dichromat is both not a towline and actuarial. ; $proof$ = 
void -> assump1: Let's assume that the fact that the dichromat is not a Kabul is right.; sent4 & assump1 -> int1: the dichromat is a thirties.; sent3 & sent5 -> int2: the dichromat is not a thirties.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dichromat is a Kabul.; sent2 -> int5: if the dichromat does not fart bait then it is not a towline and it is actuarial.; __UNKNOWN__