the fact that the positioning does not occur but the Mercurialness happens if the haranguing happens is incorrect.
sent1: if the handicraft and the cryosurgery occurs then the squiring marrow does not occur. sent2: if the clogging does not occur then the fact that the short occurs and the metabolizing tragedy occurs is not right. sent3: the advancing happens. sent4: both the non-ossiferousness and the glazing happens if that the autosomalness occurs is true. sent5: the fluke does not occur but the sociobiologicness occurs. sent6: if the metabolizing tragedy does not occur then that not the unstatesmanlikeness but the squiring Cockaigne occurs is incorrect. sent7: that the squiring Cockaigne occurs causes that the Mercurialness occurs. sent8: the harboring and/or the replicating focused occurs. sent9: the advance or the haranguing or both prevents that the positioning happens. sent10: the handicraft occurs. sent11: the cortege occurs. sent12: if that the shortness and the metabolizing tragedy happens does not hold then the metabolizing tragedy does not occur. sent13: the confession does not occur if either the attainder occurs or the cryosurgery occurs or both. sent14: the metabolizing Petrogale occurs. sent15: the squiring Cockaigne occurs. sent16: if the squiring marrow does not occur that that both the phoneticsness and the vasotomy occurs does not hold hold. sent17: if that the phoneticsness and the vasotomy happens is not correct then the clog does not occur. sent18: the pentatonicness occurs. sent19: if that the non-unstatesmanlikeness and the squiring Cockaigne occurs is wrong then the squiring Cockaigne does not occur. sent20: that the cessation happens is triggered by that the haranguing does not occur and/or the advance.
void -> assump1: Let's assume that the harangue happens.; assump1 -> int1: the advancing occurs and/or the haranguing happens.; int1 & sent9 -> int2: the position does not occur.; sent7 & sent15 -> int3: the Mercurialness occurs.; int2 & int3 -> int4: not the position but the Mercurialness happens.; [assump1] & int4 -> hypothesis;
the cessation or the generativeness or both happens.
$hypothesis$ = the fact that the positioning does not occur but the Mercurialness happens if the haranguing happens is incorrect. ; $context$ = sent1: if the handicraft and the cryosurgery occurs then the squiring marrow does not occur. sent2: if the clogging does not occur then the fact that the short occurs and the metabolizing tragedy occurs is not right. sent3: the advancing happens. sent4: both the non-ossiferousness and the glazing happens if that the autosomalness occurs is true. sent5: the fluke does not occur but the sociobiologicness occurs. sent6: if the metabolizing tragedy does not occur then that not the unstatesmanlikeness but the squiring Cockaigne occurs is incorrect. sent7: that the squiring Cockaigne occurs causes that the Mercurialness occurs. sent8: the harboring and/or the replicating focused occurs. sent9: the advance or the haranguing or both prevents that the positioning happens. sent10: the handicraft occurs. sent11: the cortege occurs. sent12: if that the shortness and the metabolizing tragedy happens does not hold then the metabolizing tragedy does not occur. sent13: the confession does not occur if either the attainder occurs or the cryosurgery occurs or both. sent14: the metabolizing Petrogale occurs. sent15: the squiring Cockaigne occurs. sent16: if the squiring marrow does not occur that that both the phoneticsness and the vasotomy occurs does not hold hold. sent17: if that the phoneticsness and the vasotomy happens is not correct then the clog does not occur. sent18: the pentatonicness occurs. sent19: if that the non-unstatesmanlikeness and the squiring Cockaigne occurs is wrong then the squiring Cockaigne does not occur. sent20: that the cessation happens is triggered by that the haranguing does not occur and/or the advance. ; $proof$ = 
void -> assump1: Let's assume that the harangue happens.; assump1 -> int1: the advancing occurs and/or the haranguing happens.; int1 & sent9 -> int2: the position does not occur.; sent7 & sent15 -> int3: the Mercurialness occurs.; int2 & int3 -> int4: not the position but the Mercurialness happens.; [assump1] & int4 -> hypothesis; __DISPROVED__