the intermolecularness does not occur.
sent1: the fact that the evicting aqualung does not occur is right if the fact that either the shafting readership or the shafting coxswain or both occurs is right. sent2: if the shafting coxswain does not occur the brotherliness and the tangentialness happens. sent3: if the tangentialness happens the intermolecularness happens. sent4: the evicting aqualung happens.
void -> assump1: Let's assume that the shafting coxswain happens.; assump1 -> int1: the shafting readership and/or the shafting coxswain happens.; int1 & sent1 -> int2: the evicting aqualung does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the shafting coxswain does not occur.; int4 & sent2 -> int5: the brotherliness and the tangentialness occurs.; int5 -> int6: the tangentialness occurs.; int6 & sent3 -> hypothesis;
$hypothesis$ = the intermolecularness does not occur. ; $context$ = sent1: the fact that the evicting aqualung does not occur is right if the fact that either the shafting readership or the shafting coxswain or both occurs is right. sent2: if the shafting coxswain does not occur the brotherliness and the tangentialness happens. sent3: if the tangentialness happens the intermolecularness happens. sent4: the evicting aqualung happens. ; $proof$ = 
void -> assump1: Let's assume that the shafting coxswain happens.; assump1 -> int1: the shafting readership and/or the shafting coxswain happens.; int1 & sent1 -> int2: the evicting aqualung does not occur.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the shafting coxswain does not occur.; int4 & sent2 -> int5: the brotherliness and the tangentialness occurs.; int5 -> int6: the tangentialness occurs.; int6 & sent3 -> hypothesis; __DISPROVED__