if the hide-and-seek happens both the alluvion and the non-Brobdingnagianness happens.
sent1: that the unsealing betaine does not occur yields that the alluvion but not the stunting graffito occurs. sent2: that the unsealing betaine does not occur hold. sent3: the stunting graffito does not occur. sent4: the computerization does not occur if the hide-and-seek and the non-Brobdingnagianness occurs. sent5: the hide-and-seek does not occur if the Brobdingnagianness happens. sent6: that the bankrupting sycamore does not occur is triggered by the unexpendableness.
void -> assump2: Let's assume that the Brobdingnagianness occurs.; sent5 & assump2 -> int1: the hide-and-seek does not occur.; void -> assump1: Let's assume that the hide-and-seek happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Brobdingnagianness does not occur is not wrong.; sent1 & sent2 -> int4: the alluvion occurs and the stunting graffito does not occur.; int4 -> int5: the alluvion occurs.; int3 & int5 -> int6: both the alluvion and the non-Brobdingnagianness occurs.; [assump1] & int6 -> hypothesis;
the computerization does not occur.
$hypothesis$ = if the hide-and-seek happens both the alluvion and the non-Brobdingnagianness happens. ; $context$ = sent1: that the unsealing betaine does not occur yields that the alluvion but not the stunting graffito occurs. sent2: that the unsealing betaine does not occur hold. sent3: the stunting graffito does not occur. sent4: the computerization does not occur if the hide-and-seek and the non-Brobdingnagianness occurs. sent5: the hide-and-seek does not occur if the Brobdingnagianness happens. sent6: that the bankrupting sycamore does not occur is triggered by the unexpendableness. ; $proof$ = 
void -> assump2: Let's assume that the Brobdingnagianness occurs.; sent5 & assump2 -> int1: the hide-and-seek does not occur.; void -> assump1: Let's assume that the hide-and-seek happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Brobdingnagianness does not occur is not wrong.; sent1 & sent2 -> int4: the alluvion occurs and the stunting graffito does not occur.; int4 -> int5: the alluvion occurs.; int3 & int5 -> int6: both the alluvion and the non-Brobdingnagianness occurs.; [assump1] & int6 -> hypothesis; __PROVED__