the fact that if the flashback occurs then the distinguishing happens is incorrect.
sent1: the measuring millwheel does not occur and the bubonicness does not occur. sent2: that the measuring meperidine occurs is right. sent3: the seigneury does not occur and the ace does not occur. sent4: the trophicness does not occur and the trundling Pincus does not occur. sent5: the cursorialness does not occur if that the measuring chromite occurs and/or the grabbing does not occur is not right. sent6: the refresher is caused by that the unfathomableness happens. sent7: if that either the fibrinousness or the non-nonfinancialness or both happens is not correct then the measuring charmer does not occur. sent8: that the flashback does not occur is triggered by that the cursorialness does not occur and the distinguishing happens. sent9: the stomping happens. sent10: that either the measuring chromite occurs or the grabbing does not occur or both is not true. sent11: the trundling shambles occurs. sent12: the cursorialness occurs and the flashback occurs if that the bardicness does not occur is correct. sent13: that the volumetricness occurs or the apocrineness does not occur or both does not hold. sent14: the measuring chromite does not occur. sent15: if the cursorialness does not occur and the distinguishing does not occur the flashback does not occur. sent16: if that the cursorialness does not occur and the distinguishing does not occur hold that the flashback occurs is correct. sent17: the highwater does not occur. sent18: the Frostianness happens.
sent5 & sent10 -> int1: the cursorialness does not occur.; void -> assump1: Let's assume that the distinguishing does not occur.; int1 & assump1 -> int2: the cursorialness does not occur and the distinguishing does not occur.; int2 & sent15 -> int3: the flashback does not occur.; void -> assump2: Let's assume that the flashback happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the distinguishing happens.; [assump2] & int5 -> hypothesis;
the FM does not occur.
$hypothesis$ = the fact that if the flashback occurs then the distinguishing happens is incorrect. ; $context$ = sent1: the measuring millwheel does not occur and the bubonicness does not occur. sent2: that the measuring meperidine occurs is right. sent3: the seigneury does not occur and the ace does not occur. sent4: the trophicness does not occur and the trundling Pincus does not occur. sent5: the cursorialness does not occur if that the measuring chromite occurs and/or the grabbing does not occur is not right. sent6: the refresher is caused by that the unfathomableness happens. sent7: if that either the fibrinousness or the non-nonfinancialness or both happens is not correct then the measuring charmer does not occur. sent8: that the flashback does not occur is triggered by that the cursorialness does not occur and the distinguishing happens. sent9: the stomping happens. sent10: that either the measuring chromite occurs or the grabbing does not occur or both is not true. sent11: the trundling shambles occurs. sent12: the cursorialness occurs and the flashback occurs if that the bardicness does not occur is correct. sent13: that the volumetricness occurs or the apocrineness does not occur or both does not hold. sent14: the measuring chromite does not occur. sent15: if the cursorialness does not occur and the distinguishing does not occur the flashback does not occur. sent16: if that the cursorialness does not occur and the distinguishing does not occur hold that the flashback occurs is correct. sent17: the highwater does not occur. sent18: the Frostianness happens. ; $proof$ = 
sent5 & sent10 -> int1: the cursorialness does not occur.; void -> assump1: Let's assume that the distinguishing does not occur.; int1 & assump1 -> int2: the cursorialness does not occur and the distinguishing does not occur.; int2 & sent15 -> int3: the flashback does not occur.; void -> assump2: Let's assume that the flashback happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the distinguishing happens.; [assump2] & int5 -> hypothesis; __DISPROVED__