if the crenel does not occur then that the fact that either the subrogation happens or the device does not occur or both is not true is not incorrect.
sent1: if the playing does not occur the fact that either the subrogation happens or the device does not occur or both is false. sent2: the variolation does not occur. sent3: the noninheritableness and the duralness occurs if the variolation does not occur. sent4: the playing does not occur if the scrupling does not occur and the links does not occur. sent5: if the duralness occurs the links does not occur and the retroactiveness does not occur. sent6: that the subrogation or the device or both happens is not correct. sent7: if the playing does not occur the subrogation occurs or the device does not occur or both. sent8: if the fact that the murmuring Stein does not occur and the scrupling does not occur is incorrect then the creneling occurs. sent9: that the departure does not occur and the shrinking rabbit does not occur does not hold. sent10: if the duralness happens the retroactiveness does not occur.
void -> assump2: Let's assume that the fact that the murmuring Stein does not occur and the scruple does not occur is not right.; sent8 & assump2 -> int1: the crenel happens.; void -> assump1: Let's assume that the creneling does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the murmuring Stein does not occur and the scruple does not occur.; int3 -> int4: the scrupling does not occur.; sent3 & sent2 -> int5: the noninheritableness and the duralness occurs.; int5 -> int6: the duralness happens.; sent5 & int6 -> int7: the links does not occur and the retroactiveness does not occur.; int7 -> int8: that the links does not occur hold.; int4 & int8 -> int9: the scrupling does not occur and the links does not occur.; int9 & sent4 -> int10: the playing does not occur.; int10 & sent1 -> int11: the fact that the subrogation occurs and/or the device does not occur is wrong.; [assump1] & int11 -> hypothesis;
$hypothesis$ = if the crenel does not occur then that the fact that either the subrogation happens or the device does not occur or both is not true is not incorrect. ; $context$ = sent1: if the playing does not occur the fact that either the subrogation happens or the device does not occur or both is false. sent2: the variolation does not occur. sent3: the noninheritableness and the duralness occurs if the variolation does not occur. sent4: the playing does not occur if the scrupling does not occur and the links does not occur. sent5: if the duralness occurs the links does not occur and the retroactiveness does not occur. sent6: that the subrogation or the device or both happens is not correct. sent7: if the playing does not occur the subrogation occurs or the device does not occur or both. sent8: if the fact that the murmuring Stein does not occur and the scrupling does not occur is incorrect then the creneling occurs. sent9: that the departure does not occur and the shrinking rabbit does not occur does not hold. sent10: if the duralness happens the retroactiveness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fact that the murmuring Stein does not occur and the scruple does not occur is not right.; sent8 & assump2 -> int1: the crenel happens.; void -> assump1: Let's assume that the creneling does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the murmuring Stein does not occur and the scruple does not occur.; int3 -> int4: the scrupling does not occur.; sent3 & sent2 -> int5: the noninheritableness and the duralness occurs.; int5 -> int6: the duralness happens.; sent5 & int6 -> int7: the links does not occur and the retroactiveness does not occur.; int7 -> int8: that the links does not occur hold.; int4 & int8 -> int9: the scrupling does not occur and the links does not occur.; int9 & sent4 -> int10: the playing does not occur.; int10 & sent1 -> int11: the fact that the subrogation occurs and/or the device does not occur is wrong.; [assump1] & int11 -> hypothesis; __PROVED__