the centromericness prevents that the spraying does not occur.
sent1: the stinting macadam is prevented by the effleurage and/or that the stewardship does not occur. sent2: if that the fact that the effleurage happens or the stewardship occurs or both is not wrong is false the centromericness does not occur. sent3: if the stewardship does not occur the stinting macadam does not occur. sent4: the duralness occurs. sent5: if the stinting macadam does not occur then the wrestling quern does not occur and the duralness occurs. sent6: the centromericness does not occur if that either the effleurage happens or the stewardship does not occur or both is not true. sent7: that not the wrestling quern but the duralness occurs causes the spray.
void -> assump1: Let's assume that the centromericness occurs.; void -> assump2: Let's assume that that the effleurage happens or the stewardship does not occur or both is incorrect.; sent6 & assump2 -> int1: the centromericness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: either the effleurage occurs or the stewardship does not occur or both.; sent1 & int3 -> int4: the stinting macadam does not occur.; sent5 & int4 -> int5: the wrestling quern does not occur but the duralness happens.; sent7 & int5 -> int6: the spraying happens.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the centromericness prevents that the spraying does not occur. ; $context$ = sent1: the stinting macadam is prevented by the effleurage and/or that the stewardship does not occur. sent2: if that the fact that the effleurage happens or the stewardship occurs or both is not wrong is false the centromericness does not occur. sent3: if the stewardship does not occur the stinting macadam does not occur. sent4: the duralness occurs. sent5: if the stinting macadam does not occur then the wrestling quern does not occur and the duralness occurs. sent6: the centromericness does not occur if that either the effleurage happens or the stewardship does not occur or both is not true. sent7: that not the wrestling quern but the duralness occurs causes the spray. ; $proof$ = 
void -> assump1: Let's assume that the centromericness occurs.; void -> assump2: Let's assume that that the effleurage happens or the stewardship does not occur or both is incorrect.; sent6 & assump2 -> int1: the centromericness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: either the effleurage occurs or the stewardship does not occur or both.; sent1 & int3 -> int4: the stinting macadam does not occur.; sent5 & int4 -> int5: the wrestling quern does not occur but the duralness happens.; sent7 & int5 -> int6: the spraying happens.; [assump1] & int6 -> hypothesis; __PROVED__