that the basketball does not occur prevents that the opposing workflow does not occur.
sent1: if the basketball happens then the phrasalness happens and the nudism does not occur. sent2: that the opposing heresy and the maleness occurs prevents that the dazzle does not occur. sent3: the phrasalness occurs if the basketball does not occur. sent4: that the phrasalness happens and the nudism does not occur is triggered by that the basketball does not occur. sent5: if the unplayableness does not occur the Bavarianness but not the Frisian happens. sent6: the opposing workflow is triggered by the basketball. sent7: the according advertence does not occur. sent8: that the phrasalness but not the nudism happens triggers that the executing occurs. sent9: that the phrasalness happens is true. sent10: the opposing workflow happens if the executing happens. sent11: if the according mucopolysaccharide occurs then the allylicness occurs.
void -> assump1: Let's assume that that the basketball does not occur is correct.; sent4 & assump1 -> int1: the phrasalness but not the nudism happens.; sent8 & int1 -> int2: the executing occurs.; sent10 & int2 -> int3: that the opposing workflow occurs hold.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the basketball does not occur prevents that the opposing workflow does not occur. ; $context$ = sent1: if the basketball happens then the phrasalness happens and the nudism does not occur. sent2: that the opposing heresy and the maleness occurs prevents that the dazzle does not occur. sent3: the phrasalness occurs if the basketball does not occur. sent4: that the phrasalness happens and the nudism does not occur is triggered by that the basketball does not occur. sent5: if the unplayableness does not occur the Bavarianness but not the Frisian happens. sent6: the opposing workflow is triggered by the basketball. sent7: the according advertence does not occur. sent8: that the phrasalness but not the nudism happens triggers that the executing occurs. sent9: that the phrasalness happens is true. sent10: the opposing workflow happens if the executing happens. sent11: if the according mucopolysaccharide occurs then the allylicness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the basketball does not occur is correct.; sent4 & assump1 -> int1: the phrasalness but not the nudism happens.; sent8 & int1 -> int2: the executing occurs.; sent10 & int2 -> int3: that the opposing workflow occurs hold.; [assump1] & int3 -> hypothesis; __PROVED__