the fact that the tincturing basil does not occur or the avitaminoticness does not occur or both if the Low does not occur does not hold.
sent1: the avitaminoticness does not occur if the preceptorship does not occur and the Low does not occur. sent2: if the ateleioticness happens the macrencephalicness does not occur and/or the divarication does not occur. sent3: that the shoving happens and the conductiveness happens is incorrect. sent4: if the fact that the shoving and the conductiveness occurs does not hold then the preceptorship does not occur.
sent4 & sent3 -> int1: the preceptorship does not occur.; void -> assump1: Let's assume that the Low does not occur.; int1 & assump1 -> int2: the preceptorship does not occur and the Low does not occur.; sent1 & int2 -> int3: the avitaminoticness does not occur.; int3 -> int4: the tincturing basil does not occur or the avitaminoticness does not occur or both.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the tincturing basil does not occur or the avitaminoticness does not occur or both if the Low does not occur does not hold. ; $context$ = sent1: the avitaminoticness does not occur if the preceptorship does not occur and the Low does not occur. sent2: if the ateleioticness happens the macrencephalicness does not occur and/or the divarication does not occur. sent3: that the shoving happens and the conductiveness happens is incorrect. sent4: if the fact that the shoving and the conductiveness occurs does not hold then the preceptorship does not occur. ; $proof$ = 
sent4 & sent3 -> int1: the preceptorship does not occur.; void -> assump1: Let's assume that the Low does not occur.; int1 & assump1 -> int2: the preceptorship does not occur and the Low does not occur.; sent1 & int2 -> int3: the avitaminoticness does not occur.; int3 -> int4: the tincturing basil does not occur or the avitaminoticness does not occur or both.; [assump1] & int4 -> hypothesis; __DISPROVED__