that that the superannuation does not occur and the decampment does not occur is triggered by that the replication occurs does not hold.
sent1: that the omission occurs but the dinging Werfel does not occur is not correct if the arterioscleroticness occurs. sent2: if the sedating does not occur then the dinging Psalm happens. sent3: that the arterioscleroticness does not occur or the marbling does not occur or both is caused by that the extrasystole happens. sent4: that the extrasystole does not occur and the arterioscleroticness does not occur is not right if the marbling does not occur. sent5: the outgeneraling gynostegium happens if the sedating happens. sent6: the dinging Monopoly but not the marbling happens. sent7: if the fact that the extrasystole does not occur and the arterioscleroticness does not occur is not right the fact that the arterioscleroticness occurs is right. sent8: the fact that if the decampment occurs the replication occurs and the superannuation does not occur is not wrong. sent9: the reportableness occurs if the outgeneraling powderer happens. sent10: if that the omission happens but the dinging Werfel does not occur is not right the decampment does not occur. sent11: the dinging Monopoly occurs. sent12: if the omission does not occur the decampment happens and the dinging Werfel occurs. sent13: the sedating and the dinging clubfoot occurs. sent14: the replication is prevented by that both the superannuation and the outgeneraling gynostegium happens.
sent13 -> int1: the sedating occurs.; int1 & sent5 -> int2: the fact that the outgeneraling gynostegium happens is right.; void -> assump2: Let's assume that the superannuation happens.; int2 & assump2 -> int3: the superannuation and the outgeneraling gynostegium occurs.; int3 & sent14 -> int4: the replication does not occur.; void -> assump1: Let's assume that the replication occurs.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the fact that the superannuation does not occur hold.; sent6 -> int7: the marbling does not occur.; sent4 & int7 -> int8: that the extrasystole does not occur and the arterioscleroticness does not occur is incorrect.; sent7 & int8 -> int9: the arterioscleroticness occurs.; sent1 & int9 -> int10: the fact that the omission happens and the dinging Werfel does not occur is wrong.; sent10 & int10 -> int11: the decampment does not occur.; int6 & int11 -> int12: the superannuation does not occur and the decampment does not occur.; [assump1] & int12 -> hypothesis;
the dinging Psalm happens.
$hypothesis$ = that that the superannuation does not occur and the decampment does not occur is triggered by that the replication occurs does not hold. ; $context$ = sent1: that the omission occurs but the dinging Werfel does not occur is not correct if the arterioscleroticness occurs. sent2: if the sedating does not occur then the dinging Psalm happens. sent3: that the arterioscleroticness does not occur or the marbling does not occur or both is caused by that the extrasystole happens. sent4: that the extrasystole does not occur and the arterioscleroticness does not occur is not right if the marbling does not occur. sent5: the outgeneraling gynostegium happens if the sedating happens. sent6: the dinging Monopoly but not the marbling happens. sent7: if the fact that the extrasystole does not occur and the arterioscleroticness does not occur is not right the fact that the arterioscleroticness occurs is right. sent8: the fact that if the decampment occurs the replication occurs and the superannuation does not occur is not wrong. sent9: the reportableness occurs if the outgeneraling powderer happens. sent10: if that the omission happens but the dinging Werfel does not occur is not right the decampment does not occur. sent11: the dinging Monopoly occurs. sent12: if the omission does not occur the decampment happens and the dinging Werfel occurs. sent13: the sedating and the dinging clubfoot occurs. sent14: the replication is prevented by that both the superannuation and the outgeneraling gynostegium happens. ; $proof$ = 
sent13 -> int1: the sedating occurs.; int1 & sent5 -> int2: the fact that the outgeneraling gynostegium happens is right.; void -> assump2: Let's assume that the superannuation happens.; int2 & assump2 -> int3: the superannuation and the outgeneraling gynostegium occurs.; int3 & sent14 -> int4: the replication does not occur.; void -> assump1: Let's assume that the replication occurs.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the fact that the superannuation does not occur hold.; sent6 -> int7: the marbling does not occur.; sent4 & int7 -> int8: that the extrasystole does not occur and the arterioscleroticness does not occur is incorrect.; sent7 & int8 -> int9: the arterioscleroticness occurs.; sent1 & int9 -> int10: the fact that the omission happens and the dinging Werfel does not occur is wrong.; sent10 & int10 -> int11: the decampment does not occur.; int6 & int11 -> int12: the superannuation does not occur and the decampment does not occur.; [assump1] & int12 -> hypothesis; __DISPROVED__