the analyst is Handelian thing that is not a kind of a brakes.
sent1: the analyst does not brake. sent2: if something is flowery then that that it is not a one-sixth and it is Handelian hold is wrong. sent3: the concrete is flowery if the fact that it is not flowery and it is not a one-sixth is not right. sent4: if the analyst is Handelian but it does not brake then the concrete is non-flowery. sent5: the fact that the concrete is not flowery and is not a kind of a one-sixth is wrong. sent6: if something is a kind of a one-sixth it is Handelian and is not a brakes. sent7: that the concrete is flowery but it is not a kind of a brakes is incorrect.
void -> assump1: Let's assume that the analyst is Handelian but it is not a brakes.; sent4 & assump1 -> int1: the concrete is not flowery.; sent3 & sent5 -> int2: the concrete is flowery.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the analyst is Handelian but it is not a kind of a brakes.
sent6 -> int4: the concrete is Handelian but it is not a kind of a brakes if it is a kind of a one-sixth.;
$hypothesis$ = the analyst is Handelian thing that is not a kind of a brakes. ; $context$ = sent1: the analyst does not brake. sent2: if something is flowery then that that it is not a one-sixth and it is Handelian hold is wrong. sent3: the concrete is flowery if the fact that it is not flowery and it is not a one-sixth is not right. sent4: if the analyst is Handelian but it does not brake then the concrete is non-flowery. sent5: the fact that the concrete is not flowery and is not a kind of a one-sixth is wrong. sent6: if something is a kind of a one-sixth it is Handelian and is not a brakes. sent7: that the concrete is flowery but it is not a kind of a brakes is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the analyst is Handelian but it is not a brakes.; sent4 & assump1 -> int1: the concrete is not flowery.; sent3 & sent5 -> int2: the concrete is flowery.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__