the MOT occurs if the detonation occurs.
sent1: that the Polo does not occur is prevented by that the taming athlete does not occur but the reproducing happens. sent2: the shutout does not occur. sent3: that the procrastination does not occur and the primateship occurs is brought about by that the murmuring vigil happens. sent4: the settlement is brought about by that not the enlivening but the leadenness happens. sent5: if the taming city happens the mismanagement happens. sent6: that not the prefecture but the genuineness happens triggers the murmuring crowd. sent7: the shrinking sugarberry happens. sent8: the retaking does not occur but the nebule occurs. sent9: the shutout does not occur and the clutch occurs if the detonation happens. sent10: the murmuring seine occurs. sent11: the murmuring castration occurs. sent12: the Singaporean prevents that the sculpture does not occur. sent13: the taming zooid does not occur and the ablation happens. sent14: the tensedness occurs. sent15: the MOT occurs if not the shutout but the clutch happens. sent16: that the shutout occurs is prevented by that the detonation occurs. sent17: that the MOT does not occur is prevented by that the shutout occurs and the clutch happens. sent18: if the aspectualness happens then the microcephalicness occurs.
void -> assump1: Let's assume that the detonation occurs.; sent9 & assump1 -> int1: not the shutout but the clutch occurs.; sent15 & int1 -> int2: the MOT occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the MOT occurs if the detonation occurs. ; $context$ = sent1: that the Polo does not occur is prevented by that the taming athlete does not occur but the reproducing happens. sent2: the shutout does not occur. sent3: that the procrastination does not occur and the primateship occurs is brought about by that the murmuring vigil happens. sent4: the settlement is brought about by that not the enlivening but the leadenness happens. sent5: if the taming city happens the mismanagement happens. sent6: that not the prefecture but the genuineness happens triggers the murmuring crowd. sent7: the shrinking sugarberry happens. sent8: the retaking does not occur but the nebule occurs. sent9: the shutout does not occur and the clutch occurs if the detonation happens. sent10: the murmuring seine occurs. sent11: the murmuring castration occurs. sent12: the Singaporean prevents that the sculpture does not occur. sent13: the taming zooid does not occur and the ablation happens. sent14: the tensedness occurs. sent15: the MOT occurs if not the shutout but the clutch happens. sent16: that the shutout occurs is prevented by that the detonation occurs. sent17: that the MOT does not occur is prevented by that the shutout occurs and the clutch happens. sent18: if the aspectualness happens then the microcephalicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the detonation occurs.; sent9 & assump1 -> int1: not the shutout but the clutch occurs.; sent15 & int1 -> int2: the MOT occurs.; [assump1] & int2 -> hypothesis; __PROVED__