the lowness occurs.
sent1: if the fact that not the shimmy but the ferricness occurs does not hold then the ferricness does not occur. sent2: the shimmy occurs. sent3: that not the shimmying but the ferricness occurs does not hold if the scatology does not occur. sent4: the uncluttering does not occur. sent5: if the scatology happens then the fact that the figurativeness does not occur hold. sent6: if the fact that the Sicilianness does not occur is right both the non-figurativeness and the brisking occurs. sent7: the specification does not occur if the uncluttering does not occur but the anticlimax happens. sent8: the lowness occurs if the locating does not occur and the ageism does not occur. sent9: that the uncluttering occurs and the anticlimax happens prevents that the specification happens. sent10: the meretriciousness happens. sent11: the uncluttering does not occur but the anticlimax occurs. sent12: the lowness does not occur if that the scatology does not occur is not incorrect. sent13: if that the scatology happens and/or the shimmying occurs is correct then the figurativeness does not occur. sent14: the hospice does not occur and the nonlinearness does not occur. sent15: the locating does not occur if the brisking happens and the Sicilianness occurs. sent16: if that the figurativeness does not occur but the scatology happens does not hold then the scatology does not occur. sent17: the ageism does not occur if the specification does not occur. sent18: the Sicilianness happens.
sent2 -> int1: either the scatology or the shimmying or both occurs.; int1 & sent13 -> int2: the figurativeness does not occur.; sent7 & sent11 -> int3: the specification does not occur.; sent17 & int3 -> int4: the ageism does not occur.;
the low does not occur.
$hypothesis$ = the lowness occurs. ; $context$ = sent1: if the fact that not the shimmy but the ferricness occurs does not hold then the ferricness does not occur. sent2: the shimmy occurs. sent3: that not the shimmying but the ferricness occurs does not hold if the scatology does not occur. sent4: the uncluttering does not occur. sent5: if the scatology happens then the fact that the figurativeness does not occur hold. sent6: if the fact that the Sicilianness does not occur is right both the non-figurativeness and the brisking occurs. sent7: the specification does not occur if the uncluttering does not occur but the anticlimax happens. sent8: the lowness occurs if the locating does not occur and the ageism does not occur. sent9: that the uncluttering occurs and the anticlimax happens prevents that the specification happens. sent10: the meretriciousness happens. sent11: the uncluttering does not occur but the anticlimax occurs. sent12: the lowness does not occur if that the scatology does not occur is not incorrect. sent13: if that the scatology happens and/or the shimmying occurs is correct then the figurativeness does not occur. sent14: the hospice does not occur and the nonlinearness does not occur. sent15: the locating does not occur if the brisking happens and the Sicilianness occurs. sent16: if that the figurativeness does not occur but the scatology happens does not hold then the scatology does not occur. sent17: the ageism does not occur if the specification does not occur. sent18: the Sicilianness happens. ; $proof$ = 
sent2 -> int1: either the scatology or the shimmying or both occurs.; int1 & sent13 -> int2: the figurativeness does not occur.; sent7 & sent11 -> int3: the specification does not occur.; sent17 & int3 -> int4: the ageism does not occur.; __UNKNOWN__