the mediatoriness occurs and the dragging Prionace does not occur.
sent1: the primateship happens. sent2: if the fact that the commenting happens is right then that the tweeting Ictonyx happens hold. sent3: if the tweeting Gaul happens the mediatoriness occurs and the dragging Prionace does not occur. sent4: the dragging Prionace does not occur. sent5: the grounds happens or the putting visualizer does not occur or both. sent6: the appealableness does not occur if that the appealableness but not the transmuting happens is incorrect. sent7: the coxing fortress does not occur if the fact that the coxing fortress occurs but the proofreading does not occur does not hold. sent8: that not the retardation but the consideration occurs does not hold if the appealableness occurs. sent9: the fact that the spotting or the non-bacteriologicalness or both happens does not hold if the retardation occurs. sent10: that the bed-hopping does not occur is right. sent11: the constipation occurs. sent12: the fact that both the dragging youth and the non-appetitiveness happens is wrong. sent13: the bacteriologicalness occurs. sent14: the dysphemisticness does not occur. sent15: if the retardation occurs then the fact that the bacteriologicalness occurs is not incorrect. sent16: the squat happens. sent17: the pollination happens. sent18: the fact that the dragging Prionace does not occur is not wrong if the tweeting Gaul occurs. sent19: if the tweeting Ictonyx happens that the appealableness but not the transmuting happens is wrong. sent20: the fact that the spot occurs is true. sent21: the tweeting Gaul occurs if the retardation does not occur and the appealableness does not occur. sent22: the spot or the bacteriologicalness or both occurs. sent23: the accommodativeness does not occur and the preoccupation does not occur. sent24: the consideration does not occur if that not the retardation but the consideration occurs is incorrect. sent25: the fact that the dragging circumflex occurs is correct. sent26: the passableness but not the plunge happens.
void -> assump1: Let's assume that the retardation occurs.; sent9 & assump1 -> int1: that either the spot or the non-bacteriologicalness or both occurs does not hold.; sent20 -> int2: either the spotting or the non-bacteriologicalness or both happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the retardation does not occur.;
the fact that the mediatoriness but not the dragging Prionace occurs is not right.
 -> hypothesis;
$hypothesis$ = the mediatoriness occurs and the dragging Prionace does not occur. ; $context$ = sent1: the primateship happens. sent2: if the fact that the commenting happens is right then that the tweeting Ictonyx happens hold. sent3: if the tweeting Gaul happens the mediatoriness occurs and the dragging Prionace does not occur. sent4: the dragging Prionace does not occur. sent5: the grounds happens or the putting visualizer does not occur or both. sent6: the appealableness does not occur if that the appealableness but not the transmuting happens is incorrect. sent7: the coxing fortress does not occur if the fact that the coxing fortress occurs but the proofreading does not occur does not hold. sent8: that not the retardation but the consideration occurs does not hold if the appealableness occurs. sent9: the fact that the spotting or the non-bacteriologicalness or both happens does not hold if the retardation occurs. sent10: that the bed-hopping does not occur is right. sent11: the constipation occurs. sent12: the fact that both the dragging youth and the non-appetitiveness happens is wrong. sent13: the bacteriologicalness occurs. sent14: the dysphemisticness does not occur. sent15: if the retardation occurs then the fact that the bacteriologicalness occurs is not incorrect. sent16: the squat happens. sent17: the pollination happens. sent18: the fact that the dragging Prionace does not occur is not wrong if the tweeting Gaul occurs. sent19: if the tweeting Ictonyx happens that the appealableness but not the transmuting happens is wrong. sent20: the fact that the spot occurs is true. sent21: the tweeting Gaul occurs if the retardation does not occur and the appealableness does not occur. sent22: the spot or the bacteriologicalness or both occurs. sent23: the accommodativeness does not occur and the preoccupation does not occur. sent24: the consideration does not occur if that not the retardation but the consideration occurs is incorrect. sent25: the fact that the dragging circumflex occurs is correct. sent26: the passableness but not the plunge happens. ; $proof$ = 
void -> assump1: Let's assume that the retardation occurs.; sent9 & assump1 -> int1: that either the spot or the non-bacteriologicalness or both occurs does not hold.; sent20 -> int2: either the spotting or the non-bacteriologicalness or both happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the retardation does not occur.; __UNKNOWN__