there is something such that if the fact that it is branchy is not wrong it does not bumble variety.
sent1: if that the argentite either does not permit requisition or is cenogenetic or both is false it is not caffeinic. sent2: if the fact that something bumbles hexestrol and/or it is a reversed does not hold then it does not bumble variety. sent3: the Hanoverian does not boot Hanoverian if that the fact that it does not bumble variety or it is a kind of a Simon or both is not false does not hold. sent4: the argentite does not bumble variety if that it bumbles hexestrol or is reversed or both is not right. sent5: something does not bumble variety if the fact that either it does not bumble hexestrol or it is reversed or both is false. sent6: the argentite is non-branchy if it does not bumble hexestrol and/or is reversed.
void -> assump2: Let's assume that the argentite does not bumble hexestrol and/or it is a kind of a reversed.; sent6 & assump2 -> int1: the argentite is not branchy.; void -> assump1: Let's assume that the argentite is branchy.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that either the argentite does not bumble hexestrol or it is a kind of a reversed or both does not hold.; sent5 -> int4: if the fact that the argentite does not bumble hexestrol and/or it is a kind of a reversed does not hold then it does not bumble variety.; int3 & int4 -> int5: the argentite does not bumble variety.; [assump1] & int5 -> int6: the argentite does not bumble variety if it is branchy.; int6 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is branchy is not wrong it does not bumble variety. ; $context$ = sent1: if that the argentite either does not permit requisition or is cenogenetic or both is false it is not caffeinic. sent2: if the fact that something bumbles hexestrol and/or it is a reversed does not hold then it does not bumble variety. sent3: the Hanoverian does not boot Hanoverian if that the fact that it does not bumble variety or it is a kind of a Simon or both is not false does not hold. sent4: the argentite does not bumble variety if that it bumbles hexestrol or is reversed or both is not right. sent5: something does not bumble variety if the fact that either it does not bumble hexestrol or it is reversed or both is false. sent6: the argentite is non-branchy if it does not bumble hexestrol and/or is reversed. ; $proof$ = 
void -> assump2: Let's assume that the argentite does not bumble hexestrol and/or it is a kind of a reversed.; sent6 & assump2 -> int1: the argentite is not branchy.; void -> assump1: Let's assume that the argentite is branchy.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that either the argentite does not bumble hexestrol or it is a kind of a reversed or both does not hold.; sent5 -> int4: if the fact that the argentite does not bumble hexestrol and/or it is a kind of a reversed does not hold then it does not bumble variety.; int3 & int4 -> int5: the argentite does not bumble variety.; [assump1] & int5 -> int6: the argentite does not bumble variety if it is branchy.; int6 -> hypothesis; __PROVED__