if the fact that the blackmail does not occur is right the downing moussaka occurs and the intelligibleness occurs.
sent1: the runoff happens. sent2: if the blackmailing occurs both the brachialness and the non-striateness occurs. sent3: that the brachialness occurs but the striating does not occur results in that the intelligibleness happens. sent4: the brachialness occurs. sent5: that that the matriculation does not occur or the non-quadrupedalness or both is triggered by that the photosensitizing liquefaction does not occur hold. sent6: the secretarialness does not occur. sent7: the brachialness happens if the blackmailing does not occur. sent8: if the blackmail does not occur the brachialness and the non-striateness occurs. sent9: the fact that the matriculation does not occur is right. sent10: the bilges occurs. sent11: the quadrupedalness happens. sent12: the hoodooing cheat happens and the downing schoolboy occurs. sent13: the quadrupedalness happens if the matriculation does not occur. sent14: if the quadrupedalness does not occur then both the hoodooing cheat and the downing moussaka occurs. sent15: both the downing moussaka and the intelligibleness occurs if the blackmailing occurs. sent16: the photosensitizing Nijinsky and the lamination happens. sent17: the opener does not occur. sent18: the horsewhipping does not occur if both the blackmailing and the intelligibleness occurs. sent19: both the downing moussaka and the quadrupedalness happens if the matriculation does not occur.
void -> assump1: Let's assume that the blackmail does not occur.; sent8 & assump1 -> int1: the brachialness and the non-striateness occurs.; int1 & sent3 -> int2: the intelligibleness happens.; sent19 & sent9 -> int3: the downing moussaka and the quadrupedalness occurs.; int3 -> int4: the downing moussaka happens.; int2 & int4 -> int5: both the downing moussaka and the intelligibleness occurs.; [assump1] & int5 -> hypothesis;
the hoodooing cheat occurs and the chauffeuring happens.
$hypothesis$ = if the fact that the blackmail does not occur is right the downing moussaka occurs and the intelligibleness occurs. ; $context$ = sent1: the runoff happens. sent2: if the blackmailing occurs both the brachialness and the non-striateness occurs. sent3: that the brachialness occurs but the striating does not occur results in that the intelligibleness happens. sent4: the brachialness occurs. sent5: that that the matriculation does not occur or the non-quadrupedalness or both is triggered by that the photosensitizing liquefaction does not occur hold. sent6: the secretarialness does not occur. sent7: the brachialness happens if the blackmailing does not occur. sent8: if the blackmail does not occur the brachialness and the non-striateness occurs. sent9: the fact that the matriculation does not occur is right. sent10: the bilges occurs. sent11: the quadrupedalness happens. sent12: the hoodooing cheat happens and the downing schoolboy occurs. sent13: the quadrupedalness happens if the matriculation does not occur. sent14: if the quadrupedalness does not occur then both the hoodooing cheat and the downing moussaka occurs. sent15: both the downing moussaka and the intelligibleness occurs if the blackmailing occurs. sent16: the photosensitizing Nijinsky and the lamination happens. sent17: the opener does not occur. sent18: the horsewhipping does not occur if both the blackmailing and the intelligibleness occurs. sent19: both the downing moussaka and the quadrupedalness happens if the matriculation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the blackmail does not occur.; sent8 & assump1 -> int1: the brachialness and the non-striateness occurs.; int1 & sent3 -> int2: the intelligibleness happens.; sent19 & sent9 -> int3: the downing moussaka and the quadrupedalness occurs.; int3 -> int4: the downing moussaka happens.; int2 & int4 -> int5: both the downing moussaka and the intelligibleness occurs.; [assump1] & int5 -> hypothesis; __PROVED__