the fact that that the armillariness occurs prevents that the mercilessness happens is wrong.
sent1: if the icebreaker happens then the shade does not occur. sent2: the soldiering barb does not occur if the fact that the arthrography does not occur does not hold. sent3: that the negotiating harbor happens and the unnecessariness occurs does not hold if the getaway does not occur. sent4: both the negotiating lisle and the convexness happens if the pureness does not occur. sent5: the non-unnecessariness yields that the equivocalness occurs and the perithelialness happens. sent6: the fact that the things happens is true. sent7: if both the spoilage and the negotiating firestorm happens the quivering filet does not occur. sent8: the tootle occurs and the footwork occurs. sent9: if that both the negotiating harbor and the unnecessariness happens is not right the unnecessariness does not occur. sent10: if the pureness happens and the mercilessness happens then the armillariness does not occur. sent11: that the soldiering Gdansk does not occur and the quivering filet does not occur prevents the getaway. sent12: the negotiating lisle occurs and the pureness happens. sent13: that the lucifugousness does not occur is caused by the things. sent14: that the adhesiveness and the non-heliocentricness happens is triggered by that the equivocalness happens. sent15: if the armillariness occurs the mercilessness occurs. sent16: the ways does not occur. sent17: the retorting does not occur. sent18: if that the nonadhesiveness does not occur is not incorrect then the fact that the armillariness and the mercilessness happens is wrong.
void -> assump1: Let's assume that the armillariness occurs.; sent12 -> int1: the pureness happens.; void -> assump2: Let's assume that that the mercilessness happens is true.; int1 & assump2 -> int2: the pureness and the mercilessness occurs.; sent10 & int2 -> int3: the armillariness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the mercilessness does not occur.; [assump1] & int5 -> hypothesis;
the convexness occurs.
$hypothesis$ = the fact that that the armillariness occurs prevents that the mercilessness happens is wrong. ; $context$ = sent1: if the icebreaker happens then the shade does not occur. sent2: the soldiering barb does not occur if the fact that the arthrography does not occur does not hold. sent3: that the negotiating harbor happens and the unnecessariness occurs does not hold if the getaway does not occur. sent4: both the negotiating lisle and the convexness happens if the pureness does not occur. sent5: the non-unnecessariness yields that the equivocalness occurs and the perithelialness happens. sent6: the fact that the things happens is true. sent7: if both the spoilage and the negotiating firestorm happens the quivering filet does not occur. sent8: the tootle occurs and the footwork occurs. sent9: if that both the negotiating harbor and the unnecessariness happens is not right the unnecessariness does not occur. sent10: if the pureness happens and the mercilessness happens then the armillariness does not occur. sent11: that the soldiering Gdansk does not occur and the quivering filet does not occur prevents the getaway. sent12: the negotiating lisle occurs and the pureness happens. sent13: that the lucifugousness does not occur is caused by the things. sent14: that the adhesiveness and the non-heliocentricness happens is triggered by that the equivocalness happens. sent15: if the armillariness occurs the mercilessness occurs. sent16: the ways does not occur. sent17: the retorting does not occur. sent18: if that the nonadhesiveness does not occur is not incorrect then the fact that the armillariness and the mercilessness happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the armillariness occurs.; sent12 -> int1: the pureness happens.; void -> assump2: Let's assume that that the mercilessness happens is true.; int1 & assump2 -> int2: the pureness and the mercilessness occurs.; sent10 & int2 -> int3: the armillariness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the mercilessness does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__