the fact that if the calling occurs that the fact that the non-homileticness and/or the diabaticness happens is true does not hold does not hold.
sent1: the spectroscopicness does not occur if the branchialness happens and/or the call occurs. sent2: the non-spectroscopicness is triggered by that the branchialness occurs. sent3: if the spectroscopicness does not occur that the fact that the homileticness does not occur and/or the diabaticness occurs is correct is false. sent4: if the call happens then the fact that that either the homileticness or the diabaticness or both happens is false is correct. sent5: if that that the spectroscopicness does not occur and/or the homileticness does not occur is not true is correct the call does not occur. sent6: that either the non-homileticness or the diabaticness or both occurs is triggered by that the spectroscopicness does not occur.
void -> assump1: Let's assume that the calling happens.; assump1 -> int1: the branchialness or the calling or both occurs.; sent1 & int1 -> int2: the fact that the spectroscopicness does not occur is not incorrect.; sent3 & int2 -> int3: the fact that the homileticness does not occur and/or the diabaticness occurs does not hold.; [assump1] & int3 -> hypothesis;
the stint and/or the heedfulness happens.
$hypothesis$ = the fact that if the calling occurs that the fact that the non-homileticness and/or the diabaticness happens is true does not hold does not hold. ; $context$ = sent1: the spectroscopicness does not occur if the branchialness happens and/or the call occurs. sent2: the non-spectroscopicness is triggered by that the branchialness occurs. sent3: if the spectroscopicness does not occur that the fact that the homileticness does not occur and/or the diabaticness occurs is correct is false. sent4: if the call happens then the fact that that either the homileticness or the diabaticness or both happens is false is correct. sent5: if that that the spectroscopicness does not occur and/or the homileticness does not occur is not true is correct the call does not occur. sent6: that either the non-homileticness or the diabaticness or both occurs is triggered by that the spectroscopicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the calling happens.; assump1 -> int1: the branchialness or the calling or both occurs.; sent1 & int1 -> int2: the fact that the spectroscopicness does not occur is not incorrect.; sent3 & int2 -> int3: the fact that the homileticness does not occur and/or the diabaticness occurs does not hold.; [assump1] & int3 -> hypothesis; __DISPROVED__