the fact that the nonlexicalness happens hold.
sent1: the nonlexicalness but not the fire occurs if the fact that the triumphalness occurs is not incorrect. sent2: the inspection does not occur. sent3: the apetalousness occurs if the nonlexicalness happens and the fire does not occur. sent4: if the flabbergasting Dail occurs then both the crab and the non-stableness happens. sent5: if the fire does not occur and the earlessness happens then the nonlexicalness does not occur. sent6: the polemics happens. sent7: the firing does not occur. sent8: if that the fiddling does not occur and the arboriculture occurs does not hold the arboriculture does not occur. sent9: the biliousness happens and the flabbergasting Dail happens if the flabbergasting forest does not occur. sent10: the earlessness does not occur if that the firing does not occur but the triumphalness happens is not incorrect. sent11: the firing does not occur and the triumphalness occurs if the arboriculture does not occur. sent12: that the collecting scalp happens is prevented by the non-stableness. sent13: the stalemating leads to that the wending occurs. sent14: the nonlexicalness is caused by the inspection. sent15: the majusculeness happens. sent16: if the collecting scalp does not occur that not the fiddling but the arboriculture happens is false. sent17: the securing and the non-Sudaneseness occurs. sent18: if the wending occurs then the earlessness occurs. sent19: if that the polemics occurs but the inspection does not occur is not true then the collecting Bonn does not occur. sent20: if the polemics but not the inspection occurs then the stalemate occurs.
sent6 & sent2 -> int1: the polemics happens and the inspection does not occur.; int1 & sent20 -> int2: the stalemating happens.; int2 & sent13 -> int3: the wending happens.; int3 & sent18 -> int4: the earlessness occurs.; int4 & sent7 -> int5: not the fire but the earlessness happens.; int5 & sent5 -> hypothesis;
the apetalousness happens and the collecting Bonn does not occur.
$hypothesis$ = the fact that the nonlexicalness happens hold. ; $context$ = sent1: the nonlexicalness but not the fire occurs if the fact that the triumphalness occurs is not incorrect. sent2: the inspection does not occur. sent3: the apetalousness occurs if the nonlexicalness happens and the fire does not occur. sent4: if the flabbergasting Dail occurs then both the crab and the non-stableness happens. sent5: if the fire does not occur and the earlessness happens then the nonlexicalness does not occur. sent6: the polemics happens. sent7: the firing does not occur. sent8: if that the fiddling does not occur and the arboriculture occurs does not hold the arboriculture does not occur. sent9: the biliousness happens and the flabbergasting Dail happens if the flabbergasting forest does not occur. sent10: the earlessness does not occur if that the firing does not occur but the triumphalness happens is not incorrect. sent11: the firing does not occur and the triumphalness occurs if the arboriculture does not occur. sent12: that the collecting scalp happens is prevented by the non-stableness. sent13: the stalemating leads to that the wending occurs. sent14: the nonlexicalness is caused by the inspection. sent15: the majusculeness happens. sent16: if the collecting scalp does not occur that not the fiddling but the arboriculture happens is false. sent17: the securing and the non-Sudaneseness occurs. sent18: if the wending occurs then the earlessness occurs. sent19: if that the polemics occurs but the inspection does not occur is not true then the collecting Bonn does not occur. sent20: if the polemics but not the inspection occurs then the stalemate occurs. ; $proof$ = 
sent6 & sent2 -> int1: the polemics happens and the inspection does not occur.; int1 & sent20 -> int2: the stalemating happens.; int2 & sent13 -> int3: the wending happens.; int3 & sent18 -> int4: the earlessness occurs.; int4 & sent7 -> int5: not the fire but the earlessness happens.; int5 & sent5 -> hypothesis; __DISPROVED__