that the non-vinaceousness yields that the sigmoidoscopy happens and the diminishing happens is not correct.
sent1: the dispute happens. sent2: both the non-ciliateness and the execration occurs. sent3: if the synonymousness occurs then the sigmoidoscopy happens. sent4: that the thelarche but not the aiming occurs is not true if the vinaceousness does not occur. sent5: if the aim happens then the synonymousness occurs. sent6: if both the endermicness and the Manchurianness happens then the diminishing happens. sent7: if the vinaceousness does not occur the fact that the thelarche occurs and the aim happens does not hold. sent8: that the vinaceousness occurs brings about that the physiotherapeuticness occurs but the SNP does not occur. sent9: the Manchurianness does not occur. sent10: the defalcation occurs. sent11: the icing probabilism does not occur if the fact that the non-ciliateness and the non-autogamousness happens is right. sent12: the endermicness but not the Manchurianness happens if the dispute happens. sent13: the synonymousness happens if that the thelarche but not the aiming occurs is wrong. sent14: the diminishing is triggered by that the endermicness but not the Manchurianness occurs. sent15: that the fact that the thelarche and the aim occurs is false is correct. sent16: the fact that both the diminishing and the Manchurianness happens is incorrect if the endermicness does not occur. sent17: the icing probabilism does not occur. sent18: the fact that the autogamousness does not occur is true.
void -> assump1: Let's assume that the vinaceousness does not occur.; sent4 & assump1 -> int1: that the thelarche occurs and the aim does not occur is wrong.; int1 & sent13 -> int2: that the synonymousness happens is true.; int2 & sent3 -> int3: the sigmoidoscopy occurs.; sent12 & sent1 -> int4: both the endermicness and the non-Manchurianness occurs.; sent14 & int4 -> int5: the diminishing happens.; int3 & int5 -> int6: both the sigmoidoscopy and the diminishing happens.; [assump1] & int6 -> hypothesis;
the physiotherapeuticness happens but the SNP does not occur.
sent2 -> int7: the ciliate does not occur.; int7 & sent18 -> int8: both the non-ciliateness and the non-autogamousness happens.; sent11 & int8 -> int9: the icing probabilism does not occur.;
$hypothesis$ = that the non-vinaceousness yields that the sigmoidoscopy happens and the diminishing happens is not correct. ; $context$ = sent1: the dispute happens. sent2: both the non-ciliateness and the execration occurs. sent3: if the synonymousness occurs then the sigmoidoscopy happens. sent4: that the thelarche but not the aiming occurs is not true if the vinaceousness does not occur. sent5: if the aim happens then the synonymousness occurs. sent6: if both the endermicness and the Manchurianness happens then the diminishing happens. sent7: if the vinaceousness does not occur the fact that the thelarche occurs and the aim happens does not hold. sent8: that the vinaceousness occurs brings about that the physiotherapeuticness occurs but the SNP does not occur. sent9: the Manchurianness does not occur. sent10: the defalcation occurs. sent11: the icing probabilism does not occur if the fact that the non-ciliateness and the non-autogamousness happens is right. sent12: the endermicness but not the Manchurianness happens if the dispute happens. sent13: the synonymousness happens if that the thelarche but not the aiming occurs is wrong. sent14: the diminishing is triggered by that the endermicness but not the Manchurianness occurs. sent15: that the fact that the thelarche and the aim occurs is false is correct. sent16: the fact that both the diminishing and the Manchurianness happens is incorrect if the endermicness does not occur. sent17: the icing probabilism does not occur. sent18: the fact that the autogamousness does not occur is true. ; $proof$ = 
void -> assump1: Let's assume that the vinaceousness does not occur.; sent4 & assump1 -> int1: that the thelarche occurs and the aim does not occur is wrong.; int1 & sent13 -> int2: that the synonymousness happens is true.; int2 & sent3 -> int3: the sigmoidoscopy occurs.; sent12 & sent1 -> int4: both the endermicness and the non-Manchurianness occurs.; sent14 & int4 -> int5: the diminishing happens.; int3 & int5 -> int6: both the sigmoidoscopy and the diminishing happens.; [assump1] & int6 -> hypothesis; __DISPROVED__