that not the bivalveness but the Cockney occurs is right if the Rock does not occur.
sent1: the bivalve does not occur if the syndeticness occurs. sent2: if the grunting occurs then the fact that the desecrating mooring but not the untuning Bermuda happens is not right. sent3: if the sorrowfulness does not occur the desecrating snorer does not occur. sent4: that the Rock does not occur yields that the syndeticness but not the debarring husk happens. sent5: the fact that the fact that the engendering occurs and/or the observation does not occur is right is incorrect. sent6: the grunting happens if that the engendering occurs or the observation does not occur or both is not true.
void -> assump1: Let's assume that that the Rock does not occur is not wrong.; sent4 & assump1 -> int1: the syndeticness but not the debarring husk occurs.; int1 -> int2: the syndeticness happens.; int2 & sent1 -> int3: the bivalveness does not occur.; sent6 & sent5 -> int4: the grunting happens.; sent2 & int4 -> int5: the fact that the fact that the desecrating mooring occurs but the untuning Bermuda does not occur is not correct is right.;
$hypothesis$ = that not the bivalveness but the Cockney occurs is right if the Rock does not occur. ; $context$ = sent1: the bivalve does not occur if the syndeticness occurs. sent2: if the grunting occurs then the fact that the desecrating mooring but not the untuning Bermuda happens is not right. sent3: if the sorrowfulness does not occur the desecrating snorer does not occur. sent4: that the Rock does not occur yields that the syndeticness but not the debarring husk happens. sent5: the fact that the fact that the engendering occurs and/or the observation does not occur is right is incorrect. sent6: the grunting happens if that the engendering occurs or the observation does not occur or both is not true. ; $proof$ = 
void -> assump1: Let's assume that that the Rock does not occur is not wrong.; sent4 & assump1 -> int1: the syndeticness but not the debarring husk occurs.; int1 -> int2: the syndeticness happens.; int2 & sent1 -> int3: the bivalveness does not occur.; sent6 & sent5 -> int4: the grunting happens.; sent2 & int4 -> int5: the fact that the fact that the desecrating mooring occurs but the untuning Bermuda does not occur is not correct is right.; __UNKNOWN__