the fact that that that the datableness does not occur causes either that the floriculture happens or that the glassing occurs or both is not false is false.
sent1: that the non-uniformedness and the non-exportableness occurs prevents that the glassing does not occur. sent2: if the datableness does not occur the non-uniformedness and the non-exportableness happens.
void -> assump1: Let's assume that the datableness does not occur.; sent2 & assump1 -> int1: the fact that the uniforming does not occur and the exportableness does not occur is not incorrect.; sent1 & int1 -> int2: the glassing happens.; int2 -> int3: the floriculture occurs or the glass happens or both.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that that that the datableness does not occur causes either that the floriculture happens or that the glassing occurs or both is not false is false. ; $context$ = sent1: that the non-uniformedness and the non-exportableness occurs prevents that the glassing does not occur. sent2: if the datableness does not occur the non-uniformedness and the non-exportableness happens. ; $proof$ = 
void -> assump1: Let's assume that the datableness does not occur.; sent2 & assump1 -> int1: the fact that the uniforming does not occur and the exportableness does not occur is not incorrect.; sent1 & int1 -> int2: the glassing happens.; int2 -> int3: the floriculture occurs or the glass happens or both.; [assump1] & int3 -> hypothesis; __DISPROVED__